ScalingStacks

Proposition 3.7 . [009Y]

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

(NA MA-real MA comparison) Let (𝒳,ℒ)(\mathcal{X},\mathcal{L}) be a semistable snc model of (XK,L)(X_{K},L), and Int​(ΔJ)\text{Int}(\Delta_{J}) be an nn-dimensional open face of Δ𝒳\Delta_{\mathcal{X}}. Recall the retraction map r𝒳:XKa​n→Δ𝒳r_{\mathcal{X}}:X_{K}^{an}\to\Delta_{\mathcal{X}}. Let ϕ∈C0​(XKa​n)\phi\in C^{0}(X_{K}^{an}) be the potential of a semipositive metric ‖⋅‖ℒ​e−ϕ\left\lVert\cdot\right\rVert_{\mathcal{L}}e^{-\phi}, and suppose ϕ=ϕ∘r𝒳\phi=\phi\circ r_{\mathcal{X}} on r𝒳−1​(ΔJ)r_{\mathcal{X}}^{-1}(\Delta_{J}), then on Int​(ΔJ)\text{Int}(\Delta_{J}) the pushforward of the NA MA measure

r𝒳∗MA(‖⋅‖e−ϕ)=n!MAℝ(ϕ|Int​(ΔJ))r_{\mathcal{X}*}MA(\left\lVert\cdot\right\rVert e^{-\phi})=n!MA_{\mathbb{R}}(\phi|_{\text{Int}(\Delta_{J})})

equals the real MA measure of the convex function ϕ|Int​(ΔJ)\phi|_{\text{Int}(\Delta_{J})} up to a factor n!n!.

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