ScalingStacks

Proof. [04W7]

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

Proof.

By running MMP for ๐’ด\mathscr{Y} over ๐’ž\mathscr{C}, we know that XX has a good minimal dlt model ๐’ณ\mathscr{X} with reduced special fiber (see [Fu11] or [HX13]). Then one sees as in the proof of Theorem 4.1.4 that K๐’ณK_{\mathscr{X}} is trivial over ๐’ž\mathscr{C}. Our assumption on the dimension of Skโก(XK)\mathrm{Sk}(X_{K}) implies that the minimal log canonical centers of (๐’ณ,๐’ณs)(\mathscr{X},\mathscr{X}_{s}) are points. Let DD be a one-dimensional log canonical center, and let DiD_{i} (1โ‰คiโ‰คโ„“1\leq i\leq\ell) be the 0-dimensional log canonical centers contained in DD. From Lemma 4.1.6, we know that

(K๐’ณ+๐’ณs)|D=KD+โˆ‘i=1โ„“Diโˆผ0.(K_{\mathscr{X}}+\mathscr{X}_{s})|_{D}=K_{D}+\sum^{\ell}_{i=1}D_{i}\sim 0.

Thus DD is a rational curve and โ„“=2\ell=2, which means that Skโก(XK)\mathrm{Sk}(X_{K}) is closed. โˆŽ

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