4
$\begingroup$

The title says it all. Given a (proper smooth) scheme $X$ over Spec$\mathbb{F}_q$, is it possible to calculate the zeta function of $X$ by from its étale covers?

Like for $\mathbb{P}^n$ you can cover it by $(n+1)$ copies of $\mathbb{A}^n$ which has as $k$-fold intersection of the form $\mathbb{G}_m^k \times \mathbb{A}^{n-k}$, and counting points are like doing the Inclusion-exclusion principle. Now I'm wondering if it can be done in the étale topology.

More concretely, given a scheme and a finite étale cover of it, how are their zeta functions related?

(BTW, I know there is an easier way to calculate the zeta function of $\mathbb{P}^n$ by using an affine stratification, the above example is just to illustrate my question.)

$\endgroup$

1 Answer 1

6
$\begingroup$

If $Y \to X$ is an etale galois cover with group $G$ (all over a finite field $\mathbb{F}_q$) then, for each $g \in G$ you can consider the twist $Y^{(g)} \to X$ which is also an etale cover of $X$. (Twists are parametrized by elements of $G$ rather that an $H^1$ because Galois groups of extensions of finite fields are cyclic). Now $X( \mathbb{F}_q)$ is the disjoint union of the images of the $Y^{(g)}( \mathbb{F}_q)$, so you get get the zeta function of $X$ from that of the $Y^{(g)}$'s. With some extra care over the ramified points, the same can be done for any galois (not necessarily etale) cover.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.