Decomposability criterion for linear sheaves (Q2392882): Difference between revisions

A linear monad in \(\mathbb{P}^{n}\) is a complex of the form \[ M_{\bullet}:\mathcal{O}_{\mathbb{P}^{n}}(-1)^{\oplus a}\rightarrow \mathcal{O}_{\mathbb{P}^{n}}^{\oplus b}\rightarrow \mathcal{O}_{\mathbb{P}^{n}}(1)^{\oplus c}\; . \] The article under review establishes an equivalence of categories between the category of linear monads and the category of linear representations of a quiver with certain additional properties (cf. Proposition 2.5). By using a result in [\textit{V. G. Kac}, Invent. Math. 56, 57--92 (1980; Zbl 0427.17001)] about decomposability of representations of quivers, it is proved that for a certain relation on the parameters \(a,b,c,n\), the corresponding monad is decomposable (cf. Theorem 1.1). The cohomology of the monad is the coherent sheaf defined by \(E=\text{ker} \beta/\text{im} \alpha\), where \(\alpha\) and \(\beta\) are the morphisms of the monad respectively. An instanton is a torsion free sheaf over \(\mathbb{P}^{n}\) which can be represented as the cohomology of a linear monad and has \(c_{1}(E)=0\). Particularizing the previous result to the case of instanton sheaves, an expression for an instanton of rank \(r\) and charge \(c_{2}(E)=c\) to be decomposable is given (cf. Corollary 1.2). In particular, it is shown that every instanton bundle \(E\) of rank \(2n\) and charge \(1\) on \(\mathbb{P}^{n}\) is decomposable (and the possible decompositions are explicited) and that the bound is sharp in this case, given that an example of a rank \(2n-1\) instanton of charge \(1\) which is not decomposable is provided (cf. Section 4).