ScalingStacks

Proof. [04QJ]

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.

Let 𝒳′\mathscr{X}^{\prime} be a projective snc model dominating 𝒳\mathscr{X} and write h:π’³β€²βŸΆπ’³h:\mathscr{X}^{\prime}\longrightarrow\mathscr{X}. We denote by D0,…,DpD_{0},\ldots,D_{p} the components of 𝒳0\mathscr{X}_{0} containing YY.

Let Zβ€²βŠ†D0β€²βˆ©β€¦βˆ©Dqβ€²Z^{\prime}\subseteq D^{\prime}_{0}\cap\ldots\cap D^{\prime}_{q} be any stratum of 𝒳0β€²\mathscr{X}_{0}^{\prime}, and denote by Ο„β€²\tau^{\prime} the corresponding simplex in π’Ÿβ‘(𝒳0β€²)\mathcal{D}(\mathscr{X}^{\prime}_{0}). By construction of r𝒳′​𝒳r_{\mathscr{X}^{\prime}\mathscr{X}}, we have Int​(Ο„Zβ€²)βŠ†rπ’³β€²β€‹π’³βˆ’1​(Star⁑(Ο„Y))\textrm{Int}(\tau_{Z^{\prime}})\subseteq r_{\mathscr{X}^{\prime}\mathscr{X}}^{-1}(\Star(\tau_{Y})) if and only if h⁑(Zβ€²)βŠ†Yh(Z^{\prime})\subseteq Y; in this case, h⁑(Djβ€²)∩Yβ‰ βˆ…h(D^{\prime}_{j})\cap Y\neq\varnothing for any j=0,…,qj=0,\ldots,q. Thus, if DΞ±D_{\alpha} is an irreducible component of 𝒳0\mathscr{X}_{0} not cutting YY, it follows that hβˆ—β€‹DΞ±h^{*}D_{\alpha} does not have any component along the Djβ€²D^{\prime}_{j} for j=0,…,qj=0,\ldots,q.
We deduce from this that for each DiD_{i} component of 𝒳0\mathscr{X}_{0} containing YY and j∈{0,…,q}j\in\{0,\ldots,q\}, the coefficient of Djβ€²D^{\prime}_{j} in hβˆ—β€‹(Di)h^{*}(D_{i}) is determined by hh and a local equation of DiD_{i} in a formal neighbourhood of YY. This proves that r𝒳′​𝒳r_{\mathscr{X}^{\prime}\mathscr{X}} over Star⁑(Ο„Y)\Star(\tau_{Y}) only depends on hh over 𝒳/Y^\widehat{\mathscr{X}_{/Y}}.

By construction of Berkovich retraction, ρ𝒳′\rho_{\mathscr{X}^{\prime}} only depends on 𝒳/Zβ€²β€²^\widehat{\mathscr{X}^{\prime}_{/Z^{\prime}}} above Star⁑(Ο„Zβ€²)\Star(\tau_{Z^{\prime}}) (see SectionΒ 1.5). If moreover h⁑(Zβ€²)βŠ†Yh(Z^{\prime})\subseteq Y, then hh induces a morphism 𝒳/Zβ€²β€²^→𝒳/Y^\widehat{\mathscr{X}^{\prime}_{/Z^{\prime}}}\rightarrow\widehat{\mathscr{X}_{/Y}}, hence ρ𝒳′\rho_{\mathscr{X}^{\prime}} only depends on hh over 𝒳/Y^\widehat{\mathscr{X}_{/Y}}.

By the independence of ρ𝒳\rho_{\mathscr{X}} on the choice of projective model 𝒳′\mathscr{X}^{\prime} and morphism hh, we conclude that ρ𝒳\rho_{\mathscr{X}} over Star⁑(Ο„Y)\Star(\tau_{Y}) only depends on the formal completion 𝒳/Y^\widehat{\mathscr{X}_{/Y}}. ∎

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