Néron–Tate height

Néron–Tate height

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

Definition and properties

Néron defined the Néron–Tate height as a sum of local heights.[1] Tate (unpublished) defined it globally by observing that the logarithmic height hL associated to an invertible sheaf L on an abelian variety A is “almost quadratic,” and used this to show that the limit

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

exists and defines 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 abelian variety A is defined over a number field K and the invertible sheaf is ample, then the Néron–Tate height is positive definite in the sense that it vanishes only on torsion elements of the Mordell-Weil group A(K). More generally, \hat h_L induces a positive definite quadratic form on the real vector space A(K)\otimes\mathbb{R}.

On an elliptic curve, the Néron-Severi group is of rank one and has a unique ample generator, so this generator is often used to define the Néron–Tate height, which is denoted \hat h without reference to a particular line bundle. (However, the height that naturally appears in the statement of the Birch–Swinnerton-Dyer conjecture is twice this height.) On abelian varieties of higher dimension, there need not be a particular choice of smallest ample line bundle to be used in defining the Néron–Tate height.

The elliptic and abelian regulators

The bilinear form associated to the canonical height \hat h on an elliptic curve E is

 \langle P,Q\rangle = \frac{1}{2} \bigl( \hat h(P+Q) - \hat h(P) - \hat h(Q) \bigr) .

The elliptic regulator of E/K is

 \operatorname{Reg}(E/K) = \det\bigl( \langle P_i,P_j\rangle \bigr)_{1\le i,j\le r},

where P1,…,Pr is a basis for the Mordell-Weil group E(K) modulo torsion (cf. Gram determinant). The elliptic regulator does not depend on the choice of basis.

More generally, let A/K be an abelian variety, let B ≅ Pic0(A) be the dual abelian variety to A, and let P be the Poincaré line bundle on A × B. Then the abelian regulator of A/K is defined by choosing a basis Q1,…,Qr for the Mordell-Weil group A(K) modulo torsion and a basis η1,…,ηr for the Mordell-Weil group B(K) modulo torsion and setting

 \operatorname{Reg}(A/K) = \det\bigl( \langle P_i,\eta_j\rangle_{P} \bigr)_{1\le i,j\le r}.

(The definitions of elliptic and abelian regulator are not entirely consistent, since if A is an elliptic curve, then the latter is 2r times the former.)

The elliptic and abelian regulators appear in the Birch–Swinnerton-Dyer conjecture.

Lower bounds for the Néron–Tate height

There are two fundamental conjectures that give lower bounds for the Néron–Tate height. In the first, the field K is fixed and the elliptic curve E/K and point P ∈ E(K) vary, while in the second, the curve E/K is fixed while the field of definition of the point P varies.

 {\rm {Conjecture}~(Lang)}\quad \hat h(P) \ge c(K) \log(\operatorname{Norm}_{K/\mathbb{Q}}\operatorname{Disc}(E/K))\quad{\rm for~all }~E/K~{ \rm and~all~nontorsion }~P\in E(K).
 {\rm {Conjecture}~(Lehmer)}\quad \hat h(P) \ge \frac{c(E/K)}{[K(P):K]} \quad{\rm for~all}~P\in E(\bar K).

In both conjectures, the constants are positive and depend only on the indicated quantities. It is known that the abc conjecture implies Lang's conjecture.[2] The best general result on Lehmer's conjecture is the weaker estimate \hat h(P)\ge c(E/K)/[K(P):K]^{3+\epsilon} due to Masser.[3] When the elliptic curve has complex multiplication, this has been improved to \hat h(P)\ge c(E/K)/[K(P):K]^{1+\epsilon} by Laurent.[4]

Generalizations

A polarized algebraic dynamical system is a triple (V,φ,L) consisting of a (smooth projective) algebraic variety V, a self-morphism φ : V → V, and a line bundle L on V with the property that \phi^*L = L^{\otimes d} for some integer d > 1. The associated canonical height is given by the Tate limit[5]

 \hat h_{V,\phi,L}(P) = \lim_{n\to\infty} \frac{h_{V,L}(\phi^{(n)}(P))}{d^n},

where φ(n) = φ o φ o … o φ is the n-fold iteration of φ. For example, any morphism φ : PNPN of degree d > 1 yields a canonical height associated to the line bundle relation φ*O(1) = O(d). If V is defined over a number field and L is ample, then the canonical height is non-negative, and

 \hat h_{V,\phi,L}(P) = 0 ~~ \Longleftrightarrow ~~ P~{\rm is~preperiodic~for~}\phi.

(P is preperiodic if its forward orbit P, φ(P), φ2(P), φ3(P),… contains only finitely many distinct points.)

References

  1. ^ A. Néron, Quasi-fonctions et hauteurs sur les variétés abéliennes, Ann. of Math. 82 (1965), 249–331
  2. ^ M. Hindry and J.H. Silverman, The canonical height and integral points on elliptic curves, Invent. Math. 93 (1988), 419-450
  3. ^ D. Masser, Counting points of small height on elliptic curves, Bull. Soc. Math. France 117 (1989), 247-265
  4. ^ M. Laurent, Minoration de la hauteur de Néron-Tate, Séminaire de Théorie des Nombres (Paris 1981-1982), Progress in Mathematics, Birkhäuser 1983, 137-151
  5. ^ G. Call and J.H. Silverman, Canonical heights on varieties with morphisms, Compositio Math. 89 (1993), 163-205

General references for the theory of canonical heights

External links


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Height (disambiguation) — Height is the measurement of vertical distance.Height may also refer to:*Height (musician), a Baltimore hip hop artist *Height (ring theory), a measurement in commutative algebra *Height of a polynomial, the maximum of the magnitudes of a… …   Wikipedia

  • André Néron — André Néron, né le 30 novembre 1922 à La Clayette et mort le 5 avril 1985 à Paris, est un mathématicien français. Il est entré à l École normale supérieure en 1943 et soutint en 1952 sa thèse, dirigée par Albert Châtelet. Il a …   Wikipédia en Français

  • John Tate — John Torrence Tate Jr., born March 13, 1925 in Minneapolis, Minnesota, is an American mathematician, distinguished for many fundamental contributions in algebraic number theory and related areas in algebraic geometry. He wrote a Ph.D. at… …   Wikipedia

  • André Néron — was a French mathematician at the Université de Poitiers who worked on elliptic curves and Abelian varieties. He discovered the Néron minimal model of an elliptic curve or abelian variety, and the Néron–Severi group, and the Néron–Tate height of… …   Wikipedia

  • Glossary of arithmetic and Diophantine geometry — This is a glossary of arithmetic and Diophantine geometry in mathematics, areas growing out of the traditional study of Diophantine equations to encompass large parts of number theory and algebraic geometry. Much of the theory is in the form of… …   Wikipedia

  • Arithmetic of abelian varieties — In mathematics, the arithmetic of abelian varieties is the study of the number theory of an abelian variety, or family of those. It goes back to the studies of Fermat on what are now recognised as elliptic curves; and has become a very… …   Wikipedia

  • List of mathematics articles (N) — NOTOC N N body problem N category N category number N connected space N dimensional sequential move puzzles N dimensional space N huge cardinal N jet N Mahlo cardinal N monoid N player game N set N skeleton N sphere N! conjecture Nabla symbol… …   Wikipedia

  • Joseph Silverman — Joseph Hillel Silverman (* 27. März 1955 in New York) ist ein US amerikanischer Zahlentheoretiker. Silverman studierte an der Brown University (Bachelor Abschluss 1977) und wurde 1982 bei John T. Tate in Harvard mit der Dissertation The Neron… …   Deutsch Wikipedia

  • Bogomolov conjecture — In mathematics, the Bogomolov conjecture generalises the Manin Mumford conjecture. It says that given a curve C of genus geq 2 over a number field K together with an embedding into its Jacobian J, the number of overline{K} rational points in C… …   Wikipedia

  • Séminaire Nicolas Bourbaki (1960–1969) — Continuation of the Séminaire Nicolas Bourbaki programme, for the 1960s.1960/61 series*205 Adrien Douady, Plongements de sphères, d après Mazur et Brown (embeddings of spheres) *206 Roger Godement, Groupes linéaires algébriques sur un corps… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”