arXiv++ Combinatorics

Box complex is a $\mathbb{Z}_2$-space associated to a graph, and it is known that a certain $\mathbb{Z}_2$-homotopy invariant of it, called the $\mathbb{Z}_2$-index, gives an effective lower bound for the chromatic number. On the other hand, we show that any $\mathbb{Z}_2$-homotopy invariant of the box complex is not equivalent to the chromatic number. Namely, we construct a graph homomorphism $f:X \rightarrow Y$ such that it gives rise to a $\mathbb{Z}_2$-homotopy equivalence between their box complexes, but $X$ and $Y$ have different chromatic numbers. To see this, we show that some deformations of graphs do not change the $\mathbb{Z}_2$-simple homotopy types of box complexes.

We introduce the notion of r-neighborhood complex for a positive integer r, which is a natural generalization of Lovasz neighborhood complex. The topologies of these complexes give some obstructions of the existence of graph maps. We applied these complexes to prove the nonexistence of graph maps about Kneser graphs. We prove that the fundamental groups of r-neighborhood complexes are closely related to the (2r)-fundamental groups defined in the author's previous paper.

We prove that a graph whose chromatic number is 2 is a homotopy test graph. We also prove that there is a graph $K$ with two involutions $γ_1$ and $γ_2$ such that $(K,γ_1)$ is a Stiefel-Whitney test graph, but $(K,γ_2)$ is not. These are answers to some of the problems suggested by Kozlov.

In this paper, we introduce the notions of $r$-fundamental groups of graphs, $r$-covering maps, and $r$-neighborhood complexes of graphs for a positive integer $r$. There is a natural correspondence between $r$-covering maps and $r$-fundamental groups as is the case of the covering space theory in topology. We can derive obstructions of the existences of graph maps from $r$-fundamental groups. Especially, $r$-fundamental groups gives deep informations about the existences of graph maps to odd cycles. For example, we prove the Kneser graph $K_{2k+1,k}$ has no graph maps to $C_5$. $r$-neighborhood complexes are natural generalization of neighborhood complexes defined by Lov$\acute{\rm a}$sz. We prove that $(2r)$-fundamental groups gives graph theoretical description of the fundamental groups of $r$-neighborhood complexes.

The neighborhood complexes of graphs were introduced by Lovász in his proof of the Kneser conjecture. He showed that a certain topological property of $N(G)$ gives a lower bound for the chromatic number of $G$. In this paper, we study a combinatorial description of the fundamental groups of the neighborhood complexes. For a positive integer $r$, we introduce the $r$-fundamental group $π_1^r(G,v)$ of a based graph $(G,v)$ and the $r$-neighborhood complex $N_r(G)$ of $G$. The $1$-neighborhood complex is the neighborhood complex. We show that the even part $π_1^{2r}(G,v)_{ev}$, which is a subgroup of $π_1^{2r}(G,v)$ with index 1 or 2, is isomorphic to the fundamental group of $(N_r(G),v)$ if $v$ is not isolated. We can use the $r$-fundamental groups to show the non-existence of graph homomorphisms. For example, we show that $π_1^3(KG_{2k+1,k})$ is isomorphic to $\mathbb{Z} /2$, and this implies that there is no graph homomorphism from $KG_{2k+1,k}$ to the 5-cycle graph $C_5$. We discuss the covering maps associated to $r$-fundamental groups.