ScalingStacks

Proof. [01DX]

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.

By definition, there exists a vertical ideal sheaf π”ž\mathfrak{a} on 𝒳\mathcal{X} such that Ο€\pi is obtained as the blow-up of 𝒳\mathcal{X} along π”ž\mathfrak{a}. The universal property of blow-ups yields a Ο€\pi-ample Cartier divisor AA on 𝒳′\mathcal{X}^{\prime} such that π”žβ‹…π’ͺ𝒳′=π’ͺ𝒳′​(A)\mathfrak{a}\cdot\mathcal{O}_{\mathcal{X}^{\prime}}=\mathcal{O}_{\mathcal{X}^{\prime}}(A), and AA is also vertical since π”ž\mathfrak{a} is, which provesΒ (i). If β„’\mathcal{L} is ample on 𝒳\mathcal{X} then mβ€‹Ο€βˆ—β€‹β„’+Am\pi^{*}\mathcal{L}+A is ample on 𝒳′\mathcal{X}^{\prime} for m≫1m\gg 1, andΒ (ii) follows. ∎

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