Stark's conjecture

From Wikipedia, the free encyclopedia

Stark's conjecture (or conjectures) in number theory, introduced in a series of papers in the 1970s by American mathematician Harold Stark, deals partly with the question of finding interesting, particular units in number fields. This has resulted in a large conjectural development for L-functions, and is also capable of producing concrete, numerical results, as they are precise enough for computation.

1 Formulation
2 Computation
3 Progress
4 References

[edit] Formulation

Stark's principal conjecture proposes that the first non-zero coefficient of the Taylor expansion of an L-function at zero is given by the product of an algebraic number and the so-called Stark regulator. When the extension defining the L-function is abelian, various refined conjectures have been proposed (see the paper by Rubin ^[1], for example), which in certain cases predict the existence of special units known as Stark units.

[edit] Computation

The first order zero conjectures are used in recent versions of the PARI/GP computer algebra system to compute Hilbert Class fields of totally real number fields, and the conjectures provide one solution to Hilbert's twelfth problem, which challenged mathematicians to show how class fields may be constructed over any number field by the methods of complex analysis.

Stark's principal conjecture has been proven in various special cases, including the case where the character defining the L-function takes on only rational values. Except when the base field is the rational numbers or an imaginary quadratic field, the abelian Stark conjectures are still unproved in number fields, and more progress has been made in function fields.

[edit] Progress

Work of Manin related Stark's conjectures to noncommutative geometry of Alain Connes. This provides a very attractive conceptual framework for studying the conjectures, although at the moment it is unclear whether Manin's techniques will yield the actual proof.