ScalingStacks

Theorem 4.5 . [04XW]

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

Theorem 4.5.

Let ๐’ณ\mathscr{X} be a normal separated kk-scheme of finite type. Let DD be a reduced effective divisor on ๐’ณ\mathscr{X} such that the pair (๐’ณ,D)(\mathscr{X},D) is dlt and the divisor K๐’ณ+DK_{\mathscr{X}}+D is Cartier. Assume also that all the prime components of DD are โ„š\mathbb{Q}-Cartier. Let CC be a one-dimensional stratum of DD. Then, on an open neighbourhood of CC, the scheme ๐’ณ\mathscr{X} is regular and DD is a divisor with strict normal crossings.

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