Auslander–Huneke–Leuschke–Wiegand Theorem

• The theorem establishes that finite Cohen–Macaulay representation type in a local ring forces the singular locus to be isolated.
• It refines the classical result by using subcategory dimension, annihilator properties, and syzygy generation to detect isolated singularities.
• The approach leverages long exact sequences, Koszul homology, and completion techniques to translate module structure into geometric singularity data.

The Auslander–Huneke–Leuschke–Wiegand theorem is a structural result in commutative algebra relating the representation theory of maximal Cohen–Macaulay modules to the geometry of the singular locus of a local ring. In its classical form, it states that if a Cohen–Macaulay local ring has finite Cohen–Macaulay representation type, then the ring has at most an isolated singularity. Subsequent work reformulated and strengthened this statement by replacing finite representation type with finiteness conditions on subcategory dimension, annihilators of $\Ext$ and $\Tor$, and, more recently, finite syzygy representation type and cohomological annihilators; these refinements show that isolated singularities can be detected by generation properties of module subcategories and by annihilation of derived functors (Dao et al., 2012, Dey et al., 23 Jul 2025).

1. Classical formulation

Let $(R,\mathfrak m)$ be a commutative Noetherian local ring. A finitely generated $R$-module $M$ is maximal Cohen–Macaulay if $\depth M=\dim R$ in the Cohen–Macaulay situation, and $\CM(R)$ denotes the full subcategory of maximal Cohen–Macaulay modules. The ring $R$ is said to have finite Cohen–Macaulay representation type if there are only finitely many isomorphism classes of indecomposable modules in $\CM(R)$.

The classical Auslander–Huneke–Leuschke–Wiegand theorem asserts that if $R$ is Cohen–Macaulay and $\Tor$0 has finite representation type, then $\Tor$1 has an isolated singularity. Equivalently,

$\Tor$2

or, in localization-theoretic terms, $\Tor$3 is regular for every non-maximal prime $\Tor$4 (Dao et al., 2012).

A particularly important subcategory is

$\Tor$5

the maximal Cohen–Macaulay modules that are locally free on the punctured spectrum

$\Tor$6

In this form, finite type for $\Tor$7 already implies that $\Tor$8 is an isolated singularity. This version isolates the part of the module category that is directly sensitive to the singularity at the closed point.

2. Dao–Takahashi’s refinement by subcategory dimension

Dao and Takahashi introduced a notion of the dimension of a subcategory of finitely generated modules as an abelian analogue of Rouquier’s dimension for triangulated categories. If $\Tor$9 is an abelian category with enough projectives and $(R,\mathfrak m)$0, one defines inductively

$(R,\mathfrak m)$1

and

$(R,\mathfrak m)$2

For a full subcategory $(R,\mathfrak m)$3,

$(R,\mathfrak m)$4

When $(R,\mathfrak m)$5 is resolving, this records how many extensions and syzygies are required to generate the whole subcategory from one object (Dao et al., 2012).

For a Cohen–Macaulay local ring $(R,\mathfrak m)$6 of dimension $(R,\mathfrak m)$7, Dao–Takahashi established the chain of implications

$(R,\mathfrak m)$8

$(R,\mathfrak m)$9

If $R$0 is complete, equicharacteristic, and has perfect residue field, then $R$1 as well, so all four conditions are equivalent (Dao et al., 2012).

In the Gorenstein case there is a parallel statement for the stable category $R$2: finite triangulated dimension implies that the annihilator of the stable $R$3-functor is $R$4-primary, which in turn implies that $R$5 is an isolated singularity; under the same completeness and residue-field hypotheses, the converse also holds. The theorem therefore upgrades the classical finite-type criterion to a generation-theoretic criterion and, in favorable cases, converts the one-way implication into an equivalence.

3. Proof architecture: annihilators, nonfree loci, and singular-locus detection

The proof strategy rests on three mechanisms. First, finite subcategory dimension controls annihilators of homological functors. If $R$6, repeated use of long exact sequences in $R$7 and $R$8 yields inclusions of the form

$R$9

and similarly for $M$0. Thus strong generation forces substantial annihilation.

Second, for a single module $M$1, the nonfree locus

$M$2

is identified with supports of derived functors:

$M$3

and

$M$4

For subcategories $M$5, annihilator–support arguments then show that if $M$6 is $M$7-primary, the only possible nonfree prime is $M$8.

Third, Dao–Takahashi prove that the singular locus itself is cut out by such annihilators:

$M$9

Combining these identifications gives the implication from finite dimension to isolated singularity. The converse in the complete equicharacteristic perfect-residue-field case uses completion and the theory of the Noether different to control the dimension of the stable category and then lift generators back to $\depth M=\dim R$0 (Dao et al., 2012).

This framework is notable because it converts a representation-theoretic hypothesis into a geometric conclusion through a precise bridge: generation bounds produce annihilator bounds, annihilator bounds determine support varieties, and those support varieties recover $\depth M=\dim R$1.

4. Corollaries and low-dimensional behavior

One immediate consequence is an improved form of the classical theorem: if there are only finitely many isomorphism classes of indecomposable maximal Cohen–Macaulay modules in $\depth M=\dim R$2, then $\depth M=\dim R$3, hence $\depth M=\dim R$4 is an isolated singularity. This replaces the older finite-type hypothesis on all of $\depth M=\dim R$5 by the more localized finite-type hypothesis on modules that are already free on the punctured spectrum (Dao et al., 2012).

Dao–Takahashi also obtain consequences for the entire maximal Cohen–Macaulay category and its stable counterpart. If $\depth M=\dim R$6 is Cohen–Macaulay, complete, equicharacteristic, has perfect residue field, and has at most an isolated singularity, then

$\depth M=\dim R$7

If, in addition, $\depth M=\dim R$8 is Gorenstein, then

$\depth M=\dim R$9

These statements recover and improve special cases of results of Aihara–Takahashi and Oppermann–Stovicek discussed in the same work.

Several examples indicate that the relevant dimensions are often small. If $\CM(R)$0 has finite Cohen–Macaulay representation type, then $\CM(R)$1. If $\CM(R)$2 is a rational surface singularity, then $\CM(R)$3. If $\CM(R)$4 is a countable Cohen–Macaulay representation-type hypersurface, then $\CM(R)$5 (Dao et al., 2012). These examples support the broader theme that “nice singularities” tend to have tightly generated Cohen–Macaulay categories.

5. Strengthening via finite syzygy representation type and completion

Later work broadened the theorem from maximal Cohen–Macaulay categories to subcategories sandwiched between syzygy categories. Let $\CM(R)$6 be a Noetherian local ring of Krull dimension $\CM(R)$7 and depth $\CM(R)$8, and let $\CM(R)$9 satisfy

$R$0

for integers $R$1 and $R$2. Dey–Kimura–Liu–Otake et al. prove that the following are equivalent: generation of $R$3 by the syzygies $R$4 in bounded extension radius; containment of $R$5 in a ball $R$6 for some $R$7; the condition that $R$8 contains a power of $R$9; the condition that the cohomological annihilator $\CM(R)$0 contains a power of $\CM(R)$1; and the condition that the completion $\CM(R)$2 has an isolated singularity (Dey et al., 23 Jul 2025).

A central technical ingredient is a Koszul-homology construction. If $\CM(R)$3, then for a system of parameters $\CM(R)$4 and $\CM(R)$5, one constructs short exact sequences

$\CM(R)$6

with $\CM(R)$7 and $\CM(R)$8, where the $\CM(R)$9 are Koszul homology modules of finite length. This shows that every object of $R$0 is built from the syzygies $R$1 by finitely many extensions. In the opposite direction, if $R$2 with $R$3 locally free off $R$4, then the relevant Ext-annihilator contains a power of $R$5.

Specializing this theorem recovers and strengthens the refined Auslander–Huneke–Leuschke–Wiegand statement. In particular, if $R$6 has finite representation type for some $R$7, then $R$8, and hence $R$9, has an isolated singularity. The same paper also proves ascent and descent of finite and countable syzygy representation type along $\Tor$00, yielding the equivalence

$\Tor$01

described there as a complete affirmative answer to Schreyer’s conjecture (Dey et al., 23 Jul 2025).

Under the hypothesis that $\Tor$02 has finite representation type, further consequences are obtained for Gorenstein-projective modules: either $\Tor$03 is a hypersurface or $\Tor$04, and every Gorenstein-projective $\Tor$05-module is a direct sum of finitely generated ones. For dominant local rings, rings of minimal multiplicity, and two-dimensional rings with algebraically closed residue field, the same hypothesis also implies that $\Tor$06 is virtually Gorenstein (Dey et al., 23 Jul 2025).

6. Scope, variants, and a common terminological ambiguity

The theorem is fundamentally a bridge between representation type and singularity theory. In its original and refined forms, it concerns Cohen–Macaulay local rings, maximal Cohen–Macaulay modules, punctured-spectrum freeness, and the detection of isolated singularities through finite generation properties of module subcategories. A common misconception is to treat “finite representation type” and “finite subcategory dimension” as interchangeable hypotheses. Dao–Takahashi’s work shows that finite representation type of $\Tor$07 implies dimension zero, but the converse framework is genuinely broader: finite dimension can hold without an a priori finite list of indecomposable objects, and it is the finite dimension condition that enters the annihilator-based equivalence with isolated singularity (Dao et al., 2012).

There is also a terminological ambiguity in the literature. Some later work uses “Auslander–Huneke–Leuschke–Wiegand theorem” for a depth-formula statement rather than for the isolated-singularity theorem. In that formulation, if $\Tor$08 is a commutative noetherian local ring, $\Tor$09 and $\Tor$10 are finitely generated, $\Tor$11, $\Tor$12, and

$\Tor$13

then, provided either $\Tor$14 or

$\Tor$15

one has the depth formula

$\Tor$16

This is presented as an Auslander–Huneke–Leuschke–Wiegand “package” in work on Tate homology and the depth formula (Celikbas et al., 2019).

The two usages share authorship lineage and a common concern with homological control over local structure, but they address different problems. In standard commutative algebra usage, the theorem most directly associated with Auslander, Huneke, Leuschke, and Wiegand remains the isolated-singularity criterion arising from finite Cohen–Macaulay representation type, together with its refinements through subcategory dimension, annihilators, syzygies, and completion (Dey et al., 23 Jul 2025).