Special values of L-functions explained

In mathematics, the study of special values of -functions is a subfield of number theory devoted to generalising formulae such as the Leibniz formula for pi, namely$$1\; \backslash ,-\backslash ,\; \backslash frac\; \backslash ,+\backslash ,\; \backslash frac\; \backslash ,-\backslash ,\; \backslash frac\; \backslash ,+\backslash ,\; \backslash frac\; \backslash ,-\backslash ,\; \backslash cdots\; \backslash ;=\backslash ;\; \backslash frac,\backslash !$$

by the recognition that expression on the left-hand side is also

L( 1 ) where L(s) is the Dirichlet -function for the field of Gaussian rational numbers. 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. The factor \tfrac 14 on the right hand side of the formula corresponds to the fact that this field contains four roots of unity.

Conjectures

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

1. how to replace
   \pi in the Leibniz formula by some other "transcendental" number (regardless of whether it is currently 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 -function value to the "transcendental" factor.

Subsidiary explanations are given for the integer values of n for which a formulae of this sort involving 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; 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). 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

• Brumer–Stark conjecture

References

• • • • Richard J.. Mathar. Table of Dirichlet L-Series and Prime Zeta Modulo Functions for small moduli. 1008.2547. 2010. 2010arXiv1008.2547M-->. math.NT. cs2.

External links

• L-funktionen und die Vermutingen von Deligne und Beilinson (L-functions and the conjectures of Deligne and Beilsnson)

Notes and References

1. http://wwwmath.uni-muenster.de/u/pschnei/publ/beilinson-volume/Schneider.pdf Peter Schneider, Introduction to the Beilinson Conjectures (PDF)
2. http://webusers.imj-prg.fr/~jan.nekovar/pu/mot.pdf Jan Nekovář, Beilinson's Conjectures (PDF)
3. http://www.dpmms.cam.ac.uk/Seminars/Kuwait/abstracts/L56.pdf Matthias Flach, The Tamagawa Number Conjecture (PDF)