11.4 Cohen-Macaulay rings and Gorenstein rings

Cohen-Macaulay and Gorenstein rings are special types of commutative rings with nice algebraic properties. They're important because they balance complexity and structure, making them useful in many areas of algebra and geometry.

These rings have specific depth and dimension relationships, and their properties are often described using homological tools. Understanding them helps us tackle problems in algebraic geometry, commutative algebra, and even some areas of physics.

Cohen-Macaulay Rings

Definition and Properties

• Cohen-Macaulay ring is a commutative Noetherian local ring $R$ whose depth equals its Krull dimension, $depth(R) = dim(R)$
• Regular local ring is a Cohen-Macaulay ring with the additional property that its maximal ideal can be generated by a regular sequence (sequence of elements $x_1, \ldots, x_n$ such that $x_i$ is a non-zero divisor in $R/(x_1, \ldots, x_{i-1})$ for all $i$)
• Cohen-Macaulay rings have a canonical module $\omega_R$, a finitely generated module with special homological properties (e.g., $Ext^i_R(\omega_R, R) = 0$ for $i \neq dim(R)$ and $Ext^{dim(R)}_R(\omega_R, R) \cong R$)

Type and Canonical Module

• Type of a Cohen-Macaulay ring $R$ is the dimension of the socle of the ring $R/\mathfrak{m}$ as a vector space over the residue field $k = R/\mathfrak{m}$, where $\mathfrak{m}$ is the maximal ideal
• Canonical module $\omega_R$ plays a crucial role in the study of Cohen-Macaulay rings
  • For a Gorenstein ring, the canonical module is isomorphic to the ring itself, $\omega_R \cong R$
  • For a complete intersection ring, the canonical module is isomorphic to the top exterior power of the cotangent space, $\omega_R \cong \wedge^{dim(R)} \mathfrak{m}/\mathfrak{m}^2$

Gorenstein Rings

Definition and Properties

• Gorenstein ring is a Cohen-Macaulay ring of type 1, meaning the socle of $R/\mathfrak{m}$ is a one-dimensional vector space over the residue field $k = R/\mathfrak{m}$
• Gorenstein rings have a symmetric dualizing complex, a complex of modules that generalizes the notion of a canonical module
• Local cohomology characterization states that a local ring $R$ is Gorenstein if and only if $H^i_{\mathfrak{m}}(R) = 0$ for all $i \neq dim(R)$ and $H^{dim(R)}_{\mathfrak{m}}(R) \cong E_R(k)$, the injective hull of the residue field $k$

Dualizing Complex

• Dualizing complex is a complex of modules $D^\bullet$ over a local ring $R$ with special homological properties (e.g., the cohomology of $D^\bullet$ is finitely generated and the natural map $R \to \mathbf{R}Hom_R(D^\bullet, D^\bullet)$ is a quasi-isomorphism)
• For a Gorenstein ring, the dualizing complex is isomorphic to a shift of the ring itself, $D^\bullet \cong R[-dim(R)]$
• Existence of a dualizing complex is a key property that distinguishes Gorenstein rings from general Cohen-Macaulay rings

Properties and Characterizations

Serre's Conditions and Regular Local Rings

• "Serre's conditions" $(S_n)$ and $(R_n)$ are properties of a local ring $R$ related to the depth of prime ideals and the regularity of the ring
  • $(S_n)$: $depth(R_{\mathfrak{p}}) \geq min(n, dim(R_{\mathfrak{p}}))$ for all prime ideals $\mathfrak{p}$ of $R$
  • $(R_n)$: $R_{\mathfrak{p}}$ is regular for all prime ideals $\mathfrak{p}$ with $dim(R_{\mathfrak{p}}) \leq n$
• Regular local ring satisfies both $(S_n)$ and $(R_n)$ for all $n$, making it a Cohen-Macaulay ring with additional regularity properties

Homological Characterizations

• Canonical module and local cohomology provide homological characterizations of Cohen-Macaulay and Gorenstein rings
• For a Cohen-Macaulay ring $R$, the canonical module $\omega_R$ satisfies $Ext^i_R(\omega_R, R) = 0$ for $i \neq dim(R)$ and $Ext^{dim(R)}_R(\omega_R, R) \cong R$
• Local cohomology characterization of Gorenstein rings states that $R$ is Gorenstein if and only if $H^i_{\mathfrak{m}}(R) = 0$ for all $i \neq dim(R)$ and $H^{dim(R)}_{\mathfrak{m}}(R) \cong E_R(k)$, the injective hull of the residue field $k$
• These characterizations highlight the deep connections between the homological properties of a ring and its Cohen-Macaulay or Gorenstein nature