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

From MaRDI portal





scientific article
Language Label Description Also known as
default for all languages
No label defined
    English
    Rank 2 Cohen-Macaulay modules over singularities of type \(x_1^3+x_2^3+x_3^3+x_4^3\)
    scientific article

      Statements

      Rank 2 Cohen-Macaulay modules over singularities of type \(x_1^3+x_2^3+x_3^3+x_4^3\) (English)
      0 references
      0 references
      0 references
      0 references
      0 references
      14 November 2005
      0 references
      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.
      0 references

      Identifiers