Simple homotopy types of Hom-complexes, neighborhood complexes, Lovász complexes, and atom crosscut complexes

• Published in: Topology and its applications Vol. 153; no. 14; pp. 2445 - 2454
• Main Author: Kozlov, Dmitry N.
• Format: Journal Article
• Language: English
• Published: Elsevier B.V 01.08.2006
• Subjects: Closure operator; Collapse; Crosscut complex; Hom-complexes; Lovász complex; Lovász Conjecture; Neighborhood complex; Order complex; Simple homotopy type; Whitehead torsion; secondary; Collapse; Neighborhood complex; Lovász Conjecture; Crosscut complex; Closure operator; Simple homotopy type; Lovász complex; Whitehead torsion; Hom-complexes; Order complex; primary
• ISSN: 0166-8641; 1879-3207
• DOI: 10.1016/j.topol.2005.09.005

In this paper we provide concrete combinatorial formal deformation algorithms, namely sequences of elementary collapses and expansions, which relate various previously extensively studied families of combinatorially defined polyhedral complexes. To start with, we give a sequence of elementary collapses leading from the barycentric subdivision of the neighborhood complex to the Lovász complex of a graph. Then, for an arbitrary lattice L we describe a formal deformation of the barycentric subdivision of the atom crosscut complex Γ ( L ) to its order complex Δ ( L ¯ ) . We proceed by proving that the complex of sets bounded from below J ( L ) can also be collapsed to Δ ( L ¯ ) . Finally, as a pinnacle of our project, we apply all these results to certain graph complexes. Namely, by describing an explicit formal deformation, we prove that, for any graph G, the neighborhood complex N ( G ) and the polyhedral complex Hom ( K 2 , G ) have the same simple homotopy type in the sense of Whitehead.