Lower bounds for cubical pseudomanifolds (Q635752)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Lower bounds for cubical pseudomanifolds |
scientific article |
Statements
Lower bounds for cubical pseudomanifolds (English)
0 references
23 August 2011
0 references
Let \(\mathcal{K}\) be a pure cubical \(d\)-complex. Then \(\mathcal{K}\) is a pseudomanifold if each \((d-1)\)-cube is a face of \(2\) \(d\)-cubes, semi-Eulerian if the reduced Euler characteristic \(\widetilde{\chi}(\mathrm{lk}_\mathcal{K}(F) = \widetilde{\chi}(\mathbb{S}^{d - |F| -1})\) for each non-empty face \(F \in \mathcal{K}\), and Eulerian if \(\widetilde{\chi}(\mathcal{K}) = \widetilde{\chi}(\mathbb{S}^d)\). For semi-Eulerian cubical complexes, Adin has proved an analogue of the Dehn-Sommerville equations of V.~L.~Klee for simplicial manifolds. In this paper, the author first shows that a semi-Eulerian cubical \(d\)-complex \(\mathcal{K}\) has at least \(2^{d+1}\) vertices, thus generalizing a result of Blind and Blind for convex polytopes without triangular faces. He also establishes a lower bound theorem, which can be stated as \(2f_1(\mathcal{K}) \geq (d+2)f_0(\mathcal{K}) - 2^{d+1}\) (though -- unfortunately for the reader -- not here). This is proved in various cases, including cubical \(4\)-spheres, using (short and long) cubical \(h\)-vectors introduced by Adin; these also give rise to other special inequalities.
0 references
cubical complex
0 references
\(f\)-vector
0 references
\(h\)-vector
0 references
lower bound theorem
0 references
0 references