ScalingStacks

Proposition 5.9 . [02T0]

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

Proposition 5.9.

The natural map N​(σ)ℝ↪NσN(\sigma)_{\mathbb{R}}\hookrightarrow N_{\sigma} extends to a continuous map XΣ⁡(σ)​(ℝ≥0)→XΣ​(ℝ≥0)X_{\Sigma(\sigma)}(\mathbb{R}_{\geq 0})\to X_{\Sigma}(\mathbb{R}_{\geq 0}). Moreover, there are commutative diagrams

XΣ⁡(σ)an\textstyle{X_{\Sigma(\sigma)}^{{\text{\rm an}}}\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces}ρΣ⁡(σ)\scriptstyle{\rho_{\Sigma(\sigma)}}XΣan\textstyle{X_{\Sigma}^{{\text{\rm an}}}\ignorespaces\ignorespaces\ignorespaces\ignorespaces}ρΣ\scriptstyle{\rho_{\Sigma}}XΣ⁡(σ)​(ℝ≥0)\textstyle{X_{\Sigma(\sigma)}(\mathbb{R}_{\geq 0})\ignorespaces\ignorespaces\ignorespaces\ignorespaces}XΣ​(ℝ≥0),\textstyle{X_{\Sigma}(\mathbb{R}_{\geq 0}),} XΣ⁡(σ)an\textstyle{X_{\Sigma(\sigma)}^{{\text{\rm an}}}\ignorespaces\ignorespaces\ignorespaces\ignorespaces}XΣan\textstyle{X_{\Sigma}^{{\text{\rm an}}}}XΣ⁡(σ)​(ℝ≥0)\textstyle{X_{\Sigma(\sigma)}(\mathbb{R}_{\geq 0})\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces}θΣ⁡(σ)\scriptstyle{\theta_{\Sigma(\sigma)}}XΣ​(ℝ≥0).\textstyle{X_{\Sigma}(\mathbb{R}_{\geq 0}).\ignorespaces\ignorespaces\ignorespaces\ignorespaces}θΣ\scriptstyle{\theta_{\Sigma}}

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