Geometry of certain Brill-Noether locus on a very general sextic surface and Ulrich bundles (Q2134946): Difference between revisions

Let \(X\) be a smooth, projective, irreducible variety of dimension \(n\) and \(H\) be an ample divisor on \(X\). Let us denote \(\mathcal{M}_H (r; c_1 , \ldots , c_s)\) the moduli space of rank r, \(H\)-stable (in the sense of Mumford and Takemoto) vector bundles on \(X\) with fixed Chern classes. A Brill-Noether locus \(\mathcal{W}^k_{r,H}\) is the subvariety of \(\mathcal{M}_H\) representing elements of having at least \(k + 1\) independent global sections. In this paper, the author examines the problem of non-emptiness of \(\mathcal{W}^k_{2} \subset \mathcal{M}_H (2; 5H, c_2)\) for very general sextic hypersurface in \(\mathbb{P}^3\), and for some specific second Chern classes and small values of \(k\). Particularly, it is shown that \(\mathcal{W}^1_{2}-\mathcal{W}^2_{2}\) is non-empty for the values of \(c_2 = 55\) and \(103 \leq c_2 \leq 107\). Moreover, if \(103 \leq c_2 \leq 107\) then it is shown that \(\mathcal{W}^1_{2}\) contains a smooth point and the irreducible component containing it has the actual dimension same as the expected dimension \(\operatorname{dim}(\mathcal{M}_H (2; 5H, c_2)) - 2(2-\chi(2; 5H, c_2))\). Last main result in the paper is that \(\mathcal{W}^0_{2}\) is non-empty and every irreducible component of it has the actual dimension same as the expected dimension when \(c_2 \geq 117\). In the last section, the author focuses on (weakly) Ulrich bundles for obtaining some more non-empty Brill-Noether loci. He gives some partial results depending on the existence of such bundles.