ScalingStacks

Lemma 5.14 . [017A]

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

Let ψ\psi be a continuous metric on KXanK_{X}^{\mathrm{an}}, ψ′\psi^{\prime} the metric on KX′an≃p∗​KXanK_{X^{\prime}}^{\mathrm{an}}\simeq p^{*}K_{X}^{\mathrm{an}} corresponding to p∗​ψp^{*}\psi, and set κ′:=AX′−ψ′\kappa^{\prime}:=A_{X^{\prime}}-\psi^{\prime}. Then κ′=m​p∗​κ\kappa^{\prime}=mp^{*}\kappa. As a consequence, Sk⁡(ψ′)=p−1​Sk⁡(ψ)\operatorname{Sk}(\psi^{\prime})=p^{-1}\operatorname{Sk}(\psi) and κmin′=m​κmin\kappa^{\prime}_{\min}=m\kappa_{\min}.

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