Showing 1–40 of 40 results for author: Matsushita, T

Higher-dimensional generalization of Youngs' theorem and circular colorings

Authors: Kengo Enami, Takahiro Matsushita

Abstract: In 1996, Youngs proved that any quadrangulation of the real projective plane is not 3-chromatic. This result has been extended in various directions over the years, including to other non-orientable closed surfaces, higher-dimensional analogues of quadrangulations and circular colorings. In this paper, we provide a generalization which yields some of these extensions of Youngs' theorem. In 1996, Youngs proved that any quadrangulation of the real projective plane is not 3-chromatic. This result has been extended in various directions over the years, including to other non-orientable closed surfaces, higher-dimensional analogues of quadrangulations and circular colorings. In this paper, we provide a generalization which yields some of these extensions of Youngs' theorem. △ Less

Submitted 29 May, 2025; originally announced May 2025.

MSC Class: 05C15 (Primary) 05C10 (Secondary)

Flux homomorphism and bilinear form constructed from Shelukhin's quasimorphism

Authors: Morimichi Kawasaki, Mitsuaki Kimura, Shuhei Maruyama, Takahiro Matsushita, Masato Mimura

Abstract: Given a closed connected symplectic manifold $(M,ω)$, we construct an alternating $\mathbb{R}$-bilinear form $\mathfrak{b}=\mathfrak{b}_{μ_{\mathrm{Sh}}}$ on the real first cohomology of $M$ from Shelukhin's quasimorphism $μ_{\mathrm{Sh}}$. Here $μ_{\mathrm{Sh}}$ is defined on the universal cover of the group of Hamiltonian diffeomorphisms on $(M,ω)$. This bilinear form is invariant under the symp… ▽ More Given a closed connected symplectic manifold $(M,ω)$, we construct an alternating $\mathbb{R}$-bilinear form $\mathfrak{b}=\mathfrak{b}_{μ_{\mathrm{Sh}}}$ on the real first cohomology of $M$ from Shelukhin's quasimorphism $μ_{\mathrm{Sh}}$. Here $μ_{\mathrm{Sh}}$ is defined on the universal cover of the group of Hamiltonian diffeomorphisms on $(M,ω)$. This bilinear form is invariant under the symplectic mapping class group action, and $\mathfrak{b}$ yields a constraint on the fluxes of commuting two elements in the group of symplectomorphisms on $(M,ω)$. These results might be seen as an analog of Rousseau's result for an open connected symplectic manifold, where he recovered the symplectic pairing from the Calabi homomorphism. Furthermore, $\mathfrak{b}$ controls the extendability of Shelukhin's quasimorphisms, as well as the triviality of a characteristic class of Reznikov. To construct $\mathfrak{b}$, we build general machinery for a group $G$ of producing a real-valued $\mathbb{Z}$-bilinear form $\mathfrak{b}_μ$ from a $G$-invariant quasimorphism $μ$ on the commutator subgroup of $G$. △ Less

Submitted 13 March, 2025; originally announced March 2025.

Comments: 39 pages, 2 figures

MSC Class: 53D05; 53D22 (Primary) 20J05; 37E35; 55R40; 20F65 (Secondary)

Non-extendablity of Shelukhin's quasimorphism and non-triviality of Reznikov's class

Authors: Morimichi Kawasaki, Mitsuaki Kimura, Shuhei Maruyama, Takahiro Matsushita, Masato Mimura

Abstract: Shelukhin constructed a quasimorphism on the universal covering of the group of Hamiltonian diffeomorphisms for a general closed symplectic manifold. In the present paper, we prove the non-extendability of that quasimorphism for certain symplectic manifolds, such as a blow-up of torus and the product of a surface of genus at least two and a closed symplectic manifold. As its application, we prove… ▽ More Shelukhin constructed a quasimorphism on the universal covering of the group of Hamiltonian diffeomorphisms for a general closed symplectic manifold. In the present paper, we prove the non-extendability of that quasimorphism for certain symplectic manifolds, such as a blow-up of torus and the product of a surface of genus at least two and a closed symplectic manifold. As its application, we prove the non-vanishing of Reznikov's characteristic class for the above symplectic manifolds. △ Less

Submitted 12 March, 2025; originally announced March 2025.

Comments: 28 pages, 2 figures

Hom complexes of graphs whose codomains are square-free

Authors: Takahiro Matsushita

Abstract: The Hom complex $\mathrm{Hom}(G, H)$ of graphs is a simplicial complex associated to a pair of graphs $G$ and $H$, and its homotopy type is of interest in the graph coloring problem and the homomorphism reconfiguration problem. %Recently, Soichiro Fujii, Yuni Iwamasa, Kei Kimura, Yuta Nozaki and Akira Suzuki showed that if $G$ is a connected graph and $H$ is a cycle graph then every connected comp… ▽ More The Hom complex $\mathrm{Hom}(G, H)$ of graphs is a simplicial complex associated to a pair of graphs $G$ and $H$, and its homotopy type is of interest in the graph coloring problem and the homomorphism reconfiguration problem. %Recently, Soichiro Fujii, Yuni Iwamasa, Kei Kimura, Yuta Nozaki and Akira Suzuki showed that if $G$ is a connected graph and $H$ is a cycle graph then every connected component of $\mathrm{Hom}(G, H)$ is contractible or homotopy equivalent to a circle. In this paper, we show that if $G$ is a connected graph and $H$ is a square-free connected graph, then every connected component of $\mathrm{Hom}(G, H)$ is homotopy equivalent to a point, a circle, $H$ or a connected double cover over $H$. We also obtain a certain relation between the fundamental group of $\mathrm{Hom}(G,H)$ and realizable walks studied in the homomorphism reconfiguration problem. △ Less

Submitted 19 January, 2025; v1 submitted 26 December, 2024; originally announced December 2024.

Comments: 22 pages, minor revision, many typos are fixed

Relative simplicity of the universal coverings of transformation groups and Tsuboi's metric

Authors: Morimichi Kawasaki, Mitsuaki Kimura, Hiroki Kodama, Yoshifumi Matsuda, Takahiro Matsushita, Ryuma Orita

Abstract: Many transformation groups on manifolds are simple, but their universal coverings are not. In the present paper, we study the concept of relatively simple group, that is, a group with the maximum proper normal subgroup. We show that many examples of universal coverings of transformation groups are relatively simple, including the universal covering $\widetilde{\mathrm{Ham}}(M,ω)$ of the group of H… ▽ More Many transformation groups on manifolds are simple, but their universal coverings are not. In the present paper, we study the concept of relatively simple group, that is, a group with the maximum proper normal subgroup. We show that many examples of universal coverings of transformation groups are relatively simple, including the universal covering $\widetilde{\mathrm{Ham}}(M,ω)$ of the group of Hamiltonian diffeomorphisms of a closed symplectic manifold $(M,ω)$. Tsuboi constructed a metric space $\mathcal{M}(G)$ for a simple group $G$. We generalize his construction to relatively simple groups, and study their large scale geometric structure. In particular, Tsuboi's metric space of $\widetilde{\mathrm{Ham}}(M, ω)$ is not quasi-isometric to the half line for every closed symplectic manifold $(M,ω)$. △ Less

Submitted 1 December, 2024; originally announced December 2024.

Comments: 37 pages, comments are welcome

Report number: RIKEN-iTHEMS-Report-24 MSC Class: 20A05; 20E32; 51F30; 53D22; 53D40; 57S05

On the embeddability of skeleta of manifold triangulations

Authors: Daisuke Kishimoto, Takahiro Matsushita

Abstract: We show a criterion for a skeleton of a manifold triangulation being embeddable into Euclidean space in terms of the complement of a submanifold. As an application, we obtain embeddability of a $(q-1)$-skeleton of a triangulation of an $S^p$-bundle over $S^q$ into $\mathbb{R}^{p+q}$. We show a criterion for a skeleton of a manifold triangulation being embeddable into Euclidean space in terms of the complement of a submanifold. As an application, we obtain embeddability of a $(q-1)$-skeleton of a triangulation of an $S^p$-bundle over $S^q$ into $\mathbb{R}^{p+q}$. △ Less

Submitted 22 October, 2024; originally announced October 2024.

Comments: 5 pages

Invariant quasimorphisms and generalized mixed Bavard duality

Authors: Morimichi Kawasaki, Mitsuaki Kimura, Shuhei Maruyama, Takahiro Matsushita, Masato Mimura

Abstract: This article provides an expository account of the celebrated duality theorem of Bavard and three its strengthenings. The Bavard duality theorem connects scl (stable commutator length) and quasimorphisms on a group. Calegari extended the framework from a group element to a chain on the group, and established the generalized Bavard duality. Kawasaki, Kimura, Matsushita and Mimura studied the settin… ▽ More This article provides an expository account of the celebrated duality theorem of Bavard and three its strengthenings. The Bavard duality theorem connects scl (stable commutator length) and quasimorphisms on a group. Calegari extended the framework from a group element to a chain on the group, and established the generalized Bavard duality. Kawasaki, Kimura, Matsushita and Mimura studied the setting of a pair of a group and its normal subgroup, and obtained the mixed Bavard duality. The first half of the present article is devoted to an introduction to these three Bavard dualities. In the latter half, we present a new strengthening, the generalized mixed Bavard duality, and provide a self-contained proof of it. This third strengthening recovers all of the Bavard dualities treated in the first half; thus, we supply complete proofs of these four Bavard dualities in a unified manner. In addition, we state several results on the space $\mathrm{W}(G,N)$ of non-extendable quasimorphisms, which is related to the comparison problem between scl and mixed scl via the mixed Bavard duality. △ Less

Submitted 6 June, 2024; originally announced June 2024.

Comments: 57 pages, 11 figures

Simple homotopy of flag simplicial complexes and contractible contractions of graphs

Authors: Anton Dochtermann, Takahiro Matsushita

Abstract: In his work on molecular spaces, Ivashchenko introduced the notion of an $\mathfrak{I}$-contractible transformation on a graph $G$, a family of addition/deletion operations on its vertices and edges. Chen, Yau, and Yeh used these operations to define the $\mathfrak{I}$-homotopy type of a graph, and showed that $\mathfrak{I}$-contractible transformations preserve the simple homotopy type of $C(G)$,… ▽ More In his work on molecular spaces, Ivashchenko introduced the notion of an $\mathfrak{I}$-contractible transformation on a graph $G$, a family of addition/deletion operations on its vertices and edges. Chen, Yau, and Yeh used these operations to define the $\mathfrak{I}$-homotopy type of a graph, and showed that $\mathfrak{I}$-contractible transformations preserve the simple homotopy type of $C(G)$, the clique complex of $G$. In other work, Boulet, Fieux, and Jouve introduced the notion of $s$-homotopy of graphs to characterize the simple homotopy type of a flag simplicial complex. They proved that $s$-homotopy preserves $\mathfrak{I}$-homotopy, and asked whether the converse holds. In this note, we answer their question in the affirmative, concluding that graphs $G$ and $H$ are $\mathfrak{I}$-homotopy equivalent if and only if $C(G)$ and $C(H)$ are simple homotopy equivalent. We also show that a finite graph $G$ is $\mathfrak{I}$-contractible if and only if $C(G)$ is contractible, which answers a question posed by the first author, Espinoza, Frías-Armenta, and Hernández. We use these ideas to give a characterization of simple homotopy for arbitrary simplicial complexes in terms of links of vertices. △ Less

Submitted 5 March, 2025; v1 submitted 18 December, 2023; originally announced December 2023.

Comments: 7 pages, final version, to appear in Topology and its Applications

MSC Class: 57Q10; 04E45

Dominance complexes, neighborhood complexes and combinatorial Alexander duals

Authors: Takahiro Matsushita, Shun Wakatsuki

Abstract: We show that the dominance complex $\mathcal{D}(G)$ of a graph $G$ coincides with the combinatorial Alexander dual of the neighborhood complex $\mathcal{N}(\overline{G})$ of the complement of $G$. Using this, we obtain a relation between the chromatic number $χ(G)$ of $G$ and the homology group of $\mathcal{D}(G)$. We also obtain several known results related to dominance complexes from well-known… ▽ More We show that the dominance complex $\mathcal{D}(G)$ of a graph $G$ coincides with the combinatorial Alexander dual of the neighborhood complex $\mathcal{N}(\overline{G})$ of the complement of $G$. Using this, we obtain a relation between the chromatic number $χ(G)$ of $G$ and the homology group of $\mathcal{D}(G)$. We also obtain several known results related to dominance complexes from well-known facts of neighborhood complexes. After that, we suggest a new method for computing the homology groups of the dominance complexes, using independence complexes of simple graphs. We show that several known computations of homology groups of dominance complexes can be reduced to known computations of independence complexes. Finally, we determine the homology group of $\mathcal{D}(P_n \times P_3)$ by determining the homotopy types of the independence complex of $P_n \times P_3 \times P_2$. △ Less

Submitted 31 October, 2024; v1 submitted 5 December, 2023; originally announced December 2023.

Comments: 29 pages, 8 figures, minor revision, to appear in Journal of Combinatorial Theory, Series A

Coarse group theoretic study on stable mixed commutator length

Authors: Morimichi Kawasaki, Mitsuaki Kimura, Shuhei Maruyama, Takahiro Matsushita, Masato Mimura

Abstract: Let $G$ be a group and $N$ a normal subgroup of $G$. We study the large scale behavior, not the exact values themselves, of the stable mixed commutator length $scl_{G,N}$ on the mixed commutator subgroup $[G,N]$; when $N=G$, $scl_{G,N}$ equals the stable commutator length $scl_G$ on the commutator subgroup $[G,G]$. For this purpose, we regard $scl_{G,N}$ not only as a function from $[G,N]$ to… ▽ More Let $G$ be a group and $N$ a normal subgroup of $G$. We study the large scale behavior, not the exact values themselves, of the stable mixed commutator length $scl_{G,N}$ on the mixed commutator subgroup $[G,N]$; when $N=G$, $scl_{G,N}$ equals the stable commutator length $scl_G$ on the commutator subgroup $[G,G]$. For this purpose, we regard $scl_{G,N}$ not only as a function from $[G,N]$ to $\mathbb{R}_{\geq 0}$, but as a bi-invariant metric function $d^+_{scl_{G,N}}$ from $[G,N]\times [G,N]$ to $\mathbb{R}_{\geq 0}$. Our main focus is coarse group theoretic structures of $([G,N],d^+_{scl_{G,N}})$. Our preliminary result (the absolute version) connects, via the Bavard duality, $([G,N],d^+_{scl_{G,N}})$ and the quotient vector space of the space of $G$-invariant quasimorphisms on $N$ over one of such homomorphisms. In particular, we prove that the dimension of this vector space equals the asymptotic dimension of $([G,N],d^+_{scl_{G,N}})$. Our main result is the comparative version: we connect the coarse kernel, formulated by Leitner and Vigolo, of the coarse homomorphism $ι_{G,N}\colon ([G,N],d^+_{scl_{G,N}})\to ([G,N],d^+_{scl_{G}})$; $y\mapsto y$, and a certain quotient vector space $W(G,N)$ of the space of invariant quasimorphisms. Assume that $N=[G,G]$ and that $W(G,N)$ is finite dimensional with dimension $\ell$. Then we prove that the coarse kernel of $ι_{G,N}$ is isomorphic to $\mathbb{Z}^{\ell}$ as a coarse group. In contrast to the absolute version, the space $W(G,N)$ is finite dimensional in many cases, including all $(G,N)$ with finitely generated $G$ and nilpotent $G/N$. As an application of our result, given a group homomorphism $\varphi\colon G\to H$ between finitely generated groups, we define an $\mathbb{R}$-linear map `inside' the groups, which is dual to the naturally defined $\mathbb{R}$-linear map from $W(H,[H,H])$ to $W(G,[G,G])$ induced by $\varphi$. △ Less

Submitted 3 April, 2025; v1 submitted 14 June, 2023; originally announced June 2023.

Comments: 72 pages, no figure. (v4): corrections of Proposition 2.5 (2) and Example 11.4: additional assumptions were needed there; Minor revision (v3): Definition 3.8 and Remark 3.18 added; Minor revision (v2): some symbols changed

MSC Class: primary 20F69; secondary 51F30; 20F65; 20F12

Van Kampen-Flores theorem and Stiefel-Whitney classes

Authors: Daisuke Kishimoto, Takahiro Matsushita

Abstract: The van Kampen-Flores theorem states that the $d$-skeleton of a $(2d+2)$-simplex does not embed into $\mathbb{R}^{2d}$. We prove the van Kampen-Flores theorem for triangulations of manifolds satisfying a certain condition on their Stiefel-Whitney classes. In particular, we show that the $d$-skeleton of a triangulation of a $(2d+1)$-manifold with non-trivial total Stiefel-Whitney class does not emb… ▽ More The van Kampen-Flores theorem states that the $d$-skeleton of a $(2d+2)$-simplex does not embed into $\mathbb{R}^{2d}$. We prove the van Kampen-Flores theorem for triangulations of manifolds satisfying a certain condition on their Stiefel-Whitney classes. In particular, we show that the $d$-skeleton of a triangulation of a $(2d+1)$-manifold with non-trivial total Stiefel-Whitney class does not embed into $\mathbb{R}^{2d}$. △ Less

Submitted 27 August, 2023; v1 submitted 17 April, 2023; originally announced April 2023.

Comments: 8 pages, minor revision, to appear in Proceedings of the American Mathematical Society

Survey on invariant quasimorphisms and stable mixed commutator length

Authors: Morimichi Kawasaki, Mitsuaki Kimura, Shuhei Maruyama, Takahiro Matsushita, Masato Mimura

Abstract: A homogeneous quasimorphism $φ$ on a normal subgroup $N$ of $G$ is said to be $G$-invariant if $φ(gxg^{-1}) = φ(x)$ for every $g \in G$ and for every $x \in N$. Invariant quasimorphisms have naturally appeared in symplectic geometry and the extension problem of quasimorphisms. Moreover, it is known that the existence of non-extendable invariant quasimorphisms is closely related to the behavior of… ▽ More A homogeneous quasimorphism $φ$ on a normal subgroup $N$ of $G$ is said to be $G$-invariant if $φ(gxg^{-1}) = φ(x)$ for every $g \in G$ and for every $x \in N$. Invariant quasimorphisms have naturally appeared in symplectic geometry and the extension problem of quasimorphisms. Moreover, it is known that the existence of non-extendable invariant quasimorphisms is closely related to the behavior of the stable mixed commutator length $\mathrm{scl}_{G,N}$, which is a certain generalization of the stable commutator length $\mathrm{scl}_G$. In this survey, we review the history and recent developments of invariant quasimorphisms and stable mixed commutator length. The topics we treat include several examples of invariant quasimorphisms, Bavard's duality theorem for invariant quasimorphisms, Aut-invariant quasimorphisms, and the estimation of the dimension of spaces of non-extendable quasimorphisms. We also mention the extension problem of partial quasimorphisms. △ Less

Submitted 28 January, 2024; v1 submitted 21 December, 2022; originally announced December 2022.

Comments: 37 pages, 2 figure; major revision, to appear in Topology Proceedings

MSC Class: Primary 20F65; Secondary 20J06; 70H15; 20E36; 20F12

Independence complexes of $(n \times 6)$-grid graphs

Authors: Takahiro Matsushita, Shun Wakatsuki

Abstract: We determine the homotopy types of the independence complexes of the $(n \times 6)$-square grid graphs. In fact, we show that these complexes are homotopy equivalent to wedges of spheres. We determine the homotopy types of the independence complexes of the $(n \times 6)$-square grid graphs. In fact, we show that these complexes are homotopy equivalent to wedges of spheres. △ Less

Submitted 29 January, 2023; v1 submitted 21 July, 2022; originally announced July 2022.

Comments: 13 pages, 7 figures, final version, to appear in Homology, Homotopy and Applications. arXiv admin note: text overlap with arXiv:2203.16391

Independence complexes of $(n \times 4)$ and $(n \times 5)$-grid graphs

Authors: Takahiro Matsushita, Shun Wakatsuki

Abstract: We determine the homotopy types of the independence complexes of $(n \times 4)$ and $(n \times 5)$-square grid graphs. In fact, they are homotopy equivalent to wedges of spheres. We determine the homotopy types of the independence complexes of $(n \times 4)$ and $(n \times 5)$-square grid graphs. In fact, they are homotopy equivalent to wedges of spheres. △ Less

Submitted 23 April, 2023; v1 submitted 30 March, 2022; originally announced March 2022.

Comments: 20 pages, 15 figures, minor revision, to appear in Topology and its Applications

Invariant quasimorphisms for groups acting on the circle and non-equivalence of SCL

Authors: Shuhei Maruyama, Takahiro Matsushita, Masato Mimura

Abstract: We construct invariant quasimorphisms for groups acting on the circle. Furthermore, we provide a criterion for the non-extendablity of the resulting quasimorphisms and an explicit formula which relates the values of our quasimorphisms to those of the Poincaré translation number. By using them, we show that the stable commutator length $\mathrm{scl}_G$ and the stable mixed commutator length… ▽ More We construct invariant quasimorphisms for groups acting on the circle. Furthermore, we provide a criterion for the non-extendablity of the resulting quasimorphisms and an explicit formula which relates the values of our quasimorphisms to those of the Poincaré translation number. By using them, we show that the stable commutator length $\mathrm{scl}_G$ and the stable mixed commutator length $\mathrm{scl}_{G,N}$ are not bi-Lipschitzly equivalent for the surface group $G=π_1(Σ_{\ell})$ of genus at least $2$ and its commutator subgroup $N = [π_1(Σ_{\ell}), π_1(Σ_{\ell})]$. We also show the non-equivalence for a pair $(G,N)$ such that $G$ is the fundamental group of a $3$-dimensional closed hyperbolic mapping torus. These pairs serve as the first family of examples of such $(G,N)$ in which $G$ is finitely generated. △ Less

Submitted 7 February, 2023; v1 submitted 17 March, 2022; originally announced March 2022.

Comments: 25 pages, no figure. Major revision: title, introduction, and the main theorem are changed

Mixed commutator lengths, wreath products and general ranks

Authors: Morimichi Kawasaki, Mitsuaki Kimura, Shuhei Maruyama, Takahiro Matsushita, Masato Mimura

Abstract: In the present paper, for a pair $(G,N)$ of a group $G$ and its normal subgroup $N$, we consider the mixed commutator length $\mathrm{cl}_{G,N}$ on the mixed commutator subgroup $[G,N]$. We focus on the setting of wreath products: $ (G,N)=(\mathbb{Z}\wr Γ, \bigoplus_Γ\mathbb{Z})$. Then we determine mixed commutator lengths in terms of the general rank in the sense of Malcev. As a byproduct, when a… ▽ More In the present paper, for a pair $(G,N)$ of a group $G$ and its normal subgroup $N$, we consider the mixed commutator length $\mathrm{cl}_{G,N}$ on the mixed commutator subgroup $[G,N]$. We focus on the setting of wreath products: $ (G,N)=(\mathbb{Z}\wr Γ, \bigoplus_Γ\mathbb{Z})$. Then we determine mixed commutator lengths in terms of the general rank in the sense of Malcev. As a byproduct, when an abelian group $Γ$ is not locally cyclic, the ordinary commutator length $\mathrm{cl}_G$ does not coincide with $\mathrm{cl}_{G,N}$ on $[G,N]$ for the above pair. On the other hand, we prove that if $Γ$ is locally cyclic, then for every pair $(G,N)$ such that $1\to N\to G\to Γ\to 1$ is exact, $\mathrm{cl}_{G}$ and $\mathrm{cl}_{G,N}$ coincide on $[G,N]$. We also study the case of permutational wreath products when the group $Γ$ belongs to a certain class related to surface groups. △ Less

Submitted 11 January, 2023; v1 submitted 8 March, 2022; originally announced March 2022.

Comments: 33 pages, no figure, Proposition 4.4 in the previous version was false, and we replaced it with a weaker version. To appear in Kodai Mathematical Journal

Jacobi identity in polyhedral products

Authors: Daisuke Kishimoto, Takahiro Matsushita, Ryusei Yoshise

Abstract: We show that a relation among minimal non-faces of a fillable complex $K$ yields an identity of iterated (higher) Whitehead products in a polyhedral product over $K$. In particular, for the $(n-1)$-skeleton of a simplicial $n$-sphere, we always have such an identity, and for the $(n-1)$-skeleton of a $(n+1)$-simplex, the identity is the Jacobi identity of Whitehead products ($n=1$) and Hardie's id… ▽ More We show that a relation among minimal non-faces of a fillable complex $K$ yields an identity of iterated (higher) Whitehead products in a polyhedral product over $K$. In particular, for the $(n-1)$-skeleton of a simplicial $n$-sphere, we always have such an identity, and for the $(n-1)$-skeleton of a $(n+1)$-simplex, the identity is the Jacobi identity of Whitehead products ($n=1$) and Hardie's identity of higher Whitehead products ($n\ge 2$). △ Less

Submitted 23 November, 2021; originally announced November 2021.

Comments: 8 pages

MSC Class: 55Q15; 55P15

Van Kampen-Flores theorem for cell complexes

Authors: Daisuke Kishimoto, Takahiro Matsushita

Abstract: The van Kampen-Flores theorem states that the $n$-skeleton of a $(2n+2)$-simplex does not embed into $\mathbb{R}^{2n}$. We give two proofs for its generalization to a continuous map from a skeleton of a certain regular CW complex (e.g. a simplicial sphere) into a Euclidean space. We will also generalize Frick and Harrison's result on the chirality of embeddings of the $n$-skeleton of a $(2n+2)$-si… ▽ More The van Kampen-Flores theorem states that the $n$-skeleton of a $(2n+2)$-simplex does not embed into $\mathbb{R}^{2n}$. We give two proofs for its generalization to a continuous map from a skeleton of a certain regular CW complex (e.g. a simplicial sphere) into a Euclidean space. We will also generalize Frick and Harrison's result on the chirality of embeddings of the $n$-skeleton of a $(2n+2)$-simplex into $\mathbb{R}^{2n+1}$. △ Less

Submitted 4 August, 2023; v1 submitted 20 September, 2021; originally announced September 2021.

Comments: 10 pages, some of the results (especially Theorem 1.4 and Corollary 1.5) were improved, final version, to appear in Discrete & Computational Geometry

The space of non-extendable quasimorphisms

Authors: Morimichi Kawasaki, Mitsuaki Kimura, Shuhei Maruyama, Takahiro Matsushita, Masato Mimura

Abstract: For a pair $(G,N)$ of a group $G$ and its normal subgroup $N$, we consider the space of quasimorphisms and quasi-cocycles on $N$ non-extendable to $G$. To treat this space, we establish the five-term exact sequence of cohomology relative to the bounded subcomplex. As its application, we study the spaces associated with the kernel of the (volume) flux homomorphism, the IA-automorphism group of a fr… ▽ More For a pair $(G,N)$ of a group $G$ and its normal subgroup $N$, we consider the space of quasimorphisms and quasi-cocycles on $N$ non-extendable to $G$. To treat this space, we establish the five-term exact sequence of cohomology relative to the bounded subcomplex. As its application, we study the spaces associated with the kernel of the (volume) flux homomorphism, the IA-automorphism group of a free group, and certain normal subgroups of Gromov-hyperbolic groups. Furthermore, we employ this space to prove that the stable commutator length is equivalent to the stable mixed commutator length for certain pairs of a group and its normal subgroup. △ Less

Submitted 16 August, 2023; v1 submitted 18 July, 2021; originally announced July 2021.

Comments: 60 pages, 1 figure. Minor revision, errors corrected and explanations brushed up

MSC Class: 20J06; 20J05; 20F65; 57M07

Journal ref: Algebr. Geom. Topol. 25 (2025) 1169-1226

Commuting symplectomorphisms on a surface and the flux homomorphism

Authors: Morimichi Kawasaki, Mitsuaki Kimura, Takahiro Matsushita, Masato Mimura

Abstract: Let $(S,ω)$ be a closed connected oriented surface whose genus $l$ is at least two equipped with a symplectic form. Then we show the vanishing of the cup product of the fluxes of commuting symplectomorphisms. This result may be regarded as an obstruction for commuting symplectomorphisms. In particular, the image of an abelian subgroup of $\mathrm{Symp}_0^c(S, ω)$ under the flux homomorphism is iso… ▽ More Let $(S,ω)$ be a closed connected oriented surface whose genus $l$ is at least two equipped with a symplectic form. Then we show the vanishing of the cup product of the fluxes of commuting symplectomorphisms. This result may be regarded as an obstruction for commuting symplectomorphisms. In particular, the image of an abelian subgroup of $\mathrm{Symp}_0^c(S, ω)$ under the flux homomorphism is isotropic with respect to the natural intersection form on $H^1(S;\mathbb{R})$. The key to the proof is a refinement of the non-extendability result, previously given by the first-named and second-named authors, for Py's Calabi quasimorphism $μ_P$ on $\mathrm{Ham}(S, ω)$. △ Less

Submitted 18 June, 2023; v1 submitted 24 February, 2021; originally announced February 2021.

Comments: The authors found Rousseau's very important previous work (Theorem 1.2) and thus they add his result and erased Subsection 4.3 in the previous version, published in Geom. Funct. Anal., 32 pages, 4 figures

MSC Class: Primary 20F12; 20J05; 37E35; 53D35; 70H15; Secondary 20F36; 37A15; 37J05; 37J10; 57R17; 53D22

Journal ref: Geometric and Functional Analysis (2023)

Dominance complexes and vertex cover numbers of graphs

Authors: Takahiro Matsushita

Abstract: The dominance complex $D(G)$ of a simple graph $G = (V,E)$ is the simplicial complex consisting of the subsets of $V$ whose complements are dominating. We show that the connectivity of $D(G)$ plus $2$ is a lower bound for the vertex cover number $τ(G)$ of $G$. The dominance complex $D(G)$ of a simple graph $G = (V,E)$ is the simplicial complex consisting of the subsets of $V$ whose complements are dominating. We show that the connectivity of $D(G)$ plus $2$ is a lower bound for the vertex cover number $τ(G)$ of $G$. △ Less

Submitted 5 December, 2022; v1 submitted 9 September, 2020; originally announced September 2020.

Comments: 6 pages, the title was slightly modified, final version, to appear in Journal of Applied and Computational Topology

Graphs whose Kronecker covers are bipartite Kneser graphs

Authors: Takahiro Matsushita

Abstract: We show that there are $k$ simple graphs whose Kronecker covers are isomorphic to the bipartite Kneser graph $H(n,k)$, and that their chromatic numbers coincide with $χ(K(n,k)) = n - 2k + 2$. We also determine the automorphism groups of these graphs. We show that there are $k$ simple graphs whose Kronecker covers are isomorphic to the bipartite Kneser graph $H(n,k)$, and that their chromatic numbers coincide with $χ(K(n,k)) = n - 2k + 2$. We also determine the automorphism groups of these graphs. △ Less

Submitted 6 December, 2020; v1 submitted 20 August, 2020; originally announced August 2020.

Comments: 9 pages. Introduction was rewritten, to appear in Discrete Mathematics

Bavard's duality theorem for mixed commutator length

Authors: Morimichi Kawasaki, Mitsuaki Kimura, Takahiro Matsushita, Masato Mimura

Abstract: Let $N$ be a normal subgroup of a group $G$. A quasimorphism $f$ on $N$ is $G$-invariant if $f(gxg^{-1}) = f(x)$ for every $g \in G$ and every $x \in N$. The goal in this paper is to establish Bavard's duality theorem of $G$-invariant quasimorphisms, which was previously proved by Kawasaki and Kimura in the case $N = [G,N]$. Our duality theorem provides a connection between $G$-invariant quasimo… ▽ More Let $N$ be a normal subgroup of a group $G$. A quasimorphism $f$ on $N$ is $G$-invariant if $f(gxg^{-1}) = f(x)$ for every $g \in G$ and every $x \in N$. The goal in this paper is to establish Bavard's duality theorem of $G$-invariant quasimorphisms, which was previously proved by Kawasaki and Kimura in the case $N = [G,N]$. Our duality theorem provides a connection between $G$-invariant quasimorphisms and $(G,N)$-commutator lengths. Here for $x \in [G,N]$, the $(G,N)$-commutator length $\mathrm{cl}_{G,N}(x)$ of $x$ is the minimum number $n$ such that $x$ is a product of $n$ commutators which are written as $[g,x]$ with $g \in G$ and $h \in N$. In the proof, we give a geometric interpretation of $(G,N)$-commutator lengths. As an application of our Bavard duality, we obtain a sufficient condition on a pair $(G,N)$ under which $\mathrm{scl}_G$ and $\mathrm{scl}_{G,N}$ are bi-Lipschitzly equivalent on $[G,N]$. △ Less

Submitted 22 March, 2022; v1 submitted 5 July, 2020; originally announced July 2020.

Comments: Final version. Several typos were corrected. In particular, the definition of (G,N)-simplicial surfaces has been fixed. 36 pages, 5 figures, to appear in L'Enseignement Mathematique

Independence complexes of hypergraphs and bounded degree complexes

Authors: Takahiro Matsushita

Abstract: The bounded degree complex $BD(G,λ)$ is a generalization of the matching complexes of a graph. In this paper, we show that the bounded degree complex of a forest is shellable, by using independence complexes of hypergraphs. We obtain a wedge decomposition result of bounded degree complexes when a graph $G$ has a leaf The bounded degree complex $BD(G,λ)$ is a generalization of the matching complexes of a graph. In this paper, we show that the bounded degree complex of a forest is shellable, by using independence complexes of hypergraphs. We obtain a wedge decomposition result of bounded degree complexes when a graph $G$ has a leaf △ Less

Submitted 24 February, 2022; v1 submitted 28 April, 2020; originally announced April 2020.

Comments: The proof of this paper had a flaw. In fact, every chordal clutter is chordal but it is not true that the independence complex of a chordal "hypergraph" is not shellable in general. Correcting the proof may not be difficult, but a stronger result is already known; see "Vertex decomposability of complexes associated to forests" by Anurag Singh. So I withdraw this paper

Matching complexes of polygonal line tilings

Authors: Takahiro Matsushita

Abstract: The matching complex of a simple graph $G$ is a simplicial complex consisting of the matchings on $G$. Jelić Milutinović et al. studied the matching complexes of the polygonal line tilings, and they gave a lower bound for the connectivity of the matching complexes of polygonal line tilings. In this paper, we determine the homotopy types of the matching complexes of polygonal line tilings recursive… ▽ More The matching complex of a simple graph $G$ is a simplicial complex consisting of the matchings on $G$. Jelić Milutinović et al. studied the matching complexes of the polygonal line tilings, and they gave a lower bound for the connectivity of the matching complexes of polygonal line tilings. In this paper, we determine the homotopy types of the matching complexes of polygonal line tilings recursively, and determine their connectivities. △ Less

Submitted 16 June, 2022; v1 submitted 30 September, 2019; originally announced October 2019.

Comments: 19 pages, final version, to appear in Hokkaido Mathematical Journal

Relative phantom maps and rational homotopy

Authors: Daisuke Kishimoto, Takahiro Matsushita

Abstract: We generalize some results of Gray and McGibbon-Roitberg on relations between phantom maps and rational homotopy to relative phantom maps. Since the $\lim^1$ and the profinite completion techniques do not apply to relative phantom maps, we develop new techniques. We generalize some results of Gray and McGibbon-Roitberg on relations between phantom maps and rational homotopy to relative phantom maps. Since the $\lim^1$ and the profinite completion techniques do not apply to relative phantom maps, we develop new techniques. △ Less

Submitted 29 October, 2020; v1 submitted 29 July, 2019; originally announced July 2019.

Comments: 14 pages, small corrections, to appear in Proceedings of the American Mathematical Society

Matching complexes of small grids

Authors: Takahiro Matsushita

Abstract: The matching complex $M(G)$ of a simple graph $G$ is the simplicial complex consisting of the matchings on $G$. The matching complex $M(G)$ is isomorphic to the independence complex of the line graph $L(G)$. Braun and Hough introduced a family of graphs $Δ^m_n$, which is a generalization of the line graph of the $(n \times 2)$-grid graph. In this paper, we show that the independence complex of… ▽ More The matching complex $M(G)$ of a simple graph $G$ is the simplicial complex consisting of the matchings on $G$. The matching complex $M(G)$ is isomorphic to the independence complex of the line graph $L(G)$. Braun and Hough introduced a family of graphs $Δ^m_n$, which is a generalization of the line graph of the $(n \times 2)$-grid graph. In this paper, we show that the independence complex of $Δ^m_n$ is a wedge of spheres. This gives an answer to a problem suggested by Braun and Hough. △ Less

Submitted 27 June, 2019; v1 submitted 28 December, 2018; originally announced December 2018.

Comments: 7 pages, 6 figures, to appear in the Electronic Journal of Combinatorics

Z2-indices and Hedetniemi's conjecture

Authors: Takahiro Matsushita

Abstract: The $\mathbb{Z}_2$-index ${\rm ind}(X)$ of a $\mathbb{Z}_2$-CW-complex $X$ is the smallest number $n$ such that there is a $\mathbb{Z}_2$-map from $X$ to $S^n$. Here we consider $S^n$ as a $\mathbb{Z}_2$-space by the antipodal map. Hedetniemi's conjecture is a long standing conjecture in graph theory concerning the graph coloring problem of tensor products of finite graphs. We show that if Hedetni… ▽ More The $\mathbb{Z}_2$-index ${\rm ind}(X)$ of a $\mathbb{Z}_2$-CW-complex $X$ is the smallest number $n$ such that there is a $\mathbb{Z}_2$-map from $X$ to $S^n$. Here we consider $S^n$ as a $\mathbb{Z}_2$-space by the antipodal map. Hedetniemi's conjecture is a long standing conjecture in graph theory concerning the graph coloring problem of tensor products of finite graphs. We show that if Hedetniemi's conjecture is true, then ${\rm ind}(X \times Y) = \min \{ {\rm ind}(X) , {\rm ind}(Y)\}$ for every pair $X$ and $Y$ of finite $\mathbb{Z}_2$-complexes. △ Less

Submitted 30 March, 2019; v1 submitted 15 October, 2017; originally announced October 2017.

Comments: 11 pages, final version, to appear in Discrete & Computational Geometry

Relative phantom maps

Authors: Kouyemon Iriye, Daisuke Kishimoto, Takahiro Matsushita

Abstract: The de Bruijn-Erdős theorem states that the chromatic number of an infinite graph equals the maximum of the chromatic numbers of finite subgraphs. Such a determinativeness by finite subobjects appears in the definition of a phantom map which is classical in algebraic topology. The topological method in combinatorics connects these two, which leads us to define the relative version of a phantom map… ▽ More The de Bruijn-Erdős theorem states that the chromatic number of an infinite graph equals the maximum of the chromatic numbers of finite subgraphs. Such a determinativeness by finite subobjects appears in the definition of a phantom map which is classical in algebraic topology. The topological method in combinatorics connects these two, which leads us to define the relative version of a phantom map: a map $f\colon X\to Y$ is called a relative phantom map to a map $\varphi\colon B\to Y$ if the restriction of $f$ to any finite subcomplex of $X$ lifts to $B$ through $\varphi$, up to homotopy. There are two kinds of maps which are obviously relative phantom maps: (1) the composite of a map $X\to B$ with $\varphi$; (2) a usual phantom map $X\to Y$. A relative phantom map of type (1) is called trivial, and a relative phantom map out of a suspension which is a sum of (1) and (2) is called relatively trivial. We study the (relative) triviality of relative phantom maps and in particular, we give rational homology conditions for the (relative) triviality. △ Less

Submitted 17 July, 2020; v1 submitted 1 October, 2017; originally announced October 2017.

Comments: 19 pages. This is the final version. Corollary 6.14 in the previous version is false, and is deleted

Journal ref: Algebr. Geom. Topol. 19 (2019) 341-362

Loop space construction of bigraphs and box complexes

Authors: Takahiro Matsushita

Abstract: 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-colori… ▽ More 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. △ Less

Submitted 19 October, 2016; originally announced October 2016.

Comments: 13 pages, 1 figure

Box complexes and homotopy theory of graphs

Authors: Takahiro Matsushita

Abstract: 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 t… ▽ More 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. △ Less

Submitted 29 July, 2017; v1 submitted 20 May, 2016; originally announced May 2016.

Comments: 21 pages, final version, to be published in Homotopy, Homology and Applications

Homotopy types of Hom complexes of graphs

Authors: Takahiro Matsushita

Abstract: The Hom complex ${\rm Hom}(T,G)$ of graphs is a CW-complex associated to a pair of graphs $T$ and $G$, considered in the graph coloring problem. It is known that certain homotopy invariants of ${\rm Hom}(T,G)$ give lower bounds for the chromatic number of $G$. For a fixed finite graph $T$, we show that there is no homotopy invariant of ${\rm Hom}(T,G)$ which gives an upper bound for the chromati… ▽ More The Hom complex ${\rm Hom}(T,G)$ of graphs is a CW-complex associated to a pair of graphs $T$ and $G$, considered in the graph coloring problem. It is known that certain homotopy invariants of ${\rm Hom}(T,G)$ give lower bounds for the chromatic number of $G$. For a fixed finite graph $T$, we show that there is no homotopy invariant of ${\rm Hom}(T,G)$ which gives an upper bound for the chromatic number of $G$. More precisely, for a non-bipartite graph $G$, we construct a graph $H$ such that ${\rm Hom}(T,G)$ and ${\rm Hom}(T,H)$ are homotopy equivalent but $χ(H)$ is much larger than $χ(G)$. The equivariant homotopy type of ${\rm Hom}(T,G)$ is also considered. △ Less

Submitted 29 July, 2017; v1 submitted 13 September, 2015; originally announced September 2015.

Comments: 13 pages, final version. In the present version, the proofs are simplified

Journal ref: European J. Combin. 63 (2017), 216-226

Some examples of non-tidy spaces

Authors: Takahiro Matsushita

Abstract: 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 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$. △ Less

Submitted 26 April, 2014; v1 submitted 23 April, 2014; originally announced April 2014.

Comments: 4 pages

Neighborhood complexes and Kronecker double coverings

Authors: Takahiro Matsushita

Abstract: The neighborhood complex $N(G)$ is a simplicial complex assigned to a graph $G$ whose connectivity gives a lower bound for the chromatic number of $G$. We show that if the Kronecker double coverings of graphs are isomorphic, then their neighborhood complexes are isomorphic. As an application, for integers $m$ and $n$ greater than 2, we construct connected graphs $G$ and $H$ such that… ▽ More The neighborhood complex $N(G)$ is a simplicial complex assigned to a graph $G$ whose connectivity gives a lower bound for the chromatic number of $G$. We show that if the Kronecker double coverings of graphs are isomorphic, then their neighborhood complexes are isomorphic. As an application, for integers $m$ and $n$ greater than 2, we construct connected graphs $G$ and $H$ such that $N(G) \cong N(H)$ but $χ(G) = m$ and $χ(H) = n$. We also construct a graph $KG_{n,k}'$ such that $KG_{n,k}'$ and the Kneser graph $KG_{n,k}$ are not isomorphic but their Kronecker double coverings are isomorphic. △ Less

Submitted 20 August, 2020; v1 submitted 6 April, 2014; originally announced April 2014.

Comments: 10 pages. Some results concerning box complexes are deleted. to appear in Osaka J. Math

Morphism complexes of sets with relations

Authors: Takahiro Matsushita

Abstract: 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… ▽ More 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. △ Less

Submitted 19 April, 2016; v1 submitted 3 February, 2014; originally announced February 2014.

Comments: 13 pages, final version, published in Osaka Journal of Mathematics vol 53, no.1 (2016)

Journal ref: Osaka Journal of Mathematics, vol.53, no.1 (2016)

Deformations of box complexes

Authors: Takahiro Matsushita

Abstract: 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… ▽ More 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. △ Less

Submitted 28 June, 2015; v1 submitted 11 December, 2013; originally announced December 2013.

Comments: This paper has been with drawn by the author since the main result was already shown by Walker "From graphs to ortholattices and equivariant maps", J. Combin. Theory Ser. B 35, 171-192 (1982)

Generalization of neighborhood complexes

Authors: Takahiro Matsushita

Abstract: 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 rela… ▽ More 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. △ Less

Submitted 11 May, 2013; originally announced May 2013.

Comments: 8 pages

Answers to some problems about graph coloring test graphs

Authors: Takahiro Matsushita

Abstract: 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. 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. △ Less

Submitted 29 July, 2017; v1 submitted 6 March, 2013; originally announced March 2013.

Comments: 7 pages, 3 figures, final version. In the previous version, I actually solved a problem weaker than the original one

Journal ref: European J. Combin. 45 (2015) 59-64

$r$-fundamental groups of graphs

Authors: Takahiro Matsushita

Abstract: 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. Esp… ▽ More 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. △ Less

Submitted 13 September, 2015; v1 submitted 30 January, 2013; originally announced January 2013.

Comments: This paper has been withdrawn by the author since he wrote the results of this paper in the latest version of arXiv:1210.2803

Fundamental groups of neighborhood complexes

Authors: Takahiro Matsushita

Abstract: 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… ▽ More 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. △ Less

Submitted 29 July, 2021; v1 submitted 10 October, 2012; originally announced October 2012.

Comments: Corollary 5.11 stating there is no homomorphism from K(2k+1,k) to C_5 is easily deduced by known results of circular chromatic number. Indeed, the circular chromatic numbers of C_5 and K(2k+1,k) are 5/2 and 3, respectively, where the latter is a part of Johnson-Holroyd-Stahl conjecture settled by Chen "A new coloring theorem of Kneser graphs" J. Combin. Theory Ser. A 118(3): 1062-1071, 2011

Journal ref: J. Math. Sci. Univ. Tokyo 24 (2017), 321-353