---
title: 'Ulrich Modules: Definitions & Applications'
url: https://www.emergentmind.com/topics/ulrich-modules
type: topic
---

# Ulrich Modules: Definitions & Applications

Searching arXiv for recent and foundational papers on Ulrich modules to support the encyclopedia entry.
arXiv search query: "Ulrich modules local rings minimal multiplicity dimension two irreducible multiplicity"
Ulrich modules are Cohen–Macaulay modules that attain an extremal generator–multiplicity bound. In the standard local formulation, a finitely generated \(R\)-module \(M\) is Ulrich when \(M\neq 0\), \(M\) is maximal Cohen–Macaulay, and \(\nu_R(M)=e_R(M)\); in the ideal-relative formulation one requires \(M\) maximal Cohen–Macaulay, \(e_I^0(M)=\ell_R(M/IM)\), and \(M/IM\) free over \(R/I\). On the projective side, the corresponding Ulrich bundles are ACM sheaves characterized by complete acyclicity of twists, linear resolutions, or triviality after finite linear projection. These local, singularity-theoretic, and projective viewpoints are now linked by blowups, syzygies, trace ideals, matrix factorizations, and moduli theory [2510.02698][1307.2093][1704.03352].

## 1. Local definitions and equivalent formulations

In the local theory used for existence results over higher-dimensional rings, a nonzero finitely generated \(R\)-module \(M\) is an Ulrich module if \(M\) is maximal Cohen–Macaulay and \(\nu_R(M)=e_R(M)\). When the residue field is infinite and \(J\) is a minimal reduction of the maximal ideal, this is equivalent to \(M\) being maximal Cohen–Macaulay and satisfying \(JM=\mathfrak m M\); equivalently, with \(q\) a parameter ideal reducing \(\mathfrak m\), one has
\[
M \text{ is Ulrich } \iff \mu_R(M)=e_R(M)=\operatorname{length}_R(M/qM) \iff \mathfrak mM=qM
\]
in the Cohen–Macaulay setting [2510.02698][2505.14961].

A second, widely used formulation is relative to an \(\mathfrak m\)-primary ideal \(I\). In that setting, \(M\) is Ulrich with respect to \(I\) if \(M\) is maximal Cohen–Macaulay, \(e_I^0(M)=\ell_R(M/IM)\), and \(M/IM\) is free over \(R/I\). This ideal-relative language is central in the study of Ulrich ideals, surface singularities, and reduction-theoretic criteria [1307.2093].

Terminology is not completely uniform across the literature. One strand defines a nonzero Cohen–Macaulay \(R\)-module \(M\) to be Ulrich if \(e(M)=\mu(M)\), without building maximal Cohen–Macaulayness into the definition. In that convention, the inequality \(e(M)\ge \mu(M)\) for Cohen–Macaulay modules becomes the immediate numerical background, and Ulrich modules are precisely the Cohen–Macaulay modules on which equality holds [2201.00984].

## 2. Minimal multiplicity, syzygies, and trace-sensitive subclasses

A recurrent ring-theoretic environment for Ulrich modules is minimal multiplicity. For a Cohen–Macaulay local ring \(R\), minimal multiplicity means
\[
e(R)=\mu_R(\mathfrak m)-\dim(R)+1,
\]
and, when the residue field is infinite, this is equivalent to \(\mathfrak m^2=q\mathfrak m\) for some parameter ideal \(q\) reducing \(\mathfrak m\) [2505.14961]. In this regime, Ulrich modules are tightly controlled by syzygies. Over a Cohen–Macaulay local ring with minimal multiplicity, first syzygies of Cohen–Macaulay modules are Ulrich, yielding the inclusion
\[
\Omega \mathrm{CM}^{\times}(R)\subseteq \mathrm{Ul}(R).
\]
Moreover, \(\Omega^d k\) is a distinguished Ulrich module, every Ulrich module is a quotient of a finite direct sum of copies of \(\Omega^d k\), and the category of Ulrich modules acquires an exact-category structure with
\[
\operatorname{proj}\mathrm{Ul}(R)=\operatorname{add}(\Omega^d k), \qquad
\operatorname{inj}\mathrm{Ul}(R)=\operatorname{add}((\Omega^d k)^\dagger)
\]
[1711.00652].

A recent refinement isolates full-trace Ulrich modules, defined by the additional trace condition \(\operatorname{tr}_R(M)=\mathfrak m\). Over a non-regular Cohen–Macaulay local ring, the existence of a full-trace Ulrich module is equivalent to minimal multiplicity. More precisely, for a \(d\)-dimensional non-regular Cohen–Macaulay local ring, minimal multiplicity is equivalent to the assertion that \(\Omega_R^i(k)\) is a full-trace Ulrich module for all \(i\ge d\), and also equivalent to existence of some full-trace Ulrich module. In dimension one, this specializes to the statement that \(\mathfrak m\) itself is an Ulrich \(R\)-module exactly when the ring has minimal multiplicity [2505.14961].

In dimension one, the comparison between Ulrich modules and syzygies becomes especially rigid. Under minimal multiplicity, equality
\[
\Omega \mathrm{CM}^{\times}(R)=\mathrm{Ul}(R)
\]
is equivalent to the almost Gorenstein property, so the Ulrich category can reflect not only multiplicity-theoretic extremality but also fine canonical-duality behavior [1711.00652].

## 3. Surface singularities and explicit classification

For two-dimensional rational double points, Ulrich theory admits a geometric classification via resolutions of singularities, anti-nef cycles, and the McKay correspondence. If \(A\) is a two-dimensional rational double point and \(I\subset A\) is a nonparameter \(\mathfrak m\)-primary ideal, then the following are equivalent: \(M\) is an Ulrich \(A\)-module with respect to \(I\); \(M\) is a special Cohen–Macaulay module with respect to \(I\); \(M\) is weakly special with respect to \(I\); and \(M/IM\) is \(A/I\)-free and \(M\) has no free summands. When these conditions hold, \(I\) is an Ulrich ideal, and \(M^*\cong \operatorname{Syz}_A^1(M)\) is again Ulrich with respect to \(I\) [1307.2093].

The same paper gives a complete ADE classification of Ulrich ideals and indecomposable Ulrich modules over rational double points. The mechanism is intersection-theoretic: if \(I=I_Z\) is represented by an anti-nef cycle \(Z\) on the minimal resolution, Kato’s Riemann–Roch formula
\[
\ell_A(M/I_ZM)=\operatorname{rank}_A(M)\,\ell_A(A/I_Z)+c_1(\widetilde M)\cdot Z
\]
reduces freeness modulo \(I\) to an equality of cycle coefficients. This turns Ulrich classification into an explicit problem in surface geometry and representation theory [1307.2093].

For cyclic quotient surface singularities, the classification is equally explicit but combinatorial. Writing \(R=S^G\) for a cyclic quotient singularity and \(M_t\) for the indecomposable maximal Cohen–Macaulay modules, one has
\[
\mu_R(M_t)=d_{1,t}+\cdots+d_{r,t}+1,
\]
where the \(d_{u,t}\) are determined by the Hirzebruch–Jung continued fraction. Then
\[
M_t \text{ is Ulrich } \iff d_{1,t}+\cdots+d_{r,t}=e(R)-1.
\]
If \(r\) is the number of exceptional curves in the minimal resolution, the number \(N_{e(R)}\) of indecomposable Ulrich modules satisfies
\[
r\le N_{e(R)}\le 2^{r-1}
\]
[1504.07688].

## 4. Existence theorems and nonexistence phenomena

A major recent development is that existence of Ulrich modules is neither automatic nor uniformly obstructed. On the positive side, for a complete local ring \(R\) of dimension \(2\), the blowup at the maximal ideal provides a geometric existence criterion. If \(R\) is complete, equidimensional of dimension \(2\), and the exceptional fiber
\[
E=\operatorname{Proj}(\operatorname{gr}_{\mathfrak m}(R))
\]
is geometrically reduced, then \(R\) admits an Ulrich module that is locally free of constant rank on the punctured spectrum; if the residue field is algebraically closed, one can choose such a module of rank \(1\) on the punctured spectrum. More generally, Ulrich modules exist whenever each one-dimensional connected component of the exceptional fiber is geometrically reduced [2510.02698].

The same blowup geometry also produces nonexistence. For a long time it was unknown whether every complete local domain admits an Ulrich module, but there are complete local domains of every dimension \(d\ge 2\) with no Ulrich modules. One source is the \(S_2\)-ification method: if a local domain \(R\) has an \(S_2\)-ification \(S\) which is a regular local ring, then every maximal Cohen–Macaulay \(R\)-module is of the form \(S^{\oplus h}\), and \(R\) has an Ulrich module if and only if \(S\) is an Ulrich \(R\)-module, equivalently if \(IS=\mathfrak m S\) for a minimal reduction \(I\) of \(\mathfrak m\) [2104.05766].

The negative answer extends even to Cohen–Macaulay local rings. There exist two-dimensional Cohen–Macaulay local rings with no Ulrich modules, including Gorenstein normal domains and complete intersection local domains. The obstruction is again blowup-theoretic: if on the blowup of \(\operatorname{Spec}R\) at \(\mathfrak m\) the exceptional fiber is a nonreduced multiple Cartier divisor, then neither the local ring nor its completion admits an Ulrich module. This shows that good singularity classes such as Gorenstein, normal, and complete intersection do not by themselves force Ulrich existence [2403.15566].

## 5. Projective-geometric realizations and moduli

On a smooth polarized projective variety, Ulrich bundles are the geometric avatars of linear maximal Cohen–Macaulay modules. For a smooth variety \(X\subset \mathbb P^N\), an ACM sheaf \(\mathcal E\) is Ulrich if it is initialized and has the maximal possible number of sections; equivalently, for \(\dim X=n\),
\[
H^i(\mathcal E(-j))=0 \qquad \text{for all } i \text{ and } 1\le j\le n.
\]
Another equivalent criterion is that for any finite linear projection \(\pi:X\to \mathbb P^n\),
\[
\pi_*\mathcal E \cong \mathcal O_{\mathbb P^n}^{\oplus t}
\]
[1704.03352].

This projective theory is now highly developed in concrete classes. On a nonsingular cubic surface, stable Ulrich bundles of rank \(r\) and first Chern class \(D\) exist precisely under explicit line and twisted-cubic intersection inequalities, excluding the exceptional multiples \(mD_0\); when they exist, the moduli space is smooth and irreducible of dimension
\[
D^2-2r^2+1,
\]
and consists entirely of stable Ulrich bundles. As a consequence, stable Ulrich bundles of every rank exist on nonsingular cubic threefolds [1102.0878].

For the smooth complete intersection of two \(4\)-dimensional quadrics in \(\mathbb P^5\), stable Ulrich bundles exist in every rank \(r\ge 2\). The moduli space of stable rank-\(r\) Ulrich bundles is identified with a nonempty open subscheme of
\[
\mathcal U_C^{\mathrm s}(r,2r),
\]
where \(C\) is the associated genus-\(2\) curve, giving expected dimension \(r^2+1\) and a derived-categorical description via the Bondal–Orlov semiorthogonal decomposition [1704.03352].

Recent work on threefold scrolls over Hirzebruch surfaces pushes the moduli perspective further. For suitable scrolls \(X_e=\mathbb P(\mathcal E_e)\), the modular component \(\mathcal M(r)\) parameterizing rank-\(r\) Ulrich vector bundles with fixed Chern classes is generically smooth and unirational, while the associated surface moduli space \(\mathcal M_{\mathbb F_e}(r)\) is generically smooth, irreducible, and unirational. The proofs use explicit cokernel presentations on the surface and the correspondence
\[
U_r=\xi\otimes \varphi^*(H_r(-c_1(\mathcal E_e)))
\]
between Ulrich bundles on the base and on the scroll [2405.09374].

## 6. Numerical, homological, and tensorial refinements

A one-dimensional numerical refinement comes from irreducible multiplicity. For a finitely generated module \(M\) of dimension \(1\) and a parameter ideal \(Q\), the irreducibility coefficients \(f_Q^i(M)\) are defined from the eventual polynomial behavior of
\[
\ell_R\big((Q^{n+1}M:_M\mathfrak m)/Q^{n+1}M\big).
\]
In dimension one,
\[
M \text{ is Ulrich } \iff f_Q^0(M)=\ell_R(M/QM)
\]
for some parameter ideal \(Q\). This is a genuinely one-dimensional phenomenon: the paper explicitly shows that the corresponding criterion does not extend to higher dimension in that form [2109.00726].

From the homological viewpoint, Ulrich modules are extremal. Over a Cohen–Macaulay local ring, every Ulrich module of dimension \(s\) is \((s+1)\)-Tor-rigid-test, but not \(s\)-Tor-rigid in general. The same work proves that Ulrich modules over Cohen–Macaulay local rings have maximal complexity and maximal curvature:
\[
\cx_R(M)=\cx_R(k), \qquad \curv_R(M)=\curv_R(k).
\]
Consequently, complete intersection, regularity, and Gorenstein criteria can be phrased in terms of the homological dimensions of Ulrich modules [2201.00984].

A further generalization replaces exact extremality by a controlled defect. A Cohen–Macaulay module \(M\) is \(c\)-Ulrich with respect to \(I\) if \(M/IM\) is free over \(R/I\) and
\[
e_R(I,M)\le c\,\ell_R(M/IM).
\]
Unlike classical Ulrich modules, \(c\)-Ulrich modules always exist: every Cohen–Macaulay module is \(e_R(R/\Ann_R(M))\)-Ulrich. These modules retain many standard Ulrich applications, especially as obstructions to Cohen–Macaulay tensor products and as test modules for finiteness of homological dimensions [2308.06606].

The tensor-product problem has also been analyzed directly for classical and generalized Ulrich modules. Criteria are given for when \(M\otimes_R N\) is Ulrich in terms of \(\Ext\)-vanishing, transpose techniques, and freeness modulo the defining ideal; the same framework yields freeness criteria, complete-intersection characterizations, an Ulrich-based approach to Berger’s conjecture, and positive solutions of the Auslander–Reiten and Huneke–Wiegand problems for the class of Ulrich modules [2308.07856].

## 7. Asymptotic and relative extensions

When actual Ulrich modules are unavailable, asymptotic substitutes can still carry multiplicity-theoretic content. A sequence \(\{U_n\}\) is lim Ulrich if it is lim Cohen–Macaulay and
\[
\lim_{n\to\infty}\frac{e_R(U_n)}{\nu_R(U_n)}=1,
\]
and weakly lim Ulrich if the same asymptotic equality holds under the weaker weakly lim Cohen–Macaulay condition. Such sequences were introduced in connection with Lech’s conjecture, and weakly lim Ulrich sequences were constructed for all standard graded domains over perfect fields of positive characteristic; their existence implies Lech’s conjecture for flat local extensions from the given domain [2005.02338].

These asymptotic objects do not exist universally. Complete local domains of dimension \(d\ge 2\) may have no Ulrich modules, and in dimension \(2\) there are complete local domains with no weakly lim Ulrich sequences. In the presence of a regular \(S_2\)-ification, the dimension-two theory is especially rigid:
\[
\text{weakly lim Ulrich sequence exists} \iff \text{Ulrich module exists}.
\]
This shows that asymptotic replacement is powerful but not automatic [2104.05766].

A different extension is relative rather than asymptotic. For a relative hypersurface \(Y_f\subset \mathbb P(E)\), a relatively Ulrich bundle is a vector bundle whose restriction to every fiber is an ordinary Ulrich bundle. In this setting there is a functorial equivalence between the category of relatively Ulrich bundles on \(Y_f\) and the category of linear representations of the associated generalized Clifford algebra \(C_f\). The same work proves that relative hypersurfaces are Ulrich-wild, in the sense that there exist indecomposable relatively Ulrich bundles \(\{E_N\}\) with
\[
\dim \operatorname{Ext}^1_{Y_f}(E_N,E_N)\to\infty,
\]
and that relative hyperplanes have minimal Ulrich complexity one [2604.01611].

Source: https://www.emergentmind.com/topics/ulrich-modules