Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
For each , let be the closed subscheme of defined as the topological closure of in equipped with the reduced structure.
We then get for each a cartesian diagram
Since the morphism is finite surjective,
the projection formula shows that is nef on if and only if is nef on for all .
โ