ScalingStacks

Proof. [017B]

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.

By [Gub98, Theorem 7.12] (see also [BFJ16, Corollary 2.3]), model metrics are dense in the set of continuous metrics on KXanK_{X}^{\mathrm{an}}. Hence we may assume ψ\psi is a model metric. Using (5.3), it is enough to show that κ′​(v′)=m​κ​(p⁡(v′))\kappa^{\prime}(v^{\prime})=m\kappa(p(v^{\prime})) for a divisorial valuation v′∈X′divv^{\prime}\in X^{\prime\mathrm{div}}. Let 𝒳{\mathcal{X}} be an snc model with p⁡(v′)∈Sk⁡(𝒳)p(v^{\prime})\in\operatorname{Sk}({\mathcal{X}}), and such that ψ=ϕℒ\psi=\phi_{\mathcal{L}} for a model ℒ{\mathcal{L}} of KXK_{X} on 𝒳{\mathcal{X}}. Since the normalized base change 𝒳′{\mathcal{X}}^{\prime} of 𝒳{\mathcal{X}} is toroidal, we can choose a toroidal modification 𝒳′′→𝒳′{\mathcal{X}}^{\prime\prime}\to{\mathcal{X}}^{\prime} with 𝒳′′{\mathcal{X}}^{\prime\prime} snc. The induced morphism ρ:𝒳′′→𝒳\rho\colon{\mathcal{X}}^{\prime\prime}\to{\mathcal{X}} is toroidal; hence it satisfies the log ramification formula

m​K𝒳′′/S′log=ρ∗​K𝒳/Slog.mK^{\mathrm{log}}_{{\mathcal{X}}^{\prime\prime}/S^{\prime}}=\rho^{*}K^{\mathrm{log}}_{{\mathcal{X}}/S}.

By (5.7), we infer ϕK𝒳′′/S′log−ψ′=p∗​(ϕK𝒳/Slog−ψ)\phi_{K^{\mathrm{log}}_{{\mathcal{X}}^{\prime\prime}/S^{\prime}}}-\psi^{\prime}=p^{*}(\phi_{K^{\mathrm{log}}_{{\mathcal{X}}/S}}-\psi), which gives the desired result since v′∈Sk⁡(𝒳′′)v^{\prime}\in\operatorname{Sk}({\mathcal{X}}^{\prime\prime}), p⁡(v′)∈Sk⁡(𝒳)p(v^{\prime})\in\operatorname{Sk}({\mathcal{X}}) imply A𝒳′′​(v′)=A𝒳​(p⁡(v′))=0A_{{\mathcal{X}}^{\prime\prime}}(v^{\prime})=A_{{\mathcal{X}}}(p(v^{\prime}))=0. ∎

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