On a conjecture of Lange (Q4699503)

Let \(C\) be a projective nonsingular curve of genus \(g\geq 2,\) and \(E\) be a vector bundle of rank \(r\) and degree \(d\), \(0<r'<r\), \(s_{r'}(E)=r'd-r\max_{E'}\{\deg E': \operatorname {rk}E'=r',E'\subset E\}.\) One can then stratify the moduli space \(U(r,d)\) of vector bundles of rank \(r\) and degree \(d\) according to the value of \(s.\) Define \(U_{r',s}(r,d)=\{E\in U(r,d):s_{r'}(E)=s\}.\) This method of proof provides additional information on the geometry of the strata. Theorem 0.1. Assume that \(0<s\leq r'(r-r')(g-1)\), \(d'=\frac{r'd-s}r.\) If \( g\geq 2,\) then \(U_{r',s}(r,d)\) is nonempty, irreducible of dimension \(\dim U_{r',s}(r,d)=r^2(g-1)+1+s-r'(r-r')(g-1).\) Moreover, a generic \(E\in U_{r',s}(r,d)\) can be written in an exact sequence \(0\rightarrow E'\rightarrow E\rightarrow E^{''}\rightarrow 0\) with both \( E',E^{''}\) stable and \(E'\) the unique subbundle of \(E\) of rank \(r'\) and degree \(d'.\) Theorem 0.2. If \(s\geq r'(r-r')(g-1),\) every stable vector bundle has subbundles of rank \(r'\) and degree \( d'=\frac{r'd-s}r.\) Define \(A_{r',d'}(E)=\{E': \operatorname {rk}E'=r',\deg E'=d',E'\subset E,E'\) saturated\}. Then, for generic \(E\), \(A_{r',d'}(E)\) has dimension \(\dim A_{r',d'}(E)=s-r'(r-r')(g-1).\) Theorem 0.3 (twisted Brill-Noether for one section). Let \(E\) be a generic vector bundle of rank \(r_E\) and degree \(d_E.\) Consider the twisted Brill-Noether loci \(W_{r_F,d_F}^0(E).\) This is defined as the subset of the moduli space \(U(r_F,d_F)\) consisting of those \(F\) such that \( h^0(F^{*}\otimes E)\geq 1.\) Then the dimension of \(W_{r_F,d_F}^0(E)\) is the expected dimension given by the Brill-Noether number \(\rho _{r_F,d_F}^0(E)=r_F(r_F-r_E)(g-1)+r_Fd_E-r_Ed_F\) if this number is nonnegative, and is empty otherwise. Moreover, when nonempty its generic elements considered as maps \(F\rightarrow E\) have maximal rank.