Finite Cohen–Macaulay Type
- Finite Cohen–Macaulay type is a finiteness condition ensuring that a ring or algebra has only finitely many indecomposable maximal Cohen–Macaulay (or Gorenstein-projective) modules.
- This rigidity hypothesis transforms complex homological categories into finite combinatorial data and makes decomposition theorems and Auslander–Reiten theory explicit.
- The framework supports practical computations of invariants such as F-signature, Hilbert–Kunz multiplicity, and categorical equivalences in both commutative and noncommutative settings.
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 (Holm, 2012, Beligiannis, 2013, Qin et al., 2019).
1. Definitions and formal variants
For a commutative Noetherian local Cohen–Macaulay ring , finite Cohen–Macaulay type means that the category of maximal Cohen–Macaulay modules has only finitely many indecomposable objects up to isomorphism. Under the Henselian hypotheses used in -theoretic applications, is Krull–Schmidt, so this is a genuine finiteness statement on indecomposable decomposition (Holm, 2012, Navkal, 2011).
For an Artin algebra , 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 (Beligiannis, 2013).
In graded noncommutative settings the notion is modified by the grading. If is a graded algebra of 0, then a finitely generated graded module 1 is Cohen–Macaulay when 2, and it is maximal Cohen–Macaulay when additionally 3. The graded finite Cohen–Macaulay type condition then requires only finitely many graded MCM modules up to degree shift and isomorphism (Qin et al., 2019). For Gorenstein algebras of Gorenstein dimension 4, the category 5 is characterized by
6
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 7 up to indecomposables (Schiffler et al., 2022).
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 8 with enough projectives and injectives. The paper introduces the ascending chain
9
and defines the accessible big objects by
0
Theorem 5.10 states that if every object of 1 is a direct sum of objects in 2, then the stable quotient 3 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: 4 When 5, this recovers the classical Artin-algebra theorem (Psaroudakis et al., 2020).
For Artin algebras, the same philosophy appears in the decomposition property
6
Theorem 4.10 shows that, assuming 7, this property is equivalent to 8 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 9 is phantomless, and that 0 is Frobenius. More generally, Theorem 3.1 states that for a contravariantly finite resolving subcategory 1, finite representation type of 2 is equivalent to several large-category finiteness conditions, including that every module in 3 is a direct sum of finitely generated modules and that every indecomposable object of 4 is finitely generated (Beligiannis, 2013).
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 5. If 6 is a two-dimensional complete local ring of finite Cohen–Macaulay type, then
7
for a finite Galois extension 8 and a finite subgroup
9
The action can be linearized in this semilinear form, the subgroup 0 may be taken small, and in dimension 1 one has 2 for 3. Under the smallness hypothesis, 4, and the Auslander–Reiten quiver of the Cohen–Macaulay category is the McKay quiver of 5. 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 6 and 7 (Tomonaga, 2024).
A mixed-characteristic analogue is available for invariant rings. Let 8 be a complete DVR of characteristic 9 with algebraically closed residue field $A \text{ is of finite CM-type } \iff \Gproj A \text{ is of finite representation type}.$0 of characteristic $A \text{ is of finite CM-type } \iff \Gproj A \text{ is of finite representation type}.$1, let $A \text{ is of finite CM-type } \iff \Gproj A \text{ is of finite representation type}.$2 be finite with $A \text{ is of finite CM-type } \iff \Gproj A \text{ is of finite representation type}.$3, let $A \text{ is of finite CM-type } \iff \Gproj A \text{ is of finite representation type}.$4, and let $A \text{ is of finite CM-type } \iff \Gproj A \text{ is of finite representation type}.$5 for $A \text{ is of finite CM-type } \iff \Gproj A \text{ is of finite representation type}.$6, $A \text{ is of finite CM-type } \iff \Gproj A \text{ is of finite representation type}.$7. The invariant ring
$A \text{ is of finite CM-type } \iff \Gproj A \text{ is of finite representation type}.$8
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 $A \text{ is of finite CM-type } \iff \Gproj A \text{ is of finite representation type}.$9 invertible, the invariant ring is a normal Cohen–Macaulay domain of dimension $T\in \Gproj A$0 and has finite Cohen–Macaulay type. Under the additional assumption that $T\in \Gproj A$1 has no pseudo-reflections except the identity and $T\in \Gproj A$2 is sufficiently deep in the maximal ideal, every indecomposable maximal Cohen–Macaulay $T\in \Gproj A$3-module is of the form $T\in \Gproj A$4 for an indecomposable projective $T\in \Gproj A$5-module $T\in \Gproj A$6, and the Auslander–Reiten quiver is the McKay graph $T\in \Gproj A$7 (Puthenpurakal, 2014).
For reduced complex-analytic curve germs $T\in \Gproj A$8, finite CM type has a lattice-homological characterization. The key criterion is
$T\in \Gproj A$9
where $\Gproj A=\add T$0 is the weight function attached to the valuation-filtration Hilbert function. This is equivalent to a condition on the motivic Poincaré series,
$\Gproj A=\add T$1
The theorem refines the ADE trichotomy: $\Gproj A=\add T$2 characterizes the $\Gproj A=\add T$3-case; $\Gproj A=\add T$4 together with a minimal spectral $\Gproj A=\add T$5-cycle of weight $\Gproj A=\add T$6 gives the $\Gproj A=\add T$7-case; and $\Gproj A=\add T$8 without such a cycle gives the $\Gproj A=\add T$9-case (Hof et al., 15 Sep 2025).
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 $\Gproj R$0, a ring of graded countable CM type with an isolated singularity is of graded finite type in each of the following cases: $\Gproj R$1, $\Gproj R$2 is non-Gorenstein, or $\Gproj R$3 is Gorenstein of minimal multiplicity (Stone, 2013). 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 $\Gproj R$4 be a noetherian $\Gproj R$5-graded locally finite algebra with $\Gproj R$6, balanced dualizing complex, and $\Gproj R$7 Auslander Gorenstein and Cohen–Macaulay. If $\Gproj R$8 admits a noncommutative quasi-resolution $\Gproj R$9 that is graded, locally finite, noetherian, Auslander regular, Cohen–Macaulay, and also of 0, then Theorem 0.1(1) states that 1 is of finite Cohen–Macaulay type in the graded sense. The mechanism passes through the equivalence
2
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 3-modules and graded simple right 4-modules, both up to degree shift and isomorphism. Theorem 0.1(3) reconstructs an NQR as
5
where the 6 run through indecomposable graded MCM modules, and Theorem 0.1(4) concludes that 7 is a noncommutative graded isolated singularity (Qin et al., 2019).
A more explicit family is provided by dimer tree algebras and their skew group algebras. A dimer tree algebra 8 is 9-Calabi–Yau tilted and therefore Gorenstein of Gorenstein dimension 00. Its stable Cohen–Macaulay category is equivalent to a 01-cluster category of Dynkin type 02,
03
and 04 has finite CM type with exactly 05 indecomposable Cohen–Macaulay modules. If an admissible action of 06 is present, then the skew group algebra 07 has
08
hence finite CM type of Dynkin type 09, and the number of indecomposable non-projective CM modules is 10. The paper further gives computational examples of types 11 and models the categories geometrically by 12-diagonals or 13-arcs in checkerboard polygons and punctured polygons (Schiffler et al., 2022).
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 14-theory
Finite Cohen–Macaulay type allows Auslander–Reiten theory to control algebraic invariants with unusual precision. For a Henselian local Cohen–Macaulay ring 15 with dualizing module and finite CM type, choose representatives
16
for the indecomposable maximal Cohen–Macaulay modules and let 17. Writing 18 and encoding the Auslander–Reiten sequences
19
in the Auslander–Reiten homomorphism 20, one obtains
21
Under the additional hypotheses that 22 is an algebra over its residue field 23, 24, and 25 is injective, the main theorem computes
26
where the subgroup 27 is generated by explicit Auslander–Reiten relations. The inclusion 28 induces
29
for 30 (Holm, 2012).
At the spectrum level, the 31-theory of a CM Henselian local ring of finite CM type is related to the Auslander algebra
32
through the long exact sequence
33
where 34 is the semisimple quotient of 35. This exact sequence arises from a dévissage of finitely presented functors on the MCM category and recovers the classical Auslander–Reiten presentation of 36 at its terminus (Navkal, 2011).
Finite CM type is also detectable functorially by Krull–Gabriel dimension. For a complete CM local ring 37,
38
By contrast, if 39 is a hypersurface of countable but not finite CM representation type, then
40
The countable-but-infinite side is established first for the 41 and 42 hypersurfaces and then extended by Knörrer periodicity (Hiramatsu, 2021).
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 43, every degeneration of MCM modules is given by an extension (Hiramatsu et al., 2010). This places degeneration geometry inside the finite Auslander–Reiten combinatorics.
6. Explicit invariants, test ideals, and approximation methods
In characteristic 44, finite CM type makes Frobenius asymptotics explicitly computable. For standard graded Cohen–Macaulay 45-algebras of finite CM type with 46, Proposition 3.2 reduces the non-regular, non-hypersurface case to three families: the rational normal curve ring, the scroll of type 47, and the Veronese surface ring. The paper then computes 48-signature, Hilbert–Kunz multiplicity, and all higher Frobenius Betti numbers 49 in closed form (Kotal, 2024).
| Ring family | 50 and 51 | 52 for 53 |
|---|---|---|
| 54 | 55, 56 | 57 |
| 58 | 59, 60 | 61 |
| 62 | 63, 64 | 65 |
The paper’s method is uniform: classify indecomposable MCM modules, derive exact sequences among them, decompose 66 into those indecomposables, and extract asymptotic Betti data. The finite CM type hypothesis is exactly what turns this procedure into a finite calculation (Kotal, 2024).
Trace and test ideals admit similar simplifications. If 67 is local and 68 is finitely generated, then the paper uses the identity
69
so that for a Cohen–Macaulay ring the maximal Cohen–Macaulay test ideal
70
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
71
when 72 is not regular. The paper computes explicit examples, including 73 for Veronese subrings
74
and formulas for two-dimensional ADE hypersurfaces such as
75
76
together with the 77 values listed in the paper (Benali et al., 2021).
Algebraic approximation results preserve the homological data most relevant to CM classification problems without themselves classifying finite CM type. If 78 defines a Cohen–Macaulay algebra 79, then for sufficiently large approximation order 80 there exist algebraic approximants 81 such that
82
the minimal Betti numbers agree,
83
and the Hilbert–Samuel functions agree,
84
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 (Patel, 2022).
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 85-groups to Frobenius Betti numbers admit explicit formulas.
