Rigidity of Symmetric Simplicial Complexes and the Lower Bound Theorem
arXiv:2304.04693 · doi:10.1017/fms.2024.150
Abstract
We show that, if is a point group of of order two for some and is a -pseudomanifold which has a free automorphism of order two, then either has a -symmetric infinitesimally rigid realisation in or and is a half-turn rotation group.This verifies a conjecture made by Klee, Nevo, Novik and Zhang for the case when is a point-inversion group. Our result implies that Stanley's lower bound theorem for centrally symmetric polytopes extends to pseudomanifolds with a free simplicial involution, thus verifying (the inequality part) of another conjecture of Klee, Nevo, Novik and Zheng. Both results actually apply to a much larger class of simplicial complexes, namely the circuits of the simplicial matroid. The proof of our rigidity result adapts earlier ideas of Fogelsanger to the setting of symmetric simplicial complexes.
22 pages, 2 figures