nLab Weil zeta function

Idea

The Weil zeta function is a zeta function for arithmetic varieties over finite fields which, under the function field analogy, is analogous to the Dedekind zeta function for number fields $K$ (and hence of the Riemann zeta function, for $K = \mathbb{Q}$).

The Weil conjectures, and their proof, concern the properties of the Weil zeta function.

Properties

Relation to other zeta-, theta- and L-functions

context/function field analogy	theta function $\theta$	zeta function $\zeta$ (= Mellin transform of $\theta(0,-)$)	L-function $L_{\mathbf{z}}$ (= Mellin transform of $\theta(\mathbf{z},-)$)	eta function $\eta$	special values of L-functions
physics/2d CFT	partition function $\theta(\mathbf{z},\mathbf{\tau}) = Tr(\exp(-\mathbf{\tau} \cdot (D_\mathbf{z})^2))$ as function of complex structure $\mathbf{\tau}$ of worldsheet $\Sigma$ (hence polarization of phase space) and background gauge field/source $\mathbf{z}$	analytically continued trace of Feynman propagator $\zeta(s) = Tr_{reg}\left(\frac{1}{(D_{0})^2}\right)^s = \int_{0}^\infty \tau^{s-1} \,\theta(0,\tau)\, d\tau$	analytically continued trace of Feynman propagator in background gauge field $\mathbf{z}$: $L_{\mathbf{z}}(s) \coloneqq Tr_{reg}\left(\frac{1}{(D_{\mathbf{z}})^2}\right)^s = \int_{0}^\infty \tau^{s-1} \,\theta(\mathbf{z},\tau)\, d\tau$	analytically continued trace of Dirac propagator in background gauge field $\mathbf{z}$ $\eta_{\mathbf{z}}(s) = Tr_{reg} \left(\frac{sgn(D_{\mathbf{z}})}{ { \vert D_{\mathbf{z}} } \vert }\right)^s$	regularized 1-loop vacuum amplitude $pv\, L_{\mathbf{z}}(1) = Tr_{reg}\left(\frac{1}{(D_{\mathbf{z}})^2}\right)$ / regularized fermionic 1-loop vacuum amplitude $pv\, \eta_{\mathbf{z}}(1)= Tr_{reg} \left( \frac{D_{\mathbf{z}}}{(D_{\mathbf{z}})^2} \right)$ / vacuum energy $-\frac{1}{2}L_{\mathbf{z}}^\prime(0) = Z_H = \frac{1}{2}\ln\;det_{reg}(D_{\mathbf{z}}^2)$
Riemannian geometry (analysis)		zeta function of an elliptic differential operator	zeta function of an elliptic differential operator	eta function of a self-adjoint operator	functional determinant, analytic torsion
complex analytic geometry	section $\theta(\mathbf{z},\mathbf{\tau})$ of line bundle over Jacobian variety $J(\Sigma_{\mathbf{\tau}})$ in terms of covering coordinates $\mathbf{z}$ on $\mathbb{C}^g \to J(\Sigma_{\mathbf{\tau}})$	zeta function of a Riemann surface	Selberg zeta function		Dedekind eta function
arithmetic geometry for a function field		Goss zeta function (for arithmetic curves) and Weil zeta function (in higher dimensional arithmetic geometry)
arithmetic geometry for a number field	Hecke theta function, automorphic form	Dedekind zeta function (being the Artin L-function $L_{\mathbf{z}}$ for $\mathbf{z} = 0$ the trivial Galois representation)	Artin L-function $L_{\mathbf{z}}$ of a Galois representation $\mathbf{z}$, expressible “in coordinates” (by Artin reciprocity) as a finite-order Hecke L-function (for 1-dimensional representations) and generally (via Langlands correspondence) by an automorphic L-function (for higher dimensional reps)		class number $\cdot$ regulator
arithmetic geometry for $\mathbb{Q}$	Jacobi theta function ($\mathbf{z} = 0$)/ Dirichlet theta function ($\mathbf{z} = \chi$ a Dirichlet character)	Riemann zeta function (being the Dirichlet L-function $L_{\mathbf{z}}$ for Dirichlet character $\mathbf{z} = 0$)	Artin L-function of a Galois representation $\mathbf{z}$ , expressible “in coordinates” (via Artin reciprocity) as a Dirichlet L-function (for 1-dimensional Galois representations) and generally (via Langlands correspondence) as an automorphic L-function

Function field analogy

function field analogy

	number fields (“function fields of curves over F1”)	function fields of curves over finite fields $\mathbb{F}_q$ (arithmetic curves)	Riemann surfaces/complex curves
affine and projective line
	$\mathbb{Z}$ (integers)	$\mathbb{F}_q[z]$ (polynomials, polynomial algebra on affine line $\mathbb{A}^1_{\mathbb{F}_q}$)	$\mathcal{O}_{\mathbb{C}}$ (holomorphic functions on complex plane)
	$\mathbb{Q}$ (rational numbers)	$\mathbb{F}_q(z)$ (rational fractions/rational function on affine line $\mathbb{A}^1_{\mathbb{F}_q}$)	meromorphic functions on complex plane
	$p$ (prime number/non-archimedean place)	$x \in \mathbb{F}_p$, where $z - x \in \mathbb{F}_q[z]$ is the irreducible monic polynomial of degree one	$x \in \mathbb{C}$, where $z - x \in \mathcal{O}_{\mathbb{C}}$ is the function which subtracts the complex number $x$ from the variable $z$
	$\infty$ (place at infinity)		$\infty$
	$Spec(\mathbb{Z})$ (Spec(Z))	$\mathbb{A}^1_{\mathbb{F}_q}$ (affine line)	complex plane
	$Spec(\mathbb{Z}) \cup place_{\infty}$	$\mathbb{P}_{\mathbb{F}_q}$ (projective line)	Riemann sphere
	$\partial_p \coloneqq \frac{(-)^p - (-)}{p}$ (Fermat quotient)	$\frac{\partial}{\partial z}$ (coordinate derivation)	“
	genus of the rational numbers = 0		genus of the Riemann sphere = 0
formal neighbourhoods
	$\mathbb{Z}/(p^n \mathbb{Z})$ (prime power local ring)	$\mathbb{F}_q [z]/((z-x)^n \mathbb{F}_q [z])$ ($n$-th order univariate local Artinian $\mathbb{F}_q$-algebra)	$\mathbb{C}[z]/((z-x)^n \mathbb{C}[z])$ ($n$-th order univariate Weil $\mathbb{C}$-algebra)
	$\mathbb{Z}_p$ (p-adic integers)	$\mathbb{F}_q[ [ z -x ] ]$ (power series around $x$)	$\mathbb{C}[ [z-x] ]$ (holomorphic functions on formal disk around $x$)
	$Spf(\mathbb{Z}_p)\underset{Spec(\mathbb{Z})}{\times} X$ (“$p$-arithmetic jet space” of $X$ at $p$)		formal disks in $X$
	$\mathbb{Q}_p$ (p-adic numbers)	$\mathbb{F}_q((z-x))$ (Laurent series around $x$)	$\mathbb{C}((z-x))$ (holomorphic functions on punctured formal disk around $x$)
	$\mathbb{A}_{\mathbb{Q}} = \underset{p\; place}{\prod^\prime}\mathbb{Q}_p$ (ring of adeles)	$\mathbb{A}_{\mathbb{F}_q((t))}$ ( adeles of function field )	$\underset{x \in \mathbb{C}}{\prod^\prime} \mathbb{C}((z-x))$ (restricted product of holomorphic functions on all punctured formal disks, finitely of which do not extend to the unpunctured disks)
	$\mathbb{I}_{\mathbb{Q}} = GL_1(\mathbb{A}_{\mathbb{Q}})$ (group of ideles)	$\mathbb{I}_{\mathbb{F}_q((t))}$ ( ideles of function field )	$\underset{x \in \mathbb{C}}{\prod^\prime} GL_1(\mathbb{C}((z-x)))$
theta functions
	Jacobi theta function
zeta functions
	Riemann zeta function	Goss zeta function
branched covering curves
	$K$ a number field ($\mathbb{Q} \hookrightarrow K$ a possibly ramified finite dimensional field extension)	$K$ a function field of an algebraic curve $\Sigma$ over $\mathbb{F}_p$	$K_\Sigma$ (sheaf of rational functions on complex curve $\Sigma$)
	$\mathcal{O}_K$ (ring of integers)		$\mathcal{O}_{\Sigma}$ (structure sheaf)
	$Spec_{an}(\mathcal{O}_K) \to Spec(\mathbb{Z})$ (spectrum with archimedean places)	$\Sigma$ (arithmetic curve)	$\Sigma \to \mathbb{C}P^1$ (complex curve being branched cover of Riemann sphere)
	$\frac{(-)^p - \Phi(-)}{p}$ (lift of Frobenius morphism/Lambda-ring structure)	$\frac{\partial}{\partial z}$	“
	genus of a number field	genus of an algebraic curve	genus of a surface
formal neighbourhoods
	$v$ prime ideal in ring of integers $\mathcal{O}_K$	$x \in \Sigma$	$x \in \Sigma$
	$K_v$ (formal completion at $v$)		$\mathbb{C}((z_x))$ (function algebra on punctured formal disk around $x$)
	$\mathcal{O}_{K_v}$ (ring of integers of formal completion)		$\mathbb{C}[ [ z_x ] ]$ (function algebra on formal disk around $x$)
	$\mathbb{A}_K$ (ring of adeles)		$\prod^\prime_{x\in \Sigma} \mathbb{C}((z_x))$ (restricted product of function rings on all punctured formal disks around all points in $\Sigma$)
	$\mathcal{O}$		$\prod_{x\in \Sigma} \mathbb{C}[ [z_x] ]$ (function ring on all formal disks around all points in $\Sigma$)
	$\mathbb{I}_K = GL_1(\mathbb{A}_K)$ (group of ideles)		$\prod^\prime_{x\in \Sigma} GL_1(\mathbb{C}((z_x)))$
Galois theory
	Galois group	“	$\pi_1(\Sigma)$ fundamental group
	Galois representation	“	flat connection (“local system”) on $\Sigma$
class field theory
	class field theory	“	geometric class field theory
	Hilbert reciprocity law	Artin reciprocity law	Weil reciprocity law
	$GL_1(K)\backslash GL_1(\mathbb{A}_K)$ (idele class group)	“
	$GL_1(K)\backslash GL_1(\mathbb{A}_K)/GL_1(\mathcal{O})$	“	$Bun_{GL_1}(\Sigma)$ (moduli stack of line bundles, by Weil uniformization theorem)
non-abelian class field theory and automorphy
	number field Langlands correspondence	function field Langlands correspondence	geometric Langlands correspondence
	$GL_n(K) \backslash GL_n(\mathbb{A}_K)//GL_n(\mathcal{O})$ (constant sheaves on this stack form unramified automorphic representations)	“	$Bun_{GL_n(\mathbb{C})}(\Sigma)$ (moduli stack of bundles on the curve $\Sigma$, by Weil uniformization theorem)
	Tamagawa-Weil for number fields	Tamagawa-Weil for function fields
theta functions
	Hecke theta function		functional determinant line bundle of Dirac operator/chiral Laplace operator on $\Sigma$
zeta functions
	Dedekind zeta function	Weil zeta function	zeta function of a Riemann surface/of the Laplace operator on $\Sigma$
higher dimensional spaces
zeta functions	Hasse-Weil zeta function

References

Introductions and lecture notes include

• Marc Hindry, section 2.3 of Introduction to zeta and $L$-functions from arithmetic geometry and some applications (pdf)

• Daqing Wan, Lectures on zeta functions over finite fields, 2007 (pdf)

• E. Kowalski, section 1.6 in Automorphic forms, L-functions and number theory (March 12–16) Three Introductory lectures (pdf)