ScalingStacks

Proposition 5.10 . [0171]

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

Proposition 5.10.

Assume that ψ\psi is a model metric on KXanK_{X}^{\mathrm{an}}, determined by a model ℒ{\mathcal{L}} of KXK_{X} on a proper dlt model 𝒳{\mathcal{X}} of XX. Then Sk⁡(ψ)⊂Sk⁡(𝒳)\operatorname{Sk}(\psi)\subset\operatorname{Sk}({\mathcal{X}}), and κ=AX−ψ\kappa=A_{X}-\psi is affine on each face of Δ⁡(𝒳)\Delta({\mathcal{X}}). In particular,

κmin=mini⁡κ⁡(vi),\kappa_{\min}=\min_{i}\kappa(v_{i}), (5.5)

where viv_{i} runs over the vertices in Δ⁡(𝒳)\Delta({\mathcal{X}}), and Sk⁡(ψ)\operatorname{Sk}(\psi) is the subset of Sk⁡(𝒳)⊂Xan\operatorname{Sk}({\mathcal{X}})\subset X^{\mathrm{an}} corresponding to the subcomplex Δ⁡(ℒ)\Delta({\mathcal{L}}) of Δ⁡(𝒳)\Delta({\mathcal{X}}).

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