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.
The arithmetic zeta function ζX (s) is defined by an Euler product analogous to the Riemann zeta function:
where the product is taken over all closed points x of the scheme X. Equivalently, the product is over all points whose residue field is finite. The cardinality of this field is denoted N(x).
If X is the spectrum of a finite field with q elements, then
For a variety X over a finite field, it is known by Grothendieck's trace formula that
where is a rational function (i.e., a quotient of polynomials).
Given two varieties X and Y over a finite field, the zeta function of is given by
where denotes the multiplication in the ring of Witt vectors of the integers. [1]
If X is the spectrum of the ring of integers, then ζX (s) is the Riemann zeta function. More generally, if X is the spectrum of the ring of integers of an algebraic number field, then ζX (s) is the Dedekind zeta function.
The zeta function of affine and projective spaces over a scheme X are given by
The latter equation can be deduced from the former using that, for any X that is the disjoint union of a closed and open subscheme U and V, respectively,
Even more generally, a similar formula holds for infinite disjoint unions. In particular, this shows that the zeta function of X is the product of the ones of the reduction of X modulo the primes p:
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 XQ is smooth. Then, only finitely many Xp are singular (bad reduction). For almost all primes, namely when X has good reduction, the Euler factor is known to agree with the corresponding factor of the Hasse–Weil zeta function of XQ. Therefore, these two functions are closely related.
There are a number of conjectures concerning the behavior of the zeta function of a regular irreducible equidimensional scheme X (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 Z, in this case it is a scheme of finite type over some Fp. This is referred to as the characteristic p 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 Z and are of dimension two and higher.
Hasse and Weil conjectured that ζX (s) has a meromorphic continuation to the complex plane and satisfies a functional equation with respect to s → n − s where n is the absolute dimension of X.
This is proven for n = 1 and some very special cases when n > 1 for flat schemes over Z and for all n 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 .
According to the generalized Riemann Hypothesis the zeros of ζX (s) are conjectured to lie inside the critical strip 0 ≤ Re(s) ≤ n lie on the vertical lines Re(s) = 1/2, 3/2, ... and the poles of ζX (s) inside the critical strip 0 ≤ Re(s) ≤ n lie on the vertical lines Re(s) = 0, 1, 2, ....
This was proved (Emil Artin, Helmut Hasse, André Weil, Alexander Grothendieck, Pierre Deligne) in positive characteristic for all n. It is not proved for any scheme that is flat over Z. The Riemann hypothesis is a partial case of Conjecture 2.
Subject to the analytic continuation, the order of the zero or pole and the residue of ζX (s) at integer points inside the critical strip is conjectured to be expressible by important arithmetic invariants of X. An argument due to Serre based on the above elementary properties and Noether normalization shows that the zeta function of X has a pole at s = n whose order equals the number of irreducible components of X with maximal dimension. [2] Secondly, Tate conjectured [3]
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]
The right hand side denotes the Adams eigenspaces of algebraic K-theory of X. These ranks are finite under the Bass conjecture.
These conjectures are known when n = 1, that is, the case of number rings and curves over finite fields. As for n > 1, partial cases of the Birch and Swinnerton-Dyer conjecture have been proven, but even in positive characteristic the conjecture remains open.
The arithmetic zeta function of a regular connected equidimensional arithmetic scheme of Kronecker dimension n can be factorized into the product of appropriately defined L-factors and an auxiliary factor. Hence, results on L-functions imply corresponding results for the arithmetic zeta functions. However, there is still very little amount of proven results about the L-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 L-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]
In mathematics, an elliptic curve is a smooth, projective, algebraic curve of genus one, on which there is a specified point O. An elliptic curve is defined over a field K and describes points in K2, the Cartesian product of K with itself. If the field's characteristic is different from 2 and 3, then the curve can be described as a plane algebraic curve which consists of solutions (x, y) for:
The Möbius function μ(n) is a multiplicative function in number theory introduced by the German mathematician August Ferdinand Möbius (also transliterated Moebius) in 1832. It is ubiquitous in elementary and analytic number theory and most often appears as part of its namesake the Möbius inversion formula. Following work of Gian-Carlo Rota in the 1960s, generalizations of the Möbius function were introduced into combinatorics, and are similarly denoted μ(x).
The Riemann zeta function or Euler–Riemann zeta function, denoted by the Greek letter ζ (zeta), is a mathematical function of a complex variable defined as
In abstract algebra, a Dedekind domain or Dedekind ring, named after Richard Dedekind, is an integral domain in which every nonzero proper ideal factors into a product of prime ideals. It can be shown that such a factorization is then necessarily unique up to the order of the factors. There are at least three other characterizations of Dedekind domains that are sometimes taken as the definition: see below.
The Riemann hypothesis is one of the most important conjectures in mathematics. It is a statement about the zeros of the Riemann zeta function. Various geometrical and arithmetical objects can be described by so-called global L-functions, which are formally similar to the Riemann zeta-function. One can then ask the same question about the zeros of these L-functions, yielding various generalizations of the Riemann hypothesis. Many mathematicians believe these generalizations of the Riemann hypothesis to be true. The only cases of these conjectures which have been proven occur in the algebraic function field case.
In order theory, a field of mathematics, an incidence algebra is an associative algebra, defined for every locally finite partially ordered set and commutative ring with unity. Subalgebras called reduced incidence algebras give a natural construction of various types of generating functions used in combinatorics and number theory.
In mathematics, the Weil conjectures were highly influential proposals by André Weil (1949). They led to a successful multi-decade program to prove them, in which many leading researchers developed the framework of modern algebraic geometry and number theory.
In mathematics, analytic number theory is a branch of number theory that uses methods from mathematical analysis to solve problems about the integers. It is often said to have begun with Peter Gustav Lejeune Dirichlet's 1837 introduction of Dirichlet L-functions to give the first proof of Dirichlet's theorem on arithmetic progressions. It is well known for its results on prime numbers and additive number theory.
In number theory, the local zeta functionZ(V, s) is defined as
In mathematics, the Dedekind zeta function of an algebraic number field K, generally denoted ζK(s), is a generalization of the Riemann zeta function (which is obtained in the case where K is the field of rational numbers Q). It can be defined as a Dirichlet series, it has an Euler product expansion, it satisfies a functional equation, it has an analytic continuation to a meromorphic function on the complex plane C with only a simple pole at s = 1, and its values encode arithmetic data of K. The extended Riemann hypothesis states that if ζK(s) = 0 and 0 < Re(s) < 1, then Re(s) = 1/2.
In mathematics, the Hasse–Weil zeta function attached to an algebraic variety V defined over an algebraic number field K is a meromorphic function on the complex plane defined in terms of the number of points on the variety after reducing modulo each prime number p. It is a global L-function defined as an Euler product of local zeta functions.
In mathematics, an Artin L-function is a type of Dirichlet series associated to a linear representation ρ of a Galois group G. These functions were introduced in 1923 by Emil Artin, in connection with his research into class field theory. Their fundamental properties, in particular the Artin conjecture described below, have turned out to be resistant to easy proof. One of the aims of proposed non-abelian class field theory is to incorporate the complex-analytic nature of Artin L-functions into a larger framework, such as is provided by automorphic forms and the Langlands program. So far, only a small part of such a theory has been put on a firm basis.
This is a glossary of arithmetic and diophantine geometry in mathematics, areas growing out of the traditional study of Diophantine equations to encompass large parts of number theory and algebraic geometry. Much of the theory is in the form of proposed conjectures, which can be related at various levels of generality.
In algebraic geometry, the Chow groups of an algebraic variety over any field are algebro-geometric analogs of the homology of a topological space. The elements of the Chow group are formed out of subvarieties in a similar way to how simplicial or cellular homology groups are formed out of subcomplexes. When the variety is smooth, the Chow groups can be interpreted as cohomology groups and have a multiplication called the intersection product. The Chow groups carry rich information about an algebraic variety, and they are correspondingly hard to compute in general.
In mathematics, the field with one element is a suggestive name for an object that should behave similarly to a finite field with a single element, if such a field could exist. This object is denoted F1, or, in a French–English pun, Fun. The name "field with one element" and the notation F1 are only suggestive, as there is no field with one element in classical abstract algebra. Instead, F1 refers to the idea that there should be a way to replace sets and operations, the traditional building blocks for abstract algebra, with other, more flexible objects. Many theories of F1 have been proposed, but it is not clear which, if any, of them give F1 all the desired properties. While there is still no field with a single element in these theories, there is a field-like object whose characteristic is one.
In mathematics, Arakelov theory is an approach to Diophantine geometry, named for Suren Arakelov. It is used to study Diophantine equations in higher dimensions.
In mathematics, the Riemann hypothesis is the conjecture that the Riemann zeta function has its zeros only at the negative even integers and complex numbers with real part 1/2. Many consider it to be the most important unsolved problem in pure mathematics. It is of great interest in number theory because it implies results about the distribution of prime numbers. It was proposed by Bernhard Riemann (1859), after whom it is named.
In mathematics, an algebraic number field is an extension field of the field of rational numbers such that the field extension has finite degree . Thus is a field that contains and has finite dimension when considered as a vector space over .
Christopher Deninger is a German mathematician at the University of Münster. Deninger's research focuses on arithmetic geometry, including applications to L-functions.
In algebra and number theory, a distribution is a function on a system of finite sets into an abelian group which is analogous to an integral: it is thus the algebraic analogue of a distribution in the sense of generalised function.
Sources
