arXiv subjects
Publications and source records attributed to Takahiro Matsushita.
We introduce a model structure on the category of graphs, which is Quillen equivalent to the category of $\mathbb{Z}_2$-spaces. A weak equivalence is a graph homomorphism which induces a $\mathbb{Z}_2$-homotopy equivalence between their box complexes. The box complex is a $\mathbb{Z}_2$-space associated to a graph, considered in the context of the graph coloring problem. In the proof, we discuss the universality problem of the Hom complex.
Dochtermann introduced the loop space construction of a based graph $(G,v)$ whose basepoint is a looped vertex. He showed that the complex $C(Ω(G,v))$ is homotopy equivalent to the loop space $Ω(C(G),v)$ of $C(G)$. Here we write $C(G)$ to mean the clique complex of the maximal reflexive subgraph of $G$. In this paper, we consider its bigraph version. A bigraph is a graph equipped with its 2-coloring. We introduce the loop space construction $Ω_{/K_2}(X,x)$ of a based bigraph $(X,x)$. This is a graph such that $C(Ω_{/K_2}(X,x))$ is homotopy equivalent to the loop space of the box complex $B_{/K_2}(X)$ of the bigraph. As a result, we have alternative proofs of some results of Matsushita and Schultz.
Let $r$ be a positive integer. An $r$-set is a pair $X= (V(X),R(X))$ consisting of a set $V(X)$ with a subset $R(X)$ of the direct product $V(X)^r$. The object of this paper is to investigate the Hom complexes of $r$-sets, which were introduced for graphs in the context of the graph coloring problem. In the first part, we introduce simplicial sets which we call singular complexes, and show that singular complexes and Hom complexes are naturally homotopy equivalent. The second part is devoted to the generalization of $\times$-homotopy theory established by Dochtermann. We show the folding theorem for hypergraphs which was partly proved by Iriye and Kishimoto.
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.
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 construct a free $\mathbb{Z}_2$-manifold $X_n$ for a positive integer $n$ such that $w_1(X_n)^n \neq 0$, but there is no $\mathbb{Z}_2$-equivariant map from $S^2$ to $X_n$.
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.