--- title: Ulrich Ideal in Cohen–Macaulay Rings url: https://www.emergentmind.com/topics/ulrich-ideal type: topic --- # Ulrich Ideal in Cohen–Macaulay Rings An Ulrich ideal is an \(\mathfrak m\)-primary ideal \(I\) in a Cohen–Macaulay local ring \((A,\mathfrak m)\) that contains a parameter ideal \(Q\) as a reduction and satisfies two extremal conditions: \(I^2=QI\) and \(I/I^2\) is a free \(A/I\)-module. In this form, Ulrich ideals encode a rigid combination of reduction-theoretic, homological, and multiplicity-theoretic behavior. Equivalently, the associated graded ring \(\operatorname{gr}_I(A)\) is Cohen–Macaulay with \(a(\operatorname{gr}_I(A))=1-d\), where \(d=\dim A\). The theory interacts closely with maximal Cohen–Macaulay modules, syzygies, almost Gorenstein and 2-almost Gorenstein singularities, numerical semigroup rings, hypersurfaces, and the geometry of Ulrich bundles and trace ideals [1206.3197], [2507.12980]. ## 1. Definition and numerical characterizations Let \((A,\mathfrak m)\) be a Cohen–Macaulay local ring of dimension \(d>0\), and let \(I\subset A\) be an \(\mathfrak m\)-primary ideal containing a parameter ideal \(Q=(a_1,\dots,a_d)\) as a reduction. The standard definition requires \[ I^2=QI \quad\text{and}\quad I/I^2 \text{ is a free } A/I\text{-module}. \] Under infinite residue field, this can be reformulated by requiring that for every minimal reduction \(\mathfrak q\) of \(I\), one has \(I^2\subset \mathfrak q\) and \(I/\mathfrak q\) free over \(A/I\). The basic multiplicity inequality \[ e_0(A)\le (\mu_A(I)-d+1)\,\ell_A(A/I) \] becomes an equality precisely in the Ulrich case; equivalently, \(I/Q\) is free over \(A/I\) [1206.3197]. The numerical rigidity of Ulrich ideals is sharpened by the relation \[ (\mu_A(I)-d)\cdot r(A/I)=r(A), \] where \(r(-)\) denotes Cohen–Macaulay type. Hence \[ d+1\le \mu_A(I)\le d+r(A). \] In particular, if \(A\) is Gorenstein, every Ulrich ideal is generated by exactly \(d+1\) elements. For one-dimensional Gorenstein rings, every Ulrich ideal is therefore \(2\)-generated [2111.01085]. In dimension \(1\), with parameter reduction \(Q=(a)\), the definition simplifies to: \(I\) is \(\mathfrak m\)-primary, \(I^2=aI\), and \(I/I^2\) is free over \(A/I\). If \(I=(a,b)\) is \(2\)-generated, then \(b^2=ac\) for some \(c\in I\), \((a):_A b=I\), and \(I/(a)\cong A/I\). This already exhibits the tight relation between Ulrich ideals and periodic resolutions in low dimension [2111.01085]. In Gorenstein rings, Ulrich ideals coincide with good ideals satisfying an extremal generator condition. More precisely, a non-parameter ideal \(I\) is Ulrich if and only if it is good and \(\mu_A(I)=d+1\), or equivalently if \(A/I\) is Gorenstein. This characterization is especially important in the one-dimensional ADE and hypersurface settings [1206.3197]. ## 2. Homological structure and generalized Ulrich modules Ulrich ideals are inseparable from the homological behavior of the quotient \(A/I\) and of its syzygies. A central structural theorem gives an explicit derived decomposition: \[ \mathbf{R}\!\operatorname{Hom}_R(R/I,R)\cong \bigoplus_{i\in\mathbb Z}(R/I)^{\oplus u_i}[-i], \] where \(u_i=0\) for \(id\), with \(t=\mu_R(I)-d\). Consequently, every \(\operatorname{Ext}_R^i(R/I,R)\) is a free \(R/I\)-module. This description yields the criterion \[ \mu_R(I)=d+1 \iff \operatorname{Gdim}_R(R/I)<\infty, \] and in a G-regular ring every non-parameter Ulrich ideal must satisfy \(\mu_R(I)\ge d+2\) [1507.04556]. The higher syzygies of \(A/I\) are themselves Ulrich objects. If \(I\) is an Ulrich ideal and not a parameter ideal, then \(\operatorname{Syz}^i(A/I)\) is an Ulrich module with respect to \(I\) for all \(i>d\); conversely, the existence of sufficiently high Ulrich syzygies characterizes Ulrich ideals. The minimal free resolution of \(A/I\) is correspondingly rigid: if \(n=\mu_A(I)\), then its Betti numbers satisfy \[ B_0=1,\qquad B_i=\binom{d}{i}+(n-d)B_{i-1}\ \ (1\le i\le d), \] and for \(i\ge d\), \[ B_i=(n-d)^{\,i-d}(n-d+1)^d. \] Moreover, the ideal generated by the entries of every differential in the minimal free resolution is exactly \(I\), so \(I\) can be recovered from any step of the resolution [1206.3197]. The theory extends naturally from ideals to modules relative to an \(\mathfrak m\)-primary ideal \(\mathfrak a\). A finitely generated module \(M\) is Ulrich with respect to \(\mathfrak a\) if it is maximal Cohen–Macaulay, \(\mathfrak aM=QM\) for a parameter reduction \(Q\subseteq \mathfrak a\), and \(M/\mathfrak aM\) is free over \(R/\mathfrak a\). If \(\mathfrak a\) is an Ulrich ideal and not a parameter ideal, then \(\Omega_R^i(R/\mathfrak a)\) is Ulrich with respect to \(\mathfrak a\) for all \(i\ge d\). Under suitable Ext-vanishing, the Hom functor preserves the generalized Ulrich property, and in the Gorenstein case horizontal linkage carries sufficiently high syzygies of Ulrich ideals to Ulrich modules again [2201.02398]. This suggests a broader interpretation: Ulrich ideals act as input data for a stable homological package consisting of derived decompositions, periodic or asymptotically periodic resolutions, and linkage-closed classes of generalized Ulrich modules. ## 3. One-dimensional classifications: semigroup rings and hypersurfaces One of the most developed parts of the theory is the explicit classification of Ulrich ideals in one-dimensional rings. In numerical semigroup rings \(A=k[[H]]\subset k[[t]]\), the classification reduces to semigroup arithmetic. For Gorenstein \(A=k[[t^{a_1},\dots,t^{a_\ell}]]\), a monomial ideal \(I\) is Ulrich precisely when \(I=(t^a,t^b)\) with \(c=b-a\) satisfying \(c\notin H\), \(2c\in H\), the enlarged semigroup \(H+\langle c\rangle\) symmetric, and \(a=\min\{h\in H\mid h+c\in H\}\). In the two-generated case \(A=k[[t^a,t^b]]\), non-parameter monomial Ulrich ideals exist if and only if at least one of \(a,b\) is even [1206.3197]. A particularly detailed classification is available for the semigroup rings \(k[[t^5,t^6,t^9]]\) and \(k[[t^5,t^{11}]]\). In the Gorenstein ring \(A=k[[t^5,t^6,t^9]]\), every Ulrich ideal has the form \[ I=(t^6+a t^{10},\ t^9+\beta t^{10}), \qquad a,\beta\in k,\quad 2\beta=0, \] and the parameters \(a,\beta\) are uniquely determined. Thus the classification depends on \(\operatorname{char}(k)\): if \(\operatorname{char}(k)=2\), every such pair occurs; otherwise \(\beta=0\). In the non-Gorenstein ring \(A=k[[t^5,t^{11}]]\), the valuation analysis leaves only the pairs \((10,27)\) and \((20,26)\), producing two \(3\)-parameter families of Ulrich ideals; in this ring there are no Ulrich ideals generated only by monomials in \(t\) [2111.01085]. For hypersurfaces \(R=S/(f)\) with \(S\) regular local of dimension \(d+1\), Ulrich ideals admit an equational description. If \[ I=(\bar a_1,\dots,\bar a_d,\bar b)\subset R, \] then \(I\) is Ulrich if and only if \(a_1,\dots,a_d,b\) form a system of parameters in \(S\) and there exist \(x_1,\dots,x_d\in(a_1,\dots,a_d,b)\) and a unit \(\epsilon\in U(S)\) such that \[ b^2+\sum_{i=1}^d a_i x_i=\epsilon f. \] This criterion yields complete classifications in several one-dimensional hypersurface families. For \(k[[X,Y]]/(Y^2)\), all Ulrich ideals are \[ (x^\ell,y),\qquad \ell>0. \] For \(k[[X,Y]]/(Y^3)\), they are \[ (x^{2\ell}+\epsilon y,\ x^\ell y),\qquad \ell>0,\ \epsilon\in U(S). \] For \(k[[X,Y]]/(X^kY)\), decomposable Ulrich ideals are exactly \((x^k,y)\), and for \(k\ge 3\) there are additional indecomposable families such as \[ (x^{k-2}+\epsilon y,\ xy) \] and, when \(k\) is odd, ideals of the form \[ (x+\epsilon y^\ell,\ xy^p),\qquad (k-2)\ell=2p-1 \] [1905.02048]. These explicit classifications show that in dimension \(1\), Ulrich ideals are governed by a mixture of valuation constraints, conductor structure, and quadratic or matrix-factorization identities. ## 4. Almost Gorenstein, 2-AGL, and surface singularities Ulrich ideals become especially rigid in almost Gorenstein contexts. If \(R\) is a one-dimensional almost Gorenstein but non-Gorenstein local ring admitting a canonical module, then every non-parameter Ulrich \(\mathfrak m\)-primary ideal is necessarily the maximal ideal: \[ I=\mathfrak m. \] More generally, in higher dimension, annihilator conditions arising from the almost Gorenstein exact sequence \[ 0\to R\to K_R\to C\to 0 \] force strong restrictions on any Ulrich ideal with \(\mu(I)\ge d+2\) [1507.04556]. The class of \(2\)-almost Gorenstein local rings refines this picture. In a one-dimensional \(2\)-AGL ring \(R\) with canonical fractional ideal \(K\), conductor \(\mathfrak c=R:R[K]\), and minimal multiplicity, the set of Ulrich ideals is completely determined: \[ \mathcal X_R=\{\mathfrak m\} \quad\text{or}\quad \mathcal X_R=\{\mathfrak c,\mathfrak m\}, \] according as \(K/R\) is not free or is free over \(R/\mathfrak c\). If \(K/R\) is not free over \(R/\mathfrak c\), then \(R\) is G-regular and contains no two-generated Ulrich ideals. If two-generated Ulrich ideals do exist, then they force \(K/R\) to be free over \(R/\mathfrak c\) and constrain the conductor sharply [1902.05335]. In dimension \(2\), the recent theory of rational surface singularities gives a different kind of rigidity. For a two-dimensional rational triple point \(A\), the canonical trace ideal \[ \operatorname{tr}_A(\omega_A) \] is an Ulrich ideal. More precisely, there exist a minimal system of generators \(x_1,\dots,x_n\) of \(\mathfrak m\) and an integer \(c\ge 0\) such that \[ \operatorname{tr}_A(\omega_A)=(x_1,\dots,x_{n-1},x_n^{c+1}), \] this ideal is Ulrich, and every Ulrich ideal contains it: \[ \mathcal X_A=\{J\subset A \mid J\supset \operatorname{tr}_A(\omega_A)\}. \] Hence \[ \mathrm{res}(A)=\ell_A(A/\operatorname{tr}_A(\omega_A))=\#\mathcal X_A=c+1. \] For two-dimensional quotient singularities \(A\) with multiplicity \(e_0(A)\ge 4\), the maximal ideal is the unique Ulrich ideal: \[ \mathcal X_A=\{\mathfrak m\}, \] and in fact for any two-dimensional quotient singularity one has \(\#\mathcal X_A\le 2\) [2507.12980]. These results show two recurrent mechanisms. In one dimension, the conductor and the canonical fractional ideal dictate the size of \(\mathcal X_R\). In two-dimensional rational singularities, the canonical trace ideal plays the analogous role of a minimal Ulrich ideal. ## 5. Geometric counterparts: bundles, sheaves, and projective embeddings Ulrich ideals admit a geometric counterpart in Ulrich bundles and Ulrich sheaves. On a projective variety \(X\subset \mathbb P^N\), an Ulrich bundle is characterized by linear resolution, maximal generation, and complete vanishing \[ H^i(X,E(-j))=0 \quad\text{for }00\), localized at the homogeneous maximal ideal, admit weakly lim Ulrich sequences, and the existence of such a sequence implies Lech’s conjecture for flat local extensions of the base domain [2005.02338]. A second direction concerns ideals with partially linear resolutions. If \(I\subset S=\mathbb C[x_0,\dots,x_n]\) is an \(\mathfrak m\)-primary ideal generated in degree \(d\) and its resolution is virtually linear for \(p\) steps, then \[ \operatorname{reg}(S/I)\le \left\lceil\frac{n+1}{p+1}\right\rceil(d-1), \] and \[ I^t=\mathfrak m^{td} \quad\text{for all}\quad t\ge \left\lfloor\frac{n}{p+1}\right\rfloor+\left\lfloor\frac{n-1}{p}\right\rfloor. \] This is a weaker form of the Eisenbud–Huneke–Ulrich conjecture for a more general class of ideals, and it shows that sufficiently linear powers eventually coincide with powers of the maximal ideal [2606.14596]. A third categorical direction is the theory of Ulrich-split rings. A local Cohen–Macaulay ring is Ulrich-split if every short exact sequence of Ulrich modules splits. In minimal multiplicity, this is equivalent to \[ \mathrm{Ul}(R)=\mathrm{add}_R(\Omega_R^d k), \] and, over \(\mathbb C\), two-dimensional Ulrich-split rings that are normal and of minimal multiplicity are precisely cyclic quotient singularities with at most two indecomposable Ulrich modules up to isomorphism [2210.03872]. Taken together, these developments indicate that the classical notion of Ulrich ideal has become a reference point for several broader theories: exact-category rigidity, asymptotic linearity, linkage-stable generalized Ulrich modules, and the geometry of extremal vector bundles. The common theme is not merely maximal generation, but the persistence of linear or near-linear structure across reductions, syzygies, powers, and geometric realizations. Source: https://www.emergentmind.com/topics/ulrich-ideal