A smooth surface of tame representation type (Q357419): Difference between revisions

Let \((X,\mathcal {O}_X(1))\) be a polarized manifold. Assume that the coordinate ring \(R_X\) of \(X\) embeddded by \(\mathcal {O}_X(1)\) is a Cohen-Macaulay ring. A vector bundle \(E\) on \(X\) is said to be ACM if its graded moduli of sections is an \(R_X\)-maximally Cohen-Macaulay module (equivalently, \(H^i(X,E(t)) =0\) for all \(1\leq i < \dim (X)\) and all \(t\in \mathbb {Z}\). \((X,\mathcal {O}_X(1))\) is of finite presentation type if, up to a twist, it has only finitely many ACM vector bundles. \((X,\mathcal {O}_X(1))\) is of tame representation type, if it is not of finite presentation type, but each family of indecomposable ACM bundles has at most dimension \(1\). Here the authors prove that \((X,\mathcal {O}_X(1))\) is of finite representation type if \(X = \mathbb {P}^1\times \mathbb {P}^1\) embedded by bidegree \((1,2)\) in \(\mathbb {P}^5\). The ACM vector bundles on a smooth cubic surface were described in [\textit{M. Casanellas} and \textit{R. Hartshorne}, J. Eur. Math. Soc. (JEMS) 13, No. 3, 709--731 (2011; Zbl 1245.14044)], proving that a smooth cubic surface is of tame representation type.