Special values of L-functions

Last updated

In mathematics, the study of special values of L-functions is a subfield of number theory devoted to generalising formulae such as the Leibniz formula for pi, namely

Contents

by the recognition that expression on the left-hand side is also L(1) where L(s) is the Dirichlet L-function for the Gaussian field. This formula is a special case of the analytic class number formula, and in those terms reads that the Gaussian field has class number 1, and also contains four roots of unity, so accounting for the factor ¼.

Conjectures

There are two families of conjectures, formulated for general classes of L-functions (the very general setting being for L-functions L(s) associated to Chow motives over number fields), the division into two reflecting the questions of:

  1. how to replace π in the Leibniz formula by some other "transcendental" number (whether or not it is yet possible for transcendental number theory to provide a proof of the transcendence); and
  2. how to generalise the rational factor in the formula (class number divided by number of roots of unity) by some algebraic construction of a rational number that will represent the ratio of the L-function value to the "transcendental" factor.

Subsidiary explanations are given for the integer values of n for which such formulae L(n) can be expected to hold.

The conjectures for (a) are called Beilinson's conjectures, for Alexander Beilinson. [1] [2] The idea is to abstract from the regulator of a number field to some "higher regulator" (the Beilinson regulator), a determinant constructed on a real vector space that comes from algebraic K-theory.

The conjectures for (b) are called the Bloch–Kato conjectures for special values (for Spencer Bloch and Kazuya Kato – NB this circle of ideas is distinct from the Bloch–Kato conjecture of K-theory, extending the Milnor conjecture, a proof of which was announced in 2009). For the sake of greater clarity, they are also called the Tamagawa number conjecture, a name arising via the Birch–Swinnerton-Dyer conjecture and its formulation as an elliptic curve analogue of the Tamagawa number problem for linear algebraic groups. [3] In a further extension, the equivariant Tamagawa number conjecture (ETNC) has been formulated, to consolidate the connection of these ideas with Iwasawa theory, and its so-called Main Conjecture.

Current status

All of these conjectures are known to be true only in special cases.

See also

Notes

Related Research Articles

Algebraic number theory Branch of number theory

Algebraic number theory is a branch of number theory that uses the techniques of abstract algebra to study the integers, rational numbers, and their generalizations. Number-theoretic questions are expressed in terms of properties of algebraic objects such as algebraic number fields and their rings of integers, finite fields, and function fields. These properties, such as whether a ring admits unique factorization, the behavior of ideals, and the Galois groups of fields, can resolve questions of primary importance in number theory, like the existence of solutions to Diophantine equations.

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.

<i>L</i>-function Meromorphic function on the complex plane

In mathematics, an L-function is a meromorphic function on the complex plane, associated to one out of several categories of mathematical objects. An L-series is a Dirichlet series, usually convergent on a half-plane, that may give rise to an L-function via analytic continuation. The Riemann zeta function is an example of an L-function, and one important conjecture involving L-functions is the Riemann hypothesis and its generalization.

Analytic number theory Exploring properties of the integers with complex analysis

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.

Pierre Deligne Belgian mathematician

Pierre René, Viscount Deligne is a Belgian mathematician. He is best known for work on the Weil conjectures, leading to a complete proof in 1973. He is the winner of the 2013 Abel Prize, 2008 Wolf Prize, 1988 Crafoord Prize, and 1978 Fields Medal.

In mathematics, Dirichlet's unit theorem is a basic result in algebraic number theory due to Peter Gustav Lejeune Dirichlet. It determines the rank of the group of units in the ring OK of algebraic integers of a number field K. The regulator is a positive real number that determines how "dense" the units are.

In mathematics, the L-functions of number theory are expected to have several characteristic properties, one of which is that they satisfy certain functional equations. There is an elaborate theory of what these equations should be, much of which is still conjectural.

Motivic cohomology is an invariant of algebraic varieties and of more general schemes. It is a type of cohomology related to motives and includes the Chow ring of algebraic cycles as a special case. Some of the deepest problems in algebraic geometry and number theory are attempts to understand motivic cohomology.

In mathematics, an Euler system is a collection of compatible elements of Galois cohomology groups indexed by fields. They were introduced by Kolyvagin (1990) in his work on Heegner points on modular elliptic curves, which was motivated by his earlier paper Kolyvagin (1988) and the work of Thaine (1988). Euler systems are named after Leonhard Euler because the factors relating different elements of an Euler system resemble the Euler factors of an Euler product.

In mathematics, the Dedekind zeta function of an algebraic number field K, generally denoted ζK(s), is a generalization of the Riemann zeta function. 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 number theory, the class number formula relates many important invariants of a number field to a special value of its Dedekind zeta function.

Kazuya Kato is a Japanese mathematician. He grew up in the prefecture of Wakayama in Japan. He attended college at the University of Tokyo, from which he also obtained his master's degree in 1975, and his PhD in 1980. He was a professor at Tokyo University, Tokyo Institute of Technology and Kyoto University. He joined the faculty of the University of Chicago in 2009.

In algebraic geometry, a period is a number that can be expressed as an integral of an algebraic function over an algebraic domain. Sums and products of periods remain periods, so the periods form a ring.

Alexander Beilinson Russian-American mathematician

Alexander A. Beilinson is the David and Mary Winton Green University Professor at the University of Chicago and works on mathematics. His research has spanned representation theory, algebraic geometry and mathematical physics. In 1999 Beilinson was awarded the Ostrowski Prize with Helmut Hofer. In 2017 he was elected to the National Academy of Sciences.

In mathematics, a p-adic zeta function, or more generally a p-adic L-function, is a function analogous to the Riemann zeta function, or more general L-functions, but whose domain and target are p-adic. For example, the domain could be the p-adic integersZp, a profinite p-group, or a p-adic family of Galois representations, and the image could be the p-adic numbersQp or its algebraic closure.

Matthias Flach is a German mathematician, professor and former executive officer for mathematics at California Institute of Technology.

In mathematics, the norm residue isomorphism theorem is a long-sought result relating Milnor K-theory and Galois cohomology. The result has a relatively elementary formulation and at the same time represents the key juncture in the proofs of many seemingly unrelated theorems from abstract algebra, theory of quadratic forms, algebraic K-theory and the theory of motives. The theorem asserts that a certain statement holds true for any prime and any natural number . John Milnor speculated that this theorem might be true for and all , and this question became known as Milnor's conjecture. The general case was conjectured by Spencer Bloch and Kazuya Kato and became known as the Bloch–Kato conjecture or the motivic Bloch–Kato conjecture to distinguish it from the Bloch–Kato conjecture on values of L-functions. The norm residue isomorphism theorem was proved by Vladimir Voevodsky using a number of highly innovative results of Markus Rost.

In mathematics, motivic L-functions are a generalization of Hasse–Weil L-functions to general motives over global fields. The local L-factor at a finite place v is similarly given by the characteristic polynomial of a Frobenius element at v acting on the v-inertial invariants of the v-adic realization of the motive. For infinite places, Jean-Pierre Serre gave a recipe in for the so-called Gamma factors in terms of the Hodge realization of the motive. It is conjectured that, like other L-functions, that each motivic L-function can be analytically continued to a meromorphic function on the entire complex plane and satisfies a functional equation relating the L-function L(sM) of a motive M to L(1 − s, M), where M is the dual of the motive M.

Christopher Deninger German mathematician

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 mathematics, especially in algebraic geometry, the Beilinson regulator is the Chern class map from algebraic K-theory to Deligne cohomology:

References