Английская Википедия:Arithmetic zeta function
Шаблон:Short description In mathematics, the arithmetic zeta function is a zeta function associated with a scheme of finite type over integers. The arithmetic zeta function generalizes the Riemann zeta function and Dedekind zeta function to higher dimensions. The arithmetic zeta function is one of the most-fundamental objects of number theory.
Definition
The arithmetic zeta function Шаблон:Math is defined by an Euler product analogous to the Riemann zeta function:
- <math>{\zeta_X(s)} = \prod_{x} \frac{1}{1 - N(x)^{-s}},</math>
where the product is taken over all closed points Шаблон:Mvar of the scheme Шаблон:Mvar. Equivalently, the product is over all points whose residue field is finite. The cardinality of this field is denoted Шаблон:Math.
Examples and properties
Varieties over a finite field
If Шаблон:Mvar is the spectrum of a finite field with Шаблон:Mvar elements, then
- <math>\zeta_X(s) = \frac{1}{1-q^{-s}}.</math>
For a variety X over a finite field, it is known by Grothendieck's trace formula that
- <math>\zeta_X(s) = Z(X, q^{-s})</math>
where <math>Z(X, t)</math> is a rational function (i.e., a quotient of polynomials).
Given two varieties X and Y over a finite field, the zeta function of <math>X \times Y</math> is given by
- <math>Z(X, t) \star Z(Y, t)=Z(X \times Y, t),</math>
where <math>\star</math> denotes the multiplication in the ring <math>W(\mathbf Z)</math> of Witt vectors of the integers.[1]
Ring of integers
If Шаблон:Mvar is the spectrum of the ring of integers, then Шаблон:Math is the Riemann zeta function. More generally, if Шаблон:Mvar is the spectrum of the ring of integers of an algebraic number field, then Шаблон:Math is the Dedekind zeta function.
Zeta functions of disjoint unions
The zeta function of affine and projective spaces over a scheme Шаблон:Mvar are given by
- <math>\begin{align}
\zeta_{\mathbf A^n(X)}(s) &= \zeta_X(s-n) \\ \zeta_{\mathbf P^n(X)}(s) &= \prod_{i=0}^n \zeta_X(s-i) \end{align}</math>
The latter equation can be deduced from the former using that, for any Шаблон:Mvar that is the disjoint union of a closed and open subscheme Шаблон:Mvar and Шаблон:Mvar, respectively,
- <math>\zeta_X(s) = \zeta_U(s) \zeta_V(s).</math>
Even more generally, a similar formula holds for infinite disjoint unions. In particular, this shows that the zeta function of Шаблон:Mvar is the product of the ones of the reduction of Шаблон:Mvar modulo the primes Шаблон:Mvar:
- <math>\zeta_X(s) = \prod_p \zeta_{X_p}(s).</math>
Such an expression ranging over each prime number is sometimes called Euler product and each factor is called Euler factor. In many cases of interest, the generic fiber Шаблон:Math is smooth. Then, only finitely many Шаблон:Math are singular (bad reduction). For almost all primes, namely when Шаблон:Mvar has good reduction, the Euler factor is known to agree with the corresponding factor of the Hasse–Weil zeta function of Шаблон:Math. Therefore, these two functions are closely related.
Main conjectures
There are a number of conjectures concerning the behavior of the zeta function of a regular irreducible equidimensional scheme Шаблон:Mvar (of finite type over the integers). Many (but not all) of these conjectures generalize the one-dimensional case of well known theorems about the Euler-Riemann-Dedekind zeta function.
The scheme need not be flat over Шаблон:Math, in this case it is a scheme of finite type over some Шаблон:Math. This is referred to as the characteristic Шаблон:Mvar case below. In the latter case, many of these conjectures (with the most notable exception of the Birch and Swinnerton-Dyer conjecture, i.e. the study of special values) are known. Very little is known for schemes that are flat over Шаблон:Math and are of dimension two and higher.
Meromorphic continuation and functional equation
Hasse and Weil conjectured that Шаблон:Math has a meromorphic continuation to the complex plane and satisfies a functional equation with respect to Шаблон:Math where Шаблон:Mvar is the absolute dimension of Шаблон:Mvar.
This is proven for Шаблон:Math and some very special cases when Шаблон:Math for flat schemes over Шаблон:Math and for all Шаблон:Mvar in positive characteristic. It is a consequence of the Weil conjectures (more precisely, the Riemann hypothesis part thereof) that the zeta function has a meromorphic continuation up to <math>\mathrm{Re}(s)>n-\tfrac{1}{2}</math>.
The generalized Riemann hypothesis
According to the generalized Riemann Hypothesis the zeros of Шаблон:Math are conjectured to lie inside the critical strip Шаблон:Math lie on the vertical lines Шаблон:Math and the poles of Шаблон:Math inside the critical strip Шаблон:Math lie on the vertical lines Шаблон:Math.
This was proved (Emil Artin, Helmut Hasse, André Weil, Alexander Grothendieck, Pierre Deligne) in positive characteristic for all Шаблон:Mvar. It is not proved for any scheme that is flat over Шаблон:Math. The Riemann hypothesis is a partial case of Conjecture 2.
Pole orders
Subject to the analytic continuation, the order of the zero or pole and the residue of Шаблон:Math at integer points inside the critical strip is conjectured to be expressible by important arithmetic invariants of Шаблон:Mvar. An argument due to Serre based on the above elementary properties and Noether normalization shows that the zeta function of Шаблон:Mvar has a pole at Шаблон:Math whose order equals the number of irreducible components of Шаблон:Mvar with maximal dimension.[2] Secondly, Tate conjectured[3]
- <math>\mathrm{ord}_{s=n-1} \zeta_X(s) = rk \mathcal O_X^\times(X) - rk \mathrm{Pic}(X)</math>
i.e., the pole order is expressible by the rank of the groups of invertible regular functions and the Picard group. The Birch and Swinnerton-Dyer conjecture is a partial case this conjecture. In fact, this conjecture of Tate's is equivalent to a generalization of Birch and Swinnerton-Dyer.
More generally, Soulé conjectured[4]
- <math>\mathrm{ord}_{s=n-m} \zeta_X(s) = - \sum_i (-1)^i rk K_i (X)^{(m)}</math>
The right hand side denotes the Adams eigenspaces of [[algebraic K-theory|algebraic Шаблон:Mvar-theory]] of Шаблон:Mvar. These ranks are finite under the Bass conjecture.
These conjectures are known when Шаблон:Math, that is, the case of number rings and curves over finite fields. As for Шаблон:Math, partial cases of the Birch and Swinnerton-Dyer conjecture have been proven, but even in positive characteristic the conjecture remains open.
Methods and theories
The arithmetic zeta function of a regular connected equidimensional arithmetic scheme of Kronecker dimension Шаблон:Mvar can be factorized into the product of appropriately defined Шаблон:Mvar-factors and an auxiliary factor. Hence, results on Шаблон:Mvar-functions imply corresponding results for the arithmetic zeta functions. However, there is still very little amount of proven results about the Шаблон:Mvar-factors of arithmetic schemes in characteristic zero and dimensions 2 and higher. Ivan Fesenko initiated[5] a theory which studies the arithmetic zeta functions directly, without working with their Шаблон:Mvar-factors. It is a higher-dimensional generalisation of Tate's thesis, i.e. it uses higher adele groups, higher zeta integral and objects which come from higher class field theory. In this theory, the meromorphic continuation and functional equation of proper regular models of elliptic curves over global fields is related to mean-periodicity property of a boundary function.[6] In his joint work with M. Suzuki and G. Ricotta a new correspondence in number theory is proposed, between the arithmetic zeta functions and mean-periodic functions in the space of smooth functions on the real line of not more than exponential growth.[7] This correspondence is related to the Langlands correspondence. Two other applications of Fesenko's theory are to the poles of the zeta function of proper models of elliptic curves over global fields and to the special value at the central point.[8]
References
Sources
