ScalingStacks

Corollary 4.11 . [016D]

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

Corollary 4.11.

Let π:X→𝔻∗\pi\colon X\to{\mathbb{D}}^{*} be a proper submersion that is meromorphic at 0∈𝔻0\in{\mathbb{D}}, and let ψ\psi be a continuous metric on KX/𝔻∗K_{X/{\mathbb{D}}^{*}} with analytic singularities. Then there exists a positive measure μ0\mu_{0} on X0hybX^{\mathrm{hyb}}_{0} such that if μt:=λ​(t)d​e2​ψt|t|2​κmin​(2​π)d\mu_{t}:=\frac{\lambda(t)^{d}e^{2\psi_{t}}}{|t|^{2\kappa_{\min}}(2\pi)^{d}}, then limt→0μt=μ0\lim_{t\to 0}\mu_{t}=\mu_{0} in the sense of weak convergence of measures on XhybX^{\mathrm{hyb}}. Further, there exists a snc model 𝒳→𝔻{\mathcal{X}}\to{\mathbb{D}} and a ℚ{\mathbb{Q}}-line bundle ℒ{\mathcal{L}} on 𝒳{\mathcal{X}} extending KX/𝔻∗K_{X/{\mathbb{D}}^{*}} such that ψ\psi extends to a smooth metric on ℒ{\mathcal{L}}, and

μ0:=∑σ(∫YσResYσ⁡(ψ))​bσ−1​λσ,\mu_{0}:=\sum_{\sigma}\left(\int_{Y_{\sigma}}\operatorname{Res}_{Y_{\sigma}}(\psi)\right)b_{\sigma}^{-1}\lambda_{\sigma},

where σ\sigma ranges over the dd-dimensional faces of Δ⁡(ℒ)\Delta({\mathcal{L}}). Here λσ\lambda_{\sigma} denotes normalized Lebesgue measure on σ\sigma and bσ=gcdi∈J⁡bib_{\sigma}=\gcd_{i\in J}b_{i}, where 𝒳0=∑ibi​Ei{\mathcal{X}}_{0}=\sum_{i}b_{i}E_{i} and EiE_{i}, i∈Ji\in J are the divisors defining σ\sigma.

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