ScalingStacks

Proof. [04VM]

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.

Let ๐’ดโ†’๐’ณ\mathscr{Y}\to\mathscr{X} be a log resolution of (๐’ณ,๐’ณs)(\mathscr{X},\mathscr{X}_{s}). By Theorem 3.2.8, the skeleton Skโก(๐’ณ)\mathrm{Sk}(\mathscr{X}) is a strong deformation retract of Skโก(๐’ด)\mathrm{Sk}(\mathscr{Y}). By Theorem 3.1.3, Skโก(๐’ด)\mathrm{Sk}(\mathscr{Y}) is a strong deformation retract of XKanX_{K}^{\mathrm{an}}. โˆŽ

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