ScalingStacks

Subsubsection [04V2]

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

(3.1.1) Let ๐’ด\mathscr{Y} be a connected regular flat separated RR-scheme of finite type such that the special fiber ๐’ดk\mathscr{Y}_{k} is a divisor with strict normal crossings. Then, as explained in [MN13, ยง3.1], one can associate to ๐’ด\mathscr{Y} its skeleton Skโก(๐’ด)\mathrm{Sk}(\mathscr{Y}), which is a topological subspace of the generic fiber ๐’ด^ฮท\widehat{\mathscr{Y}}_{\eta} of the formal tt-adic completion of ๐’ด\mathscr{Y}. It is the set of points of ๐’ด^ฮท\widehat{\mathscr{Y}}_{\eta} that correspond to a real valuation on the function field of ๐’ดK\mathscr{Y}_{K} that is monomial with respect to the strict normal crossings divisor ๐’ดk\mathscr{Y}_{k}. The skeleton Skโก(๐’ด)\mathrm{Sk}(\mathscr{Y}) is canonically homeomorphic to the dual intersection complex ๐’Ÿโก((๐’ดk)red)\mathcal{D}((\mathscr{Y}_{k})_{\mathrm{red}}) of ๐’ดk\mathscr{Y}_{k}, and there exists a canonical continuous retraction

ฯ๐’ด:๐’ด^ฮทโ†’Skโก(๐’ด).\rho_{\mathscr{Y}}:\widehat{\mathscr{Y}}_{\eta}\to\mathrm{Sk}(\mathscr{Y}).

Moreover, Skโก(๐’ด)\mathrm{Sk}(\mathscr{Y}) carries a canonical piecewise โ„ค\mathbb{Z}-affine structure [MN13, ยง3.2].

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