Fact-checked by Grok 2 weeks ago

Regular local ring

In commutative algebra, a regular local ring is a Noetherian local ring (R, \mathfrak{m}) with residue field k = R/\mathfrak{m} such that the minimal number of generators of the maximal ideal \mathfrak{m} equals the Krull dimension of R, or equivalently, \dim_k (\mathfrak{m}/\mathfrak{m}^2) = \dim R. This condition implies that \mathfrak{m} admits a regular system of parameters, a generating set of \dim R elements that forms a regular sequence. Regular local rings exhibit several fundamental properties that distinguish them among local rings. They are integral domains and, more strongly, unique factorization domains (UFDs). Moreover, they are Cohen-Macaulay rings, meaning the depth equals the , and their global dimension is finite and equal to the . The of a regular local ring with respect to its is also regular, preserving these structural features. A broader class, the regular rings, consists of Noetherian rings where the localization at every is a regular local ring; such rings are (integrally closed in their fields) and universally . In , regular local rings correspond to the local rings at smooth points of varieties, linking to the study of singularities and resolutions.

Definition and Motivation

Definition

A is a R that possesses a unique \mathfrak{m}, often denoted (R, \mathfrak{m}), with the k = R/\mathfrak{m}. A is a in which every ascending chain of ideals stabilizes, or equivalently, every ideal is finitely generated. The of a R, denoted \dim R, is the supremum of the lengths of all chains of prime ideals in R, where the length of a chain \mathfrak{p}_0 \subsetneq \mathfrak{p}_1 \subsetneq \cdots \subsetneq \mathfrak{p}_t is t. A is a Noetherian local ring (R, \mathfrak{m}) such that the dimension of the \mathfrak{m}/\mathfrak{m}^2 as a over the k = R/\mathfrak{m} equals the of R. This condition is equivalent to the minimal number of generators of \mathfrak{m} being equal to \dim R. In notation, \dim R = \dim_k(\mathfrak{m}/\mathfrak{m}^2). The term "regular" originates from geometric regularity, referring to smooth points on algebraic varieties, and was introduced in its algebraic form by Wolfgang Krull in 1937 to generalize the structure of polynomial rings.

Geometric motivation

In classical algebraic geometry, the notion of a regular local ring arises naturally from the study of singularities on algebraic varieties. A point p on an algebraic variety V is said to be regular (or non-singular) if the dimension of the tangent space to V at p equals the dimension of V at that point. This geometric condition translates algebraically to the local ring \mathcal{O}_{V,p} at p being regular, meaning its Krull dimension equals its embedding dimension. A key tool for verifying regularity at a point is the Jacobian criterion. Consider an algebraic variety V defined as the common zero locus of polynomials f_1 = 0, \dots, f_k = 0 in affine space \mathbb{A}^n over a field of characteristic zero. At a point p \in V, the point is regular if and only if the rank of the Jacobian matrix J = \left( \frac{\partial f_i}{\partial x_j} \right)_{1 \leq i \leq k, 1 \leq j \leq n} evaluated at p equals k, the codimension of V in \mathbb{A}^n. This criterion provides a concrete way to detect smooth points by examining the linear independence of the differentials of the defining equations. In the more general framework of scheme theory, the geometric motivation extends seamlessly. A scheme X is regular at a point x if the local ring \mathcal{O}_{X,x} is a ; this algebraic condition captures the absence of singularities at x in the scheme-theoretic sense, analogous to in the classical setting. The connection between local rings and geometric singularities was pioneered by Oscar Zariski in the 1940s, particularly in his work on local uniformization, where he demonstrated how could be approached via properties of local rings at singular points.

Characterizations

Algebraic characterizations

A Noetherian local ring (R, \mathfrak{m}) is regular if and only if the maximal ideal \mathfrak{m} can be generated by exactly \dim R elements, where \dim R denotes the of R. This condition is equivalent to the vector space dimension \dim_{R/\mathfrak{m}} (\mathfrak{m}/\mathfrak{m}^2) = \dim R. By , the minimal number of generators \mu(\mathfrak{m}) of the maximal ideal \mathfrak{m} as an R-module equals the dimension of the vector space \mathfrak{m}/\mathfrak{m}^2 over the residue field k = R/\mathfrak{m}. Thus, the regularity condition simplifies to \mu(\mathfrak{m}) = \dim_k (\mathfrak{m}/\mathfrak{m}^2) = \dim R. To see this equivalence, suppose \mathfrak{m} is generated by a set S of \dim R elements; then the images of these elements in \mathfrak{m}/\mathfrak{m}^2 span this , so its is at most \dim R. Conversely, if \dim_k (\mathfrak{m}/\mathfrak{m}^2) = \dim R, implies that any spanning set of \mathfrak{m}/\mathfrak{m}^2 lifts to a minimal generating set of \mathfrak{m} of the same cardinality, yielding exactly \dim R generators. This establishes the bijection between minimal generating sets of \mathfrak{m} and bases of \mathfrak{m}/\mathfrak{m}^2. In positive characteristic p > 0, there is a further algebraic due to Kunz: (R, \mathfrak{m}) is if and only if the F: R \to R, given by a \mapsto a^p, is flat. Equivalently, some iterate F^e is flat. Another characterization involves the Hilbert-Samuel multiplicity e(R), defined as the leading coefficient (up to scaling) of the Hilbert-Samuel polynomial of R with respect to \mathfrak{m}. For a local ring (R, \mathfrak{m}), e(R) = 1; conversely, if R is formally equidimensional, then e(R) = 1 implies R is .

Homological characterizations

A key homological characterization of a regular local ring relies on the notions of projective dimension and depth. The projective dimension \mathrm{pd}_R(M) of a M over a R is the length of the shortest projective resolution of M, while the depth \mathrm{depth}_R(M) is the length of the longest R- in the of M. In a regular local ring (R, \mathfrak{m}, k), every finitely generated R-module has finite projective dimension at most \dim R, reflecting the finite global dimension of R. The Auslander-Buchsbaum formula provides a precise relation: for a Noetherian (R, \mathfrak{m}) and a finitely generated R- M with \mathrm{pd}_R(M) < \infty, we have \mathrm{pd}_R(M) + \mathrm{depth}_R(M) = \mathrm{depth}_R(R). Applying this to the residue field k = R/\mathfrak{m}, which has \mathrm{depth}_R(k) = 0, yields \mathrm{pd}_R(k) = \mathrm{depth}_R(R). Since \mathrm{depth}_R(R) \leq \dim R always holds, equality \mathrm{pd}_R(k) = \dim R implies \mathrm{depth}_R(R) = \dim R, a hallmark of Cohen-Macaulay rings; combined with other conditions, this characterizes regularity. Serre's criterion offers a global homological equivalent: a Noetherian local ring R is regular if and only if its global dimension \mathrm{gl.dim}(R) = \dim R < \infty, where \mathrm{gl.dim}(R) = \sup \{\mathrm{pd}_R(M) \mid M \text{ f.g. } R\text{-module}\}. This finite global dimension ensures that every finitely generated module admits a finite projective resolution, with the supremum achieved by the residue field module. In particular, the minimal free resolution of the residue field k over a regular local ring R has length exactly \dim R. This resolution is provided by the Koszul complex on a regular system of parameters generating \mathfrak{m}, which is acyclic and minimal in this setting. Cohen's structure theorem ties these homological features to explicit constructions: every complete Noetherian local ring is a quotient of a complete regular local ring, and for regular local rings themselves, they arise as quotients of power series rings (over fields or complete discrete valuation rings) by regular sequences of length equal to the dimension, preserving the homological properties like finite projective resolutions.

Properties

Basic properties

Regular local rings are Cohen-Macaulay, meaning that the depth of the ring equals its Krull dimension. A regular local ring is a unique factorization domain and hence integrally closed in its field of fractions. This result follows from homological tools, particularly the Auslander-Buchsbaum formula, which equates the projective dimension of a finitely generated module M over a local ring R to \depth R - \depth M when the projective dimension is finite; applied to regular local rings, this implies a finite global dimension equal to the Krull dimension, enabling the proof of unique factorization via cohomological arguments. In a regular local ring R, any system of parameters forms a regular sequence. If I is an ideal of a regular local ring R generated by r elements, then \dim(R/I) \geq \dim R - r, with equality holding when the generators achieve the height of I. The global dimension of a regular local ring equals its Krull dimension.

Completions and localizations

One key stability property of regular local rings concerns their behavior under localization. If (R, \mathfrak{m}) is a regular local ring and \mathfrak{p} is a prime ideal of R, then the localization R_{\mathfrak{p}} is again a regular local ring. This follows from homological characterizations, such as the preservation of global dimension under localization, ensuring that the embedding dimension equals the Krull dimension at every prime. The \mathfrak{m}-adic completion \hat{R} of a regular local ring R is also regular. Since R is Noetherian, the completion map R \to \hat{R} is flat, which preserves key homological invariants like depth and dimension. By the Cohen structure theorem, \hat{R} is isomorphic to a power series ring over its residue field in d variables, where d is the dimension of R, confirming its regularity. Regular local rings are normal, meaning they are integrally closed in their fraction fields. This integrality property underscores their geometric smoothness and follows from Serre's criterion for normality, as regularity implies both depth and regularity conditions at codimension one primes. While general localizations at multiplicative sets may not yield local rings and thus cannot be regular local, the focus on localizations at primes ensures the preservation of regularity, as these operations produce local rings with the required embedding dimension properties.

Examples and Counterexamples

Examples

Regular local rings arise in various dimensions, providing concrete illustrations of the condition that the Krull dimension equals the dimension of the cotangent space \dim_k \mathfrak{m}/\mathfrak{m}^2, where \mathfrak{m} is the maximal ideal and k = R/\mathfrak{m}. In dimension zero, any field k serves as a regular local ring, with maximal ideal \mathfrak{m} = (0) so that \dim_k \mathfrak{m}/\mathfrak{m}^2 = 0, matching the Krull dimension \dim k = 0. In dimension one, discrete valuation rings (DVRs) are canonical examples of regular local rings. For instance, the ring of formal power series k[] over a field k has maximal ideal \mathfrak{m} = (t), yielding \dim_k \mathfrak{m}/\mathfrak{m}^2 = 1, which equals the Krull dimension. Similarly, the localization \mathbb{Z}_{(p)} of the integers at a prime ideal (p) is a DVR with maximal ideal p\mathbb{Z}_{(p)}, and \dim_{\mathbb{F}_p} \mathfrak{m}/\mathfrak{m}^2 = 1 = \dim \mathbb{Z}_{(p)}. For dimension two, the formal power series ring k[[x,y]] over a field k is regular, as its maximal ideal (x,y) generates \mathfrak{m}/\mathfrak{m}^2 with dimension 2 over k, aligning with the Krull dimension. Another example is the localization k[x,y]_{(x,y)} of the polynomial ring at the maximal ideal (x,y); here, the maximal ideal is generated by the images of x and y, so \dim_k \mathfrak{m}/\mathfrak{m}^2 = 2 = \dim k[x,y]_{(x,y)}. In a number-theoretic context, the localization \mathbb{Z}[X]_{(p,X)} of the polynomial ring over \mathbb{Z} at the prime ideal (p,X) is a regular local ring of dimension 2, with \mathfrak{m} = (p,X) satisfying the dimension equality. In higher dimensions d \geq 3, the formal power series ring k[[x_1, \dots, x_d]] over a field k exemplifies a , where the maximal ideal (x_1, \dots, x_d) ensures \dim_k \mathfrak{m}/\mathfrak{m}^2 = d = \dim k[[x_1, \dots, x_d]]. These power series rings model the local rings at smooth points of affine space, such as the origin. Localizations of polynomial rings at maximal ideals generated by d variables similarly yield of dimension d.

Non-examples

A classic non-example of a regular local ring is the quotient ring R = k/(x^2), where k is a field. This is a local Artinian ring with maximal ideal \mathfrak{m} = ( \overline{x} ), so its Krull dimension is $0. However, the vector space dimension of \mathfrak{m}/\mathfrak{m}^2over the residue fieldk is &#36;1, exceeding the Krull dimension, violating the characterization of regularity. Moreover, R has infinite global dimension, as the projective dimension of the residue field k is infinite, reflecting homological failure typical of non-regular rings. Another non-example is R = k[x,y]/(x^2, xy), localized at the maximal ideal generated by the images of x and y. This ring has Krull $1, as it is isomorphic to k/(x^2, xy) \cong k \oplus x k/(xy), resembling a line with nilpotent structure. The maximal ideal \mathfrak{m}is minimally generated by two elements, the images ofxandy, so \dim_k \mathfrak{m}/\mathfrak{m}^2 = 2 > 1$, again showing dimension mismatch. For a singular curve, consider the local ring at the origin of the affine plane curve defined by y^2 - x^3 = 0 over a k of characteristic not $2 or &#36;3, namely R = k[x,y]_{(\overline{x},\overline{y})} / (y^2 - x^3). This is a domain of $1, but the embedding dimension is &#36;2, as \mathfrak{m}/\mathfrak{m}^2 is $2-dimensional. The [tangent cone](/page/Tangent_cone) is given by the initial form y^2 = 0, a double line with multiplicity 2 > 1, indicating [singularity](/page/Singularity). Using the Jacobian criterion for hypersurface singularities in the plane, the Jacobian matrix of f = y^2 - x^3is\begin{pmatrix} -3x^2 & 2y \end{pmatrix}, which evaluates to the zero row at (0,0), so its rank 0 < 1$ equals the codimension, confirming non-regularity. In all these cases, the residue field has infinite projective dimension over R, a homological manifestation of non-regularity, contrasting with the finite global dimension of regular local rings.

History

Origin of basic notions

The foundational ideas leading to the concept of a regular local ring trace back to the late 19th century studies of polynomial rings, where David Hilbert explored their structure in the context of invariant theory and syzygy modules. Hilbert's work on finite bases for ideals in polynomial rings highlighted properties like Noetherian behavior that would later underpin regularity, though the explicit notion of a regular local ring remained undeveloped at the time; extensions to power series rings occurred in the early 20th century. A pivotal advancement came in 1937 with Wolfgang Krull's introduction of dimension theory for Noetherian rings, where he laid the groundwork for comparing the Krull dimension \dim(R) of a local ring R to the minimal number of generators \mu(\mathfrak{m}) of its maximal ideal \mathfrak{m}. This comparison formed the core algebraic criterion for regularity, defining a regular local ring as one where \dim(R) = \mu(\mathfrak{m}). Krull's key publication, "Dimensionen in algebraischen Funktionenkörpern," formalized these ideas within the broader framework of integral domains and function fields. In parallel, Oscar Zariski's geometric approach during the 1930s and 1940s motivated the algebraic definition by characterizing regular points on algebraic varieties through their local rings at those points. In his 1935 monograph Algebraic Surfaces, Zariski defined a point on a variety as regular if the associated local ring satisfies conditions akin to those later specified by Krull, linking smoothness in geometry to minimal generation of ideals algebraically. Claude Chevalley's contributions in the 1940s further emphasized local properties in abstract algebra, particularly through his 1943 paper "On the theory of local rings," which developed foundational results on localizations and their ideals, influencing the study of regularity in Noetherian settings.

Key developments

In 1955, Jean-Pierre Serre provided a pivotal homological characterization of regular local rings, proving that a Noetherian local ring is regular if and only if it has finite global dimension, where the global dimension equals the ; this result relied on early techniques akin to derived categories and built upon foundational notions from and . During the 1960s, Maurice Auslander and David Buchsbaum developed the eponymous formula relating the projective dimension of a to the depth of the module and the ring, which demonstrated that regularity implies finite global dimension for all finitely generated modules over the ring. This formula, pd_R(M) + depth_R(M) = depth_R(R), provided a quantitative homological tool to verify regularity and influenced subsequent studies in . In 1969, Ernst Kunz introduced the Frobenius criterion for regular local rings in positive characteristic p, establishing that such a ring is regular if and only if some iterate of the Frobenius endomorphism is flat (or equivalently, finite and flat). This characterization offered a powerful analytic tool specific to characteristic p, enabling distinctions between regular and singular rings via the behavior of the Frobenius map. Irvin Solomon Cohen's work from the 1940s through the 1960s refined the structure theorem for complete , showing that every complete Noetherian local ring containing a field is a quotient of a power series ring over a field by an ideal, with extensions addressing unramified cases and ideal theory in mixed characteristic settings. These refinements clarified the algebraic structure of completions, proving that complete are quotients of power series rings in a manner preserving key homological properties. Since the 2010s, prismatic cohomology, developed by and , has provided minor extensions to criteria for regular local rings in mixed characteristic, offering a unified p-adic cohomology framework that compares de Rham, étale, and crystalline cohomologies for smooth formal schemes over complete regular local rings without fundamentally altering classical characterizations. Up to 2025, these developments have focused on comparisons and universal properties rather than major overhauls of homological or Frobenius-based criteria.

Generalizations

Regular rings

A commutative Noetherian ring R is called regular if the localization R_{\mathfrak{p}} at every prime ideal \mathfrak{p} is a regular local ring. This definition captures the global analog of regularity, extending the local condition to the entire spectrum of the ring. Regularity in this sense is a local property for Noetherian rings, meaning R is regular if and only if every localization at a prime ideal satisfies the regular local ring condition. Fields provide the simplest examples of regular rings, as they are regular local rings of dimension zero. More generally, polynomial rings k[x_1, \dots, x_n] over a field k are regular, with localizations at prime ideals yielding regular local rings whose Krull dimension matches the number of generators of the corresponding maximal ideal in the localization. Regular rings exhibit several important properties. They are normal domains, integrally closed in their fraction field, and moreover, every localization at a maximal ideal is a unique factorization domain (UFD), since regular local rings are UFDs. Additionally, regular rings have finite global dimension, equal to the supremum of the dimensions of their localizations at prime ideals. Under the Noetherian assumption, verifying regularity globally requires checking the local condition at all primes, though in practice, properties like finite global dimension can sometimes be used to infer it from maximal ideal localizations. A non-example is the ring \mathbb{Z}[\sqrt{-5}], which fails to be regular because some localizations at maximal ideals are not UFDs, as the ring itself lacks unique factorization (for instance, $6 = 2 \cdot 3 = (1 + \sqrt{-5})(1 - \sqrt{-5}) with distinct irreducible factorizations up to units). In contrast to local rings, where regularity is intrinsic to the single maximal ideal, global regularity demands uniformity across the entire prime spectrum.

Connections to algebraic geometry

In scheme theory, as developed by Grothendieck in the Éléments de géométrie algébrique during the 1960s, a morphism f: X \to Y of schemes is smooth if it is locally of finite presentation and, étale-locally on X, it is an open immersion into a scheme smooth over Y. Regular local rings characterize smooth points in this framework: for a morphism locally of finite type over a field, the point x \in X is smooth if the strict henselization of the local ring \mathcal{O}_{X,x} has a smooth fiber over the residue field, which holds precisely when the local ring is regular. In étale cohomology, the Grauert–Riemenschneider theorem states that for a \pi: \tilde{X} \to X of a normal variety X, the higher direct images R^i \pi_* \omega_{\tilde{X}} vanish for i > 0, where \omega is the dualizing sheaf. This facilitates computations of étale invariants and links algebraic to geometric resolution processes. Hironaka's 1964 theorem establishes the existence of a for algebraic varieties over fields of characteristic zero by performing a finite sequence of blow-ups along centers—subvarieties whose local rings are —transforming the singular local rings at points into ones on the resolved manifold. In deformation theory over positive , the Hilbert-Kunz multiplicity provides a numerical that detects : for an unmixed (R, \mathfrak{m}) of prime p > 0, the multiplicity equals 1 R is , allowing one to track how deformations preserve or alter . Recent developments in the , particularly the prismatic theory of Bhatt and Scholze, extend these connections to p-adic settings in mixed , where prisms—a deperfection of perfectoid rings—enable the construction of unified theories (étale, de Rham, crystalline) for p-adic formal schemes, offering tools to analyze of beyond equal cases.