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 π, namely by the recognition that expression on the left-hand side is also L(1) where L(s) is the Dirichlet L-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 \tfrac14 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 L-functions (the very general setting being for L-functions associated to Chow motives over number fields), the division into two reflecting the questions of:

<li> how to replace \pi in the [Leibniz formula](https://bliptext.com/articles/leibniz-formula-for-pi) by some other "transcendental" number (regardless of whether it is currently possible for [transcendental number theory](https://bliptext.com/articles/transcendental-number-theory) to provide a proof of the transcendence); and</li> <li> 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.</li> </ol> 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](https://bliptext.com/articles/alexander-beilinson). The idea is to abstract from the [regulator of a number field](https://bliptext.com/articles/regulator-of-a-number-field) to some "higher regulator" (the [Beilinson regulator](https://bliptext.com/articles/beilinson-regulator)), a determinant constructed on a real vector space that comes from [algebraic K-theory](https://bliptext.com/articles/algebraic-k-theory). The conjectures for (b) are called the [Bloch–Kato conjecture](https://bliptext.com/articles/bloch-kato-conjecture)s for special values (for [Spencer Bloch](https://bliptext.com/articles/spencer-bloch) and [Kazuya Kato](https://bliptext.com/articles/kazuya-kato); this circle of ideas is distinct from the [Bloch–Kato conjecture](https://bliptext.com/articles/bloch-kato-conjecture) of K-theory, extending the [Milnor conjecture](https://bliptext.com/articles/milnor-conjecture-k-theory), a proof of which was announced in 2009). They are also called the [Tamagawa number](https://bliptext.com/articles/tamagawa-number) conjecture, a name arising via the [Birch–Swinnerton-Dyer conjecture](https://bliptext.com/articles/birch-swinnerton-dyer-conjecture) and its formulation as an [elliptic curve](https://bliptext.com/articles/elliptic-curve) analogue of the [Tamagawa number](https://bliptext.com/articles/tamagawa-number) problem for [linear algebraic groups](https://bliptext.com/articles/linear-algebraic-group). In a further extension, the equivariant Tamagawa number conjecture (ETNC) has been formulated, to consolidate the connection of these ideas with [Iwasawa theory](https://bliptext.com/articles/iwasawa-theory), and its so-called [Main Conjecture](https://bliptext.com/articles/main-conjecture-of-iwasawa-theory).

Current status

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