Cohen–Macaulay ring

In mathematics, a Cohen–Macaulay ring is a special type of commutative ring. It has features like smooth geometric shapes. These rings are useful in solving algebro-geometric problems. They behave similarly to a smooth variety.

We name them after two mathematicians: Francis Sowerby Macaulay, who studied polynomial rings, and Irvin Cohen, who expanded this work to more complex structures called formal power series rings.

Cohen–Macaulay rings are common in algebra. They have a clear structure that mathematicians enjoy studying. One important feature they share is called the unmixedness property. This helps us understand their structure better. These rings fit into a group of even more special rings. This shows how mathematicians organize and study different kinds of algebraic structures.

Definition

A Cohen–Macaulay ring is a special kind of mathematical structure. It has nice properties, much like smooth shapes in geometry.

Think of it as a neat and organized way to arrange 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 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 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. 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 comes 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 is connected to a math idea called coherent duality. A shape or pattern called X is Cohen–Macaulay if a special math object, named the "dualizing complex," is really just one group of numbers. An even stronger idea, being Gorenstein, means that this group is a line bundle. Every regular scheme is Gorenstein. This helps keep some math rules, like Serre duality or Grothendieck local duality, simple for Gorenstein or Cohen–Macaulay shapes, just like we see in regular shapes or smooth patterns.

Main article: Grothendieck local duality