Definition 1.2.6 . [04MH]

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

Definition 1.2.6.

Let $\mathscr{X}$ be a normal $R$ -scheme of finite type, and $Y$ be a stratum of $\mathscr{X}_{k}$ . We say that $\mathscr{X}$ is toric along Y if there exists a toric $R$ -scheme $\mathscr{Z}$ , a stratum $W$ of $\mathscr{Z}_{k}$ and a formal isomorphism over $R$

\widehat{\mathscr{X}_{/Y}}\simeq\widehat{\mathscr{Z}_{/W}}.