Cohen-Macaulay quotients of normal semioroup rings via irreducible resolutions

Journal Article (Journal Article)

For a radical monomial ideal I in a normal semigroup ring κ[Q], there is a unique minimal irreducible resolution 0 → κ[Q]/I → W̄0 → W̄1 ... by modules W̄i of the form ⊕jk[Fij], where the Fij are (not necessarily distinct) faces of Q. That is, W̄i is a direct sum of quotients of κ[Q] by prime ideals. This paper characterizes Cohen-Macaulay quotients κ[Q]/I as those whose rainimal irreducible resolutions are linear, meaning that W̄i is pure of dimension dim(κ[Q]/I) - i for i ≥ 0. The proof exploits a graded ring-theoretic analogue of the Zeeman spectral sequence [Zee63], thereby also providing a combinatorial topological version involving no commutative algebra. The characterization via linear irreducible resolutions reduces to the Eagon-Reiner theorem [ER98] by Alexander duality when Q = Nd.

Full Text

Duke Authors

Cited Authors

  • Miller, E

Published Date

  • January 1, 2002

Published In

Volume / Issue

  • 9 / 1

Start / End Page

  • 117 - 128

International Standard Serial Number (ISSN)

  • 1073-2780

Digital Object Identifier (DOI)

  • 10.4310/MRL.2002.v9.n1.a9

Citation Source

  • Scopus