ScalingStacks

Proposition 5.10 . [02T1]

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.10.

The affine map A:N1,ℝ→N2,ℝA\colon N_{1,\mathbb{R}}\to N_{2,\mathbb{R}} extends to a continuous map XΣ1​(ℝ≥0)→XΣ2​(ℝ≥0)X_{\Sigma_{1}}(\mathbb{R}_{\geq 0})\to X_{\Sigma_{2}}(\mathbb{R}_{\geq 0}) that we also denote by φp,H\varphi_{p,H}. Moreover, there are commutative diagrams

XΣ1an\textstyle{X_{\Sigma_{1}}^{{\text{\rm an}}}\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces}φp,H\scriptstyle{\varphi_{p,H}}ρΣ1\scriptstyle{\rho_{\Sigma_{1}}}XΣ2an\textstyle{X_{\Sigma_{2}}^{{\text{\rm an}}}\ignorespaces\ignorespaces\ignorespaces\ignorespaces}ρΣ2\scriptstyle{\rho_{\Sigma_{2}}}XΣ1​(ℝ≥0)\textstyle{X_{\Sigma_{1}}(\mathbb{R}_{\geq 0})\ignorespaces\ignorespaces\ignorespaces\ignorespaces}φp,H\scriptstyle{\varphi_{p,H}}XΣ2​(ℝ≥0),\textstyle{X_{\Sigma_{2}}(\mathbb{R}_{\geq 0}),} XΣ1an\textstyle{X_{\Sigma_{1}}^{{\text{\rm an}}}\ignorespaces\ignorespaces\ignorespaces\ignorespaces}φp,H\scriptstyle{\varphi_{p,H}}XΣ2an\textstyle{X_{\Sigma_{2}}^{{\text{\rm an}}}}XΣ1​(ℝ≥0)\textstyle{X_{\Sigma_{1}}(\mathbb{R}_{\geq 0})\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces}φp,H\scriptstyle{\varphi_{p,H}}θΣ1\scriptstyle{\theta_{\Sigma_{1}}}XΣ2​(ℝ≥0).\textstyle{X_{\Sigma_{2}}(\mathbb{R}_{\geq 0}).\ignorespaces\ignorespaces\ignorespaces\ignorespaces}θΣ2\scriptstyle{\theta_{\Sigma_{2}}}

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