TY - JOUR
T1 - Rigidity and the lower bound theorem for doubly Cohen-Macaulay complexes
AU - Nevo, Eran
PY - 2008/3
Y1 - 2008/3
N2 - We prove that for d ≥ 3, the 1-skeleton of any (d-1)-dimensional doubly Cohen-Macaulay (abbreviated 2-CM) complex is generically d-rigid. This implies that Barnette's lower bound inequalities for boundary complexes of simplicial polytopes (Barnette, D. Isr. J. Math. 10:121-125, 1971; Barnette, D. Pac. J. Math. 46:349-354, 1973) hold for every 2-CM complex of dimension ≥ 2 (see Kalai, G. Invent. Math. 88:125-151, 1987). Moreover, the initial part (g 0,g 1,g 2) of the g-vector of a 2-CM complex (of dimension ≥ 3) is an M-sequence. It was conjectured by Björner and Swartz (J. Comb. Theory Ser. A 113:1305-1320, 2006) that the entire g-vector of a 2-CM complex is an M-sequence.
AB - We prove that for d ≥ 3, the 1-skeleton of any (d-1)-dimensional doubly Cohen-Macaulay (abbreviated 2-CM) complex is generically d-rigid. This implies that Barnette's lower bound inequalities for boundary complexes of simplicial polytopes (Barnette, D. Isr. J. Math. 10:121-125, 1971; Barnette, D. Pac. J. Math. 46:349-354, 1973) hold for every 2-CM complex of dimension ≥ 2 (see Kalai, G. Invent. Math. 88:125-151, 1987). Moreover, the initial part (g 0,g 1,g 2) of the g-vector of a 2-CM complex (of dimension ≥ 3) is an M-sequence. It was conjectured by Björner and Swartz (J. Comb. Theory Ser. A 113:1305-1320, 2006) that the entire g-vector of a 2-CM complex is an M-sequence.
UR - http://www.scopus.com/inward/record.url?scp=40349108721&partnerID=8YFLogxK
U2 - 10.1007/s00454-007-9017-y
DO - 10.1007/s00454-007-9017-y
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:40349108721
SN - 0179-5376
VL - 39
SP - 411
EP - 418
JO - Discrete and Computational Geometry
JF - Discrete and Computational Geometry
IS - 1-3
ER -