ScalingStacks

Heights of points [01K3]

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

Heights of points

The height of an algebraic point is an important tool in Diophantine geometry. If L¯\overline{L} is a line bundle with an adelic metric on XX, then for any point P∈X⁡(F)P\in X(F), viewed as a closed subscheme of XX, one has

hL¯​(P)=(c^1​(L¯)|P)=∑vlog⁡‖s‖v−1​(P),h_{\overline{L}}(P)=({\widehat{c}}_{1}(\overline{L})|P)=\sum_{v}\log\left\|{s}\right\|^{-1}_{v}(P),

where ss is any meromorphic section on LL which has neither a zero nor a pole at PP. More generally, let P∈X⁡(F¯)P\in X(\overline{F}) be an algebraic point and let [P][P] be the corresponding closed point of XX. Then,

hL¯(P)=1[F(P):F](c^1(L¯)|[P])h_{\overline{L}}(P)=\frac{1}{[F(P):F]}({\widehat{c}}_{1}(\overline{L})|[P])

is the height of PP with respect to the metrized line bundle L¯\overline{L}. In fact, restricted to points, these definitions apply to any, not necessary admissible,

Observe also the following functorial property of the height : If f:Y→Xf\colon Y\rightarrow X is a morphism and P∈Y⁡(F¯)P\in Y(\overline{F}), then hf∗​L¯​(P)=hL¯​(f⁡(P))h_{f^{*}\overline{L}}(P)=h_{\overline{L}}(f(P)). Finally, recall that if FF is a global field, then the height with respect to a metrized ample line bundle L¯\overline{L} satisfies Northcott’s finiteness property : for any integers dd and BB, there are only finitely many points P∈X⁡(F¯)P\in X(\overline{F}) such that [F(P):F]≤d[F(P):F]\leq d and hL¯​(P)≤Bh_{\overline{L}}(P)\leq B.

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