Total: 1
For a simple graph $Γ$ without loops and an integer $n\geq2$, Abrams showed in his Ph.D. thesis that the discrete configuration space $DConf(Γ,n)$ is homeomorphic to a closed $n$-manifold if and only if $n=2$ and $Γ$ is $K_5$ or $K_{3,3}$, the two minimal obstructions to graph planarity. We show that this manifold property persists for the infinite family of discrete configuration spaces obtained by replacing the Kuratowski graphs with the $d$-skeleton of the simplex of dimension $2d+2$, thus recovering Abrams' $K_5$ case when $d=1$. Our manifold recognition argument relies on a recursive application of Whitehead's theorem that collapsible PL manifolds are PL balls, combined with Forman's discrete Morse theory. The resulting construction produces an infinite family of combinatorial spheres that contains the Legendre polytope boundaries and is closed under taking vertex links.