Stark Conjectures - Formulation

Formulation

The Stark conjectures, in the most general form, predict that the leading coefficient of an Artin L-function is the product of a type of regulator, the Stark regulator, with an algebraic number. When the extension is abelian and the order of vanishing of an L-function at s = 0 is one, Stark's refined conjecture predicts the existence of the Stark units, whose roots generate Kummer extensions of K that are abelian over the base field k (and not just abelian over K, as Kummer theory implies). As such, this refinement of his conjecture has theoretical implications for solving Hilbert's twelfth problem. Also, it is possible to compute Stark units in specific examples, allowing verification of the veracity of his refined conjecture as well as providing an important computational tool for generating abelian extensions of number fields. In fact, some standard algorithms for computing abelian extensions of number fields involve producing Stark units that generate the extensions (see below)