No label defined (Q4260720)

Let \(M(P)\) denote the moduli space of \(S\)-equivalence classes of Gieseker-semistable sheaves \(E\) of rank at least two with a fixed Hilbert polynomial \(P\) over \({\mathbb P}_2 (k)\), \(k\) being an algebraically closed field. Let \(\chi = \chi(E)\), \(\mu = \mu(E)\), \(\chi^+(E) = \max (\chi(E), 0)\). A sheaf \(E\) with \(h^2(E)=0\) is called \textit{special} if \(\dim H^0 (E) > \chi^+(E)\). Let \(\text{Sp}(P) \subset M(P)\) be the closed subset consisting of \(S\)-equivalence classes which contain at least one special sheaf. Theorem 1. Assume \(\mu > -3\). Then: If \(\chi \neq 0\), then \(\text{Sp}(P)\) has codimension at least two in \(M(P)\); if \(\chi =0\), then \(\text{Sp}(P)\) is either an irreducible reduced codimension 1 subvariety or is empty. Theorem 2 . Let \({\mathcal U}(P) \) be the moduli stack of sheaves \(E\) on \({\mathbb P}_2\) with Hilbert polynomial \(P\) such that \(H^2 (E) =0\) and \( E_{\mid l} = {\mathcal O}_{{\mathbb P}_1} (\alpha)^{\oplus a} \oplus {\mathcal O}_{{\mathbb P}_1} (\alpha + 1)^{\oplus b}\) for a general line \(l\). Let \({\mathcal S} p (P) \subset {\mathcal U} (P)\) be the closed sub-stack of special sheaves. If \(\chi \neq 0\), then \(\text{Sp} (P)\) has codimension at least 2 in \({\mathcal U} (P)\). If \(\chi=0\), then \( \text{Sp} (P)\) is an irreducible Cartier divisor or empty. For the entire collection see [Zbl 0913.00031].