ScalingStacks

Proof. [04W2]

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.

As we mentioned above, this result is essentially contained in [KK10, Ko11]. Using the terminology there, properties (1)-(3) of a pseudo-manifold all follow from the fact that two minimal log canonical centers of a log crepant structure are โ„™1\mathbb{P}^{1}-linked in the sense of Definition 9 in [Ko11]. We will now explain this in more detail. We denote by nn the relative dimension of XX over CC.

By Theorem 2.2.6(1), there exists a a good minimal dโ€‹lโ€‹tdlt-model ๐’ณ\mathscr{X} of XX over ๐’ž\mathscr{C}. By Theorem 3.3.4, we have Skโก(XK)=Skโก(๐’ณ)\mathrm{Sk}(X_{K})=\mathrm{Sk}(\mathscr{X}). As a triangulation on Skโก(๐’ณ)\mathrm{Sk}(\mathscr{X}), we take the first barycentric subdivision of the simplicial structure on Skโก(๐’ณ)\mathrm{Sk}(\mathscr{X}). This barycentric subdivision is necessary to guarantee that the intersection of two faces is a codimension one face of both, rather than a union of faces (think of a type I2I_{2} degeneration of elliptic curves, whose skeleton consists of two vertices joined by two edges).

We choose an integer m>0m>0 such that mโ€‹KXโˆผ0mK_{X}\sim 0. Since the divisor mโ€‹K๐’ณ+mโ€‹(๐’ณs)redmK_{\mathscr{X}}+m(\mathscr{X}_{s})_{\mathrm{red}} is semi-ample over ๐’ž\mathscr{C} and trivial over CC, we see that mโ€‹K๐’ณ+mโ€‹(๐’ณs)redmK_{\mathscr{X}}+m(\mathscr{X}_{s})_{\mathrm{red}} must be a multiple of ๐’ณs\mathscr{X}_{s} and thus trivial over ๐’ž\mathscr{C}. Thus we can apply Theorem 10 in [Ko11] to the dโ€‹lโ€‹tdlt-pair (๐’ณ,(๐’ณs)red)(\mathscr{X},(\mathscr{X}_{s})_{\mathrm{red}}) over ๐’ž\mathscr{C}. It states that every two minimal log canonical centers DD and Dโˆ—D^{*} of (๐’ณ,(๐’ณs)red)(\mathscr{X},(\mathscr{X}_{s})_{\mathrm{red}}) are โ„™1\mathbb{P}^{1}-linked. This means, in particular, that they have the same dimension, say nโˆ’dn-d, and that there exist a sequence of (nโˆ’d+1)(n-d+1)-dimensional log canonical centers E1,E2,โ€ฆ,Eโ„“E_{1},E_{2},\ldots,E_{\ell} and a sequence of (nโˆ’d)(n-d)-dimensional log canonical centers D=D0,D1,โ€ฆ,Dโ„“=Dโˆ—D=D_{0},D_{1},\ldots,D_{\ell}=D^{*} such that Diโˆ’1,DiโŠ‚EiD_{i-1},D_{i}\subset E_{i} for 1โ‰คiโ‰คโ„“1\leq i\leq\ell. In this way, we obtain properties (1) and (3) of a pseudo-manifold with boundary.

If we have two minimal log canonical centers D1,D2D_{1},\,D_{2} of (๐’ณ,(๐’ณs)red)(\mathscr{X},(\mathscr{X}_{s})_{\mathrm{red}}), contained in an (nโˆ’d+1)(n-d+1)-dimensional log canonical center EE, and if we write

(K๐’ณ+(๐’ณs)red)|E=KE+D1+D2+ฮ”(K_{\mathscr{X}}+(\mathscr{X}_{s})_{\mathrm{red}})|_{E}=K_{E}+D_{1}+D_{2}+\Delta

for some ฮ”โ‰ฅ0\Delta\geq 0, then (E,D1+D2+ฮ”)(E,D_{1}+D_{2}+\Delta) is again a dโ€‹lโ€‹tdlt-pair [Ko13, 4.19]. Moreover, D1D_{1} cannot intersect D2D_{2} or โŒŠฮ”โŒ‹\lfloor\Delta\rfloor because the intersection would be a union of log canonical centers of (๐’ณ,(๐’ณs)red)(\mathscr{X},(\mathscr{X}_{s})_{\mathrm{red}}), which contradicts the minimality of D1D_{1}. Thus we are in the situation of the second part of the proof of Theorem 10 in [Ko11]. That proof shows that D1D_{1} and D2D_{2} are the only log canonical centers of (E,D1+D2+ฮ”)(E,D_{1}+D_{2}+\Delta). Property (2) follows. โˆŽ

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