ScalingStacks

Remark 7.2 . [017Z]

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

Remark 7.2.

Theorem 7.1 fails in general when XX does not have semistable reduction. Indeed, the semistable reduction theorem [KKMS] shows that the base change p:X′→Xp\colon X^{\prime}\to X to ℂ⁡((t1/m)){\mathbb{C}}(\!({t}^{1/m})\!) has semistable reduction for some mm divisible enough. By Lemma 5.14, dimSk⁡(X′)=n\dim\operatorname{Sk}(X^{\prime})=n, and μlog⁡|η′|#\mu_{\log|\eta^{\prime}|^{\#}} is thus a multiple of the integral Lebesgue measure λ′\lambda^{\prime} of Sk⁡(X′)\operatorname{Sk}(X^{\prime}), by Theorem 7.1. By Theorem 6.7, μlog⁡|η|#=m−n​p∗​λ′\mu_{\log|\eta|^{\#}}=m^{-n}p_{*}\lambda^{\prime}. However, p∗​λ′p_{*}\lambda^{\prime} is not proportional to the integral Lebesgue measure λ\lambda of Sk⁡(X)\operatorname{Sk}(X) in general. Indeed, for each nn-simplex σ\sigma of Δ⁡(ℒ)\Delta({\mathcal{L}}), Lemma 5.13 shows that (p∗​λ′)σ=mn​bσ​λσ(p_{*}\lambda^{\prime})_{\sigma}=m^{n}b_{\sigma}\lambda_{\sigma}, and bσb_{\sigma} is in general not independent of σ\sigma.

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