Source author record

Takahiro Matsushita

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AT math.CO math.GR math.GT

Catalog footprint

Research overview

12works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2023arXiv

Mixed commutator lengths, wreath products and general ranks

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.

preprint2022arXiv

Bavard's duality theorem for mixed commutator length

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]$ .

preprint2022arXiv

Independence complexes of hypergraphs and bounded degree complexes

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

preprint2022arXiv

Matching complexes of polygonal line tilings

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.

preprint2020arXiv

Neighborhood complexes and Kronecker double coverings

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.

preprint2020arXiv

Relative phantom maps

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 $φ\colon B\to Y$ if the restriction of $f$ to any finite subcomplex of $X$ lifts to $B$ through $φ$ , 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 $φ$ ; (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.

preprint2016arXiv

Loop space construction of bigraphs and box complexes

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.

preprint2016arXiv

Morphism complexes of sets with relations

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.

preprint2015arXiv

$r$ -fundamental groups of graphs

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.

preprint2015arXiv

Deformations of box 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.

preprint2014arXiv

Some examples of non-tidy spaces

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$ .

preprint2013arXiv

Generalization of neighborhood 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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Takahiro Matsushita

Research overview

Is this your work?

12 publications

Mixed commutator lengths, wreath products and general ranks

Bavard's duality theorem for mixed commutator length

Independence complexes of hypergraphs and bounded degree complexes

Matching complexes of polygonal line tilings

Neighborhood complexes and Kronecker double coverings

Relative phantom maps

Loop space construction of bigraphs and box complexes

Morphism complexes of sets with relations

$r$ -fundamental groups of graphs

Deformations of box complexes

Some examples of non-tidy spaces

Generalization of neighborhood complexes

See the researcher in context

Building this map preview

Takahiro Matsushita

Research overview

Is this your work?

12 publications

Mixed commutator lengths, wreath products and general ranks

Bavard's duality theorem for mixed commutator length

Independence complexes of hypergraphs and bounded degree complexes

Matching complexes of polygonal line tilings

Neighborhood complexes and Kronecker double coverings

Relative phantom maps

Loop space construction of bigraphs and box complexes

Morphism complexes of sets with relations

rrr-fundamental groups of graphs

Deformations of box complexes

Some examples of non-tidy spaces

Generalization of neighborhood complexes

See the researcher in context

Building this map preview

$r$ -fundamental groups of graphs