Cohen–Macaulay ring

In mathematics, a Cohen–Macaulay ring is a special kind of commutative ring that shares important features with smooth geometric shapes. These rings are important in the study of algebro-geometric problems and have properties similar to those of a smooth variety. They are named after two mathematicians, Francis Sowerby Macaulay, who worked with polynomial rings, and Irvin Cohen, who extended this work to more complex structures called formal power series rings.

Cohen–Macaulay rings are interesting because they are very common in algebra, yet they have a lot of structure that mathematicians can study. One key property they all share is called the unmixedness property, which helps in understanding their structure. These rings fit into a hierarchy of even more special rings, showing how mathematicians organize and study different types of algebraic structures.

Definition

A Cohen–Macaulay ring is a special type of mathematical structure that has some nice properties, similar to smooth shapes in geometry. Think of it as a neat and organized way of arranging numbers and operations.

In simpler terms, for a certain kind of mathematical system called a "local ring," we say it is Cohen–Macaulay if it follows a specific rule about its depth and dimension. This makes these rings very useful and well-understood in higher mathematics.

Examples

Some types of rings are Cohen–Macaulay. These include regular local rings, like the integers or polynomial rings, and rings that are very simple in structure, like zero-dimensional rings. Other examples are one-dimensional rings that don’t have any strange points, two-dimensional rings that are normal, and rings called Gorenstein rings.

There are also special rings linked to geometry, like rings of invariants and determinantal rings. For example, certain coordinate rings linked to shapes called determinantal varieties are Cohen–Macaulay. Even some rings linked to curves and varieties in geometry have this property.

Cohen–Macaulay schemes

A locally Noetherian scheme is called Cohen–Macaulay if, at every point, a certain type of mathematical structure called the local ring is also Cohen–Macaulay.

Cohen–Macaulay curves are a special kind of Cohen–Macaulay schemes. They are important for studying spaces of curves, especially where smooth parts end. A simple way to tell if a curve is Cohen–Macaulay is to check that it has no extra points stuck inside it.

Cohen–Macaulay schemes also have special connections with how we study intersections in geometry. For example, if we intersect a parabola with a line that just touches it, the mathematics shows that they meet in two points, which matches what we expect to see. This connection helps mathematicians understand these intersections better.

Main article: Intersection theory

Miracle flatness or Hironaka's criterion

There is a special way to recognize Cohen–Macaulay rings, called miracle flatness or Hironaka's criterion. Imagine a local ring R that is built from a simpler ring A. If R is Cohen–Macaulay, it means R fits perfectly as a piece of A, like a puzzle.

We can also think about shapes in geometry. If we have a connected piece of space X, it is Cohen–Macaulay when certain pieces of it all have the same size, no matter how we look at it.

Properties

A Cohen–Macaulay ring has special properties that make it useful in algebra and geometry. If a ring is Cohen–Macaulay, then certain types of rings created from it, like polynomial rings, are also Cohen–Macaulay.

These rings also have a predictable structure when you look at smaller pieces of them. For example, when you take a smaller part of a Cohen–Macaulay ring, it remains well-behaved in a specific way. This helps mathematicians understand the ring better and solve problems related to it.

Main article: Generalized Cohen–Macaulay ring
Main articles: Buchsbaum ring

The unmixedness theorem

An ideal in a special kind of mathematical ring is called "unmixed" if its height matches the height of every important part of the ring it creates. The unmixedness theorem tells us when this special condition is true for a ring.

A ring is Cohen–Macaulay exactly when the unmixedness theorem works for it. This means such a ring has no extra parts hidden inside and all its parts are the same size.

Main article: quasi-unmixed ring

Counterexamples

Some special types of rings, called Cohen–Macaulay rings, have nice properties, but not all rings are like this. For example, if we take a field K and create a ring using certain rules, we can get a ring that is not Cohen–Macaulay. This shows that even rings that look similar can behave very differently.

Another example is when we combine two Cohen–Macaulay rings in a special way called the Segre product. Even then, the result might not be a Cohen–Macaulay ring. This helps mathematicians understand the limits of these special rings.

Grothendieck duality

The Cohen–Macaulay condition relates to a concept in mathematics called coherent duality. A variety or scheme named X is Cohen–Macaulay if a special object called the "dualizing complex" is actually represented by just one sheaf. An even stronger property, being Gorenstein, means that this sheaf is a line bundle. Importantly, every regular scheme is Gorenstein. This means that important theorems about duality, like Serre duality or Grothendieck local duality, keep some of their simplicity for Gorenstein or Cohen–Macaulay schemes, similar to what we see in regular schemes or smooth varieties.

Main article: Grothendieck local duality