Graham J. Leuschke

This book is a comprehensive treatment of the representation theory of maximal Cohen-Macaulay (MCM) modules over local rings. This topic is at the intersection of commutative algebra, singularity theory, and representations of groups and algebras. Two introductory chapters treat the Krull-Remak-Schmidt Theorem on uniqueness of direct-sum decompositions and its failure for modules over local rings. Chapters 3-10 study the central problem of classifying the rings with only finitely many indecomposable MCM modules up to isomorphism, i.e., rings of finite CM type. The fundamental material--ADE/simple singularities, the double branched cover, Auslander-Reiten theory, and the Brauer-Thrall conjectures--is covered clearly and completely. Much of the content has never before appeared in book form. Examples include the representation theory of Artinian pairs and Burban-Drozd's related construction in dimension two, an introduction to the McKay correspondence from the point of view of maximal Cohen-Macaulay modules, Auslander-Buchweitz's MCM approximation theory, and a careful treatment of nonzero characteristic. The remaining seven chapters present results on bounded and countable CM type and on the representation theory of totally reflexive modules.

This book is aimed to provide an introduction to local cohomology which takes cognizance of the breadth of its interactions with other areas of mathematics. It covers topics such as the number of defining equations of algebraic sets, connectedness properties of algebraic sets, connections to sheaf cohomology and to de Rham cohomology, Grobner bases in the commutative setting as well as for $D$-modules, the Frobenius morphism and characteristic $p$ methods, finiteness properties of local cohomology modules, semigroup rings and polyhedral geometry, and hypergeometric systems arising from semigroups. The book begins with basic notions in geometry, sheaf theory, and homological algebra leading to the definition and basic properties of local cohomology. Then it develops the theory in a number of different directions, and draws connections with topology, geometry, combinatorics, and algorithmic aspects of the subject.