Cohen–Macaulay ring

Cohen–Macaulay ring

In mathematics, a Cohen–Macaulay ring is a particular type of commutative ring, possessing some of the algebraic-geometric properties of a nonsingular variety, such as local equidimensionality.

They are named for Francis Sowerby Macaulay, who proved the unmixedness theorem for polynomial rings in Macaulay (1916), and for Irvin S. Cohen, who proved the unmixedness theorem for formal power series rings in Cohen (1946). (All Cohen–Macaulay rings have the unmixedness property.)

Contents

Formal definition

A local Cohen–Macaulay ring is defined as a commutative noetherian local ring with Krull dimension equal to its depth. The depth is always bounded above by the Krull dimension; equality provides some interesting regularity conditions on the ring, enabling some powerful theorems to be proven in this rather general setting.

A non-local ring is called Cohen–Macaulay if all of its localizations at prime ideals are Cohen–Macaulay.

Examples

  1. Every regular local ring is Cohen–Macaulay.
  2. A field is a particular example of a regular local ring, so it is Cohen–Macaulay.
  3. A local ring is Cohen–Macaulay if and only if its completion is Cohen–Macaulay.
  4. A ring R is Cohen–Macaulay if and only if the polynomial ring R[x] is Cohen–Macaulay.
  5. If K is a field, then the formal power series ring in one variable K[[x]] is a regular local ring and so is Cohen–Macaulay, but is not a field.
  6. Any Gorenstein ring is Cohen–Macaulay. In particular, complete intersection rings are Cohen–Macaulay.
  7. Rational singularities are Cohen–Macaulay but not necessarily Gorenstein.
  8. Any Artinian ring is Cohen–Macaulay.
  9. Following the last idea, if K is a field and X is an indeterminate, the ring K[x]/(x²) is a local Artinian ring and so is Cohen–Macaulay, but it is not regular.
  10. If K is a field, then the formal power series ring K[[t2, t3]], where t is an indeterminate, is an example of a 1-dimensional local ring which is not regular but is Gorenstein, so is Cohen–Macaulay.
  11. If K is a field, then the formal power series ring K[[t3, t4, t5]], where t is an indeterminate, is an example of a 1-dimensional local ring which is not Gorenstein but is Cohen–Macaulay.
  12. More generally, any 1-dimensional Noetherian integral domain is Cohen–Macaulay.

Counterexamples

  1. If K is a field, then the formal power series ring K[[x,y]] / (x2,xy) (the completion of the local ring at the double point of a line with an embedded double point) is not Cohen–Macaulay, because it has depth zero but dimension 1.
  2. If K is a field, then the ring K[[x,y,z]] / (xy,xz) (the completion of the local ring at the intersection of a plane and a line) is not Cohen–Macaulay (it is not even equidimensional); quotienting by xz gives the previous example.
  3. If K is a field, then the ring K[[w,x,y,z]] / (wy,wz,xy,xz) (the completion of the local ring at the intersection of two planes meeting in a point) is not Cohen–Macaulay; quotienting by wx gives the previous example.

Consequences of the condition

One meaning of the Cohen–Macaulay condition is seen in coherent duality theory. Here the condition corresponds to case when the dualizing object, which a priori lies in a derived category, is represented by a single module (coherent sheaf). The finer Gorenstein condition is then expressed by this module being projective (an invertible sheaf). Non-singularity (regularity) is still stronger— it corresponds to the notion of smoothness of a geometric object at a particular point. Thus, in a geometric sense, the notions of Gorenstein and Cohen–Macaulay capture increasingly larger sets of points than the smooth ones, points which are not necessarily smooth but behave in many ways like smooth points.

The unmixedness theorem

An ideal I of a Noetherian ring A is called unmixed if ht(I)= ht(P) for any associated prime P of A/I. The unmixedness theorem is said to hold for the ring A if every ideal I generated by ht(I) elements is unmixed. A Noetherian ring is Cohen–Macaulay if and only if the unmixedness theorem holds for it.

References

External links


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Macaulay — Macaulay, MacAulay, or McAulay may refer to: Contents 1 Name 1.1 Surname 2 People 2.1 Surname 2.2 Gi …   Wikipedia

  • Cohen — may refer to: Kohen, a Jewish priest Cohen (surname), a common Jewish surname Contents 1 Media 2 Locations 3 Science 4 Law …   Wikipedia

  • Gorenstein ring — In commutative algebra, a Gorenstein local ring is a Noetherian commutative local ring R with finite injective dimension, as an R module. There are many equivalent conditions, some of them listed below, most dealing with some sort of duality… …   Wikipedia

  • Irvin Cohen — Irvin Sol Cohen (died Feb 14, 1955) was an American mathematician at M.I.T. who worked on local rings. He was a student of Oscar Zariski at Johns Hopkins University.In 1946 he proved the unmixedness theorem for power series rings, as a result of… …   Wikipedia

  • Macaulay Culkin — Culkin at the Berlin Festival in 2010 Born Macaulay Carson Culkin August 26, 1980 (1980 08 26) (age 31) …   Wikipedia

  • Francis Sowerby Macaulay — FRS (11 February 1862 – 9 February 1937) was an English mathematician who made significant contributions to algebraic geometry. He is most famous for his 1916 book, The Algebraic Theory of Modular Systems , which greatly influenced the later… …   Wikipedia

  • Catenary ring — In mathematics, a commutative ring R is catenary if for any pair of prime ideals : p , q , any two strictly increasing chains : p = p 0 sub; p 1 ... sub; p n = q of prime idealsare contained in maximal strictly increasing chains from p to q of… …   Wikipedia

  • Depth (ring theory) — In commutative and homological algebra, depth is an important invariant of rings and modules. Although depth can be defined more generally, the most common case considered is the case of modules over a commutative Noetherian local ring. In this… …   Wikipedia

  • Francis Macaulay — Francis Sowerby Macaulay (* 11. Februar 1862 in Witney; † 9. Februar 1937 in Cambridge) war ein englischer Mathematiker, der sich mit kommutativer Algebra beschäftigte. Macaulay war der Sohn eines Methodistenpfarrers, besuchte die Kingswood… …   Deutsch Wikipedia

  • Height (ring theory) — In commutative algebra, the height of an prime ideal mathfrak{p} in a ring R is the number of strict inclusions in the longest chain of prime ideals contained in mathfrak{p} [Matsumura,Hideyuki: Commutative Ring Theory ,page 30 31,1989 ] . Then… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”