Abstract:In this paper, we study when positivity conditions of vector bundles are preserved by extension. We prove that an extension of a big (resp. pseudo-effective) line bundle by an ample (resp. a nef) vector bundle is big (resp. pseudo-effective). We also show that an extension of an ample line bundle by a big line bundle is not necessarily pseudo-effective. In particular, this implies that an almost nef vector bundle is not necessarily pseudo-effective.
What problem does this paper attempt to address?
This paper aims to explore whether the positivity conditions of vector bundles are preserved during the extension process. Specifically, the author studies when a vector bundle \(E\) is an extension of another two vector bundles \(E'\) and \(E''\), if \(E'\) and \(E''\) satisfy certain positivity conditions (such as ampleness, nefness, bigness or pseudo - effectiveness), whether \(E\) also satisfies the same positivity condition. This problem can be formalized as the following problem:
**Problem 1.1**: Consider an exact sequence of vector bundles:
\[0 \to E' \to E \to E'' \to 0\]
If \(E'\) and \(E''\) satisfy a certain positivity condition (for example, ampleness, nefness, bigness or pseudo - effectiveness), does \(E\) also satisfy the same positivity condition?
The paper contains two main theorems. The first theorem partially answers this question affirmatively, especially for bigness and pseudo - effectiveness:
**Theorem 1.2**: Let \(X\) be a normal projective variety defined over an algebraically closed field, and let \(E\) and \(G\) be vector bundles on \(X\), and \(L\) be a line bundle on \(X\). Suppose there exists the following exact sequence:
\[0 \to G \to E \to L \to 0\]
1. If \(G\) is nef and \(L\) is pseudo - effective, then \(E\) is pseudo - effective.
2. If \(G\) is ample and \(L\) is big, then \(E\) is big.
The second theorem answers this question negatively, indicating that in some cases, even if \(E'\) and \(E''\) satisfy the positivity conditions, \(E\) does not necessarily satisfy the same positivity condition:
**Theorem 1.3**: Let \(k\) be an algebraically closed field. Then there exists a smooth projective surface \(S\) and a vector bundle \(V\) on \(S\) such that:
- There exists an exact sequence \(0 \to L \to V \to M \to 0\), where \(L\) is a big line bundle on \(S\) and \(M\) is an ample line bundle on \(S\);
- \(V\) is not pseudo - effective (and thus not big either).
This theorem also solves a problem proposed by Demailly, Peternell and Schneider, that is, whether almost - nefness implies pseudo - effectiveness. By constructing an almost - nef but not pseudo - effective vector bundle, the author proves that almost - nefness does not necessarily imply pseudo - effectiveness.