ScalingStacks

Proof. [0168]

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.

Surjectivity follows from Proposition 4.3, and continuity from (4.2) after unwinding the definitions. It remains to establish (4.2). Consider any point ξ′∈𝒳0\xi^{\prime}\in{\mathcal{X}}_{0} and set ξ=π⁡(ξ′)\xi=\pi(\xi^{\prime}). We can find adapted coordinate charts (𝒰′,z′)({\mathcal{U}}^{\prime},z^{\prime}) at ξ′\xi^{\prime} on 𝒳′{\mathcal{X}}^{\prime} and (𝒰,z)({\mathcal{U}},z) at ξ\xi on 𝒳{\mathcal{X}} such that ρ⁡(𝒰′)⊂𝒰\rho({\mathcal{U}}^{\prime})\subset{\mathcal{U}} and such that the following holds: t=∏i=0pzibit=\prod_{i=0}^{p}z_{i}^{b_{i}} in 𝒰{\mathcal{U}}, t=∏j=0p′(zj′)bj′t=\prod_{j=0}^{p^{\prime}}(z^{\prime}_{j})^{b^{\prime}_{j}} in 𝒰′{\mathcal{U}}^{\prime} and ρ∗​zi=∏j(zj′)ai​j\rho^{*}z_{i}=\prod_{j}(z^{\prime}_{j})^{a_{ij}}. Since the map r𝒳​𝒳′r_{{\mathcal{X}}{\mathcal{X}}^{\prime}} is given by (4.1), the result now follows from Proposition 2.1. ∎

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