A generalization of k-Cohen-Macaulay simplicial complexes

DOI10.1007/S11512-010-0136-YMaRDI QIDQ692556zbMATH OpenOpenAlexFDO

Authors Hassan Haghighi, Siamak Yassemi, Rahim Zaare-Nahandi

Publication date 6 December 2012

Published in Arkiv för Matematik (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0912.4097

zbMATH Keywords

Cohen-Macaulay ringsimplicial complexStanley Reisner ring

Mathematics Subject Classification ID

Syzygies, resolutions, complexes and commutative rings (13D02) Commutative rings defined by monomial ideals; Stanley-Reisner face rings; simplicial complexes (13F55) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10)

Abstract: For a positive integer $k$ and a non-negative integer $t$ a class of simplicial complexes, to be denoted by $k$-${mCM}_t$, is introduced. This class generalizes two notions for simplicial complexes: being $k$-Cohen-Macaulay and $k$-Buchsbaum. In analogy with the Cohen-Macaulay and Buchsbaum complexes, we give some characterizations of ${mCM}_t(=$1-${mCM}_t)$ complexes, in terms of vanishing of some homologies of its links and, in terms of vanishing of some relative singular homologies of the geometric realization of the complex and its punctured space. We show that a complex is $k$-${mCM}_t$ if and only if the links of its nonempty faces are $k$-${mCM}_{t-1}$. We prove that for an integer $sled$, the $(d-s-1)$-skeleton of a $(d-1)$-dimensional $k$-${mCM}_t$ complex is $(k+s)$-${mCM}_t$. This result generalizes Hibi's result for Cohen-Macaulay complexes and Miyazaki's result for Buchsbaum complexes.

Review text

Let \(\Delta\) denote a finite simplicial complex of dimension \(d-1\) with vertex set \(V\). For a field \(K\) let \(K[\Delta]\) denote the Stanley-Reisner ring. Let \(0 \leq t < d\) denote an integer. Then \(\Delta\) is called \(CM_t\) over \(K\) provided \(\Delta\) is pure and the link \(\mathrm{lk}_{\Delta}(\sigma)\) is Cohen-Macaulay over \(K\) for any \(\sigma \in \Delta\) with at least \(t\) elements. For a positive integer \(k\) and a nonnegative integer \(t\) the simplicial complex \(\Delta\) is called \(k-CM_t\) of dimension \(r\) if for any subset \(W \subset V\) (including \(W = \emptyset\)) with less than \(k\) elements the simplicial complex \(\Delta_{V\setminus W}\) is \(CM_t\) of dimension \(r\) over \(K\). In analogy to the Cohen-Macaulay and Buchsbaum complexes there are characterizations of \(CM_t\) complexes in terms of the vanishing of singular homologies of its links resp. its geometric realization. Moreover it is shown that a complex is \(k-CM_t\) if and only if the links of its non-empty faces are \(k-CM_{t-1}\). There are also results on the \(k-CM_t\)-property of skeletons. This generalizes results of \textit{N. Terai} and \textit{T. Hibi} [J. Algebr. Comb. 6, No. 1, 89--93 (1997; Zbl 0871.55015)] and \textit{M. Miyazaki} [J. Math. Kyoto Univ. 30, No. 3, 367--392 (1990; Zbl 0723.13002)].

Recommendations

• Cohen-Macaulay simplicial complexes of degree \(k\)
• Cohen-Macaulay simplicial complexes
• On 2-Buchsbaum complexes
• A generalization of Eagon–Reiner’s theorem and a characterization of bi-CM_t bipartite and chordal graphs
• A brief survey on pure Cohen-Macaulayness in a fixed codimension

Cites work

• A note on the Stanley-Reisner ring of a join and of a suspension
• Betti numbers of Buchsbaum complexes.
• Buchsbaum complexes with linear resolutions
• Cohen-Macaulay connectivity and geometric lattices
• Cohen-Macaulay quotients of polynomial rings
• Combinatorics and commutative algebra
• Decompositions of Simplicial Complexes Related to Diameters of Convex Polyhedra
• Enriched homology and cohomology modules of simplicial complexes
• Face rings of simplicial complexes with singularities
• Finite free resolutions and 1-skeletons of simplicial complexes
• scientific article; zbMATH DE number 3979216 (Why is no real title available?)
• scientific article; zbMATH DE number 3545783 (Why is no real title available?)
• Level rings and algebras with straightening laws
• On 2-Buchsbaum complexes
• On sequentially Cohen-Macaulay complexes and posets
• On the number of faces of simplicial complexes and the purity of Frobenius
• Simplicial join via tensor product
• The minimal free resolution of a class of square-free monomial ideals.
• Topological results in combinatorics

Cited in

(16)

• Cohen-Macaulay simplicial complexes
• On the Cohen-Macaulay property in commutative algebra and simplicial topology
• A brief survey on pure Cohen-Macaulayness in a fixed codimension
• Cohen-Macaulay simplicial complexes of degree \(k\)
• A generalization of Eagon–Reiner’s theorem and a characterization of bi-CM_t bipartite and chordal graphs
• On cohen-macaulay simplicial complexes
• Cohen–Macaulay modifications of the facet ideal of a simplicial complex
• On a generalization of Leray simplicial complexes
• Simplicial complexes satisfying Serre's condition versus the ones which are Cohen-Macaulay in a fixed codimension
• A note on monomial ideals which are Cohen-Macaulay in a fixed codimension
• Cohen-Macaulay bipartite graphs in arbitrary codimension
• Simplicial complexes of small codimension
• A generalization of the Swartz equality
• Face rings of simplicial complexes with singularities
• The Lyubeznik table of S_r AND CM_t rings
• Enriched homology and cohomology modules of simplicial complexes

This page was built for publication: A generalization of \(k\)-Cohen-Macaulay simplicial complexes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q692556)