Английская Википедия:Elliptic unit

Содержание

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

In mathematics, elliptic units are certain units of abelian extensions of imaginary quadratic fields constructed using singular values of modular functions, or division values of elliptic functions. They were introduced by Gilles Robert in 1973, and were used by John Coates and Andrew Wiles in their work on the Birch and Swinnerton-Dyer conjecture. Elliptic units are an analogue for imaginary quadratic fields of cyclotomic units. They form an example of an Euler system.

Definition

A system of elliptic units may be constructed for an elliptic curve E with complex multiplication by the ring of integers R of an imaginary quadratic field F. For simplicity we assume that F has class number one. Let a be an ideal of R with generator α. For a Weierstrass model of E, define

<math>\Theta_{\mathbf{a}}(P) = \alpha^{-12} \Delta_E^{N\mathbf{a} - 1} \prod_{\mathbf{a}P=0, P\ne0} (x-x(P))^{-6} \ . </math>

where P is a point on E, Δ is the discriminant, and x is the X-coordinate on the Weierstrass model. The function Θ is independent of the choice of model, and is defined over the field of definition of E.

Properties

Let b be an ideal of R coprime to a and Q an R-generator of the b-torsion. Then Θ_a(Q) is defined over the ray class field K(b), and if b is not a prime power then Θ_a(Q) is a global unit: if b is a power of a prime p then Θ_a(Q) is a unit away from p.

The function Θ_a satisfies a distribution relation for b = (β) coprime to a:

<math> \prod_{\mathbf{b}Q=0} \Theta_{\mathbf{a}}(P+R) = \Theta_{\mathbf{a}}(\beta P) \ . </math>

See also

• Modular unit

References

• Шаблон:Cite book
• Шаблон:Cite journal
• Шаблон:Cite book
• Robert, Gilles Unités elliptiques. (Elliptic units) Bull. Soc. Math. France, Supp. Mém. No. 36. Bull. Soc. Math. France, Tome 101. Société Mathématique de France, Paris, 1973. 77 pp.