Dancing in the stars: Topology of non-k-equal configuration spaces of graphs

Abstract

We prove that the non-k-equal configuration space of a graph has a discretized model, analogous to the discretized model for configurations on graphs. We apply discrete Morse theory to the latter to give an explicit combinatorial formula for the ranks of homology and cohomology of configurations of two points on a tree. We give explicit presentations for homology and cohomology classes as well as pairings for ordered and unordered configurations of two and three points on a few simple trees, and show that the first homology group of ordered and unordered configurations of two points in any tree is generated by the first homology groups of configurations of two points in three particular graphs, K_1,3, K_1,4, and the trivalent tree with 6 vertices and 2 vertices of degree 3, via graph embeddings.