ScalingStacks

Proof of Proposition 5.6 . [016X]

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 of Proposition 5.6.

When 𝒳{\mathcal{X}} is snc, the result is a direct consequence of (i) and (ii) above. When 𝒳{\mathcal{X}} is dlt, we have by definition

Sk⁡(𝒳)=Sk⁡(𝒳snc)⊂𝒳sncan⊂𝒳an,\operatorname{Sk}({\mathcal{X}})=\operatorname{Sk}({\mathcal{X}}_{\mathrm{snc}})\subset{\mathcal{X}}_{\mathrm{snc}}^{\mathrm{an}}\subset{\mathcal{X}}^{\mathrm{an}},

and A𝒳=A𝒳sncA_{\mathcal{X}}=A_{{\mathcal{X}}_{\mathrm{snc}}} on 𝒳sncan{\mathcal{X}}_{\mathrm{snc}}^{\mathrm{an}}. It is thus enough to show that any v∈𝒳anv\in{\mathcal{X}}^{\mathrm{an}} with A𝒳​(v)=0A_{\mathcal{X}}(v)=0 belongs to 𝒳sncan{\mathcal{X}}_{\mathrm{snc}}^{\mathrm{an}}, i.e. satisfies c𝒳​(v)∈𝒳sncc_{\mathcal{X}}(v)\in{\mathcal{X}}_{\mathrm{snc}}. But c𝒳​(v)c_{\mathcal{X}}(v) is an lc center by Lemma 5.7, and hence c𝒳​(v)∈𝒳sncc_{\mathcal{X}}(v)\in{\mathcal{X}}_{\mathrm{snc}} by definition of dlt singularities. ∎

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