No label defined (Q4948273)

Let \(X\) be a nonsingular, complex, projective variety of dimension \(d\) and let \({\mathcal E}\) be a vector bundle of rank \(r\) on \(X\). Let \(\pi \colon P =\mathbf P ({\mathcal E}) \to X\) be the projective space bundle associated with \({\mathcal E}\) and let \(H\) be a tautological divisor on \(P\). A normalized tautological divisor on \(P\) is the \(\mathbf Q\)-divisor on \(P\) defined by \(\Lambda: H-\frac{1} {r}\pi ^*\det {\mathcal E}\), whose multiple \(r\Lambda\) is linearly equivalent to the relative anti-canonical divisor of \(P\). It is well known that if \(d=1\), the nef property of \(\Lambda\) and the semistability of \({\mathcal E}\) are equivalent. In the paper under review, the author considers the nef and pseudo-effective properties on \(\Lambda\) for \(d \geq 2\). First, equivalent conditions for the nef property of \(\Lambda\) are given, in terms of a numerical condition and an existence of a filtration by vector subbundles. Second, the following theorem is given with an outline of proof: If \({\mathcal E}\) is a semistable vector bundle of rank \(2\) for an ample divisor \(A\) on \(X\) and if \(\Lambda\) is pseudo-effective, then \(\Lambda\) is nef unless \({\mathcal E}\) is one of three cases: (A) the direct sum of line bundles \({\mathcal M}_i\) \((i=1,2)\) with \({\mathcal M}_1\cdot A^{d-1}={\mathcal M}_2\cdot A^{d-1}\); (B) the direct image \(\tau_*{\mathcal M}\) of a line bundle \({\mathcal M}\) on an unramified double covering \(Y\) by \(\tau \colon Y \to x\); (C) the extension of \({\mathcal I} \otimes {\mathcal L}_2\) by \({\mathcal L}_I\), where \({\mathcal I}\) is the ideal sheaf of a codimension-\(2\) subscheme of \(X\) and \({\mathcal L}_1\) and \({\mathcal L}_2\) are numerically equivalent line bundles on \(X\). Finally, several open questions are given.