ScalingStacks

Proof. [039S]

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.

It follows from our assumptions that XX is base change of the generic fiber 𝒳R,η\mathscr{X}_{R,\eta} of 𝒳R/R\mathscr{X}_{R}/R to KK. Since XX is smooth, we conclude that 𝒳R,η\mathscr{X}_{R,\eta} is smooth as well [EGAIV, Cor. 17.7.3]. By Proposition 2.9(vii), it is enough to prove the claim for any positive multiple of θ\theta. Using this and Lemma 7.5 below, we see that by passing to dominant models, we may assume that 𝒳R\mathscr{X}_{R} is regular and that the restriction of ℒR\mathscr{L}_{R} to 𝒳R,η\mathscr{X}_{R,\eta} extends to an ample line bundle on 𝒳R\mathscr{X}_{R}. By Remark 7.2, these conditions are equivalent to Assumption 7.1 and hence the claim follows from Theorem 7.3. ∎

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