ScalingStacks

Proof. [04XA]

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.

It is shown in [NX16a, 4.2.4] that Sk⁡(X)\mathrm{Sk}(X) is a strong deformation retract of XanX^{\mathrm{an}}. This implies that every continuous retraction Xan→Sk⁡(X)X^{\mathrm{an}}\to\mathrm{Sk}(X) is homotopic to the identity on XanX^{\mathrm{an}} relative to Sk⁡(X)\mathrm{Sk}(X); in particular, this is true for the retraction ρ𝒳\rho_{\mathscr{X}}. ∎

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