Proof of the Lovasz Conjecture
Abstract
To any two graphs G and H one can associate a cell complex Hom(G,H) by taking all graph multihomorphisms from G to H as cells. In this paper we prove the Lovasz Conjecture which states that if Hom(C_{2r+1},G) is k-connected, then \chi(G)\geq k+4, where r,k\in Z, r\geq 1, k\geq -1, and C_{2r+1} denotes the cycle with 2r+1 vertices. The proof requires analysis of the complexes Hom(C_{2r+1},K_n). For even n, the obstructions to graph colorings are provided by the presence of torsion in H^*(Hom(C_{2r+1},K_n);Z). For odd n, the obstructions are expressed as vanishing of certain powers of Stiefel-Whitney characteristic classes of Hom(C_{2r+1},K_n), where the latter are viewed as $\zz$-spaces with the involution induced by the reflection of C_{2r+1}.
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- February 2004
- DOI:
- 10.48550/arXiv.math/0402395
- arXiv:
- arXiv:math/0402395
- Bibcode:
- 2004math......2395B
- Keywords:
-
- Combinatorics;
- Algebraic Topology;
- 05C15;
- 57M15
- E-Print:
- Revised and updated version