eine starke Verallgemeinerung der Riemannschen ζ -Funktion.

Ist X ein algebraisches Schema über einem endlichen Körper 𝔽_q = k mit q Elementen, so sei N_n die Anzahl der Punkte in \(X({\mathbb{F}}_{{q}^{n}})\), und Z(X, t) die formale Potenzreihe mit Z(0) = 1 und \begin{eqnarray}t\frac{d}{dt}\mathrm{log}Z(t)=\displaystyle \sum _{n=1}^{\infty }{N}_{n}{t}^{n}.\end{eqnarray}

Dies ist eine rationale Funktion, beispielsweise ist \begin{eqnarray}Z({{\mathbb{A}}}_{k}^{n},t)=\frac{1}{1-{q}^{n}t}\end{eqnarray}

oder \begin{eqnarray}Z({\mathbb{P}}_{k}^{n},t)=\displaystyle \prod _{v=0}^{n}\frac{1}{1-{q}^{v}t}.\end{eqnarray}

Ist x abgeschlossener Punkt von X mit k(x) = 𝒪_X,x/𝔪_X,x und [k(x) : k] = d, und m durch d teilbar, so gibt es genau d Punkte in X(𝔽_qm), die über x liegen entsprechend den d Einbettungen k(x) → 𝔽_qm über k. Daher ist \(\frac{1}{1-{t}^{d}}\) der Beitrag von x zur ζ-Funktion, und es ist \begin{eqnarray}Z(X,t)=\displaystyle \prod _{x\in X}\frac{1}{1-{t}^{[k(x):k]}}.\end{eqnarray}

Ist \({Z}_{0}^{+}(X)\) die Mengen aller nicht-negativen algebraischen Zyklen der Dimension 0 auf X, so ist also \begin{eqnarray}Z(X,t)=\displaystyle \sum _{z\in {Z}_{0}^{+}(X)}{t}^{\deg (z)}\end{eqnarray}

(wenn z = Σn_jx_j, so ist deg(z) = Σn_j[k(x_j) : k]). Führt man eine neue Variable s durch t = q^−s ein, so ist \begin{eqnarray}\begin{array}{lll}\zeta (X,s)=:Z(X,{q}^{-s}) & = & \displaystyle \prod _{x\in X}\frac{1}{1-N{(x)}^{-s}}\\ & = & \displaystyle \sum _{z\in {Z}_{0}^{+}(X)}N{(z)}^{-s},\end{array}\end{eqnarray}

dabei ist N(x) die Anzahl der Elemente von k(x), und \(N(z)={\Pi }_{j}N{({x}_{j})}^{{n}_{j}}\) für z = Σn_jx_j. Insofern ist die Kongruenz-ζ-Funktion Spezialfall folgender ζ-Funktionen: Wenn X algebraisches Schema über ℤ ist, so ist für jeden abgeschlossenen Punkt x ∈ X der Restklassenkörper endlich, und damit N(x) und N(z) für \(z\in {Z}_{0}^{+}(X)\) wie oben definiert. Die zu X gehörige ζ -Funktion ist \begin{eqnarray}\zeta (X,s)=\displaystyle \prod _{x\in X}\frac{1}{1-N{(x)}^{-s}}=\displaystyle \sum _{z\in {Z}_{0}^{+}}N{(x)}^{-s}\end{eqnarray}

(die beiden Ausdrücke sind konvergent für Re(s) > dim X). Für X = Spec (ℤ) ist dies die Riemannsche ζ-Funktion.