Topological lower bounds for the chromatic number: A hierarchy

This paper is a study of "topological" lower bounds for the chromatic number of a graph. Such a lower bound was first introduced by Lovasz in 1978, in his famous proof of the Kneser conjecture via Algebraic Topology. This conjecture stated that the Kneser graph KGm,n, the graph with all k-element subsets of {1,2, . . . , n} as vertices and all pairs of disjoint sets as edges, has chromatic number n −2k+2. Several other proofs have since been published (by Barany, Schrijver, Dol'nikov, Sarkaria, Kyr´oyz, Greene, and others), all of them based on some version of the Borsuk-Ulam theorem, but otherwise quite different. Each can be extended to yield some lower bound on the chromatic number of an arbitrary graph. (Indeed, we observe that every finite graph may be represented as a generalized Kneser graph, to which the above bounds apply.) We show that these bounds are almost linearly ordered by strength, the strongest one being essentially Lovasz' original bound in terms of a neighborhood complex. We also present and compare various definitions of a box complex of a graph (developing ideas of Alon, Frankl, and Lovasz and of Kyr´oyz). A suitable box complex is equivalent to Lovasz' complex, but the construction is simpler and functorial, mapping graphs with homomorphisms to Z2-spaces with Z2-maps.