The Cohen-Macaulay type of Cohen-Macaulay rings (Q1813212): Difference between revisions

For hypersurfaces in characteristic 0, the rings of finite CM type (i.e. having only finitely many indecomposable Cohen-Macaulay modules) are those corresponding to the simple hypersurface singularities, as was shown by \textit{H. Knörrer} [Invent. Math. 88, 153-164 (1987; Zbl 0617.14033)] and \textit{R.-O. Buchweitz}, \textit{G.-M. Greuel} and \textit{F.-O. Schreyer} [ibid. 165-182 (1987; Zbl 0617.14034)]. This paper is in two parts about (I) scrolls and (II) fixed rings. A scroll of type \((m_ 1,\ldots,m_ r)\) is a polynomial ring modulo the ideal generated by all \(2\times 2\) determinants from a certain \(2\times(m_ 1+\cdots+m_ r)\) matrix whose entries are indeterminates. --The fixed rings are of form \(S^ G\) where, usually, \(S\) is taken to be a complete local CM ring with algebraically closed residue field and \(G\) is a finite group with faithful linear action on \(S\) such that \(| G|\) is invertible in \(S\). The main aim is to show that, among these rings, the only ones of dimension \(\geq 3\) which have finite CM type are the scroll of (2,1) type \(k[[X_ 0,X_ 1,X_ 2,Y_ 0,Y_ 1]]/(X_ 0X_ 2-X^ 2_ 1\), \(X_ 0Y_ 1-X_ 1Y_ 0,\) \(X_ 1Y_ 1-X_ 2Y_ 0)\) and the fixed ring \(S^ G\) where \(\hbox{char}(k)\neq 2\), \(S=k[[X,Y,Z]]\), \(G=\mathbb{Z}_ 2\) and the generator of \(G\) acts by sending each indeterminate to its negative. Use is made of almost split sequences and, in part(II), of reflexive modules over \(S^ G\) and over the skew group ring \(SG\).