ScalingStacks

Lemma 4.1.9 . [04W9]

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

Let YY be a connected smooth and proper KK-variety and let ω\omega be a non-zero mm-pluricanonical form on YY, for some m>0m>0. Let K′K^{\prime} be a finite extension of KK, set Y′=Y×KK′Y^{\prime}=Y\times_{K}K^{\prime} and denote by ω′\omega^{\prime} the pullback of ω\omega to Y′Y^{\prime}. Then the skeleton Sk⁡(Y,ω)\mathrm{Sk}(Y,\omega) is the image of Sk⁡(Y′,ω′)\mathrm{Sk}(Y^{\prime},\omega^{\prime}) under the projection morphism π:(Y′)an→Yan\pi:(Y^{\prime})^{\mathrm{an}}\to Y^{\mathrm{an}}.

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