ScalingStacks

Subsection [04Y1]

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

(5.1) Let ๐’ณ\mathscr{X} be a regular flat RR-scheme such that ๐’ณk\mathscr{X}_{k} is a strict normal crossings divisor. We write ๐’ณk=โˆ‘iโˆˆINiโ€‹Ei\mathscr{X}_{k}=\sum_{i\in I}N_{i}E_{i}, where Ei,iโˆˆIE_{i},\,i\in I are the prime divisors in ๐’ณk\mathscr{X}_{k} and the numbers NiN_{i} are their multiplicities. By the definition of a strict normal crossings divisor, every stratum of ๐’ณk\mathscr{X}_{k} is a regular kk-scheme. Let CC be a stratum of ๐’ณk\mathscr{X}_{k}. We say that ๐’ณ\mathscr{X} is toric along CC if there exist a regular toric RR-scheme ๐’ด\mathscr{Y} and a stratum DD of ๐’ดk\mathscr{Y}_{k} such that ๐’ดk\mathscr{Y}_{k} is a strict normal crossings divisor and the formal RR-schemes ๐’ณ/C^\widehat{\mathscr{X}_{/C}} and ๐’ด/D^\widehat{\mathscr{Y}_{/D}} are isomorphic.

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