Reflexive and spanned sheaves on \(\mathbb P^3\) (Q480873)

A reflexive sheaf \(\mathcal F\) on \(\mathbb{P}^n, n \geq 3\), is spanned in codimension \(2\) if the map \(e_{\mathcal F}:H^0(\mathcal F) \bigotimes \mathcal O_X \to \mathcal F\) is surjective outside of finitely many subvarieties of codimension at least \(3\). The paper gives a classification of those reflexive sheaves on \(\mathbb{P}^3\) that are simultaneously spanned in codimension \(2\) and have small first chern class \(c_1\) (i.e. \(\leq 2\)). In order to obtain the classification the paper makes use of the cokernels \(\mathcal F_{k,n,L} \) of the maps: \(j: \mathcal O_{\mathbb{P}^n}(-1) \to \mathcal O_{\mathbb{P}^n}^{\oplus(k+1)}\), \(j\) being defined by \(k+1\) linearly independent sections of \(\mathcal O_{\mathbb{P}^n}(1)\) having the linear subspace \(L\) as their common zero locus. Such cokernels are proved to be torsion-free sheaves of rank \(k\) and singular locus \(L\). Then the main result of the paper states that there is an indecomposable non-locally free reflexive sheaf on \(\mathbb{P}^3\) of rank \(r \geq 2\), spanned in codimension \(2\) and having small first chern class \(c_1\) if and only if the triple \((c_1,c_2,r)\) is one of the following: \[ (1,1,2),~(2,2,2),~(2,3,2),~(2,3,3),~(2,3,5),~(2,4,r),~2 \leq r \leq 8. \]