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 on such that is obtained as the blow-up of along . The universal property of blow-ups yields a -ample Cartier divisor on such that , and is also vertical since is, which provesΒ (i). If is ample on then is ample on for , andΒ (ii) follows. β