---
title: Auslander–Huneke–Leuschke–Wiegand Theorem
url: https://www.emergentmind.com/topics/auslander-huneke-leuschke-wiegand-theorem
type: topic
---

# Auslander–Huneke–Leuschke–Wiegand Theorem

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 [1203.1955], [2507.17097].

## 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 $\CM(R)$ has finite representation type, then $R$ has an isolated singularity. Equivalently,
$$
\Sing(R)=\{\mathfrak p\in\Spec R\mid R_{\mathfrak p}\text{ is not regular}\}=\{\mathfrak m\},
$$
or, in localization-theoretic terms, $R_{\mathfrak p}$ is regular for every non-maximal prime $\mathfrak p\neq\mathfrak m$ [1203.1955].

A particularly important subcategory is
$$
\CM_0(R)=\{\,M\in \CM(R)\mid M_{\mathfrak p}\text{ is free for all }\mathfrak p\neq\mathfrak m\},
$$
the maximal Cohen–Macaulay modules that are locally free on the punctured spectrum
$$
\Spec^0R=\{\mathfrak p\in\Spec R\mid \mathfrak p\ne \mathfrak m\}.
$$
In this form, finite type for $\CM_0(R)$ already implies that $R$ 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 $\mathcal A$ is an abelian category with enough projectives and $G\in\mathcal A$, one defines inductively
$$
[G]_1=\add(\proj\mathcal A\cup\{G\}),
$$
and
$$
[G]_{n+1}=\add\{\,M\mid 0\to X\to M\to Y\to 0\text{ with }X\in [G]_n,\ Y\in [G]_1\}.
$$
For a full subcategory $\mathcal X\subseteq\mathcal A$,
$$
\dim \mathcal X=\inf\{\,n\mid \exists\,G\in\mathcal X\text{ with }[G]_{n+1}=\mathcal X\}.
$$
When $\mathcal X$ is resolving, this records how many extensions and syzygies are required to generate the whole subcategory from one object [1203.1955].

For a Cohen–Macaulay local ring $(R,\mathfrak m)$ of dimension $d$, Dao–Takahashi established the chain of implications
\[
(a)\ \dim\CM_0(R)<\infty
\Longrightarrow
(b)\ \Ann\Ext(\CM_0(R),\CM_0(R))\text{ is }\mathfrak m\text{-primary}
\]
\[
\Longrightarrow
(c)\ \Ann\Tor(\CM_0(R),\CM_0(R))\text{ is }\mathfrak m\text{-primary}
\Longrightarrow
(d)\ R\text{ is an isolated singularity}.
\]
If $R$ is complete, equicharacteristic, and has perfect residue field, then $(d)\Longrightarrow(a)$ as well, so all four conditions are equivalent [1203.1955].

In the Gorenstein case there is a parallel statement for the stable category $\underline{\CM}_0(R)$: finite triangulated dimension implies that the annihilator of the stable $\Hom$-functor is $\mathfrak m$-primary, which in turn implies that $R$ 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 $\mathcal X=[G]_{n+1}$, repeated use of long exact sequences in $\Tor$ and $\Ext$ yields inclusions of the form
$$
\Ann\Ext(\mathcal X,\mathcal X)\supseteq (\Ann\Ext(G,\mathcal X))^{2^n},
$$
and similarly for $\Tor$. Thus strong generation forces substantial annihilation.

Second, for a single module $M$, the nonfree locus
$$
\NF(M)=\{\mathfrak p\mid M_{\mathfrak p}\text{ is nonfree}\}
$$
is identified with supports of derived functors:
$$
\NF(M)=\Supp\Tor(M,\mod R)=V\bigl(\Ann\Tor(M,\mod R)\bigr)
$$
and
$$
\NF(M)=\Supp\Ext(M,\mod R)=V\bigl(\Ann\Ext(M,\mod R)\bigr).
$$
For subcategories $\mathcal X\subseteq \CM_0(R)$, annihilator–support arguments then show that if $\Ann\Ext(\mathcal X,\mathcal X)$ is $\mathfrak m$-primary, the only possible nonfree prime is $\mathfrak m$.

Third, Dao–Takahashi prove that the singular locus itself is cut out by such annihilators:
$$
\Sing R=V\bigl(\Ann\Ext(\CM_0(R),\CM_0(R))\bigr).
$$
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 $R$ [1203.1955].

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 $\Sing R$.

## 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 $\CM_0(R)$, then $\dim\CM_0(R)=0$, hence $R$ is an isolated singularity. This replaces the older finite-type hypothesis on all of $\CM(R)$ by the more localized finite-type hypothesis on modules that are already free on the punctured spectrum [1203.1955].

Dao–Takahashi also obtain consequences for the entire maximal Cohen–Macaulay category and its stable counterpart. If $R$ is Cohen–Macaulay, complete, equicharacteristic, has perfect residue field, and has at most an isolated singularity, then
$$
\dim\CM(R)<\infty.
$$
If, in addition, $R$ is Gorenstein, then
$$
\dim\underline{\CM}(R)<\infty.
$$
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 $R$ has finite Cohen–Macaulay representation type, then $\dim\CM(R)=0$. If $R$ is a rational surface singularity, then $\dim\CM(R)\le 1$. If $R$ is a countable Cohen–Macaulay representation-type hypersurface, then $\dim\CM(R)=1$ [1203.1955]. 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 $(R,\mathfrak m,k)$ be a Noetherian local ring of Krull dimension $d$ and depth $t$, and let $\mathcal X\subseteq \mod(R)$ satisfy
$$
\Omega^n\fl(R)\subseteq \mathcal X\subseteq \Omega^m\mod(R)
$$
for integers $n\ge 0$ and $m\ge d$. Dey–Kimura–Liu–Otake et al. prove that the following are equivalent: generation of $\mathcal X$ by the syzygies $\{\Omega^i k\}_{i=t}^d$ in bounded extension radius; containment of $\mathcal X$ in a ball $[G]_r$ for some $G\in\mod_0(R)$; the condition that $\ann_R(\Ext_R^*(\mathcal X,\Omega\mathcal X))$ contains a power of $\mathfrak m$; the condition that the cohomological annihilator $ca(R)$ contains a power of $\mathfrak m$; and the condition that the completion $\widehat R$ has an isolated singularity [2507.17097].

A central technical ingredient is a Koszul-homology construction. If $\mathfrak m^s\subseteq\ann\Ext_R(\mathcal X,\Omega\mathcal X)$, then for a system of parameters $x_1,\dots,x_d\subseteq \mathfrak m^s$ and $M\in\mathcal X$, one constructs short exact sequences
$$
0\to H_i\to E_i\to \Omega E_{i-1}\to 0\qquad (1\le i\le d),
$$
with $E_0=H_0$ and $M\mid E_d$, where the $H_i$ are Koszul homology modules of finite length. This shows that every object of $\mathcal X$ is built from the syzygies $\Omega^i k$ by finitely many extensions. In the opposite direction, if $\mathcal X\subseteq [G]_r$ with $G$ locally free off $\mathfrak m$, then the relevant Ext-annihilator contains a power of $\mathfrak m$.

Specializing this theorem recovers and strengthens the refined Auslander–Huneke–Leuschke–Wiegand statement. In particular, if $add\,\Omega^n\CM_0(R)$ has finite representation type for some $n\ge 0$, then $\widehat R$, and hence $R$, has an isolated singularity. The same paper also proves ascent and descent of finite and countable syzygy representation type along $R\to \widehat R$, yielding the equivalence
$$
\CM(R)\text{ has finite type}\iff \CM(\widehat R)\text{ has finite type},
$$
described there as a complete affirmative answer to Schreyer’s conjecture [2507.17097].

Under the hypothesis that $\CM_0(R)$ has finite representation type, further consequences are obtained for Gorenstein-projective modules: either $R$ is a hypersurface or $\GProj(R)=\Proj(R)$, and every Gorenstein-projective $\widehat R$-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 $\widehat R$ is virtually Gorenstein [2507.17097].

## 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 $\CM_0(R)$ 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 [1203.1955].

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 $(R,\mathfrak m,k)$ is a commutative noetherian local ring, $M$ and $N$ are finitely generated, $\Gdim_R(M)<\infty$, $\id_R(N)<\infty$, and
$$
q=\sup\{\,i\in\mathbb Z\mid \widehat{\Tor}^R_i(M,N)\neq 0\},
$$
then, provided either $q=0$ or
$$
\depth_R(\widehat{\Tor}^R_q(M,N))\le 1,
$$
one has the depth formula
$$
\depth_R(M)+\depth_R(N)
=
\depth(R)+\depth_R(\widehat{\Tor}^R_q(M,N))-q.
$$
This is presented as an Auslander–Huneke–Leuschke–Wiegand “package” in work on Tate homology and the depth formula [1903.04091].

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 [2507.17097].

Source: https://www.emergentmind.com/topics/auslander-huneke-leuschke-wiegand-theorem