ScalingStacks

Proof. [01IA]

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.

Let ℬ\mathcal{B} be a given very ample line bundle such that π’œ:=Ο‰π’³βŠ—β„¬n+1\mathcal{A}:=\omega_{\mathcal{X}}\otimes\mathcal{B}^{n+1} is ample. By the Castelnuovo-Mumford criterion it is enough to check that

Hq​(𝒳,π’œβŠ—β„’βŠ—β„¬βˆ’qβŠ—π’₯⁑(π”žc))=0H^{q}\left(\mathcal{X},\mathcal{A}\otimes\mathcal{L}\otimes\mathcal{B}^{-q}\otimes\mathcal{J}(\mathfrak{a}^{c})\right)=0

for q=1,…,nq=1,\dots,n, and this is a consequence of TheoremΒ B.5. ∎

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