1
$\begingroup$

Let $X$ be a scheme of finite type over a finite field $k=\mathbb{F}_{q}$ of $q$ elements.

Then, one can define the zeta function $Z_{X/k}(T)$ of $X$ ovet $k$ as $\prod_{x\in |X|}\frac{1}{1-T^{deg_{k}(x)}}$, where $deg_{k}(x)=[k(x):k]$ is the degree of extension $k(x)/k$ for any closed point $x$ of $X$.

Assume that the structure morphism $X \to Spec(k)$ factors through $Spec(k^{\prime})$, the spectrum of a finite extension field $k^{\prime} \supset k$.

Then, one can define the zeta function $Z_{X/k^{\prime}}(T)$ of $X$ ovet $k^{\prime}$ as $\prod_{x\in |X|}\frac{1}{1-T^{deg_{k^{\prime}}(x)}}$, where $deg_{k^{\prime}}(x)=[k(x):k^{\prime}]$ is the degree of extension $k(x)/k^{\prime}$ for any closed point $x$ of $X$.

My question is: Does the following equation holds?:

(the special value of $Z_{X/k}$ at $T=1$) = $[k^{\prime}:k] \cdot ($the special value of $Z_{X/k^{\prime}}$ at $T=1$)

Please give me any advice.

$\endgroup$
3
  • 3
    $\begingroup$ Under the assumption that the structural morphism factors through $\mathrm{Spec} k'$, all residue fields contain $k'$, so we have the straghtforward relation $Z_{X/k}(T)=Z_{X/k'}(T^{[k':k]})$. $\endgroup$ Dec 15, 2012 at 11:30
  • $\begingroup$ Thanks, do you know anything about special values? $\endgroup$
    – Hiro
    Dec 15, 2012 at 11:36
  • $\begingroup$ The special value ot $T=1$ is not always well-defined, for example if $X=\mathrm{Spec}(k')$ then $Z_{X/k'}(T)=1/(1-T)$. You probably mean the leading term, in which case there is indeed a relation, but I will let you work it out using the simple relation $Z(T)=Z'(T^d)$. $\endgroup$ Dec 15, 2012 at 12:18

0

Your Answer

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