---
title: Finite Cohen–Macaulay Type
url: https://www.emergentmind.com/topics/finite-cohen-macaulay-type
type: topic
---

# Finite Cohen–Macaulay Type

Finite Cohen–Macaulay type is a finiteness condition on the maximal Cohen–Macaulay or Gorenstein-projective representation theory of a ring or algebra. In its commutative local form, it means that there are only finitely many isomorphism classes of indecomposable maximal Cohen–Macaulay modules; for Artin algebras it means that the category of finitely generated Gorenstein-projective modules has finite representation type; in graded settings the finiteness is usually taken up to degree shift and isomorphism. Across commutative algebra, representation theory, and noncommutative geometry, the condition functions as a strong rigidity hypothesis: it converts large homological categories into finite combinatorial data, makes Auslander–Reiten theory explicit, and often forces quotient-singularity or Dynkin-type structures [1211.3445] [1305.2311] [1906.06824].

## 1. Definitions and formal variants

For a commutative Noetherian local Cohen–Macaulay ring \((R,\mathfrak m,k)\), finite Cohen–Macaulay type means that the category \(\mathrm{MCM}\,R\) of maximal Cohen–Macaulay modules has only finitely many indecomposable objects up to isomorphism. Under the Henselian hypotheses used in \(K\)-theoretic applications, \(\mathrm{mod}(R)\) is Krull–Schmidt, so this is a genuine finiteness statement on indecomposable decomposition [1211.3445] [1108.2000].

For an Artin algebra \(A\), the finite Cohen–Macaulay type condition is formulated in terms of finitely generated Gorenstein-projective modules:
\[
A \text{ is of finite CM-type } \iff \Gproj A \text{ is of finite representation type}.
\]
Equivalently, there exists \(T\in \Gproj A\) such that \(\Gproj A=\add T\). The same formulation is used for commutative Noetherian complete local rings via \(\Gproj R\), and in the Gorenstein case this coincides with the usual maximal Cohen–Macaulay formulation [1305.2311].

In graded noncommutative settings the notion is modified by the grading. If \(A\) is a graded algebra of \(\operatorname{GKdim}A=2\), then a finitely generated graded module \(M\) is Cohen–Macaulay when \(\operatorname{depth}M=\operatorname{GKdim}M\), and it is maximal Cohen–Macaulay when additionally \(\operatorname{GKdim}M=\operatorname{GKdim}A\). The graded finite Cohen–Macaulay type condition then requires only finitely many graded MCM modules up to degree shift and isomorphism [1906.06824]. For Gorenstein algebras of Gorenstein dimension \(1\), the category \(\mathrm{CM}(A)\) is characterized by
\[
\mathrm{Ext}^i_A(M,A)=0 \quad \text{for all } i>0,
\]
and the paper on dimer tree algebras uses that such modules are exactly syzygies; in that setting finite CM type is equivalent to finiteness of the stable Cohen–Macaulay category \(\underline{\mathrm{CM}(A)}\) up to indecomposables [2211.14580].

## 2. Abstract characterizations and decomposition theorems

A major theme in the modern theory is that finite Cohen–Macaulay type can be detected through decomposition properties of large objects. In the exact-category framework of Quillen, the relevant ambient category is a left Ext-category \(\mathcal A\) with enough projectives and injectives. The paper introduces the ascending chain
\[
\mathrm{Ke}_0(\mathcal A)=\mathrm{Add}\,\mathcal A,\qquad
\mathrm{Ke}_{n+1}(\mathcal A)=\{\,M \mid 0\to L\to M\to A\to 0,\ M\in \mathrm{Ke}_n(\mathcal A),\ A\in \mathrm{Add}\,\mathcal A\,\},
\]
and defines the accessible big objects by
\[
\mathrm{Ke}(\mathcal A)=\bigcup_n \mathrm{Ke}_n(\mathcal A).
\]
Theorem 5.10 states that if every object of \(\mathrm{Ke}(\mathcal A)\) is a direct sum of objects in \(\mathcal A\), then the stable quotient \(\mathcal A/[\mathcal P]\) is strongly left noetherian. Applied to Cohen–Macaulay orders over complete regular local rings, Theorem 5.18 gives the higher-dimensional Auslander–Ringel–Tachikawa criterion:
\[
A\text{ is representation-finite}
\iff
\text{every accessible big Cohen–Macaulay }A\text{-module is a direct sum of finitely generated }A\text{-modules}.
\]
When \(d=0\), this recovers the classical Artin-algebra theorem [2001.04419].

For Artin algebras, the same philosophy appears in the decomposition property
\[
(+):\qquad \text{every Gorenstein-projective module is a direct sum of finitely generated modules}.
\]
Theorem 4.10 shows that, assuming \(\GProj A\neq \Proj A\), this property is equivalent to \(A\) being virtually Gorenstein of finite Cohen–Macaulay type. The theorem packages several equivalent conditions, including that every indecomposable Gorenstein-projective module is finitely generated, that \(\GProj A\) is phantomless, and that \(\Mod-\Gproj A\) is Frobenius. More generally, Theorem 3.1 states that for a contravariantly finite resolving subcategory \(\mathcal X\subseteq \mod A\), finite representation type of \(\mathcal X\) is equivalent to several large-category finiteness conditions, including that every module in \(\varinjlim \mathcal X\) is a direct sum of finitely generated modules and that every indecomposable object of \(\varinjlim \mathcal X\) is finitely generated [1305.2311].

These results identify a persistent structural principle: finite CM type is not only a statement about small objects, but also a rigidity condition on how infinite or filtered objects split. A plausible implication is that the most effective characterizations of finite CM type are often categorical rather than purely numerical.

## 3. Quotient singularities, curve criteria, and commutative classifications

In dimension two and equicharacteristic zero, finite Cohen–Macaulay type admits a quotient-singularity classification over arbitrary residue fields of characteristic \(0\). If \((R,\mathfrak m,k)\) is a two-dimensional complete local ring of finite Cohen–Macaulay type, then
\[
R \cong l[[x,y]]^G
\]
for a finite Galois extension \(l/k\) and a finite subgroup
\[
G \subseteq GL_2(l)\rtimes \mathrm{Gal}(l/k).
\]
The action can be linearized in this semilinear form, the subgroup \(H=G\cap GL_2(l)\) may be taken small, and in dimension \(2\) one has \(\CM R=\add_R S\) for \(S=l[[x,y]]\). Under the smallness hypothesis, \(\End_R(S)\cong S*G\), and the Auslander–Reiten quiver of the Cohen–Macaulay category is the McKay quiver of \(l*G\). For two-dimensional Gorenstein rings of finite CM type, the possible Auslander–Reiten quivers are classified as doubles of extended Dynkin diagrams, together with the looped types \(\widetilde{A}_0\) and \(\widetilde{CL}_n\) [2403.19282].

A mixed-characteristic analogue is available for invariant rings. Let \(V\) be a complete DVR of characteristic \(0\) with algebraically closed residue field \(k\) of characteristic \(p>0\), let \(G\subseteq \mathrm{GL}_2(V)\) be finite with \(p\nmid |G|\), let \(S=V[[x_1,x_2]]\), and let \(R=S/(\pi-f)\) for \(f\in (x_1,x_2)^2\cap S^G\), \(f\notin \pi S\). The invariant ring
\[
R^G=S^G/(\pi-f)
\]
is then a two-dimensional mixed-characteristic local ring of finite Cohen–Macaulay type. More generally, if a finite group acts on a two-dimensional complete regular local ring with \(|G|\) invertible, the invariant ring is a normal Cohen–Macaulay domain of dimension \(2\) and has finite Cohen–Macaulay type. Under the additional assumption that \(G\) has no pseudo-reflections except the identity and \(f\) is sufficiently deep in the maximal ideal, every indecomposable maximal Cohen–Macaulay \(R^G\)-module is of the form \(\nu(P)\) for an indecomposable projective \(V[G]\)-module \(P\), and the Auslander–Reiten quiver is the McKay graph \(\mathrm{Mc}(k^2,G)\) [1404.6939].

For reduced complex-analytic curve germs \((C,o)\), finite CM type has a lattice-homological characterization. The key criterion is
\[
(C,o)\text{ is of finite Cohen–Macaulay type}
\iff
\min w_0^C\ge -1,
\]
where \(w_0^C\) is the weight function attached to the valuation-filtration Hilbert function. This is equivalent to a condition on the motivic Poincaré series,
\[
(C,o)\text{ is of finite CM type}
\iff
\operatorname{ord} f^C \ge -1.
\]
The theorem refines the ADE trichotomy: \(\min w_0^C=0\) characterizes the \(A_n\)-case; \(\min w_0^C=-1\) together with a minimal spectral \(1\)-cycle of weight \(0\) gives the \(D_n\)-case; and \(\min w_0^C=-1\) without such a cycle gives the \(E_6,E_7,E_8\)-case [2509.11858].

In the standard graded commutative setting, countable and finite CM type diverge, but isolated singularities impose strong restrictions. For standard graded rings over an uncountable algebraically closed field of characteristic \(0\), a ring of graded countable CM type with an isolated singularity is of graded finite type in each of the following cases: \(\dim R\le 1\), \(R\) is non-Gorenstein, or \(R\) is Gorenstein of minimal multiplicity [1307.6206]. This suggests that, in several natural graded families, isolated-singularity hypotheses eliminate the countable-but-infinite exceptions.

## 4. Noncommutative and graded manifestations

Finite Cohen–Macaulay type has a substantial noncommutative incarnation in dimension two. Let \(A\) be a noetherian \(\mathbb N\)-graded locally finite algebra with \(\operatorname{GKdim}A=2\), balanced dualizing complex, and \(A\) Auslander Gorenstein and Cohen–Macaulay. If \(A\) admits a noncommutative quasi-resolution \(B\) that is graded, locally finite, noetherian, Auslander regular, Cohen–Macaulay, and also of \(\operatorname{GKdim}2\), then Theorem 0.1(1) states that \(A\) is of finite Cohen–Macaulay type in the graded sense. The mechanism passes through the equivalence
\[
\text{reflexive} \iff \text{MCM},
\]
valid under the paper’s hypotheses, and through the control of reflexive modules by projectives over the quasi-resolution. Theorem 0.1(2) gives a one-to-one correspondence between indecomposable graded MCM right \(A\)-modules and graded simple right \(B\)-modules, both up to degree shift and isomorphism. Theorem 0.1(3) reconstructs an NQR as
\[
C=\operatorname{End}_A\!\left(\bigoplus_{i=1}^a M_i(w_i)\right),
\]
where the \(M_i\) run through indecomposable graded MCM modules, and Theorem 0.1(4) concludes that \(A\) is a noncommutative graded isolated singularity [1906.06824].

A more explicit family is provided by dimer tree algebras and their skew group algebras. A dimer tree algebra \(A=\operatorname{Jac}(Q,W)\) is \(2\)-Calabi–Yau tilted and therefore Gorenstein of Gorenstein dimension \(1\). Its stable Cohen–Macaulay category is equivalent to a \(2\)-cluster category of Dynkin type \(\mathbb A\),
\[
\underline{\mathrm{CM}(A)}\simeq \mathcal C^2_{A_{N-2}},
\]
and \(A\) has finite CM type with exactly \(N(N-2)\) indecomposable Cohen–Macaulay modules. If an admissible action of \(G=\mathbb Z/2\mathbb Z\) is present, then the skew group algebra \(AG=A\# kG\) has
\[
\underline{\mathrm{CM}(AG)}\simeq \mathcal C^2_{D_{(N+1)/2}},
\]
hence finite CM type of Dynkin type \(\mathbb D\), and the number of indecomposable non-projective CM modules is \(\frac{N(N+1)}{2}\). The paper further gives computational examples of types \(\mathbb E_6,\mathbb E_7,\mathbb E_8\) and models the categories geometrically by \(2\)-diagonals or \(2\)-arcs in checkerboard polygons and punctured polygons [2211.14580].

These noncommutative examples show that finite CM type can be simultaneously categorical, combinatorial, and geometric. In both papers, the finite list of indecomposables is not merely counted; it is organized by quasi-resolutions, simple modules, or cluster combinatorics.

## 5. Auslander–Reiten theory, functor categories, and \(K\)-theory

Finite Cohen–Macaulay type allows Auslander–Reiten theory to control algebraic invariants with unusual precision. For a Henselian local Cohen–Macaulay ring \(R\) with dualizing module and finite CM type, choose representatives
\[
M_0=R,\quad M_1,\dots,M_t
\]
for the indecomposable maximal Cohen–Macaulay modules and let \(M=M_0\oplus\cdots\oplus M_t\). Writing \(E=\mathrm{End}_R(M)\) and encoding the Auslander–Reiten sequences
\[
0\to T(M_j)\to X_j\to M_j\to 0
\]
in the Auslander–Reiten homomorphism \(Y:\mathbb Z^t\to \mathbb Z^{t+1}\), one obtains
\[
K_0(\mathrm{mod}(R))\cong \mathrm{Coker}(Y).
\]
Under the additional hypotheses that \(R\) is an algebra over its residue field \(k\), \(\mathrm{char}(k)\ne 2\), and \(Y\) is injective, the main theorem computes
\[
K_1(\mathrm{mod}(R))\cong \mathrm{Aut}_R(M)^{\mathrm{ab}}/E,
\]
where the subgroup \(E\) is generated by explicit Auslander–Reiten relations. The inclusion \(\mathrm{proj}(R)\hookrightarrow \mathrm{mod}(R)\) induces
\[
R^\times \to \mathrm{Aut}_R(M)^{\mathrm{ab}}/E,\qquad
r\mapsto [\,r\cdot 1_R\oplus 1_{M'}\,]
\]
for \(M=R\oplus M'\) [1211.3445].

At the spectrum level, the \(K'\)-theory of a CM Henselian local ring of finite CM type is related to the Auslander algebra
\[
\Lambda=\operatorname{End}_R\Big(\bigoplus_{[M]\in I}M\Big)^{\mathrm{op}}
\]
through the long exact sequence
\[
\cdots \to \bigoplus_{[M]\in I_0} K_i(\kappa_M)\to K_i'(\Lambda)\to K_i'(R)\to \bigoplus_{[M]\in I_0} K_{i-1}(\kappa_M)\to\cdots,
\]
where \(\kappa_M\) is the semisimple quotient of \((\operatorname{End}_R M)^{\mathrm{op}}\). This exact sequence arises from a dévissage of finitely presented functors on the MCM category and recovers the classical Auslander–Reiten presentation of \(K_0'(R)\) at its terminus [1108.2000].

Finite CM type is also detectable functorially by Krull–Gabriel dimension. For a complete CM local ring \(R\),
\[
R \text{ is of finite CM representation type}
\iff
\mathrm{KGdim}\,\mathrm{mod}(\mathcal C(R))=0.
\]
By contrast, if \(R\) is a hypersurface of countable but not finite CM representation type, then
\[
\mathrm{KGdim}\,\mathrm{mod}(\mathcal C(R))=2.
\]
The countable-but-infinite side is established first for the \(A_\infty\) and \(D_\infty\) hypersurfaces and then extended by Knörrer periodicity [2112.13504].

Finally, finite CM representation type rigidifies degeneration orders. For a Cohen–Macaulay complete local algebra of finite CM representation type, the paper proves that the extended degeneration order, the extended extension order, and the extended Auslander–Reiten order coincide on maximal Cohen–Macaulay modules. In the special case of even-dimensional simple hypersurface singularities of type \((A_n)\), every degeneration of MCM modules is given by an extension [1012.5346]. This places degeneration geometry inside the finite Auslander–Reiten combinatorics.

## 6. Explicit invariants, test ideals, and approximation methods

In characteristic \(p>0\), finite CM type makes Frobenius asymptotics explicitly computable. For standard graded Cohen–Macaulay \(k\)-algebras of finite CM type with \(\operatorname{char}k=p\ne 2\), Proposition 3.2 reduces the non-regular, non-hypersurface case to three families: the rational normal curve ring, the scroll of type \((2,1)\), and the Veronese surface ring. The paper then computes \(F\)-signature, Hilbert–Kunz multiplicity, and all higher Frobenius Betti numbers \(\beta_i^F(R)\) in closed form [2401.00783].

| Ring family | \(s(R)\) and \(e_{HK}(R)\) | \(\beta_i^F(R)\) for \(i\ge 1\) |
|---|---|---|
| \(k[x^m,x^{m-1}y,\dots,y^m]\) | \(s(R)=\frac{1}{m}\), \(e_{HK}(R)=\frac{m+1}{2}\) | \(m(m-1)^i\) |
| \(k[x^2,xy,y^2,xz,yz]\) | \(s(R)=\frac{5}{12}\), \(e_{HK}(R)=\frac{7}{4}\) | \(2\cdot 2^{\,i-1}\) |
| \(k[x^2,y^2,z^2,xy,xz,yz]\) | \(s(R)=\frac{1}{4}\), \(e_{HK}(R)=2\) | \(4\cdot 3^{\,i-1}\) |

The paper’s method is uniform: classify indecomposable MCM modules, derive exact sequences among them, decompose \(R^{1/p^e}\) into those indecomposables, and extract asymptotic Betti data. The finite CM type hypothesis is exactly what turns this procedure into a finite calculation [2401.00783].

Trace and test ideals admit similar simplifications. If \(R\) is local and \(M\) is finitely generated, then the paper uses the identity
\[
\tau_M(R)=\operatorname{tr}_M(R),
\]
so that for a Cohen–Macaulay ring the maximal Cohen–Macaulay test ideal
\[
\tau_{MCM}(R)=\bigcap_{M\in MCM(R)} \tau_M(R)
\]
can be computed by intersecting trace ideals of non-free indecomposable MCM modules. For Cohen–Macaulay rings of finite CM type, a motivating result is
\[
\sqrt{\tau_{MCM}(R)}=m
\]
when \(R\) is not regular. The paper computes explicit examples, including \(\tau_{MCM}(R)=m\) for Veronese subrings
\[
k\llbracket x^d,x^{d-1}y,\ldots,y^d\rrbracket,
\]
and formulas for two-dimensional ADE hypersurfaces such as
\[
\tau_{MCM}\!\left(k\llbracket x,y,z\rrbracket /(z^2+x^2+y^{n+1})\right)
=
(x,y^{\lfloor (n+1)/2\rfloor}),
\]
\[
\tau_{MCM}\!\left(k\llbracket x,y,z\rrbracket /(z^2+x^2y+y^{n-1})\right)
=
(x^2,y^{\lfloor n/2\rfloor},z),
\]
together with the \(E_6,E_7,E_8\) values listed in the paper [2103.02529].

Algebraic approximation results preserve the homological data most relevant to CM classification problems without themselves classifying finite CM type. If \(I\subseteq K[[x]]\) defines a Cohen–Macaulay algebra \(K/I\), then for sufficiently large approximation order \(\mu\) there exist algebraic approximants \(I_\mu\) such that
\[
K/I_\mu \text{ is Cohen–Macaulay},\qquad
\dim K/I_\mu=\dim K/I,
\]
the minimal Betti numbers agree,
\[
\beta_i^{K/I_\mu}=\beta_i^{K/I},
\]
and the Hilbert–Samuel functions agree,
\[
H_{I_\mu}=H_I.
\]
A Gorenstein corollary follows by preservation of the last Betti number, and flat homomorphisms to Cohen–Macaulay quotients can be approximated while preserving flatness and the Betti data of both the base and the special fiber [2204.11439].

Taken together, these results show that finite Cohen–Macaulay type is not a single theorem but a unifying finiteness regime. In that regime, indecomposable maximal Cohen–Macaulay or Gorenstein-projective modules become classifiable, large exact categories become controllable, Auslander–Reiten theory becomes computational, and invariants ranging from \(K\)-groups to Frobenius Betti numbers admit explicit formulas.

Source: https://www.emergentmind.com/topics/finite-cohen-macaulay-type