Misplaced Pages

Generalized Cohen–Macaulay ring

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Local ring in mathematics

In algebra, a generalized Cohen–Macaulay ring is a commutative Noetherian local ring ( A , m ) {\displaystyle (A,{\mathfrak {m}})} of Krull dimension d > 0 that satisfies any of the following equivalent conditions:

  • For each integer i = 0 , , d 1 {\displaystyle i=0,\dots ,d-1} , the length of the i-th local cohomology of A is finite:
    length A ( H m i ( A ) ) < {\displaystyle \operatorname {length} _{A}(\operatorname {H} _{\mathfrak {m}}^{i}(A))<\infty } .
  • sup Q ( length A ( A / Q ) e ( Q ) ) < {\displaystyle \sup _{Q}(\operatorname {length} _{A}(A/Q)-e(Q))<\infty } where the sup is over all parameter ideals Q {\displaystyle Q} and e ( Q ) {\displaystyle e(Q)} is the multiplicity of Q {\displaystyle Q} .
  • There is an m {\displaystyle {\mathfrak {m}}} -primary ideal Q {\displaystyle Q} such that for each system of parameters x 1 , , x d {\displaystyle x_{1},\dots ,x_{d}} in Q {\displaystyle Q} , ( x 1 , , x d 1 ) : x d = ( x 1 , , x d 1 ) : Q . {\displaystyle (x_{1},\dots ,x_{d-1}):x_{d}=(x_{1},\dots ,x_{d-1}):Q.}
  • For each prime ideal p {\displaystyle {\mathfrak {p}}} of A ^ {\displaystyle {\widehat {A}}} that is not m A ^ {\displaystyle {\mathfrak {m}}{\widehat {A}}} , dim A ^ p + dim A ^ / p = d {\displaystyle \dim {\widehat {A}}_{\mathfrak {p}}+\dim {\widehat {A}}/{\mathfrak {p}}=d} and A ^ p {\displaystyle {\widehat {A}}_{\mathfrak {p}}} is Cohen–Macaulay.

The last condition implies that the localization A p {\displaystyle A_{\mathfrak {p}}} is Cohen–Macaulay for each prime ideal p m {\displaystyle {\mathfrak {p}}\neq {\mathfrak {m}}} .

A standard example is the local ring at the vertex of an affine cone over a smooth projective variety. Historically, the notion grew up out of the study of a Buchsbaum ring, a Noetherian local ring A in which length A ( A / Q ) e ( Q ) {\displaystyle \operatorname {length} _{A}(A/Q)-e(Q)} is constant for m {\displaystyle {\mathfrak {m}}} -primary ideals Q {\displaystyle Q} ; see the introduction of.

Notes

  1. Herrmann, Orbanz & Ikeda 1988, Theorem 37.4.
  2. Herrmann, Orbanz & Ikeda 1988, Theorem 37.10.
  3. Trung 1986

References


Stub icon

This algebra-related article is a stub. You can help Misplaced Pages by expanding it.

Categories: