Stellar theory for flag complexes

From MaRDI portal



Abstract: Refining a basic result of Alexander, we show that two flag simplicial complexes are piecewise linearly homeomorphic if and only if they can be connected by a sequence of flag complexes, each obtained from the previous one by either an edge subdivision or its inverse. For flag spheres we pose new conjectures on their combinatorial structure forced by their face numbers, analogous to the extremal examples in the upper and lower bound theorems for simplicial spheres. Furthermore, we show that our algorithm to test the conjectures searches through the entire space of flag PL spheres of any given dimension.


The \textit{stellar subdivision} at the face \(F\) of an abstract simplicial complex \(\Delta\) is obtained by replacing the star of \(F\) with the join of a point not in \(\Delta\), the boundary of \(F\), and the link of \(F\). The authors give an algorithm for sequentially computing the barycentric subdivision of a simplicial complex, where each step only involves the stellar subdivision of an edge. This algorithm leads to an alternate proof of a result of Alexander: if \(\Delta\) and \(\Gamma\) are two piecewise linearly homeomorphic simplicial complexes, then there is a sequence of simplicial complexes from \(\Delta\) to \(\Gamma\), such that any two adjacent terms in the sequence are related by a single stellar edge subdivision. The authors of the article show that if \(\Delta\) and \(\Gamma\) are both flag complexes, then each term in the sequence can also be taken to be a flag complex. It is then shown how this algorithm can be used to randomly search the space of all piecewise linearly homeomorphic simplicial flag spheres of a given dimension.











This page was built for publication: Stellar theory for flag complexes

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