English

Sequentially $S_r$ simplicial complexes and sequentially $S_2$ graphs

Commutative Algebra 2010-04-21 v1 Combinatorics

Abstract

We introduce sequentially SrS_r modules over a commutative graded ring and sequentially SrS_r simplicial complexes. This generalizes two properties for modules and simplicial complexes: being sequentially Cohen-Macaulay, and satisfying Serre's condition SrS_r. In analogy with the sequentially Cohen-Macaulay property, we show that a simplicial complex is sequentially SrS_r if and only if its pure ii-skeleton is SrS_r for all ii. For r=2r=2, we provide a more relaxed characterization. As an algebraic criterion, we prove that a simplicial complex is sequentially SrS_r if and only if the minimal free resolution of the ideal of its Alexander dual is componentwise linear in the first rr steps. We apply these results for a graph, i.e., for the simplicial complex of the independent sets of vertices of a graph. We characterize sequentially SrS_r cycles showing that the only sequentially S2S_2 cycles are odd cycles and, for r3r\ge 3, no cycle is sequentially SrS_r with the exception of cycles of length 3 and 5. We extend certain known results on sequentially Cohen-Macaulay graphs to the case of sequentially SrS_r graphs. We prove that a bipartite graph is vertex decomposable if and only if it is sequentially S2S_2. We provide some more results on certain graphs which in particular implies that any graph with no chordless even cycle is sequentially S2S_2. Finally, we propose some questions.

Keywords

Cite

@article{arxiv.1004.3376,
  title  = {Sequentially $S_r$ simplicial complexes and sequentially $S_2$ graphs},
  author = {Hassan Haghighi and Naoki Terai and Siamak Yassemi and Rahim Zaare-Nahandi},
  journal= {arXiv preprint arXiv:1004.3376},
  year   = {2010}
}

Comments

13 pages

R2 v1 2026-06-21T15:12:27.095Z