ScalingStacks

1.1 Models [04M9]

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

1.1 Models

Let XX be a separated scheme of finite type over KK. A separated flat RR-scheme 𝒳\mathscr{X} of finite type together with an isomorphism of KK-schemes 𝒳×RK≃X\mathscr{X}\times_{R}K\simeq X is called an RR-model of XX. We denote by 𝒳k=𝒳×Rk\mathscr{X}_{k}=\mathscr{X}\times_{R}k the special fiber of 𝒳\mathscr{X}, and by Div0⁑(𝒳)\Div_{0}(\mathscr{X}) the group of Weil divisors on 𝒳\mathscr{X} supported on the special fiber.

If YY is a normal variety and DD a Weil divisor on YY, whose irreducible decomposition is D=βˆ‘i∈Iai​DiD=\sum_{i\in I}a_{i}D_{i}, a stratum of DD is a connected component of an intersection DJ=∩j∈JDjD_{J}=\cap_{j\in J}D_{j} for some JβŠ‚IJ\subset I. An open stratum of DD is a stratum ZZ minus the irreducible components of DD not containing ZZ; this is denoted by Z̊\mathring{Z}.

Definition 1.1.1.

Let 𝒳/R\mathscr{X}/R be a model of XX. We say that 𝒳\mathscr{X} is a dlt (divisorially log terminal) model of XX if the following conditions hold:

  • -

    the pair (𝒳,𝒳k,red)(\mathscr{X},\mathscr{X}_{k,\red}) is log canonical in the sense of the Minimal Model Program (see [KM98]);

  • -

    the pair (𝒳,𝒳k,red)(\mathscr{X},\mathscr{X}_{k,\red}) is simple normal crossing at the generic points of log canonical centers of (𝒳,𝒳k,red)(\mathscr{X},\mathscr{X}_{k,\red}).

We will not give a precise definition of log canonical centers here, and refer the reader to [KM98]. However, if (𝒳,𝒳k,red)(\mathscr{X},\mathscr{X}_{k,\red}) is dlt and defined over an algebraic curve - which is the most relevant case for applications - then the log canonical centers of (𝒳,𝒳k,red)(\mathscr{X},\mathscr{X}_{k,\red}) are precisely the strata of 𝒳k\mathscr{X}_{k} by [Kol13, 4.16], so that a dlt model 𝒳\mathscr{X} is simple normal crossing at the generic points of the strata of 𝒳k\mathscr{X}_{k}. If 𝒳k\mathscr{X}_{k} is reduced, it follows from the approximation arguments of [NXY19, Corollary 4.4] that this holds in the general case as well.

A dlt model 𝒳\mathscr{X} is good if each irreducible component of 𝒳k,red\mathscr{X}_{k,\red} is β„š\mathbb{Q}-Cartier. See [NXY19, Β§1.12-1.14] for an overview on existence results of such models.

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