Rank 2 Cohen-Macaulay modules over singularities of type \(x_1^3+x_2^3+x_3^3+x_4^3\) (Q2572063): Difference between revisions

The authors study the classification of rank \(2\) Cohen-Macaulay modules over \(R=K[x_1,x_2,x_3,x_4]/(f)\), \(f=x_1^3+x_2^3+x_3^3+x_4^3\), where \(K\) is an algebraically closed field of characteristic \(0\). These modules correspond to rank \(2\) bundles without intermediate cohomology (aCM) on the smooth cubic surface in \(S\subset\mathbb P^3\) defined by \(f=0\). Free modules correspond to decomposable bundles. Even if the existence of indecomposable aCM rank \(2\) bundles on \(S\) is trivial, their classification is not easy, mainly because the Picard group of \(S\) is well known, but not trivial. Its is known that rank \(2\) CM modules on \(R\) have a free resolution, over the polynomial ring, which is auto--dual, in the sense that it is determined by two matrices \(\phi,\psi\), with \(\phi\psi=\psi\phi=\) a multiple of the identity. Using the matricial description and the aid of a computer algebra software, the authors achieve a classification. It has been pointed out [see \textit{D. Faenzi}, Rank arithmetically Cohen-Macaulay bundles on a nonsingular cubic surface, preprint \texttt{math.AG/0504492}] that there is one case missing in the classification. Namely there exists on \(S\) a rank \(2\) aCM bundle \(E\) arising from the extension \(0\to \mathcal O_S\to E\to I(A)\to 0\), where \(I\) is the ideal sheaf of \(4\) general points on \(S\) and \(A\) is the divisor on \(S\) obtaining by adding a rational cubic to a hyperplane section. The resulting bundle \(E\), which is generated by \(6\) sections and has first Chern class \(A\), seems in contrast with the statement of Lemma 18.