ScalingStacks

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 XX. The Jacobian JJ of XX is an Abelian variety of dimension gg. We also choose a divisor DD of degree 11 on XX and correspondingly fix an embedding ι\iota of XX into JJ. (For this, we may need to enlarge the ground field FF.) Finally, we let Θ\Theta be the theta divisor of JJ, defined as the image of Xg−1X^{g-1} by the map (x1,…,xg−1)↦∑j=1g−1ι⁡(xj)(x_{1},\dots,x_{g-1})\mapsto\sum_{j=1}^{g-1}\iota(x_{j}).

As described above, the line bundle 𝒪J​(Θ)\mathscr{O}_{J}(\Theta) admits a canonical metrization ; this induces a metrization on its inverse image L=ι∗​𝒪J​(Θ)L=\iota^{*}\mathscr{O}_{J}(\Theta) on XX. The metrized line bundle 𝒪J​(Θ)¯\overline{\mathscr{O}_{J}(\Theta)} gives rise to the (theta) Néron–Tate height on JJ. Consequently, decomposing div⁡(f)=∑nP​P\operatorname{div}(f)=\sum n_{P}P, we obtain

(c^1(L¯)|div(f))=∑nP[F(P):F]h^Θ(ι(P))=∑nP[F(P):F]h^Θ([P−D]),({\widehat{c}}_{1}(\overline{L})|\operatorname{div}(f))=\sum n_{P}[F(P):F]\widehat{h}_{\Theta}(\iota(P))=\sum n_{P}[F(P):F]\widehat{h}_{\Theta}([P-D]),

where DD is the fixed divisor of degree 11 on XX.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.