Math 2.0

Algebraic geometry Definition

Hasse–Weil zeta function

Builds on Riemann zeta functionFinite fieldDirichlet series

Definition

Let XX be a scheme of finite type over ℤ\Z, of Krull dimension dd. Let ∣X∣\abs{X} be its set of closed points; the residue field κ(x)\kappa(x) of each x∈∣X∣x \in \abs{X} is a finite field, and let N(x)=#κ(x)N(x) = \#\kappa(x). The Hasse–Weil zeta function of XX is ζX(s)=∏x∈∣X∣11−N(x)−s,\zeta_X(s) = \prod_{x \in \abs{X}} \frac{1}{1 - N(x)^{-s}}, an Euler product that converges absolutely for Re(s)>d\mathrm{Re}(s) > d.

Now let VV be a smooth projective variety over ℚ\Q. Choose a finite set of primes SS and a model XX of VV that is smooth and projective over ℤ[1/S]\Z[1/S]. For p∉Sp \notin S, let XpX_p be the fibre of XX over 𝔽p\F_p, and let Z(Xp,t)=exp⁡(∑m≥1#Xp(𝔽pm)m tm).Z(X_p, t) = \exp\left( \sum_{m \ge 1} \frac{\#X_p(\F_{p^m})}{m} \, t^m \right). The zeta function of VV is the product of the local factors Z(Xp,p−s)Z(X_p, p^{-s}) over p∉Sp \notin S. Changing the model changes only finitely many factors.

Remarks

The two forms agree: the local factor Z(Xp,p−s)Z(X_p, p^{-s}) is the product of (1−N(x)−s)−1(1 - N(x)^{-s})^{-1} over the closed points xx of XX lying over pp.

Example: for X=Spec ℤX = \mathrm{Spec}\, \Z, the closed points are the primes pp with N(p)=pN(p) = p, so ζX(s)=∏p(1−p−s)−1=ζ(s)\zeta_X(s) = \prod_p (1 - p^{-s})^{-1} = \zeta(s), the Riemann zeta function, which converges for Re(s)>1=d\mathrm{Re}(s) > 1 = d. For X=𝔸ℤ1X = \mathbb{A}^1_{\Z}, one finds ζX(s)=ζ(s−1)\zeta_X(s) = \zeta(s - 1), since #𝔸1(𝔽pm)=pm\#\mathbb{A}^1(\F_{p^m}) = p^m.

Non-example: the Dirichlet series ∑n≥1(−1)nn−s\sum_{n \ge 1} (-1)^{n} n^{-s} is not of this form, since its coefficients take negative values, while expanding an Euler product of factors (1−N(x)−s)−1(1 - N(x)^{-s})^{-1} gives nonnegative integer coefficients.

For an elliptic curve EE over ℚ\Q with a good model away from its conductor, the local factor at a good prime pp is 1−app−s+p1−2s(1−p−s)(1−p1−s)\dfrac{1 - a_p p^{-s} + p^{1 - 2s}}{(1 - p^{-s})(1 - p^{1-s})}. The Hasse–Weil conjecture predicts meromorphic continuation to ℂ\C and a functional equation; it is known for elliptic curves over ℚ\Q by the modularity theorem.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Dirichlet series concept
  2. Finite field concept
  3. Riemann zeta function concept
  4. Hasse–Weil zeta function definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Hasse%E2%80%93Weil_zeta_function
About this page
Tag6ZGF49H346
URIm2://6ZGF49H346
Kinddefinition
WritingW0 stub
MSC14G10, 11G40, 11M41
DefinesHasse–Weil zeta function
UsesRiemann zeta function, Finite field, Dirichlet series
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.