ScalingStacks

Proof. [02U6]

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.

This follows from Lemma 5.39 and the fact that the special fibre is

𝒳Λ,o=∐Λ′​ face of ​ΛO⁡(Λ′),{\mathcal{X}}_{\Lambda,o}=\coprod_{\Lambda^{\prime}\text{ face of }\Lambda}O(\Lambda^{\prime}),

and ri(Λ)=Λ∖⋃Λ′ proper face of ΛΛ′\operatorname{ri}(\Lambda)=\Lambda\setminus\bigcup_{\Lambda^{\prime}\text{ proper face of }\Lambda}\Lambda^{\prime}. ∎

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