ScalingStacks

Canonical metrics [01JV]

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

Canonical metrics

Let LL be a line bundle on X\mathrm{X}. Let 00 be the neutral element of X\mathrm{X} and let us fix a trivialization L0L_{0} of LL at 00.

The line bundle L⊗2L^{\otimes 2} is canonically decomposed as the tensor product of an even and an odd line bundle :

L⊗2=(L⊗[−1]∗​L)⊗(L⊗[−1]∗​L−1).L^{\otimes 2}=(L\otimes[-1]^{*}L)\otimes(L\otimes[-1]^{*}L^{-1}).

By the theorem of the cube, an even line bundle LL satisfies [m]∗​L≃L⊗m2[m]^{*}L\simeq L^{\otimes m^{2}}, while for an odd line bundle LL, one has [m]∗​L≃L⊗m[m]^{*}L\simeq L^{\otimes m} ; moreover, there are in each case a unique isomorphism compatible with the trivialization at the origin. By Lemma 2.4.1, an even (resp. an odd) line bundle possesses a canonical continuous metric making this isomorphism an isometry. This furnishes a canonical metric on L⊗2L^{\otimes 2}, hence on LL. According to this lemma, this metric is semi-positive if LL is ample and even. Using a Lemma of Künnemann, ([17], Lemme 2.3), one proves that this also holds if LL is algebraically equivalent to 00. In any case, the canonical metrics are admissible.

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