ScalingStacks

Lemma 2.4.1 . [01JK]

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

Lemma 2.4.1.

Let X\mathrm{X} be the analytic space associated to a proper KK-scheme and let f:X→Xf\colon\mathrm{X}\rightarrow\mathrm{X} be a finite morphism. Let LL be a line bundle on X\mathrm{X}, dd an integer such that d≥2d\geq 2 and an isomorphism ε:f∗​L≃Ld\varepsilon\colon f^{*}L\simeq L^{d}. The line bundle LL possesses a unique continuous metric such that the isomorphism ε\varepsilon is an isometry. If LL is ample, then this metric is semi-positive.

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