ScalingStacks

6.2. Residual measures [017G]

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

6.2. Residual measures

Let ℒ#=(ℒ,ψ0){\mathcal{L}}^{\#}=({\mathcal{L}},\psi_{0}) be a residually metrized model of KXK_{X}, determined on a proper dlt model 𝒳{\mathcal{X}}. If YY is a stratum corresponding to a top-dimensional face of Δ⁡(ℒ)\Delta({\mathcal{L}}), Lemma 5.12 shows that the restriction of ψ0\psi_{0} to ℒ|Y{\mathcal{L}}|_{Y} induces a Hermitian metric ψY\psi_{Y} on K(Y,BYℒ):=KY+BYℒK_{(Y,B^{\mathcal{L}}_{Y})}:=K_{Y}+B^{\mathcal{L}}_{Y}, with (Y,BYℒ)(Y,B^{\mathcal{L}}_{Y}) subklt. By Lemma 1.1, we may thus introduce:

Definition 6.3.

Let YY be a stratum corresponding to a top-dimensional face of Δ⁡(ℒ)\Delta({\mathcal{L}}). The residual measure of ℒ#{\mathcal{L}}^{\#} on YY is the (finite) positive measure

ResY⁡(ℒ#):=exp⁡(2​(ψY−ϕBYℒ)).\operatorname{Res}_{Y}({\mathcal{L}}^{\#}):=\exp\left(2(\psi_{Y}-\phi_{B^{\mathcal{L}}_{Y}})\right).

This definition is of course compatible with one in §3.1, and can be more explicitly described as follows. Let ξ\xi be a (closed) point of Y∩𝒳sncY\cap{\mathcal{X}}_{\mathrm{snc}}, index the irreducible components E0,…,EpE_{0},\dots,E_{p} passing through ξ\xi so that YY is a component of ⋂0≤i≤dEi\bigcap_{0\leq i\leq d}E_{i} with d=dimΔ⁡(ℒ)≤pd=\dim\Delta({\mathcal{L}})\leq p. In the notation of Example 5.1, the Poincaré residue

ResY⁡(Ω)=(d​zd+1zd+1∧⋯∧d​zpzp∧d​zp+1∧⋯∧d​zn)|Y\operatorname{Res}_{Y}(\Omega)=\left(\frac{dz_{d+1}}{z_{d+1}}\wedge\dots\wedge\frac{dz_{p}}{z_{p}}\wedge dz_{p+1}\wedge\dots\wedge dz_{n}\right)\bigg|_{Y}

is a generator of K(Y,BY)=K𝒳/Slog|YK_{(Y,B_{Y})}=K^{\mathrm{log}}_{{\mathcal{X}}/S}\big|_{Y}. Setting ai:=κ⁡(vEi)​bi∈ℚa_{i}:=\kappa(v_{E_{i}})b_{i}\in{\mathbb{Q}}, we have

K𝒳/Slog=ℒ+∑iai​Ei,K^{\mathrm{log}}_{{\mathcal{X}}/S}={\mathcal{L}}+\sum_{i}a_{i}E_{i},

and we may thus view

τ:=tκmin​∏i=0pziai−κmin​bi​Ωrel=tκmin​∏i=d+1pziai−κmin​bi​Ωrel\tau:={t}^{\kappa_{\min}}\prod_{i=0}^{p}z_{i}^{a_{i}-\kappa_{\min}b_{i}}\Omega^{\mathrm{rel}}={t}^{\kappa_{\min}}\prod_{i=d+1}^{p}z_{i}^{a_{i}-\kappa_{\min}b_{i}}\Omega^{\mathrm{rel}}

as a local ℚ{\mathbb{Q}}-generator of ℒ{\mathcal{L}}. Further, BYℒ=∑i=d+1p(1−(ai−κmin​bi))​Ei|YB^{\mathcal{L}}_{Y}=\sum_{i=d+1}^{p}(1-(a_{i}-\kappa_{\min}b_{i}))E_{i}|_{Y}, and τ|Y\tau|_{Y} corresponds to

∏i=d+1pziai−κmin​bi​ResY⁡(Ω)\prod_{i=d+1}^{p}z_{i}^{a_{i}-\kappa_{\min}b_{i}}\operatorname{Res}_{Y}(\Omega)

under the identification ℒ|Y=K(Y,BYℒ){\mathcal{L}}|_{Y}=K_{(Y,B^{\mathcal{L}}_{Y})}. We arrive at

ResY⁡(ℒ#)\displaystyle\operatorname{Res}_{Y}({\mathcal{L}}^{\#}) =∏i=d+1p|zi|2​(ai−κmin​bi)|tκmin​∏i=d+1pziai−κmin​bi​Ωrel|ψ02​|ResY⁡(Ω)|2\displaystyle=\frac{\prod_{i=d+1}^{p}|z_{i}|^{2(a_{i}-\kappa_{\min}b_{i})}}{\left|{t}^{\kappa_{\min}}\prod_{i=d+1}^{p}z_{i}^{a_{i}-\kappa_{\min}b_{i}}\Omega^{\mathrm{rel}}\right|^{2}_{\psi_{0}}}\left|\operatorname{Res}_{Y}(\Omega)\right|^{2}
=∏i=d+1p|zi|2​(ai−κmin​bi−1)|tκmin​∏i=d+1pziai−κmin​bi​Ωrel|ψ02​|d​zd+1∧⋯∧d​zn|2.\displaystyle=\frac{\prod_{i=d+1}^{p}|z_{i}|^{2(a_{i}-\kappa_{\min}b_{i}-1)}}{\left|{t}^{\kappa_{\min}}\prod_{i=d+1}^{p}z_{i}^{a_{i}-\kappa_{\min}b_{i}}\Omega^{\mathrm{rel}}\right|^{2}_{\psi_{0}}}|dz_{d+1}\wedge\dots\wedge dz_{n}|^{2}. (6.1)

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