Definition 63.19.1. 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 we set

$L(X, \mathcal{F}) := \prod \nolimits _{x\in |X|} \det (1 - \pi _ x^*T^{\deg x} |_{\mathcal{F}_{\bar x}})^{-1} \in \Lambda [[ T ]]$

where $|X|$ is the set of closed points of $X$, $\deg x = [\kappa (x): k]$ and $\bar x$ is a geometric point lying over $x$. This definition clearly generalizes to the case where $\mathcal{F}$ is replaced by a $K \in D_{ctf}(X, \Lambda )$. We call this the $L$-function of $\mathcal{F}$.

Comment #1477 by sdf on

2nd last line: replace by a -> replaced by a

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).