A smooth surface of tame representation type (Q357419)

From MaRDI portal
Revision as of 17:15, 6 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
scientific article; zbMATH DE number 6699633
  • Surfaces of minimal degree of tame representation type and mutations of Cohen-Macaulay modules
Language Label Description Also known as
English
A smooth surface of tame representation type
scientific article; zbMATH DE number 6699633
  • Surfaces of minimal degree of tame representation type and mutations of Cohen-Macaulay modules

Statements

A smooth surface of tame representation type (English)
0 references
Surfaces of minimal degree of tame representation type and mutations of Cohen-Macaulay modules (English)
0 references
0 references
0 references
0 references
0 references
30 July 2013
0 references
3 April 2017
0 references
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.
0 references
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.
0 references
0 references
0 references
0 references
0 references
0 references
0 references
vector bundle
0 references
polarized manifold
0 references
tame representation type
0 references
indecomposable vector bundle
0 references
ACM bundles
0 references
MCM modules
0 references
Ulrich bundles
0 references
varieties of minimal degree
0 references
tame CM type
0 references
0 references
0 references
0 references