Abstract:Denote by B^k_{2,K} the locus of vector bundles of rank two and canonical determinant. We show that for a generic curve of genus g, B^k_{2,K} is non-empty if g is sufficiently large.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the non - emptiness and the expected dimension of the Brill - Noether locus \( B^k_{2,K} \) of rank - two vector bundles with a canonical determinant. Specifically, the author explores whether these loci are non - empty and have the expected dimension when the genus \( g \) of the curve is large enough for a general curve \( C \).
### Specific description of the problem
1. **Definition and background**:
- \( U(r, d) \) represents the moduli space of stable vector bundles on a fixed curve, where \( r \) is the rank and \( d \) is the degree.
- \( B^k_{r,d} \) is a subset of \( U(r, d) \) consisting of vector bundles with at least \( k \) sections.
- For a general curve \( C \), the expected dimension of \( B^k_{r,d} \) is given by the Brill - Noether number \( \rho = r^2(g - 1)+1 - k(k - d + r(g - 1)) \).
2. **Special cases**:
- When \( r = 2 \) and the determinant is the canonical bundle \( K \), consider \( B^k_{2,K} \).
- The expected dimension of a rank - two vector bundle with a canonical determinant is \( \rho^k_K=3g - 3-\binom{k + 1}{2} \).
3. **Main problems**:
- The main purpose of the paper is to prove whether \( B^k_{2,K} \) is non - empty and has the expected dimension under certain conditions for a general curve \( C \).
- In particular, the author focuses on whether \( B^k_{2,K} \) is non - empty when \( \rho^k_K>0 \) and is empty when \( \rho^k_K < 0 \).
### Main results
- **Theorem 1.1**:
- If \( k = 2k_1 \) is even, then when \( g\geq k_1^2 \) (if \( k_1>2 \)), \( g\geq 5 \) (if \( k_1 = 2 \)), or \( g\geq 3 \) (if \( k_1 = 1 \)), \( B^k_{2,K} \) is non - empty and has the expected dimension \( \rho^k_K \).
- If \( k = 2k_1+1 \) is odd, then when \( g\geq (k_1)^2 + k_1+1 \), \( B^k_{2,K} \) is non - empty and has the expected dimension \( \rho^k_K \).
- **Corollary 1.2**:
- If \( C \) is a general curve and \( (k_1)^2\leq g < 2(k_1)^2 - k_1 \), then \( B^{2k_1}_{2,2g - 2} \) is non - empty and has a larger dimension than expected.
- If \( C \) is a general curve and \( (k_1)^2 + k_1+1\leq g < 2(k_1)^2 + k_1 \), then \( B^{2k_1 + 1}_{2,2g - 2} \) is non - empty and has a larger dimension than expected.
### Methods and proofs
The author proves these results by constructing specific vector bundles and their sections. In particular, the author uses the theory of limit linear series on chained elliptic curves and calculates in detail the dimension and stability conditions of these vector bundles. In this way, the author proves that under the given conditions, these loci are indeed non - empty and have the expected dimension.
In conclusion, through detailed construction and calculation, this paper partially verifies the conjecture about the Brill - Noether locus of rank - two vector bundles with a canonical determinant and provides new insights and results.