The stresses on centrally symmetric complexes and the lower bound theorems

DOI10.5802/ALCO.168MaRDI QIDQ2039618zbMATH OpenOpenAlexWikidataFDO

Authors Isabella Novik, Hailun Zheng

Publication date 5 July 2021

Published in Algebraic Combinatorics (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

centrally symmetricCohen-Macaulay complexesface numberspolytopesstress spaces

Mathematics Subject Classification ID

Combinatorial aspects of commutative algebra (05E40) Combinatorial aspects of simplicial complexes (05E45) Commutative rings defined by monomial ideals; Stanley-Reisner face rings; simplicial complexes (13F55) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10) Combinatorial properties of polytopes and polyhedra (number of faces, shortest paths, etc.) (52B05) Symmetry properties of polytopes (52B15)

Abstract: In 1987, Stanley conjectured that if a centrally symmetric Cohen--Macaulay simplicial complex $Delta$ of dimension $d-1$ satisfies $$ for some $igeq1$, then $$ for all $jgeqi$. Much more recently, Klee, Nevo, Novik, and Zheng conjectured that if a centrally symmetric simplicial polytope $P$ of dimension $d$ satisfies $$ for some $d/2geqigeq1$, then $$ for all $d/2geqjgeqi$. This note uses stress spaces to prove both of these conjectures.

Review text

The paper under review is devoted to the study of the equality cases in Stanley's lower bound theorems on the face numbers of centrally symmetric Cohen-Macaulay simplicial complexes and centrally symmetric polytopes. Recall that a simplicial complex \(\Delta\) is centrally symmetric if there is a free involution on its vertex set that also induces a free involution on the set of all non-empty faces of this complex. Related, a polytope \(P \subset \mathbb{R}^d\) is centrally symmetric if \(P = -P\). Now, the main results of this paper are the following. \par (1) Let \(\Delta\) be a \((d-1)\)-dimensional centrally symmetric Cohen-Macaulay simplicial complex. If \(h_i(\Delta)=\binom{d}{i}\) for some \(i\ge 1\), then \(h_j(\Delta)=\binom{d}{j}\) for all \(j\ge i\). \par (2) Related, let \(\Delta\) be the boundary complex of a \(d\)-dimensional centrally symmetric simplicial polytope. If \(g_i(\Delta)=\binom{d}{i}-\binom{d}{i-1}\) for some \(d/2\ge i\ge 1\), then \(g_j(\Delta)=\binom{d}{j}-\binom{d}{j-1}\). By these, the related conjectures raised by \textit{R. P. Stanley} [Graphs Comb. 3, 55--66 (1987; Zbl 0611.52002)] and \textit{S. Klee} et al. [Discrete Comput. Geom. 61, No. 3, 541--561 (2019; Zbl 1431.52017)] are confirmed in full generality. To establish these results, the authors took full advantage of the theory of stress spaces developed by \textit{C. W. Lee} [ibid. 15, No. 4, 389--421 (1996; Zbl 0856.52009)]. And through the proof, they also show that the complex satisfying the above conditions actually contains the boundary complex of a \(d\)-cross-polytope as a subcomplex.

Recommendations

• A lower bound theorem for centrally symmetric simplicial polytopes
• On face numbers of manifolds with symmetry
• On the number of faces of centrally-symmetric simplicial polytopes
• Remarks on the upper bound theorem.
• A tale of centrally symmetric polytopes and spheres

Cites work

• A lower bound theorem for centrally symmetric simplicial polytopes
• A monotonicity property of h-vectors and h^*-vectors
• A proof of the sufficiency of McMullen's conditions for f-vectors of simplicial convex polytopes
• Balanced Cohen-Macaulay Complexes
• Cohen-Macaulay quotients of polynomial rings
• Combinatorics and commutative algebra.
• FAQ on the g-theorem and the hard Lefschetz theorem for face rings
• scientific article; zbMATH DE number 3545783 (Why is no real title available?)
• scientific article; zbMATH DE number 3586175 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• On the number of faces of centrally-symmetric simplicial polytopes
• P.L.-spheres, convex polytopes, and stress
• The number of faces of a simplicial convex polytope
• The number of faces of balanced Cohen-Macaulay complexes and a generalized Macaulay theorem
• The Upper Bound Conjecture and Cohen-Macaulay Rings

Cited in

(6)

• On the number of faces of centrally-symmetric simplicial polytopes
• A lower bound theorem for centrally symmetric simplicial polytopes
• On traces of \(d\)-stresses in the skeletons of lower dimensions of piecewise-linear \(d\)-manifolds
• Affine stresses: the partition of unity and Kalai's reconstruction conjectures
• Affine stresses, inverse systems, and reconstruction problems
• Rigidity of symmetric simplicial complexes and the lower bound theorem

This page was built for publication: The stresses on centrally symmetric complexes and the lower bound theorems

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