Proof. [03BI]
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 remark that . Hence the result follows from the fact that a nef line bundle on a proper variety over remains nef after pull back to . This is proven in the projective case in [EFM, Remark 1.3.25] and the proper case follows from Chowβs lemma and the projection formula. β