Curves disjoint from a nef divisor (Q737121)

Consider \(L\) a nef line bundle on a smooth complex projective surface. It is known that the set of curves \(C\) such that \(C \cdot L=0\) is either finite of uncountable. A natural question to pose (by Totaro, see the Introduction of the paper under review and references therein) is if there exists \(L\) nef line bundle on a higher dimension normal complex projective variety for which such family of curves is countably infinite. The paper under review shows examples of this situation in any dimension. In Theorem 1 it is shown that the anticanonical bundle \(-K_X\) of the blow-up of \(\mathbb{P}^3\) at eight very general points is of this kind (and the family of curves is Zariski dense). This allows the authors to construct (see Corollary 3) a smooth projective fourfold \(Y\) (in fact the same construction works in any dimension) and \(M\) nef and furthermore big line bundle on \(Y\) such that the set of cuves with \(C \cdot M=0\) is countably infinite. A nice corollary of Theorem 1 is that, being \(-K_X\) effective, the complement of the zero set of a global section provides an example of a quasi-projective variety with only a countably infinite set of complete, positive-dimensional subvarieties (see Corollary 2).