ScalingStacks

Theorem 3.4 . [015I]

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

Theorem 3.4.

Let π:𝒳→𝔻\pi\colon{\mathcal{X}}\to{\mathbb{D}} be an snc degeneration, ℒ{\mathcal{L}} a ℚ{\mathbb{Q}}-line bundle on 𝒳{\mathcal{X}} extending KX/𝔻∗K_{X/{\mathbb{D}}^{*}}, and ψ\psi a continuous metric on ℒ{\mathcal{L}}. Define κmin\kappa_{\min} as above, and set d:=dimΔ⁡(ℒ)d:=\dim\Delta({\mathcal{L}}). Then, viewed as measures on 𝒳hyb{\mathcal{X}}^{\mathrm{hyb}},

μt:=λ​(t)d(2​π)d​|t|2​κmin​e2​ψt\mu_{t}:=\frac{\lambda(t)^{d}}{(2\pi)^{d}|t|^{2\kappa_{\min}}}e^{2\psi_{t}}

converges weakly to

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