ScalingStacks

Proof. [04VD]

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.

Applying [MN13, 3.1.7] to the proper morphism hโˆ’1โ€‹(๐’ณsnc)โ†’๐’ณsnch^{-1}(\mathscr{X}^{\mathrm{snc}})\to\mathscr{X}^{\mathrm{snc}}, we see that Skโก(๐’ณ)\mathrm{Sk}(\mathscr{X}) is contained in Skโก(๐’ด)\mathrm{Sk}(\mathscr{Y}). Moreover, it follows from Lemma 3.2.3 that for every point xx of SS, the reduction red๐’ณโ€‹(x)\mathrm{red}_{\mathscr{X}}(x) must be contained in ๐’ณsnc\mathscr{X}^{\mathrm{snc}}. Now let xx be any point in Skโก(๐’ด)\mathrm{Sk}(\mathscr{Y}) such that red๐’ณโ€‹(x)\mathrm{red}_{\mathscr{X}}(x) lies in ๐’ณsnc\mathscr{X}^{\mathrm{snc}}. We must show that vxโ€‹(ฮ”)=vxโ€‹((๐’ดs)red)v_{x}(\Delta)=v_{x}((\mathscr{Y}_{s})_{\mathrm{red}}) if and only if xx lies in Skโก(๐’ณ)\mathrm{Sk}(\mathscr{X}), or, equivalently, xx is equal to its projection

xโ€ฒ=ฯ๐’ณโ€‹(x)x^{\prime}=\rho_{\mathscr{X}}(x)

to the skeleton of ๐’ณ\mathscr{X}. Let ฯ‰\omega be a local generator of ฯ‰๐’ณsnc/๐’ž\omega_{\mathscr{X}^{\mathrm{snc}}/\mathscr{C}} at red๐’ณโ€‹(x)\mathrm{red}_{\mathscr{X}}(x). It induces a rational section of the canonical bundle ฯ‰XK/K\omega_{X_{K}/K} by base change. By [MN13, 4.4.5], we know that x=xโ€ฒx=x^{\prime} if and only if

wtฯ‰โ€‹(x)=wtฯ‰โ€‹(xโ€ฒ).\mathrm{wt}_{\omega}(x)=\mathrm{wt}_{\omega}(x^{\prime}).

Since the divisor of ฯ‰\omega is zero in a neighbourhood of red๐’ณโ€‹(xโ€ฒ)\mathrm{red}_{\mathscr{X}}(x^{\prime}), we have

wtฯ‰โ€‹(xโ€ฒ)=vxโ€ฒโ€‹((๐’ณs)red)=vxโ€‹((๐’ณs)red).\mathrm{wt}_{\omega}(x^{\prime})=v_{x^{\prime}}((\mathscr{X}_{s})_{\mathrm{red}})=v_{x}((\mathscr{X}_{s})_{\mathrm{red}}).

On the other hand, computing wtฯ‰โ€‹(x)\mathrm{wt}_{\omega}(x) on the model ๐’ด\mathscr{Y} we get

wtฯ‰โ€‹(x)=vxโ€‹(div๐’ดโ€‹(ฯ‰)+(๐’ดs)red)=vxโ€‹((๐’ณs)red)+vxโ€‹((๐’ดs)redโˆ’ฮ”).\mathrm{wt}_{\omega}(x)=v_{x}(\mathrm{div}_{\mathscr{Y}}(\omega)+(\mathscr{Y}_{s})_{\mathrm{red}})=v_{x}((\mathscr{X}_{s})_{\mathrm{red}})+v_{x}((\mathscr{Y}_{s})_{\mathrm{red}}-\Delta).

Thus we see that Skโก(๐’ณ)=S\mathrm{Sk}(\mathscr{X})=S. โˆŽ

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