ScalingStacks

Proof. [039B]

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.

We literally follow Mustaţă’s proof with two modifications. The proof requires Mumford’s theorem on Castelnuovo-Mumford regularity for the projective scheme XX over RR which holds also in this more general setting [BS13, 20.4.13]. Furthermore we replace the use of Fujita’s vanishing theorem to the sheaves ℱj:=𝒪𝒳​(KX/k+Tj)\mathscr{F}_{j}:=\mathcal{O}_{\mathscr{X}}(K_{X/k}+T_{j}), j=1,…,rj=1,\dots,r and the ample divisor (d−i)​H(d-i)H by an application of Keeler’s generalization [Kee03, Thm. 1.5]. ∎

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