ScalingStacks

Proof. [05BX]

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.

By Proposition A.3, VV is proper if and only if the map Xx~→𝑷ℋ⁡(x)~/K~\tilde{X_{x}}\rightarrow\boldsymbol{P}_{\widetilde{\mathscr{H}(x)}/\tilde{K}} is bijective which by [Tem04, Theorem 5.2] is equivalent to the map Xx→ℳ⁡(K)X_{x}\rightarrow\mathscr{M}(K) being closed. But this is equivalent to xx being an interior point of XX. ∎

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