ScalingStacks

Proposition 4.3 . [04XS]

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

Let XX be a Calabi-Yau variety over KK and let ๐’ณ\mathscr{X} be a good dlt-model of XX over RR such that ๐’ณk\mathscr{X}_{k} is reduced. Assume that K๐’ณ/Rโˆผ0K_{\mathscr{X}/R}\sim 0. Let NN be a positive integer. Then we can find a smooth pointed kk-curve (S,s)(S,s) and a normal proper flat SS-scheme ๐’ด\mathscr{Y} such that the following properties hold:

  1. (1)

    there exist an isomorphism of kk-algebras ๐’ช^S,sโ‰…R\widehat{\mathcal{O}}_{S,s}\cong R and an isomorphism of RR-schemes

    ๐’ณร—RR/(tN)โ†’๐’ดร—SSpecโก(R/tN);\mathscr{X}\times_{R}R/(t^{N})\to\mathscr{Y}\times_{S}\mathrm{Spec}\,(R/t^{N});
  2. (2)

    the morphism ๐’ดโ†’S\mathscr{Y}\to S has geometrically connected fibers, and its restriction over Sโˆ–{s}S\setminus\{s\} is smooth with trivial relative canonical line bundle;

  3. (3)

    the pair (๐’ด,๐’ดs)(\mathscr{Y},\mathscr{Y}_{s}) is dlt, every prime component of ๐’ดs\mathscr{Y}_{s} is โ„š\mathbb{Q}-Cartier, and K๐’ด/Sโˆผ0K_{\mathscr{Y}/S}\sim 0.

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