ScalingStacks

Proof. [016W]

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

Proof.

We claim that, for every sufficiently high snc model 𝒳′{\mathcal{X}}^{\prime} proper over 𝒳{\mathcal{X}}, vβ€²:=r𝒳′​(v)v^{\prime}:=r_{{\mathcal{X}}^{\prime}}(v) and vv have the same center on 𝒳{\mathcal{X}}. Indeed, the center of vv on 𝒳′{\mathcal{X}}^{\prime} is a specialization of that of r𝒳′​(v)r_{{\mathcal{X}}^{\prime}}(v), and hence c𝒳​(v)∈c𝒳​(r𝒳′​(v))Β―c_{\mathcal{X}}(v)\in\overline{c_{\mathcal{X}}(r_{{\mathcal{X}}^{\prime}}(v))}. On the other hand, we have lim𝒳′r𝒳′​(v)=v\lim_{{\mathcal{X}}^{\prime}}r_{{\mathcal{X}}^{\prime}}(v)=v. Since c𝒳:𝒳an→𝒳0c_{\mathcal{X}}\colon{\mathcal{X}}^{\mathrm{an}}\to{\mathcal{X}}_{0} is anticontinuous, cπ’³βˆ’1​({c𝒳​(v)}Β―)c_{\mathcal{X}}^{-1}(\overline{\{c_{\mathcal{X}}(v)\}}) is open, and hence contains vβ€²:=r𝒳′​(v)v^{\prime}:=r_{{\mathcal{X}}^{\prime}}(v) for some snc model 𝒳′{\mathcal{X}}^{\prime} proper over 𝒳{\mathcal{X}}. As a result, c𝒳​(vβ€²)c_{\mathcal{X}}(v^{\prime}) is a specialization of c𝒳​(v)c_{\mathcal{X}}(v), and the claim follows.

ByΒ (5.3), we have A𝒳​(vβ€²)=0A_{\mathcal{X}}(v^{\prime})=0, and it is thus enough to prove the result for vβ€²βˆˆSk⁑(𝒳′)v^{\prime}\in\operatorname{Sk}({\mathcal{X}}^{\prime}). If Οƒ\sigma is the unique face of Δ⁑(𝒳′)\Delta({\mathcal{X}}^{\prime}) containing vβ€²v^{\prime} in its interior, then A𝒳≑0A_{\mathcal{X}}\equiv 0 on Οƒ\sigma, since A𝒳A_{\mathcal{X}} is non-negative and affine on Οƒ\sigma. For any divisorial point ww in the relative interior of Οƒ\sigma, we thus have A𝒳​(w)=0A_{\mathcal{X}}(w)=0 and c𝒳′​(vβ€²)=c𝒳′​(w)c_{{\mathcal{X}}^{\prime}}(v^{\prime})=c_{{\mathcal{X}}^{\prime}}(w), which shows that c𝒳​(vβ€²)=c𝒳​(w)c_{\mathcal{X}}(v^{\prime})=c_{\mathcal{X}}(w) is an lc center. ∎

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