Cohen-Macaulay representations (Q2888014)

The book under review is mainly concerned with the \textit{problem} of the classification of Cohen-Macaulay local rings \((R,\, \mathfrak{m},\, k)\) having only a finite number of indecomposable maximal Cohen-Macaulay module (one says that such a ring has \textit{finite CM type}). Compared with the canonical reference for the subject, namely the book of \textit{Y. Yoshino} [Cohen-Macaulay modules over Cohen-Macaulay rings. London Mathematical Society Lecture Note Series. 146. Cambridge (UK): Cambridge University Press (1990; Zbl 0745.13003)], it contains a number of new results and topics. Among them, the elementary proof of \textit{C. Huneke} and \textit{G. J. Leuschke} [Math. Ann. 324, No. 2, 391--404 (2002; Zbl 1007.13005)] of the theorem of \textit{M. Auslander} [Lect. Notes Math. 1178, 194--242 (1986; Zbl 0633.13007)] asserting that if \(R\) has finite CM type then \(R_{\mathfrak{p}}\) is a regular local ring, \(\forall \, \mathfrak{p} \in \text{Spec}\, R \setminus \{\mathfrak{m}\}\), and a proof, due to \textit{R. Wiegand} [J. Algebra 203, No. 1, 156--168 (1998; Zbl 0921.13015)] and \textit{G. Leuschke} and \textit{R. Wiegand} [J. Algebra 228, No. 2, 674--681 (2000; Zbl 0963.13020)] of a conjecture of \textit{F.-O. Schreyer} [Lect. Notes Math. 1273, 9--34 (1987; Zbl 0719.14024)] asserting that \(R\) has finite CM type if and only if its \(\mathfrak{m}\)-adic completion \(\widehat R\) has finite CM type. Actually, for the proof of the ``only if'' part of the later result, the authors have to assume that \(R\) is excellent (it is unknown whether this condition is necessary or not). Besides, the proof of the ``only if'' part depends on a difficult result of \textit{R. Elkik} [Ann. Sci. Éc. Norm. Supér. (4) 6, 553--603 (1973; Zbl 0327.14001)] for which the authors refer to Elkik's paper.NEWLINENEWLINEFor the majority of the theorems contained in the book under review the authors provide complete and (essentially) self-contained proofs, preferring explicit constructions to categorical techniques. There are, however, a number of important results whose proofs depend on difficult facts for which the authors refer to the original papers (we saw an example above).NEWLINENEWLINEHere is a brief description of the content of the book.NEWLINENEWLINEThe first two chapters are concerned with the proof of the Krull-Remak-Schmidt uniqueness theorem for \(R\) complete and with the analysis of how badly can it fail for a general \(R\).NEWLINENEWLINEChapters 3 and 4 treat the case \(\text{dim}\, R \leq 1\) where, essentially, everything is known: if \(R\) has finite CM type and \(\text{dim}\, R = 0\) then \(R\) is a principal ideal ring, and if \(\text{dim}\, R = 1\) then it is characterized by the conditions of \textit{Y. A. Drozd} and \textit{A. V. Roĭter} [Izv. Akad. Nauk SSSR, Ser. Mat. 31, 783--798 (1967; Zbl 0164.04103)].NEWLINENEWLINEChapters 5 to 7 are devoted to the classification of complete, local, 2-dimensional \(\mathbb C\)-algebras of finite CM type and of their relations with Invariant Theory, Kleinian singularities, ADE hypersurface singularities, McKay correspondence etc.NEWLINENEWLINEChapters 8 and 9 contain the classification (due to \textit{H. Knörrer} [Invent. Math. 88, No. 1, 153--164 (1987; Zbl 0617.14033)] and \textit{R.-O. Buchweitz, G.-M. Greuel} and \textit{F.-O. Schreyer} [Invent. Math. 88, No. 1, 165--182 (1987; Zbl 0617.14034)]) of equicharacteristic complete hypersurface rings having finite CM type. The main ingredients of the proof of this result are matrix factorizations, the double branched cover construction, and Knörrer's periodicity theorem.NEWLINENEWLINEIn Chapter 10 the authors prove F.-O. Schreyer's conjecture mentioned at the beginning of the review. Chapter 11 contain a complete and explicit treatment of the theory of \textit{MCM approximations} of \textit{M. Auslander} and \textit{R.-O. Buchweitz} [Mém. Soc. Math. Fr., Nouv. Sér. 38, 5--37 (1989; Zbl 0697.13005)].NEWLINENEWLINEChapter 12 is concerned with \textit{totally reflexive modules}, formerly known as \textit{modules of Gorenstein dimension} 0, a notion introduced by \textit{M. Auslander} and \textit{M. Bridger} [Mem. Am. Math. Soc. 94, 146 p. (1969; Zbl 0204.36402)]. Over a Gorenstein local ring a finitely generated module is totally reflexive if and only if it is maximal Cohen-Macaulay. The main result of this chapter is due to \textit{L. W. Christensen, G. Piepmeyer, J. Striuli} and \textit{R. Takahashi} [Adv. Math. 218, No. 4, 1012--1026 (2008; Zbl 1148.14004)] and asserts that if \(R\) has at least one non-free totally reflexive module but only finitely many indecomposable ones then it must be a hypersurface ring of finite CM type.NEWLINENEWLINEChapter 13 presents the Auslander-Reiten theory of \textit{almost split sequences} and of the Auslander-Reiten quiver, cf. \textit{M. Auslander} and \textit{I. Reiten} [Adv. Math. 73, No. 1, 1--23 (1989; Zbl 0744.13003)]. The Auslander-Reiten quiver gives, in some sense, a picture of the whole category of MCM modules.NEWLINENEWLINEThe last chapters, 14 to 17, consider other CM representation types, namely \textit{countable} (it is obvious what this means) and, respectively, \textit{bounded} (which is equivalent to the fact that there is a bound on the minimal number of generators of indecomposable MCM modules). The authors use recent results of \textit{I. Burban} and \textit{Y. Drozd} [in: Proceedings of the 12th international conference on representations of algebras and workshop (ICRA XII), Toruń, Poland, August 15--24, 2007. Zürich: European Mathematical Society (EMS). EMS Series of Congress Reports, 101--166 (2008; Zbl 1200.14011)] to prove the Buchweitz-Greuel-Schreyer classification of hypersurface rings with countable CM type. Chapter 15 contains a proof of the first Brauer-Thrall conjecture asserting that an excellent isolated singularity with bounded CM type has finite CM type. This proof follows the original proofs of \textit{E. Dieterich} [Comment. Math. Helv. 62, No. 4, 654--676 (1987; Zbl 0654.14002)] and \textit{Y. Yoshino} [J. Math. Soc. Japan 39, No. 4, 719--739 (1987; Zbl 0615.13008)].NEWLINENEWLINEThe authors use, in Chapter 16, the Brauer-Thrall theorem to present the only two non-Gorenstein examples of dimension \(> 2\) of CM rings \(R\) with finite CM type. These examples appear in the paper of Auslander and Reiten quoted above.NEWLINENEWLINEFinally, in Chapter 17, the authors classify the complete CM local rings \(R\) of bounded CM type if either \(R\) is 1-dimensional or an equicharacteristic hypersurface ring.