Regular local ring


In commutative algebra, a regular local ring is a Noetherian local ring having the property that the minimal number of generators of its maximal ideal is equal to its Krull dimension. In symbols, let A be a Noetherian local ring with maximal ideal m, and suppose a1,..., an is a minimal set of generators of m. Then by Krull's principal ideal theorem n ≥ dim A, and A is defined to be regular if n = dim A.
The appellation regular is justified by the geometric meaning. A point x on an algebraic variety X is nonsingular if and only if the local ring of germs at x is regular. Regular local rings are not related to von Neumann regular rings.
For Noetherian local rings, there is the following chain of inclusions:

Characterizations

There are a number of useful definitions of a regular local ring, one of which is mentioned above. In particular, if is a Noetherian local ring with maximal ideal, then the following are equivalent definitions
Multiplicity one criterion states: if the completion of a Noetherian local ring A is unimixed and if the multiplicity of A is one, then A is regular. This criterion corresponds to a geometric intuition in algebraic geometry that a local ring of an intersection is regular if and only if the intersection is a transversal intersection.
In the positive characteristic case, there is the following important result due to Kunz: A Noetherian local ring of positive characteristic p is regular if and only if the Frobenius morphism is flat and is reduced. No similar result is known in the characteristic zero.

Examples

  1. Every field is a regular local ring. These have dimension 0. In fact, the fields are exactly the regular local rings of dimension 0.
  2. Any discrete valuation ring is a regular local ring of dimension 1 and the regular local rings of dimension 1 are exactly the discrete valuation rings. Specifically, if k is a field and X is an indeterminate, then the ring of formal power series k is a regular local ring having dimension 1.
  3. If p is an ordinary prime number, the ring of p-adic integers is an example of a discrete valuation ring, and consequently a regular local ring, which does not contain a field.
  4. More generally, if k is a field and X1, X2,..., Xd are indeterminates, then the ring of formal power series k is a regular local ring having dimension d.
  5. If A is a regular local ring, then it follows that the formal power series ring A is regular local.
  6. If Z is the ring of integers and X is an indeterminate, the ring Z is an example of a 2-dimensional regular local ring which does not contain a field.
  7. By the structure theorem of Irvin Cohen, a complete equicharacteristic regular local ring of Krull dimension d and containing a field is a power series ring over a field.

    Non-Examples

The ring is not a regular local ring since it is finite dimensional but does not have finite global dimension. For example, there is an infinite resolution

Basic properties

The Auslander–Buchsbaum theorem states that every regular local ring is a unique factorization domain.
Every localization of a regular local ring is regular.
The completion of a regular local ring is regular.
If is a complete regular local ring that contains a field, then
where is the residue field, and, the Krull dimension.
See also: Serre's inequality on height and Serre's multiplicity conjectures.

Origin of basic notions

Regular local rings were originally defined by Wolfgang Krull in 1937, but they first became prominent in the work of Oscar Zariski a few years later, who showed that geometrically, a regular local ring corresponds to a smooth point on an algebraic variety. Let Y be an algebraic variety contained in affine n-space over a perfect field, and suppose that Y is the vanishing locus of the polynomials f1,...,fm. Y is nonsingular at P if Y satisfies a Jacobian condition: If M = is the matrix of partial derivatives of the defining equations of the variety, then the rank of the matrix found by evaluating M at P is n − dim Y. Zariski proved that Y is nonsingular at P if and only if the local ring of Y at P is regular. This implies that smoothness is an intrinsic property of the variety, in other words it does not depend on where or how the variety is embedded in affine space. It also suggests that regular local rings should have good properties, but before the introduction of techniques from homological algebra very little was known in this direction. Once such techniques were introduced in the 1950s, Auslander and Buchsbaum proved that every regular local ring is a unique factorization domain.
Another property suggested by geometric intuition is that the localization of a regular local ring should again be regular. Again, this lay unsolved until the introduction of homological techniques. It was Jean-Pierre Serre who found a homological characterization of regular local rings: A local ring A is regular if and only if A has finite global dimension, i.e. if every A-module has a projective resolution of finite length. It is easy to show that the property of having finite global dimension is preserved under localization, and consequently that localizations of regular local rings at prime ideals are again regular.
This allows us to define regularity for all commutative rings, not just local ones: A commutative ring A is said to be a regular ring if its localizations at all of its prime ideals are regular local rings.
If A is finite dimensional, it is equivalent to say that A has finite global dimension.