ScalingStacks

Proof. [03CD]

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.

Since Spec⁡(K∘){\rm Spec}({K^{\circ}}) is affine, ampleness is the same as relatively ample. It remains to check that the restriction of ω+ε​θ\omega+{\varepsilon}\theta to the special fibre is ample (see [Gro66, 9.6.4 and 9.6.5]). The ample cone on the special fiber is the interior of the nef cone. This proves immediately the claim. ∎

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