ScalingStacks

Proof. [04NF]

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.

Although this follows from Theorem B by [NXY19, Theorem 6.1] (end of the proof) and by [NXY19, §3.4], we sketch the proof for reader’s convenience.
As mentioned in Section 1.5, the retraction ρ𝒳\rho_{\mathscr{X}} over Star⁡(τZ)\Star(\tau_{Z}) only depends on 𝒳/Z^\widehat{\mathscr{X}_{/Z}}, so that by Theorem B we may assume that 𝒳\mathscr{X} is a toric RR-scheme. The equality ρ𝒳=val\rho_{\mathscr{X}}=\val now holds over Star⁡(τZ)\Star(\tau_{Z}) by Proposition 1.5.2, so that it follows from Definition 1.6.1 that ρ𝒳\rho_{\mathscr{X}} is an affinoid fibration over Star⁡(τZ)\Star(\tau_{Z}). ∎

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