Special values of L-functions
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 ¼.
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:
- (a) 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
- (b) 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. The idea is to abstract from the regulator of a number field to some "higher 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. 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; it is mathematical folklore that the ETNC and Main Conjecture should be equivalent.
All these conjectures are known only in special cases.
See also 
- Peter Schneider, Introduction to the Beilinson Conjectures (PDF)
- Jan Nekovář, Beilinson's Conjectures (PDF)
- Matthias Flach, The Tamagawa Number Conjecture (PDF)
- E.g. Huber, Annette; Kings, Guido (2003). "Bloch–Kato conjecture and main conjecture of Iwasawa theory for Dirichlet characters". Duke Math. J. 119 (3): 393–464. doi:10.1215/S0012-7094-03-11931-6.
- Kings, Guido (2003), "The Bloch–Kato conjecture on special values of L-functions. A survey of known results", Journal de théorie des nombres de Bordeaux 15 (1): 179–198, doi:10.5802/jtnb.396, ISSN 1246-7405, MR2019010
- Hazewinkel, Michiel, ed. (2001), "Beilinson conjectures", Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
- Hazewinkel, Michiel, ed. (2001), "K-functor in algebraic geometry", Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
- Mathar, Richard J. (2010). "Table of Dirichlet L-Series and Prime Zeta Modulo Functions for small moduli". arXiv:1008.2547. Bibcode 2010arXiv1008.2547M.