The Stacks project

64.20 Cohomological interpretation

This is how Grothendieck interpreted the $L$-function.

Theorem 64.20.1 (Finite Coefficients). Let $X$ be a scheme of finite type over a finite field $k$. Let $\Lambda $ be a finite ring of order prime to the characteristic of $k$ and $\mathcal{F}$ a constructible flat $\Lambda $-module on $X_{\acute{e}tale}$. Then

\[ L(X, \mathcal{F}) = \det (1 - \pi _ X^*\ T |_{R\Gamma _ c(X_{\bar k}, \mathcal{F})})^{-1} \in \Lambda [[T]]. \]

Proof. Omitted. $\square$

Thus far, we don't even know whether each cohomology group $H^ i_ c(X_{\bar k}, \mathcal{F})$ is free.

Theorem 64.20.2 (Adic sheaves). Let $X$ be a scheme of finite type over a finite field $k$, and $\mathcal{F}$ a $\mathbf{Q}_\ell $-sheaf on $X$. Then

\[ L(X, \mathcal{F}) = \prod \nolimits _ i \det (1 - \pi _ X^*T |_{H_ c^ i(X_{\bar k} , \mathcal{F})})^{(-1)^{i + 1}} \in \mathbf{Q}_\ell [[T]]. \]

Proof. This is sketched below. $\square$

Remark 64.20.3. Since we have only developed some theory of traces and not of determinants, Theorem 64.20.1 is harder to prove than Theorem 64.20.2. We will only prove the latter, for the former see [SGA4.5]. Observe also that there is no version of this theorem more general for $\mathbf{Z}_\ell $ coefficients since there is no $\ell $-torsion.

We reduce the proof of Theorem 64.20.2 to a trace formula. Since $\mathbf{Q}_\ell $ has characteristic 0, it suffices to prove the equality after taking logarithmic derivatives. More precisely, we apply $T\frac{d}{dT} \log $ to both sides. We have on the one hand

\begin{align*} T \frac{d}{dT} \log L(X, \mathcal{F}) & = T\frac{d}{dT} \log \prod _{x \in |X|} \det (1 - \pi _ x^* T^{\deg x} |_{\mathcal{F}_{\bar x}})^{-1} \\ & = \sum _{x \in |X|} T \frac{d}{dT} \log ( \det (1 - \pi _ x^* T^{\deg x} |_{\mathcal{F}_{\bar x}})^{-1}) \\ & = \sum _{x \in |X|} \deg x \sum _{n \geq 1} \text{Tr}((\pi _ x^ n)^* |_{\mathcal{F}_{\bar x}}) T^{n\deg x} \end{align*}

where the last equality results from the formula

\[ T\frac{d}{dT}\log \left(\det \left(1-fT|_ M\right)^{-1}\right) = \sum _{n\geq 1} \text{Tr}(f^ n|_ M)T^ n \]

which holds for any commutative ring $\Lambda $ and any endomorphism $f$ of a finite projective $\Lambda $-module $M$. On the other hand, we have

\begin{align*} & T\frac{d}{dT} \log \left( \prod \nolimits _ i \det (1-\pi _ X^*T |_{H_ c^ i\left(X_{\bar k} , \mathcal{F}\right)})^{(-1)^{i+1}} \right) \\ & = \sum \nolimits _ i (-1)^ i \sum \nolimits _{n \geq 1} \text{Tr}\left((\pi _ X^ n)^* |_{H_ c^ i(X_{\bar k},\mathcal{F})}\right) T^ n \end{align*}

by the same formula again. Now, comparing powers of $T$ and using the Mobius inversion formula, we see that Theorem 64.20.2 is a consequence of the following equality

\[ \sum _{d | n} d \sum _{x \in |X| \atop \deg x = d} \text{Tr}((\pi _ X^{n/d})^* |_{\mathcal{F}_{\bar x}}) = \sum _ i (-1)^ i \text{Tr}((\pi ^ n_ X)^* |_{H^ i_ c(X_{\bar k}, \mathcal{F})}). \]

Writing $k_ n$ for the degree $n$ extension of $k$, $X_ n = X \times _{\mathop{\mathrm{Spec}}k} \mathop{\mathrm{Spec}}(k_ n)$ and $_ n\mathcal{F} = \mathcal{F}|_{X_ n}$, this boils down to

\[ \sum _{x \in X_ n(k_ n)} \text{Tr}(\pi _ X^* |_{_ n\mathcal{F}_{\bar x}}) = \sum _ i (-1)^ i \text{Tr}((\pi ^ n_ X)^* |_{H^ i_ c({(X_ n)}_{\bar k}, _ n\mathcal{F})}) \]

which is a consequence of Theorem 64.20.5.

Theorem 64.20.4. Let $X/k$ be as above, let $\Lambda $ be a finite ring with $\# \Lambda \in k^*$ and $K\in D_{ctf}(X, \Lambda )$. Then $R\Gamma _ c(X_{\bar k}, K)\in D_{perf}(\Lambda )$ and

\[ \sum _{x\in X(k)}\text{Tr}\left(\pi _ x |_{K_{\bar x}}\right) = \text{Tr}\left(\pi _ X^* |_{R\Gamma _ c(X_{\bar k}, K )}\right). \]

Proof. Note that we have already proved this (REFERENCE) when $\dim X \leq 1$. The general case follows easily from that case together with the proper base change theorem. $\square$

Theorem 64.20.5. Let $X$ be a separated scheme of finite type over a finite field $k$ and $\mathcal{F}$ be a $\mathbf{Q}_\ell $-sheaf on $X$. Then $\dim _{\mathbf{Q}_\ell }H_ c^ i(X_{\bar k}, \mathcal{F})$ is finite for all $i$, and is nonzero for $0\leq i \leq 2 \dim X$ only. Furthermore, we have

\[ \sum _{x\in X(k)} \text{Tr}\left(\pi _ x |_{\mathcal{F}_{\bar x}}\right) = \sum _ i (-1)^ i\text{Tr}\left(\pi _ X^* |_{H_ c^ i(X_{\bar k}, \mathcal{F})}\right). \]

Proof. We explain how to deduce this from Theorem 64.20.4. We first use some étale cohomology arguments to reduce the proof to an algebraic statement which we subsequently prove.

Let $\mathcal{F}$ be as in the theorem. We can write $\mathcal{F}$ as $\mathcal{F}'\otimes \mathbf{Q}_\ell $ where $\mathcal{F}' = \left\{ \mathcal{F}'_ n\right\} $ is a $\mathbf{Z}_\ell $-sheaf without torsion, i.e., $\ell : \mathcal{F}'\to \mathcal{F}'$ has trivial kernel in the category of $\mathbf{Z}_\ell $-sheaves. Then each $\mathcal{F}_ n'$ is a flat constructible $\mathbf{Z}/\ell ^ n\mathbf{Z}$-module on $X_{\acute{e}tale}$, so $\mathcal{F}'_ n \in D_{ctf}(X, \mathbf{Z}/\ell ^ n\mathbf{Z})$ and $\mathcal{F}_{n+1}' \otimes ^{\mathbf{L}}_{\mathbf{Z}/\ell ^{n+1}\mathbf{Z}} \mathbf{Z}/\ell ^ n\mathbf{Z} = \mathcal{F}_ n'$. Note that the last equality holds also for standard (non-derived) tensor product, since $\mathcal{F}'_ n$ is flat (it is the same equality). Therefore,

  1. the complex $K_ n = R\Gamma _ c\left(X_{\bar k}, \mathcal{F}_ n'\right)$ is perfect, and it is endowed with an endomorphism $\pi _ n : K_ n\to K_ n$ in $D(\mathbf{Z}/\ell ^ n\mathbf{Z})$,

  2. there are identifications

    \[ K_{n+1} \otimes ^{\mathbf{L}}_{\mathbf{Z}/\ell ^{n+1}\mathbf{Z}} \mathbf{Z}/\ell ^ n\mathbf{Z} = K_ n \]

    in $D_{perf}(\mathbf{Z}/\ell ^ n\mathbf{Z})$, compatible with the endomorphisms $\pi _{n+1}$ and $\pi _ n$ (see [Rapport 4.12, SGA4.5]),

  3. the equality $\text{Tr}\left(\pi _ X^* |_{K_ n}\right) = \sum _{x\in X(k)} \text{Tr}\left(\pi _ x |_{(\mathcal{F}'_ n)_{\bar x}}\right)$ holds, and

  4. for each $x\in X(k)$, the elements $\text{Tr}(\pi _ x |_{\mathcal{F}'_{n, \bar x}}) \in \mathbf{Z}/\ell ^ n\mathbf{Z}$ form an element of $\mathbf{Z}_\ell $ which is equal to $\text{Tr}(\pi _ x |_{\mathcal{F}_{\bar x}}) \in \mathbf{Q}_\ell $.

It thus suffices to prove the following algebra lemma. $\square$

Lemma 64.20.6. Suppose we have $K_ n\in D_{perf}(\mathbf{Z}/\ell ^ n\mathbf{Z})$, $\pi _ n : K_ n\to K_ n$ and isomorphisms $\varphi _ n : K_{n+1} \otimes ^\mathbf {L}_{\mathbf{Z}/\ell ^{n+1}\mathbf{Z}} \mathbf{Z}/\ell ^ n\mathbf{Z} \to K_ n$ compatible with $\pi _{n+1}$ and $\pi _ n$. Then

  1. the elements $t_ n = \text{Tr}(\pi _ n |_{K_ n})\in \mathbf{Z}/\ell ^ n\mathbf{Z}$ form an element $t_\infty = \{ t_ n\} $ of $\mathbf{Z}_\ell $,

  2. the $\mathbf{Z}_\ell $-module $H_\infty ^ i = \mathop{\mathrm{lim}}\nolimits _ n H^ i(k_ n)$ is finite and is nonzero for finitely many $i$ only, and

  3. the operators $H^ i(\pi _ n): H^ i(K_ n)\to H^ i(K_ n)$ are compatible and define $\pi _\infty ^ i : H_\infty ^ i\to H_\infty ^ i$ satisfying

    \[ \sum (-1)^ i \text{Tr}( \pi _\infty ^ i |_{H_\infty ^ i \otimes _{\mathbf{Z}_\ell }\mathbf{Q}_\ell }) = t_\infty . \]

Proof. Since $\mathbf{Z}/\ell ^ n\mathbf{Z}$ is a local ring and $K_ n$ is perfect, each $K_ n$ can be represented by a finite complex $K_ n^\bullet $ of finite free $\mathbf{Z}/\ell ^ n \mathbf{Z}$-modules such that the map $K_ n^ p \to K_ n^{p+1}$ has image contained in $\ell K_ n^{p+1}$. It is a fact that such a complex is unique up to isomorphism. Moreover $\pi _ n$ can be represented by a morphism of complexes $\pi _ n^\bullet : K_ n^\bullet \to K_ n^\bullet $ (which is unique up to homotopy). By the same token the isomorphism $\varphi _ n : K_{n+1} \otimes _{\mathbf{Z}/\ell ^{n+1}\mathbf{Z}}^{\mathbf{L}} \mathbf{Z}/\ell ^ n\mathbf{Z}\to K_ n$ is represented by a map of complexes

\[ \varphi _ n^\bullet : K_{n+1}^\bullet \otimes _{\mathbf{Z}/\ell ^{n+1}\mathbf{Z}} \mathbf{Z}/\ell ^ n\mathbf{Z} \to K_ n^\bullet . \]

In fact, $\varphi _ n^\bullet $ is an isomorphism of complexes, thus we see that

  • there exist $a, b\in \mathbf{Z}$ independent of $n$ such that $K_ n^ i = 0$ for all $i\notin [a, b]$, and

  • the rank of $K_ n^ i$ is independent of $n$.

Therefore, the module $K_\infty ^ i = \mathop{\mathrm{lim}}\nolimits _ n \{ K_ n^ i, \varphi _ n^ i\} $ is a finite free $\mathbf{Z}_\ell $-module and $K_\infty ^\bullet $ is a finite complex of finite free $\mathbf{Z}_\ell $-modules. By induction on the number of nonzero terms, one can prove that $H^ i\left(K_\infty ^\bullet \right) = \mathop{\mathrm{lim}}\nolimits _ n H^ i\left(K_ n^\bullet \right)$ (this is not true for unbounded complexes). We conclude that $H_\infty ^ i = H^ i\left(K_\infty ^\bullet \right)$ is a finite $\mathbf{Z}_\ell $-module. This proves ii. To prove the remainder of the lemma, we need to overcome the possible noncommutativity of the diagrams

\[ \xymatrix{ {K_{n+1}^\bullet } \ar[d]_{\pi _{n+1}^\bullet } \ar[r]^{\varphi _ n^\bullet } & {K_ n^\bullet } \ar[d]^{\pi _ n^\bullet } \\ {K_{n+1}^\bullet } \ar[r]_{\varphi _ n^\bullet } & {K_ n^\bullet .} } \]

However, this diagram does commute in the derived category, hence it commutes up to homotopy. We inductively replace $\pi _ n^\bullet $ for $n\geq 2$ by homotopic maps of complexes making these diagrams commute. Namely, if $h^ i : K_{n+1}^ i \to K_ n^{i-1}$ is a homotopy, i.e.,

\[ \pi _ n^\bullet \circ \varphi _ n^\bullet - \varphi _ n^\bullet \circ \pi _{n + 1}^\bullet = dh + hd, \]

then we choose $\tilde h^ i : K_{n+1}^ i\to K_{n+1}^{i-1}$ lifting $h^ i$. This is possible because $K_{n+1}^ i$ free and $K_{n+1}^{i-1}\to K_ n^{i-1}$ is surjective. Then replace $\pi _ n^\bullet $ by $\tilde\pi _ n^\bullet $ defined by

\[ \tilde\pi _{n+1}^\bullet = \pi _{n+1}^\bullet + d\tilde h+\tilde hd. \]

With this choice of $\{ \pi _ n^\bullet \} $, the above diagrams commute, and the maps fit together to define an endomorphism $\pi _\infty ^\bullet = \mathop{\mathrm{lim}}\nolimits _ n\pi _ n^\bullet $ of $K_\infty ^\bullet $. Then part i is clear: the elements $t_ n = \sum (-1)^ i \text{Tr}\left(\pi _ n^ i |_{K_ n^ i}\right)$ fit into an element $t_\infty $ of $\mathbf{Z}_\ell $. Moreover

\begin{align*} t_\infty & = \sum (-1)^ i \text{Tr}_{\mathbf{Z}_\ell }(\pi _\infty ^ i |_{K_\infty ^ i}) \\ & = \sum (-1)^ i \text{Tr}_{\mathbf{Q}_\ell }( \pi _\infty ^ i |_{K_\infty ^ i \otimes _{\mathbf{Z}_\ell }\mathbf{Q}_\ell }) \\ & = \sum (-1)^ i \text{Tr}( \pi _\infty |_{H^ i(K_\infty ^\bullet \otimes \mathbf{Q}_\ell )}) \end{align*}

where the last equality follows from the fact that $\mathbf{Q}_\ell $ is a field, so the complex $K_\infty ^\bullet \otimes \mathbf{Q}_\ell $ is quasi-isomorphic to its cohomology $H^ i(K_\infty ^\bullet \otimes \mathbf{Q}_\ell )$. The latter is also equal to $H^ i(K_\infty ^\bullet )\otimes _{\mathbf{Z}}\mathbf{Q}_\ell = H_\infty ^ i \otimes \mathbf{Q}_\ell $, which finishes the proof of the lemma, and also that of Theorem 64.20.5. $\square$


Comments (2)

Comment #2441 by sdf on

The reference has not been filled in in Definition 50.97.4 but I am not sure what it should point to. The reference in (2) of the numbered list in the proof of Theorem 50.98.5 is broken.

Comment #2484 by on

OK, I am very sorry, but this has to be fixed by very carefully rewriting all the material leading up to this section. I do think it still gives you an idea of the steps one has to do to prove the thing...


Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 03UY. Beware of the difference between the letter 'O' and the digit '0'.