Extensions of dually bipartite regular polytopes (Q973143): Difference between revisions

An abstract regular polytope is called \textit{dually bipartite} if the edge graph of the dual polytope is a bipartite graph. Let \(s\) be any positive integer. The author proves that every finite dually bipartite regular \(d\)-polytope \(\mathcal{K}\) of Schläfli type \(\{p_{1},\dots,p_{d-1}\}\) is the facet of a finite regular \((d+1)\)-polytope \(\mathcal{P}\), called an \textit{extension} of \(\mathcal{K}\), which is of Schläfli type \(\{p_{1},\dots,p_{d-1},s\}\) if \(s\) is even, or \(\{p_{1},\dots,p_{d-1},2s\}\) if \(s\) is odd. Various other extension results are also established.