show · ag.canonical_height all knowls · up · search:

Let $A$ be a principally polarised abelian variety defined over a number field $L$. The canonical height on $A$ is a function $$ \hat{h}: A(L) \to \R_{ {}\ge0} $$ defined on the Mordell-Weil group $A(L)$ which induces a positive definite quadratic form on $A(L)\otimes\R$.

One definition of $\hat{h}(P)$ is $\hat h(P)= h_{\mathrm{Kum}}(\theta(P))$, where $\sigma \colon A \to K$ is the natural map from $A$ to its Kummer surface $K : = A/\{\pm 1\}$, and $h_\mathrm{kum} \colon K(L) \to \R$ the canonical height pairing associated to a theta divisor $\Theta$ on $K$, which can be defined by $$ h_{\mathrm{Kum}}(Q)=\lim_{n\to\infty} n^{-2}h_{\Theta}\bigl(nQ\bigr), $$ where $h_{\Theta}$ is the Weil height associated to a theta divisor $\Theta$ on $K$.

Related to the canonical height is the height pairing $$ \langle-,-\rangle : A(L)\times A(L) \to \R $$ defined by $\langle P,Q\rangle = \frac{1}{2}(\hat{h}(P+Q)-\hat{h}(P)-\hat{h}(Q))$, which is a positive definite quadratic form on $A(L)\otimes\R$, used in defining the regulator of $A/L$.

Authors:
Knowl status:
  • Review status: beta
  • Last edited by Raymond van Bommel on 2019-11-22 17:15:33
Referred to by:
History: (expand/hide all)