Néron–Tate heights [01K7]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Néron–Tate heights
We want to apply this formula to a specific metrized line bundle on . The Jacobian of is an Abelian variety of dimension . We also choose a divisor of degree on and correspondingly fix an embedding of into . (For this, we may need to enlarge the ground field .) Finally, we let be the theta divisor of , defined as the image of by the map .
As described above, the line bundle admits a canonical metrization ; this induces a metrization on its inverse image on . The metrized line bundle gives rise to the (theta) Néron–Tate height on . Consequently, decomposing , we obtain
where is the fixed divisor of degree on .