ScalingStacks

Proof. [0172]

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

Proof.

Since the relative log canonical divisor K𝒳/SlogK^{\mathrm{log}}_{{\mathcal{X}}/S} and ℒ{\mathcal{L}} are both models of KXK_{X}, D:=K𝒳/Slog−ℒD:=K^{\mathrm{log}}_{{\mathcal{X}}/S}-{\mathcal{L}} is a ℚ{\mathbb{Q}}-Cartier divisor supported on 𝒳0{\mathcal{X}}_{0}. The corresponding model function ϕD\phi_{D} satisfies κ=A𝒳+ϕD\kappa=A_{\mathcal{X}}+\phi_{D}, which shows that κ|Sk⁡(𝒳)=ϕD|Sk⁡(𝒳)\kappa|_{\operatorname{Sk}({\mathcal{X}})}=\phi_{D}|_{\operatorname{Sk}({\mathcal{X}})} is affine on each face of Δ⁡(𝒳)\Delta({\mathcal{X}}). Now pick v∈Sk⁡(ψ)v\in\operatorname{Sk}(\psi). By (5.1), we get

κ⁡(v)=A𝒳​(v)+ϕD​(v)≥infϕD=mini⁡ϕD​(vi)=mini⁡(A𝒳+ϕD)​(vi)≥infXanκ.\kappa(v)=A_{\mathcal{X}}(v)+\phi_{D}(v)\geq\inf\phi_{D}=\min_{i}\phi_{D}(v_{i})=\min_{i}(A_{\mathcal{X}}+\phi_{D})(v_{i})\geq\inf_{X^{\mathrm{an}}}\kappa.

It follows that A𝒳​(v)=0A_{\mathcal{X}}(v)=0, and hence v∈Sk⁡(𝒳)v\in\operatorname{Sk}({\mathcal{X}}), by Proposition 5.6. ∎

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