ScalingStacks

Proposition 4.2.3 . [04WH]

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

Let ๐’ด\mathscr{Y} be a connected regular flat proper RR-scheme such that ๐’ดK\mathscr{Y}_{K} has trivial canonical sheaf and ๐’ดk\mathscr{Y}_{k} is a strict normal crossings divisor. Then the skeleta Skโก(๐’ด)\mathrm{Sk}(\mathscr{Y}) and Skโก(๐’ดK)\mathrm{Sk}(\mathscr{Y}_{K}) only depend on ๐’ดร—RR/(t2),\mathscr{Y}\times_{R}R/(t^{2}), in the following sense. Assume that ๐’ต\mathscr{Z} is a regular flat proper RR-scheme such that ๐’ตK\mathscr{Z}_{K} has trivial canonical sheaf and there exists an isomorphism of R/(t2)R/(t^{2})-schemes

f:๐’ดร—RR/(t2)โ†’๐’ตร—RR/(t2).f:\mathscr{Y}\times_{R}R/(t^{2})\to\mathscr{Z}\times_{R}R/(t^{2}).

Then there exists an isomorphism of simplicial spaces Skโก(๐’ด)โ†’Skโก(๐’ต)\mathrm{Sk}(\mathscr{Y})\to\mathrm{Sk}(\mathscr{Z}) that maps Skโก(๐’ดK)\mathrm{Sk}(\mathscr{Y}_{K}) onto Skโก(๐’ตK)\mathrm{Sk}(\mathscr{Z}_{K}).

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