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.
Definition and properties Néron defined the Néron–Tate height as a sum of local heights. Although the global Néron–Tate height is quadratic, the constituent local heights are not quite quadratic. Tate (unpublished) defined it globally by observing that the logarithmic height h L {\displaystyle h_{L}} associated to a symmetric invertible sheaf L {\displaystyle L} on an abelian variety A {\displaystyle A} is “almost quadratic,” and used this to show that the limit
h ^ L ( P ) = lim N → ∞ h L ( N P ) N 2 {\displaystyle {\hat {h}}_{L}(P)=\lim _{N\rightarrow \infty }{\frac {h_{L}(NP)}{N^{2}}}}
exists, defines a quadratic form on the Mordell–Weil group of rational points, and satisfies
h ^ L ( P ) = h L ( P ) + O ( 1 ) , {\displaystyle {\hat {h}}_{L}(P)=h_{L}(P)+O(1),}
where the implied O ( 1 ) {\displaystyle O(1)} constant is independent of P {\displaystyle P} . If L {\displaystyle L} is anti-symmetric, that is [ − 1 ] ∗ L = L − 1 {\displaystyle [-1]^{*}L=L^{-1}} , then the analogous limit
h ^ L ( P ) = lim N → ∞ h L ( N P ) N {\displaystyle {\hat {h}}_{L}(P)=\lim _{N\rightarrow \infty }{\frac {h_{L}(NP)}{N}}}
converges and satisfies h ^ L ( P ) = h L ( P ) + O ( 1 ) {\displaystyle {\hat {h}}_{L}(P)=h_{L}(P)+O(1)} , but in this case h ^ L {\displaystyle {\hat {h}}_{L}} is a linear function on the Mordell-Weil group. For general invertible sheaves, one writes L ⊗ 2 = ( L ⊗ [ − 1 ] ∗ L ) ⊗ ( L ⊗ [ − 1 ] ∗ L − 1 ) {\displaystyle L^{\otimes 2}=(L\otimes [-1]^{*}L)\otimes (L\otimes [-1]^{*}L^{-1})} as a product of a symmetric sheaf and an anti-symmetric sheaf, and then
h ^ L ( P ) = 1 2 h ^ L ⊗ [ − 1 ] ∗ L ( P ) + 1 2 h ^ L ⊗ [ − 1 ] ∗ L − 1 ( P ) {\displaystyle {\hat {h}}_{L}(P)={\frac {1}{2}}{\hat {h}}_{L\otimes [-1]^{*}L}(P)+{\frac {1}{2}}{\hat {h}}_{L\otimes [-1]^{*}L^{-1}}(P)}
is the unique quadratic function satisfying
… excerpt ends here. Continue reading the full article.
