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

A smooth projective subvariety \(X\subset {\mathbb P}^n\) of positive dimension over an algebraically closed field \(k\) is ACM if the graded coordinate ring \(k[X]\) of \(X\) is Cohen-Macaulay. In this case \(X\) has infinitely many indecomposable ACM sheaves \(\mathcal E\) (i.e. the\(k[X]\)-module \(H^0_*(X, {\mathcal E} )=\oplus_{t\in \mathbb Z}H^0(X, {\mathcal E}(t))\) is maximal Cohen-Macaulay). Ulrich bundles are those bundles \(\mathcal E\) such that \(H^0_*(X,{\mathcal E})\) achieves the maximum number of generators, namely \(d_X rk(\mathcal E)\), where \(d_X\) is the degree of \(X\). The main result of this paper is Theorem A: Let \(X\) be a smooth surface of degree 4 in \({\mathbb P}^5\). Then, for any \(r\geq 1\), there is a family of isomorphism classes of indecomposable Ulrich bundles of rank \(2r\), parametrized by \({\mathbb P}^1\). Conversely, any indecomposable ACM bundle on \(X\) is rigid or belongs to one of these families (up to a twist). In particular, \(X\) is of tame CM type. These surfaces represent the first example of projective tame CM varieties , besides elliptic curves. Then the authors classify rigid Ulrich bundles for surfaces of minimal degree and wild CM type.