ScalingStacks

Theorem B. [04M6]

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

Let X/KX/K be a smooth projective variety, and 𝒳/R\mathscr{X}/R be a dlt model of XX with reduced special fiber 𝒳k\mathscr{X}_{k}, such that the irreducible components of 𝒳k\mathscr{X}_{k} are all Cartier divisors.
Let ZZ be a stratum of 𝒳k\mathscr{X}_{k}, such that:

  • β€’

    ZΜŠβŠ‚Z\mathring{Z}\subset Z is a torus embedding, where Z̊\mathring{Z} is the open stratum of ZZ;

  • β€’

    the conormal bundle Ξ½Z/π’³βˆ—\nu_{Z/\mathscr{X}}^{*} is a nef vector bundle on ZZ;

  • β€’

    the intersection of ZZ with any irreducible component of 𝒳k\mathscr{X}_{k} is connected.

Then 𝒳\mathscr{X} is toric along ZZ (in the sense of DefinitionΒ 1.2.6).

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