Néron–Tate height

From Wikipedia, the free encyclopedia

In number theory, the Néron–Tate height (or canonical height) is a quadratic form on the Mordell-Weil group of rational points of an abelian variety defined over a global field. It is named after André Néron and John Tate.

Contents

[edit] Definition and properties

Néron defined the Néron–Tate height as a sum of local heights. Tate defined it globally, by observing that the logarithmic height h associated to an invertible sheaf on an abelian variety is "almost quadratic", and used this to show that the Néron–Tate height

\hat h(P) = \lim_{N\rightarrow\infty}\frac{h(NP)}{N^2}

of a rational point P is a quadratic form on the Mordell-Weil group of rational points.

The Néron–Tate height depends on the choice of an invertible sheaf (or an element of the Néron-Severi group) on the abelian variety. If the invertible sheaf is ample, the Néron–Tate height is positive definite (so it vanishes only on torsion elements of the Mordell-Weil group). On an elliptic curve, the Néron-Severi group is of rank one and has a unique ample generator, so this is usually used to define the Néron–Tate height. On an abelian variety of higher dimension, there need not be a canonical choice of line bundle for defining the Néron–Tate height.

[edit] The elliptic regulator

The elliptic regulator of an elliptic curve is the absolute value of determinant of the inner product matrix of a basis of the Mordell-Weil group (modulo torsion) (cf. Gram determinant). It does not depend on the choice of a basis. It appears in the Birch–Swinnerton-Dyer conjecture.

[edit] References

[edit] External links