Title:Fundamental groups of neighborhood complexes

Abstract:We introduce the notions of $r$-neighborhood complexes, $r$-fundamental groups and $r$-covering maps of graphs, for a positive integer $r$. The $r$-neighborhood complex $N_r(G)$ is a natural generalization of the neighborhood complex introduced by Lovász. The $r$-fundamental group $\pi_1^r(G,v)$ is the group assigned to a based graph $(G,v)$, and we show that the fundamental group of the $r$-neighborhood complex is isomorphic to some natural subgroup of the $(2r)$-fundamental group, called the even part. An $r$-covering map is a graph homomorphism satisfying a certain property, and we show that a subgroup of the $r$-fundamental group $\pi_1^r(G,v)$ corresponds to a connected based $r$-covering over $(G,v)$, as is the case of the covering space theory in topology. We apply the $r$-fundamental groups to the existence problem of the graph homomorphism. For example, we show that there is no graph homomorphism from the Kneser graphs $K_{2k+1,k}$ to the 5-cycle $C_5$.