Cohen-Macaulay simplicial complexes
type: Item
instance of: scholarly article
title: Cohen-Macaulay simplicial complexes
zbMATH Open document ID: 0656.13010
DOI: 10.1016/0021-8693(88)90307-9
author: Mary L. Thompson
published in: Journal of Algebra
publication date: 1988-01-01T00:00:00Z
review text: The following theorems are proved: 1. Let \(\Delta\) be a simplicial complex over K (a field), and R a finitely generated K-algebra. Let \(\{I_{\Delta_ i}\}\) be ideals in R indexed by the subcomplexes of \(\Delta\), satisfying \((i)\quad I_{\Delta_ 1\cup \Delta_ 2}=I_{\Delta_ 1}\cap I_{\Delta_ 2};\)\ \((ii)\quad I_{\Delta_ 1\cap \Delta_ 2}=I_{\Delta_ 1}+I_{\Delta_ 2};\)\ \((iii)\quad For\) some c and for each simplex \(\sigma\) in \(\Delta\), \(R/I_{\sigma}\) is C-M of dimension \(\dim (\sigma)+c\). - Then \(R/I_{\Delta}\) is C-M. (This is easily seen to imply one half of the characterization of C-M-complexes due to Reisner.) 2. Suppose that for every face \(\sigma\) of \(\Delta\), \(\tilde H^ i(link(\sigma))=0\), \(i<\dim (link(\sigma))\), and \(\tilde H^{\dim (link(\sigma))}(link(\sigma))\) is torsion free over \({\mathbb{Z}}\). If R is a ring with ideals satisfying (i), (ii) and (iii), then \(R/I_{\Delta}\) is C-M.
Mathematics Subject Classification ID: 13C13
Mathematics Subject Classification ID: 13H10
Mathematics Subject Classification ID: 55N35
zbMATH DE Number: 4071054
zbMATH Keywords: Stanley-Reisner ring
zbMATH Keywords: simplicial complex
zbMATH Keywords: characterization of C-M- complexes
MaRDI profile type: Publication
full work available at URL: 0021-8693(88)90307-9
OpenAlex ID: W2067147666
cites work: R-SEQUENCES AND INDETERMINATES
cites work: Q4120658
cites work: Topological results in combinatorics
cites work: Cohen-Macaulay quotients of polynomial rings
cites work: Cohen-Macaulay rings and constructible polytopes
description: scientific article; zbMATH DE number 4071054