ScalingStacks

Lemma 2.12 . [038G]

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.12.

Let LL be a line bundle on XX. Let K′/KK^{\prime}/K be a finite purely inseparable extension and let q:X′≔X⊗KK′→Xq\colon X^{\prime}\coloneqq X\otimes_{K}{K^{\prime}}\to X be the natural projection. Then the map q∗q^{*} induces a bijection between the set of model metrics on LL and the set of model metrics on q∗​(L)q^{*}(L). Moreover this bijection identifies semipositive metrics on LL and on q∗​(L)q^{*}(L).

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