Showing 1–50 of 55 results for author: Kishimoto, D

Morse inequalities for noncompact manifolds

Authors: Tsuyoshi Kato, Daisuke Kishimoto, Mitsunobu Tsutaya

Abstract: We establish Morse inequalities for a noncompact manifold with a cocompact and properly discontinuous action of a discrete group, where Morse functions are not necessarily invariant under the group action. The inequalities are given in terms of the $L^2$-Betti numbers and functions on the acting group which describe rough configurations of critical points of a Morse function. We establish Morse inequalities for a noncompact manifold with a cocompact and properly discontinuous action of a discrete group, where Morse functions are not necessarily invariant under the group action. The inequalities are given in terms of the $L^2$-Betti numbers and functions on the acting group which describe rough configurations of critical points of a Morse function. △ Less

Submitted 7 February, 2025; v1 submitted 7 November, 2024; originally announced November 2024.

Comments: 28 pages, the definition of a fundamental domain is modified

MSC Class: 57R19; 58E05

The fundamental group and the magnitude-path spectral sequence of a directed graph

Authors: Daisuke Kishimoto, Yichen Tong

Abstract: The fundamental group of a directed graph admits a natural sequence of quotient groups called $r$-fundamental groups, and the $r$-fundamental groups can capture properties of a directed graph that the fundamental group cannot capture. The fundamental group of a directed graph is related to path homology through the Hurewicz theorem. The magnitude-path spectral sequence connects magnitude homology… ▽ More The fundamental group of a directed graph admits a natural sequence of quotient groups called $r$-fundamental groups, and the $r$-fundamental groups can capture properties of a directed graph that the fundamental group cannot capture. The fundamental group of a directed graph is related to path homology through the Hurewicz theorem. The magnitude-path spectral sequence connects magnitude homology and path homology of a directed graph, and it may be thought of as a sequence of homology of a directed graph, including path homology. In this paper, we study relations of the $r$-fundamental groups and the magnitude-path spectral sequence through the Hurewicz theorem and the Seifert-van Kampen theorem. △ Less

Submitted 22 May, 2025; v1 submitted 5 November, 2024; originally announced November 2024.

Comments: 29 pages

MSC Class: 05C20; 55Q70

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

Homotopy commutativity in quasitoric manifolds

Authors: Sho Hasui, Daisuke Kishimoto, Yichen Tong, Mitsunobu Tsutaya

Abstract: We prove that the loop space of a quasitoric manifold is homotopy commutative if and only if the underlying polytope is a product of $3$-simplices $(Δ^3)^n$ and the characteristic matrix is equivalent to a matrix of certain type. Quasitoric manifolds over $(Δ^3)^n$ include generalized Bott manifolds, and we also construct an infinite family of homotopy nonequivalent generalized Bott manifolds over… ▽ More We prove that the loop space of a quasitoric manifold is homotopy commutative if and only if the underlying polytope is a product of $3$-simplices $(Δ^3)^n$ and the characteristic matrix is equivalent to a matrix of certain type. Quasitoric manifolds over $(Δ^3)^n$ include generalized Bott manifolds, and we also construct an infinite family of homotopy nonequivalent generalized Bott manifolds over $(Δ^3)^n$, only half of them have homotopy commutative loop spaces. In particular, for each $n\ge 2$, there are infinitely many homotopy types in $6n$-dimensional quasitoric manifolds having homotopy (non)commutative loop spaces. △ Less

Submitted 5 March, 2025; v1 submitted 1 April, 2024; originally announced April 2024.

Comments: 14 pages, small expository changes from the first version

MSC Class: 57S12; 55P35; 55Q15

Homotopy commutativity in symmetric spaces

Authors: Daisuke Kishimoto, Yuki Minowa, Toshiyuki Miyauchi, Yichen Tong

Abstract: We extend the former results of Ganea and the two of the authors with Takeda on the homotopy commutativity of the loop spaces of Hermitian symmetric spaces such that the loop spaces of all irreducible symmetric spaces but $\mathbb{C}P^3$ are not homotopy commutative. We extend the former results of Ganea and the two of the authors with Takeda on the homotopy commutativity of the loop spaces of Hermitian symmetric spaces such that the loop spaces of all irreducible symmetric spaces but $\mathbb{C}P^3$ are not homotopy commutative. △ Less

Submitted 22 September, 2023; originally announced September 2023.

Comments: 11pages

MSC Class: 55P35; 55Q15

A short elementary proof of Beben and Theriault's theorem on homotopy fibers

Authors: Daisuke Kishimoto, Yuki Minowa

Abstract: Beben and Theriault proved a theorem on the homotopy fiber of an extension of a map with respect to a cone attachment, which has produced several applications. We give a short and elementary proof of this theorem. Beben and Theriault proved a theorem on the homotopy fiber of an extension of a map with respect to a cone attachment, which has produced several applications. We give a short and elementary proof of this theorem. △ Less

Submitted 23 August, 2023; v1 submitted 20 August, 2023; originally announced August 2023.

Comments: 7 pages

MSC Class: 55P35; 55Q15

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

Tight complexes are Golod

Authors: Kouyemon Iriye, Daisuke Kishimoto

Abstract: The Golodness of a simplicial complex is defined algebraically in terms of the Stanley-Reisner ring, and it has been a long-standing problem to find its combinatorial characterization. The tightness of a simplicial complex is a combinatorial analogue of a tight embedding of a manifold into the Euclidean space, and has been studied in connection to minimal manifold triangulations. In this paper, we… ▽ More The Golodness of a simplicial complex is defined algebraically in terms of the Stanley-Reisner ring, and it has been a long-standing problem to find its combinatorial characterization. The tightness of a simplicial complex is a combinatorial analogue of a tight embedding of a manifold into the Euclidean space, and has been studied in connection to minimal manifold triangulations. In this paper, we prove that tight complexes are Golod, and as a corollary, we obtain that for triangulations of closed connected orientable manifolds, the Golodness and the tightness are equivalent. △ Less

Submitted 4 September, 2023; v1 submitted 5 February, 2023; originally announced February 2023.

Comments: 17 pages, minor corrections

MSC Class: 13F55; 55S30; 57Q15

The space of commuting elements in a Lie group and maps between classifying spaces

Authors: Daisuke Kishimoto, Masahiro Takeda, Mitsunobu Tsutaya

Abstract: Let $π$ be a discrete group, and let $G$ be a compact connected Lie group. Then there is a map $Θ\colon\mathrm{Hom}(π,G)_0\to\mathrm{map}_*(Bπ,BG)_0$ between the null-components of the spaces of homomorphism and based maps, which sends a homomorphism to the induced map between classifying spaces. Atiyah and Bott studied this map for $π$ a surface group, and showed that it is surjective in rational… ▽ More Let $π$ be a discrete group, and let $G$ be a compact connected Lie group. Then there is a map $Θ\colon\mathrm{Hom}(π,G)_0\to\mathrm{map}_*(Bπ,BG)_0$ between the null-components of the spaces of homomorphism and based maps, which sends a homomorphism to the induced map between classifying spaces. Atiyah and Bott studied this map for $π$ a surface group, and showed that it is surjective in rational cohomology. In this paper, we prove that the map $Θ$ is surjective in rational cohomology for $π=\mathbb{Z}^m$ and the classical group $G$ except for $SO(2n)$, and that it is not surjective for $π=\mathbb{Z}^m$ with $m\ge 3$ and $G=SO(2n)$ with $n\ge 4$. As an application, we consider the surjectivity of the map $Θ$ in rational cohomology for $π$ a finitely generated nilpotent group. We also consider the dimension of the cokernel of the map $Θ$ in rational homotopy groups for $π=\mathbb{Z}^m$ and the classical groups $G$ except for $SO(2n)$. △ Less

Submitted 17 October, 2023; v1 submitted 2 February, 2023; originally announced February 2023.

MSC Class: 55R37; 57T10

Vector fields on non-compact manifolds

Authors: Tsuyoshi Kato, Daisuke Kishimoto, Mitsunobu Tsutaya

Abstract: Let $M$ be a non-compact connected manifold with a cocompact and properly discontinuous action of a discrete group $G$. We establish a Poincaré-Hopf theorem for a bounded vector field on $M$ satisfying a mild condition on zeros. As an application, we show that such a vector field must have infinitely many zeros whenever $G$ is amenable and the Euler characteristic of $M/G$ is non-zero. Let $M$ be a non-compact connected manifold with a cocompact and properly discontinuous action of a discrete group $G$. We establish a Poincaré-Hopf theorem for a bounded vector field on $M$ satisfying a mild condition on zeros. As an application, we show that such a vector field must have infinitely many zeros whenever $G$ is amenable and the Euler characteristic of $M/G$ is non-zero. △ Less

Submitted 24 September, 2023; v1 submitted 1 November, 2022; originally announced November 2022.

Comments: 10 pages

MSC Class: 57R25; 58K45

Journal ref: Algebr. Geom. Topol. 24 (2024) 3985-3996

Cellular cosheaf homology are cosheaf homology

Authors: Daisuke Kishimoto, Yasutomo Yushima

Abstract: A cosheaf is the dual notion of a sheaf, but we cannot define its homology as the formal dual of sheaf cohomology, in general, because of the lack of the cosheafification. A cellular cosheaf is a contravariant functor from the face poset of a CW complex to the category of abelian groups. We show that given a cellular cosheaf $F$, there is a natural way to associate a cosheaf $\widehat{F}$, for whi… ▽ More A cosheaf is the dual notion of a sheaf, but we cannot define its homology as the formal dual of sheaf cohomology, in general, because of the lack of the cosheafification. A cellular cosheaf is a contravariant functor from the face poset of a CW complex to the category of abelian groups. We show that given a cellular cosheaf $F$, there is a natural way to associate a cosheaf $\widehat{F}$, for which we can define homology as the formal dual of sheaf cohomology, such that the Borel-Moore homology of $F$ is isomorphic to the homology of $\widehat{F}$ whenever the underlying CW complex of $F$ is a simplicial complex. △ Less

Submitted 8 February, 2022; originally announced February 2022.

Comments: 11 pages

MSC Class: 55N30; 18F20

Homotopy commutativity in Hermitian symmetric spaces

Authors: Daisuke Kishimoto, Masahiro Takeda, Yichen Tong

Abstract: Ganea proved that the loop space of $\mathbb{C}P^n$ is homotopy commutative if and only if $n=3$. We generalize this result to that the loop spaces of all irreducible Hermitian symmetric spaces but $\mathbb{C}P^3$ are not homotopy commutative. The computation also applies to determining the homotopy nilpotency of the loop spaces of flag manifolds. Ganea proved that the loop space of $\mathbb{C}P^n$ is homotopy commutative if and only if $n=3$. We generalize this result to that the loop spaces of all irreducible Hermitian symmetric spaces but $\mathbb{C}P^3$ are not homotopy commutative. The computation also applies to determining the homotopy nilpotency of the loop spaces of flag manifolds. △ Less

Submitted 30 January, 2022; originally announced January 2022.

Comments: 8 pages

MSC Class: 55P35; 55Q15

Upper bounds for virtual dimensions of Seiberg-Witten moduli spaces

Authors: Tsuyoshi Kato, Daisuke Kishimoto, Nobuhiro Nakamura, Kouichi Yasui

Abstract: Given a closed four-manifold with $b_1=0$ and a prime number $p$, we prove that for any mod $p^r$ basic class, the virtual dimension of the Seiberg-Witten moduli space is bounded above by $2r(p-1)-2$ under some conditions on $r$ and $b_2^+$. As an application, we obtain adjunction inequalities for embedded surfaces with negative self-intersection number. Given a closed four-manifold with $b_1=0$ and a prime number $p$, we prove that for any mod $p^r$ basic class, the virtual dimension of the Seiberg-Witten moduli space is bounded above by $2r(p-1)-2$ under some conditions on $r$ and $b_2^+$. As an application, we obtain adjunction inequalities for embedded surfaces with negative self-intersection number. △ Less

Submitted 21 February, 2023; v1 submitted 30 November, 2021; originally announced November 2021.

Comments: 20 pages. Main results improved

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

The Stiefel-Whitney classes of moment-angle manifolds are trivial

Authors: Sho Hasui, Daisuke Kishimoto, Akatsuki Kizu

Abstract: We prove that the Stiefel-Whitney classes of a moment-angle manifold, not necessarily smooth, are trivial. We also consider Stiefel-Whitney classes of the partial quotient of a moment-angle manifold. We prove that the Stiefel-Whitney classes of a moment-angle manifold, not necessarily smooth, are trivial. We also consider Stiefel-Whitney classes of the partial quotient of a moment-angle manifold. △ Less

Submitted 27 April, 2022; v1 submitted 12 October, 2021; originally announced October 2021.

Comments: 15 pages, Proof of Theorem 4.2 corrected

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

Homotopy types of gauge groups over Riemann surfaces

Authors: Masaki Kameko, Daisuke Kishimoto, Masahiro Takeda

Abstract: Let $G$ be a compact connected Lie group with $π_1(G)\cong\mathbb{Z}$. We study the homotopy types of gauge groups of principal $G$-bundles over Riemann surfaces. This can be applied to an explicit computation of the homotopy groups of the moduli spaces of stable vector bundles over Riemann surfaces. Let $G$ be a compact connected Lie group with $π_1(G)\cong\mathbb{Z}$. We study the homotopy types of gauge groups of principal $G$-bundles over Riemann surfaces. This can be applied to an explicit computation of the homotopy groups of the moduli spaces of stable vector bundles over Riemann surfaces. △ Less

Submitted 31 July, 2021; originally announced August 2021.

Comments: 15 pages. Comments welcome

MSC Class: 57S05; 55Q15

Journal ref: Algebr. Geom. Topol. 23 (2023) 2309-2327

Hilbert bundles with ends

Authors: Tsuyoshi Kato, Daisuke Kishimoto, Mitsunobu Tsutaya

Abstract: Given a countable metric space, we can consider its end. Then a basis of a Hilbert space indexed by the metric space defines an end of the Hilbert space, which is a new notion and different from an end as a metric space. Such an indexed basis also defines unitary operators of finite propagation, and these operators preserve an end of a Hilbert space. Then, we can define a Hilbert bundle with end… ▽ More Given a countable metric space, we can consider its end. Then a basis of a Hilbert space indexed by the metric space defines an end of the Hilbert space, which is a new notion and different from an end as a metric space. Such an indexed basis also defines unitary operators of finite propagation, and these operators preserve an end of a Hilbert space. Then, we can define a Hilbert bundle with end, which lightens up new structures of Hilbert bundles. In a special case, we can define characteristic classes of Hilbert bundles with ends, which are new invariants of Hilbert bundles. We show Hilbert bundles with ends appear in natural contexts. First, we generalize the pushforward of a vector bundle along a finite covering to an infinite covering, which is a Hilbert bundle with end under a mild condition. Then we compute characteristic classes of some pushforwards along infinite coverings. Next, we will show the spectral decompositions of nice differential operators give rise to Hilbert bundles with ends, which elucidate new features of spectral decompositions. The spectral decompositions we will consider are the Fourier transform and the harmonic oscillators. △ Less

Submitted 23 August, 2021; v1 submitted 6 May, 2021; originally announced May 2021.

Comments: 31 pages

MSC Class: 57R20; 57R22; 46L80; 46C05; 34K08

Torsion in the space of commuting elements in a Lie group

Authors: Daisuke Kishimoto, Masahiro Takeda

Abstract: Let $G$ be a compact connected Lie group, and let $\mathrm{Hom}(\mathbb{Z}^m,G)$ be the space of pairwise commuting $m$-tuples in $G$. We study the problem of which primes $p$ $\mathrm{Hom}(\mathbb{Z}^m,G)_1$, the connected component of $\mathrm{Hom}(\mathbb{Z}^m,G)$ containing the element $(1,\ldots,1)$, has $p$-torsion in homology. We will prove that $\mathrm{Hom}(\mathbb{Z}^m,G)_1$ for… ▽ More Let $G$ be a compact connected Lie group, and let $\mathrm{Hom}(\mathbb{Z}^m,G)$ be the space of pairwise commuting $m$-tuples in $G$. We study the problem of which primes $p$ $\mathrm{Hom}(\mathbb{Z}^m,G)_1$, the connected component of $\mathrm{Hom}(\mathbb{Z}^m,G)$ containing the element $(1,\ldots,1)$, has $p$-torsion in homology. We will prove that $\mathrm{Hom}(\mathbb{Z}^m,G)_1$ for $m\ge 2$ has $p$-torsion in homology if and only if $p$ divides the order of the Weyl group of $G$ for $G=SU(n)$ and some exceptional groups. We will also compute the top homology of $\mathrm{Hom}(\mathbb{Z}^m,G)_1$ and show that $\mathrm{Hom}(\mathbb{Z}^m,G)_1$ always has 2-torsion in homology whenever $G$ is simply-connected and simple. Our computation is based on a new homotopy decomposition of $\mathrm{Hom}(\mathbb{Z}^m,G)_1$, which is of independent interest and enables us to connect torsion in homology to the combinatorics of the Weyl group. △ Less

Submitted 25 May, 2022; v1 submitted 22 March, 2021; originally announced March 2021.

Comments: 24 pages

MSC Class: 57S05; 55P65

Homotopy type of the unitary group of the uniform Roe algebra on $\mathbb{Z}^n$

Authors: Tsuyoshi Kato, Daisuke Kishimoto, Mitsunobu Tsutaya

Abstract: We study the homotopy type of the space of the unitary group $\U_1(C^\ast_u(|\mathbb{Z}^n|))$ of the uniform Roe algebra $C^\ast_u(|\mathbb{Z}^n|)$ of $\mathbb{Z}^n$. We show that the stabilizing map $\U_1(C^\ast_u(|\mathbb{Z}^n|))\to\U_\infty(C^\ast_u(|\mathbb{Z}^n|))$ is a homotopy equivalence. Moreover, when $n=1,2$, we determine the homotopy type of $\U_1(C^\ast_u(|\mathbb{Z}^n|))$, which is t… ▽ More We study the homotopy type of the space of the unitary group $\U_1(C^\ast_u(|\mathbb{Z}^n|))$ of the uniform Roe algebra $C^\ast_u(|\mathbb{Z}^n|)$ of $\mathbb{Z}^n$. We show that the stabilizing map $\U_1(C^\ast_u(|\mathbb{Z}^n|))\to\U_\infty(C^\ast_u(|\mathbb{Z}^n|))$ is a homotopy equivalence. Moreover, when $n=1,2$, we determine the homotopy type of $\U_1(C^\ast_u(|\mathbb{Z}^n|))$, which is the product of the unitary group $\U_1(C^\ast(|\mathbb{Z}^n|))$ (having the homotopy type of $\U_\infty(\mathbb{C})$ or $\mathbb{Z}\times B\U_\infty(\mathbb{C})$ depending on the parity of $n$) of the Roe algebra $C^\ast(|\mathbb{Z}^n|)$ and rational Eilenberg--MacLane spaces. △ Less

Submitted 3 July, 2025; v1 submitted 31 January, 2021; originally announced February 2021.

Comments: 15 pages

Journal ref: J. Topol. Anal.15(2023), no.2, 495-512

Golod and tight 3-manifolds

Authors: Kouyemon Iriye, Daisuke Kishimoto

Abstract: The notions Golodness and tightness for simplicial complexes come from algebra and geometry, respectively. We prove these two notions are equivalent for 3-manifold triangulations, through a topological characterization of a polyhedral product for a tight-neighborly manifold triangulation of dimension $\ge 3$. The notions Golodness and tightness for simplicial complexes come from algebra and geometry, respectively. We prove these two notions are equivalent for 3-manifold triangulations, through a topological characterization of a polyhedral product for a tight-neighborly manifold triangulation of dimension $\ge 3$. △ Less

Submitted 30 January, 2021; originally announced February 2021.

Comments: 19 pages

Journal ref: Algebr. Geom. Topol. 23 (2023) 2191-2212

Tverberg's theorem for cell complexes

Authors: Sho Hasui, Daisuke Kishimoto, Masahiro Takeda, Mitsunobu Tsutaya

Abstract: The topological Tverberg theorem states that any continuous map of a $(d+1)(r-1)$-simplex into the Euclidean $d$-space maps some points from $r$ pairwise disjoint faces of the simplex to the same point whenever $r$ is a prime power. We substantially generalize this theorem to continuous maps of certain CW complexes, including simplicial $((d+1)(r-1)-1)$-spheres, into the Euclidean $d$-space. We al… ▽ More The topological Tverberg theorem states that any continuous map of a $(d+1)(r-1)$-simplex into the Euclidean $d$-space maps some points from $r$ pairwise disjoint faces of the simplex to the same point whenever $r$ is a prime power. We substantially generalize this theorem to continuous maps of certain CW complexes, including simplicial $((d+1)(r-1)-1)$-spheres, into the Euclidean $d$-space. We also discuss the atomicity of the Tverberg property. △ Less

Submitted 17 February, 2022; v1 submitted 26 January, 2021; originally announced January 2021.

Comments: 10 pages, results substantially improved

MSC Class: 52A37; 55R80

Two-dimensional Golod complexes

Authors: Kouyemon Iriye, Daisuke Kishimoto

Abstract: We characterize two-dimensional Golod complexes combinatorially by vertex-breakability and topologically by the fat-wedge filtration of a polyhedral product. Applying the characterization, we consider a difference between Golodness over fields and rings, which enables us to give a two-dimensional simple Golod complex over any field such that the corresponding moment-angle complex is not a suspensi… ▽ More We characterize two-dimensional Golod complexes combinatorially by vertex-breakability and topologically by the fat-wedge filtration of a polyhedral product. Applying the characterization, we consider a difference between Golodness over fields and rings, which enables us to give a two-dimensional simple Golod complex over any field such that the corresponding moment-angle complex is not a suspension. △ Less

Submitted 13 October, 2020; originally announced October 2020.

Comments: 13 pages

MSC Class: 13F55; 55P15

Monoids of self-maps of topological spherical space forms

Authors: Daisuke Kishimoto, Nobuyuki Oda

Abstract: A topological spherical space form is the quotient of a sphere by a free action of a finite group. In general, their homotopy types depend on specific actions of a group. We show that the monoid of homotopy classes of self-maps of a topological spherical space form is determined by the acting group and the dimension of the sphere, not depending on a specific action. A topological spherical space form is the quotient of a sphere by a free action of a finite group. In general, their homotopy types depend on specific actions of a group. We show that the monoid of homotopy classes of self-maps of a topological spherical space form is determined by the acting group and the dimension of the sphere, not depending on a specific action. △ Less

Submitted 12 October, 2020; originally announced October 2020.

Comments: 9 pages

MSC Class: 55Q05

Note on Samelson products in exceptional Lie groups

Authors: Daisuke Kishimoto, Akihiro Ohsita, Masahiro Takeda

Abstract: We determine (non-)triviality of Samelson products of inclusions of factors of the mod $p$ decomposition of $G_{(p)}$ for $(G,p)=(E_7,5),(E_7,7),(E_8,7)$. This completes the determination of (non-)triviality of those Samelson products in $p$-localized exceptional Lie groups when $G$ has $p$-torsion free homology. We determine (non-)triviality of Samelson products of inclusions of factors of the mod $p$ decomposition of $G_{(p)}$ for $(G,p)=(E_7,5),(E_7,7),(E_8,7)$. This completes the determination of (non-)triviality of those Samelson products in $p$-localized exceptional Lie groups when $G$ has $p$-torsion free homology. △ Less

Submitted 25 July, 2020; originally announced July 2020.

Comments: 13 pages

MSC Class: 55Q15; 57T10

Journal ref: Glasgow Math. J. 63 (2021) 741-752

Homotopy type of the space of finite propagation unitary operators on $\mathbb{Z}$

Authors: Tsuyoshi Kato, Daisuke Kishimoto, Mitsunobu Tsutaya

Abstract: The index theory for the space of finite propagation unitary operators was developed by Gross, Nesme, Vogts and Werner from the viewpoint of quantum walks in mathematical physics. In particular, they proved that $π_0$ of the space is determined by the index. However, nothing is known about the higher homotopy groups. In this article, we describe the homotopy type of the space of finite propagation… ▽ More The index theory for the space of finite propagation unitary operators was developed by Gross, Nesme, Vogts and Werner from the viewpoint of quantum walks in mathematical physics. In particular, they proved that $π_0$ of the space is determined by the index. However, nothing is known about the higher homotopy groups. In this article, we describe the homotopy type of the space of finite propagation unitary operators on the Hilbert space of square summable $\mathbb{C}$-valued $\mathbb{Z}$-sequences, so we can determine its homotopy groups. We also study the space of (end-)periodic finite propagation unitary operators. △ Less

Submitted 8 June, 2023; v1 submitted 13 July, 2020; originally announced July 2020.

Comments: 27 pages, 2 figures

MSC Class: 55Q52 (Primary); 81R10; 46L80 (Secondary)

Journal ref: Homology, Homotopy Appl. 25 (2023), 375-400

Spaces of commuting elements in the classical groups

Authors: Daisuke Kishimoto, Masahiro Takeda

Abstract: Let $G$ be the classical group, and let Hom$(\mathbb{Z}^m,G)$ denote the space of commuting $m$-tuples in $G$. First, we refine the formula for the Poincaré series of Hom$(\mathbb{Z}^m,G)$ due to Ramras and Stafa by assigning (signed) integer partitions to (signed) permutations. Using the refined formula, we determine the top term of the Poincaré series, and apply it to prove the dependence of the… ▽ More Let $G$ be the classical group, and let Hom$(\mathbb{Z}^m,G)$ denote the space of commuting $m$-tuples in $G$. First, we refine the formula for the Poincaré series of Hom$(\mathbb{Z}^m,G)$ due to Ramras and Stafa by assigning (signed) integer partitions to (signed) permutations. Using the refined formula, we determine the top term of the Poincaré series, and apply it to prove the dependence of the topology of Hom$(\mathbb{Z}^m,G)$ on the parity of $m$ and the rational hyperbolicity of Hom$(\mathbb{Z}^m,G)$ for $m\ge 2$. Next, we give a minimal generating set of the cohomology of Hom$(\mathbb{Z}^m,G)$ and determine the cohomology in low dimensions. We apply these results to prove homological stability for Hom$(\mathbb{Z}^m,G)$ with the best possible stable range. Baird proved that the cohomology of Hom$(\mathbb{Z}^m,G)$ is identified with a certain ring of invariants of the Weyl group of $G$, and our approach is a direct calculation of this ring of invariants. △ Less

Submitted 19 July, 2020; v1 submitted 28 June, 2020; originally announced June 2020.

MSC Class: 57T10; 20C30; 22E15

On the growth of topological complexity

Authors: Daisuke Kishimoto, Atsushi Yamaguchi

Abstract: Let $\mathrm{TC}_r(X)$ denote the $r$-th topological complexity of a space $X$. In many cases, the generating function $\sum_{r\ge 1}\mathrm{TC}_{r+1}(X)x^r$ is a rational function $\frac{P(x)}{(1-x)^2}$ where $P(x)$ is a polynomial with $P(1)=\mathrm{cat}(X)$, that is, the asymptotic growth of $\mathrm{TC}_r(X)$ with respect to $r$ is $\mathrm{cat}(X)$. In this paper, we introduce a lower bound… ▽ More Let $\mathrm{TC}_r(X)$ denote the $r$-th topological complexity of a space $X$. In many cases, the generating function $\sum_{r\ge 1}\mathrm{TC}_{r+1}(X)x^r$ is a rational function $\frac{P(x)}{(1-x)^2}$ where $P(x)$ is a polynomial with $P(1)=\mathrm{cat}(X)$, that is, the asymptotic growth of $\mathrm{TC}_r(X)$ with respect to $r$ is $\mathrm{cat}(X)$. In this paper, we introduce a lower bound $\mathrm{MTC}_r(X)$ of $\mathrm{TC}_r(X)$ for a rational space $X$, and estimate the growth of $\mathrm{MTC}_r(X)$. △ Less

Submitted 30 August, 2020; v1 submitted 20 May, 2020; originally announced May 2020.

Comments: An upper bound for the growth of TC in the first version is false and removed. Accepted by J. Appl. Compt. Topol

Generating functions and topological complexity

Authors: Michael Farber, Daisuke Kishimoto, Donald Stanley

Abstract: We examine the rationality conjecture which states that (a) the formal power series $\sum_{r\ge 1} \tc_{r+1}(X)\cdot x^r$ represents a rational function of $x$ with a single pole of order 2 at $x=1$ and (b) the leading coefficient of the pole equals $\cat(X)$. Here $X$ is a finite CW-complex and for $r\ge 2$ the symbol $\tc_r(X)$ denotes its $r$-th sequential topological complexity. We analyse an… ▽ More We examine the rationality conjecture which states that (a) the formal power series $\sum_{r\ge 1} \tc_{r+1}(X)\cdot x^r$ represents a rational function of $x$ with a single pole of order 2 at $x=1$ and (b) the leading coefficient of the pole equals $\cat(X)$. Here $X$ is a finite CW-complex and for $r\ge 2$ the symbol $\tc_r(X)$ denotes its $r$-th sequential topological complexity. We analyse an example (violating the Ganea conjecture) and conclude that part (b) of the rationality conjecture is false in general. Besides, we establish a cohomological version of the rationality conjecture. △ Less

Submitted 10 March, 2020; originally announced March 2020.

Characterisation of polyhedral products with finite generalised Postnikov decomposition

Authors: Kouyemon Iriye, Daisuke Kishimoto, Ran Levi

Abstract: A generalised Postnikov tower for a space $X$ is a tower of principal fibrations with fibres generalised Eilenberg-MacLane spaces, whose inverse limit is weakly homotopy equivalent to $X$. In this paper we give a characterisation of a polyhedral product $Z_K(X,A)$ whose universal cover either admits a generalised Postnikov tower of finite length, or is a homotopy retract of a space admitting such… ▽ More A generalised Postnikov tower for a space $X$ is a tower of principal fibrations with fibres generalised Eilenberg-MacLane spaces, whose inverse limit is weakly homotopy equivalent to $X$. In this paper we give a characterisation of a polyhedral product $Z_K(X,A)$ whose universal cover either admits a generalised Postnikov tower of finite length, or is a homotopy retract of a space admitting such a tower. We also include $p$-local and rational versions of the theorem. We end with a group theoretic application. △ Less

Submitted 3 March, 2020; originally announced March 2020.

Comments: 24 pages

MSC Class: 55S45; 55P15; 20F36

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

Higher homotopy associativity in the Harris decomposition of Lie groups

Authors: Daisuke Kishimoto, Toshiyuki Miyauchi

Abstract: Let $(G,H)=(SU(2n+1),SO(2n+1)),\,(SU(2n),Sp(n)),\,(SO(2n),SO(2n-1)),\,(E_6,F_4),\,(Spin(8),G_2)$, and let $p$ be any prime $\ge 5$ for $(G,H)=(E_6,F_4)$, any prime $p\ne 3$ for $(G,H)=(Spin(8),G_2)$, and any odd prime otherwise. The classical result of Harris on the relation between the homotopy groups of $G$ and $H$ is reinterpreted as a $p$-local homotopy equivalence $G\simeq_{(p)}H\times G/H$,… ▽ More Let $(G,H)=(SU(2n+1),SO(2n+1)),\,(SU(2n),Sp(n)),\,(SO(2n),SO(2n-1)),\,(E_6,F_4),\,(Spin(8),G_2)$, and let $p$ be any prime $\ge 5$ for $(G,H)=(E_6,F_4)$, any prime $p\ne 3$ for $(G,H)=(Spin(8),G_2)$, and any odd prime otherwise. The classical result of Harris on the relation between the homotopy groups of $G$ and $H$ is reinterpreted as a $p$-local homotopy equivalence $G\simeq_{(p)}H\times G/H$, which yields a projection $G_{(p)}\to H_{(p)}$. We show how much this projection preserves the higher homotopy associativity. △ Less

Submitted 8 August, 2019; v1 submitted 2 April, 2019; originally announced April 2019.

Comments: 17 pages, accepted by Proc. Royal Soc. Edinburgh

MSC Class: 55P60

Journal ref: Proceedings of the Royal Society of Edinburgh: Section A Mathematics 150 (2020) 2982-3000

Polyhedral products over finite posets

Authors: Daisuke Kishimoto, Ran Levi

Abstract: Polyhedral products were defined by Bahri, Bendersky, Cohen and Gitler, to be spaces obtained as unions of certain product spaces indexed by the simplices of an abstract simplicial complex. In this paper we give a very general homotopy theoretic construction of polyhedral products over arbitrary pointed posets. We show that under certain restrictions on the poset $\calp$, that include all known ca… ▽ More Polyhedral products were defined by Bahri, Bendersky, Cohen and Gitler, to be spaces obtained as unions of certain product spaces indexed by the simplices of an abstract simplicial complex. In this paper we give a very general homotopy theoretic construction of polyhedral products over arbitrary pointed posets. We show that under certain restrictions on the poset $\calp$, that include all known cases, the cohomology of the resulting spaces can be computed as an inverse limit over $\calp$ of the cohomology of the building blocks. This motivates the definition of an analogous algebraic construction - the polyhedral tensor product. We show that for a large family of posets, the cohomology of the polyhedral product is given by the polyhedral tensor product. We then restrict attention to polyhedral posets, a family of posets that include face posets of simplicial complexes, and simplicial posets, as well as many others. We define the Stanley-Reisner ring of a polyhedral poset and show that, like in the classical cases, these rings occur as the cohomology of certain polyhedral products over the poset in question. For any pointed poset $\calp$ we construct a simplicial poset $s(\calp)$, and show that if $\calp$ is a polyhedral poset then polyhedral products over $\calp$ coincide up to homotopy with the corresponding polyhedral products over $s(\calp)$. △ Less

Submitted 29 June, 2024; v1 submitted 19 March, 2019; originally announced March 2019.

Comments: 32 pages

MSC Class: Primary 13F55; 55U10; 52B05. Secondary 06A07; 06A12

Journal ref: Kyoto J. Math. 62, no. 3 (2022), 615-654

The mod-$p$ homology of the classifying spaces of certain gauge groups

Authors: Daisuke Kishimoto, Stephen Theriault

Abstract: Let $G$ be a simply-connected, simple compact Lie group of type $\{n_{1},\ldots,n_{\ell}\}$, where $n_{1}\le\cdots \le n_{\ell}$. Let $\mathcal{G}_k$ be the gauge group of the principal $G$-bundle (namedright{P}{}{S^{4}}) whose isomorphism class is determined by the the second Chern class having value $k\in\mathbb{Z}$. We calculate the mod-$p$ homology of the classifying space $B\mathcal{G}_k$ pro… ▽ More Let $G$ be a simply-connected, simple compact Lie group of type $\{n_{1},\ldots,n_{\ell}\}$, where $n_{1}\le\cdots \le n_{\ell}$. Let $\mathcal{G}_k$ be the gauge group of the principal $G$-bundle (namedright{P}{}{S^{4}}) whose isomorphism class is determined by the the second Chern class having value $k\in\mathbb{Z}$. We calculate the mod-$p$ homology of the classifying space $B\mathcal{G}_k$ provided that $n_{\ell}<p-1$ and $p$ does not divide $k$. △ Less

Submitted 11 January, 2021; v1 submitted 10 October, 2018; originally announced October 2018.

Comments: 12 pages

MSC Class: 55R40; 81T13

Whitehead products in moment-angle complexes

Authors: Kouyemon Iriye, Daisuke Kishimoto

Abstract: In toric topology, to a simplicial complex $K$ with $m$ vertices, one associates two spaces, the moment-angle complex $\mathcal{Z}_K$ and the Davis-Januszkiewicz space $DJ_K$. These spaces are connected by a homotopy fibration $\mathcal{Z}_K\to DJ_K\to(\mathbb{C}P^\infty)^m$. In this paper, we show that the map $\mathcal{Z}_K\to DJ_K$ is identified with a wedge of iterated (higher) Whitehead produ… ▽ More In toric topology, to a simplicial complex $K$ with $m$ vertices, one associates two spaces, the moment-angle complex $\mathcal{Z}_K$ and the Davis-Januszkiewicz space $DJ_K$. These spaces are connected by a homotopy fibration $\mathcal{Z}_K\to DJ_K\to(\mathbb{C}P^\infty)^m$. In this paper, we show that the map $\mathcal{Z}_K\to DJ_K$ is identified with a wedge of iterated (higher) Whitehead products for a certain class of simplicial complexes $K$ including dual shellable complexes. We will prove the result in a more general setting of polyhedral products. △ Less

Submitted 29 June, 2018; originally announced July 2018.

Comments: 16 pages, comments welcome

MSC Class: 55Q15; 55P15

Odd primary homotopy types of the gauge groups of exceptional Lie groups

Authors: Sho Hasui, Daisuke Kishimoto, Tseleung So, Stephen Theriault

Abstract: The $p$-local homotopy types of gauge groups of principal $G$-bundles over $S^4$ are classified when $G$ is a compact connected exceptional Lie group without $p$-torsion in homology except for $(G,p)=(\mathrm{E}_7,5)$. The $p$-local homotopy types of gauge groups of principal $G$-bundles over $S^4$ are classified when $G$ is a compact connected exceptional Lie group without $p$-torsion in homology except for $(G,p)=(\mathrm{E}_7,5)$. △ Less

Submitted 27 March, 2018; originally announced March 2018.

Comments: 12 pages

MSC Class: 55P15 (Primary); 54C35 (Secondary)

On the homotopy types of $\mathrm{Sp}(n)$ gauge groups

Authors: Daisuke Kishimoto, Akira Kono

Abstract: Let $\mathcal{G}_{k,n}$ be the gauge group of the principal $\mathrm{Sp}(n)$-bundle over $S^4$ corresponding to $k\in\mathbb{Z}\congπ_3(\mathrm{Sp}(n))$. We refine the result of Sutherland on the homotopy types of $\mathcal{G}_{k,n}$ and relate it with the order of a certain Samelson product in $\mathrm{Sp}(n)$. Then we classify the $p$-local homotopy types of $\mathcal{G}_{k,n}$ for… ▽ More Let $\mathcal{G}_{k,n}$ be the gauge group of the principal $\mathrm{Sp}(n)$-bundle over $S^4$ corresponding to $k\in\mathbb{Z}\congπ_3(\mathrm{Sp}(n))$. We refine the result of Sutherland on the homotopy types of $\mathcal{G}_{k,n}$ and relate it with the order of a certain Samelson product in $\mathrm{Sp}(n)$. Then we classify the $p$-local homotopy types of $\mathcal{G}_{k,n}$ for $(p-1)^2+1\ge 2n$. △ Less

Submitted 17 May, 2018; v1 submitted 17 March, 2018; originally announced March 2018.

Comments: 9 pages

Journal ref: Algebr. Geom. Topol. 19 (2019) 491-502

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

Right-angled Coxeter quandles and polyhedral products

Authors: Daisuke Kishimoto

Abstract: To a Coxeter group $W$ one associates a quandle $X_W$ from which one constructs a group $\mathrm{Ad}(X_W)$. This group turns out to be an intermediate object between $W$ and the associated Artin group. By using a result of Akita, we prove that $\mathrm{Ad}(X_W)$ is given by a pullback involving $W$, and by using this pullback, we show that the classifying space of $\mathrm{Ad}(X_W)$ is given by a… ▽ More To a Coxeter group $W$ one associates a quandle $X_W$ from which one constructs a group $\mathrm{Ad}(X_W)$. This group turns out to be an intermediate object between $W$ and the associated Artin group. By using a result of Akita, we prove that $\mathrm{Ad}(X_W)$ is given by a pullback involving $W$, and by using this pullback, we show that the classifying space of $\mathrm{Ad}(X_W)$ is given by a space called a polyhedral product whenever $W$ is right-angled. Two applications of this description of the classifying space are given. △ Less

Submitted 14 March, 2018; v1 submitted 19 June, 2017; originally announced June 2017.

Comments: 14 pages, rewritten throughout

Samelson products in quasi-$p$-regular exceptional Lie groups

Authors: Sho Hasui, Daisuke Kishimoto, Toshiyuki Miyauchi, Akihiro Ohsita

Abstract: There is a product decomposition of a compact connected Lie group $G$ at the prime $p$, called the mod $p$ decomposition, when $G$ has no $p$-torsion in homology. Then in studying the multiplicative structure of the $p$-localization of $G$, the Samelson products of the factor space inclusions of the mod $p$ decomposition are fundamental. This paper determines (non-)triviality of these fundamental… ▽ More There is a product decomposition of a compact connected Lie group $G$ at the prime $p$, called the mod $p$ decomposition, when $G$ has no $p$-torsion in homology. Then in studying the multiplicative structure of the $p$-localization of $G$, the Samelson products of the factor space inclusions of the mod $p$ decomposition are fundamental. This paper determines (non-)triviality of these fundamental Samelson products in the $p$-localized exceptional Lie groups when the factor spaces are of rank $\le 2$, that is, $G$ is quasi-$p$-regular. △ Less

Submitted 24 August, 2017; v1 submitted 20 March, 2017; originally announced March 2017.

Comments: 22 pages, 0 figure

MSC Class: 55Q15 (Primary); 57T10 (Secondary)

Higher homotopy commutativity in localized Lie groups and gauge groups

Authors: Sho Hasui, Daisuke Kishimoto, Mitsunobu Tsutaya

Abstract: The first aim of this paper is to study the $p$-local higher homotopy commutativity of Lie groups in the sense of Sugawara. The second aim is to apply this result to the $p$-local higher homotopy commutativity of gauge groups. Although the higher homotopy commutativity of Lie groups in the sense of Williams is already known, the higher homotopy commutativity in the sense of Sugawara is necessary f… ▽ More The first aim of this paper is to study the $p$-local higher homotopy commutativity of Lie groups in the sense of Sugawara. The second aim is to apply this result to the $p$-local higher homotopy commutativity of gauge groups. Although the higher homotopy commutativity of Lie groups in the sense of Williams is already known, the higher homotopy commutativity in the sense of Sugawara is necessary for this application. The third aim is to resolve the $5$-local higher homotopy non-commutativity problem of the exceptional Lie group $\mathrm{G}_2$, which has been open for a long time. △ Less

Submitted 12 June, 2018; v1 submitted 28 December, 2016; originally announced December 2016.

Comments: 19 pages

Journal ref: Homology, Homotopy Appl. 21 (2019), 107-128

$p$-local stable cohomological rigidity of quasitoric manifolds

Authors: Sho Hasui, Daisuke Kishimoto

Abstract: It is proved that if two quasitoric manifolds of dimension $\le 2p^2-4$ for a prime $p$ have isomorphic cohomology rings, then they have the same $p$-local stable homotopy type. It is proved that if two quasitoric manifolds of dimension $\le 2p^2-4$ for a prime $p$ have isomorphic cohomology rings, then they have the same $p$-local stable homotopy type. △ Less

Submitted 11 May, 2016; originally announced May 2016.

Comments: 9 pages

MSC Class: 55P15 (Primary); 57S25 (Secondary)

Golodness and polyhedral products for two dimensional simplicial complexes

Authors: Kouyemon Iriye, Daisuke Kishimoto

Abstract: Golodness of 2-dimensional simplicial complexes is studied through polyhedral products, and combinatorial and topoogical characterization of Golodness of surface triangulations is given. An answer to the question of Berglund is also given so that there is a 2-dimensional simplicial complex which is rationally Golod but is not Golod over $\mathbb{Z}/p$. Golodness of 2-dimensional simplicial complexes is studied through polyhedral products, and combinatorial and topoogical characterization of Golodness of surface triangulations is given. An answer to the question of Berglund is also given so that there is a 2-dimensional simplicial complex which is rationally Golod but is not Golod over $\mathbb{Z}/p$. △ Less

Submitted 17 March, 2017; v1 submitted 30 June, 2015; originally announced June 2015.

Comments: 8 pages, reference added

MSC Class: 13F55; 55P15

Polyhedral products for simplicial complexes with minimal Taylor resolutions

Authors: Kouyemon Iriye, Daisuke Kishimoto

Abstract: We prove that for a simplicial complex $K$ whose Taylor resolution for the Stanley-Reisner ring is minimal, the following four conditions are equivalent: (1) $K$ satisfies the strong gcd-condition; (2) $K$ is Golod; (3) the moment-angle complex $\mathcal{Z}_K$ is homotopy equivalent to a wedge of spheres; (4) the decomposition of the suspension of the polyhedral product… ▽ More We prove that for a simplicial complex $K$ whose Taylor resolution for the Stanley-Reisner ring is minimal, the following four conditions are equivalent: (1) $K$ satisfies the strong gcd-condition; (2) $K$ is Golod; (3) the moment-angle complex $\mathcal{Z}_K$ is homotopy equivalent to a wedge of spheres; (4) the decomposition of the suspension of the polyhedral product $\mathcal{Z}_K(C\underline{X},\underline{X})$ due to Bahri, Bendersky, Cohen, and Gitler desuspends. △ Less

Submitted 17 March, 2017; v1 submitted 4 June, 2015; originally announced June 2015.

Comments: 11 pages, the strong gcd condition deleted

MSC Class: 13F55; 55P15

Polyhedral products for shifted complexes and higher Whitehead products

Authors: Kouyemon Iriye, Daisuke Kishimoto

Abstract: This paper studies the map between polyhedral products $\mathcal{Z}_K(C\underline{X},\underline{X})\to\mathcal{Z}_K(Σ\underline{X},*)$ induced from the pinch maps $(CX_i,X_i)\to(ΣX_i,*)$, which is the higher order Whitehead product if $K$ is the boundary of a simplex. When $K$ is a shifted complex, a wedge decomposition of $\mathcal{Z}_K(C\underline{X},\underline{X})$ is given by the authors. Base… ▽ More This paper studies the map between polyhedral products $\mathcal{Z}_K(C\underline{X},\underline{X})\to\mathcal{Z}_K(Σ\underline{X},*)$ induced from the pinch maps $(CX_i,X_i)\to(ΣX_i,*)$, which is the higher order Whitehead product if $K$ is the boundary of a simplex. When $K$ is a shifted complex, a wedge decomposition of $\mathcal{Z}_K(C\underline{X},\underline{X})$ is given by the authors. Based on this decomposition, when $K$ is shifted, the induced pinch map is explicitly described as a wedge of iterated Whitehead products each of which includes at most one higher product. As a corollary, the Jacobi identity of Whitehead products including higher products due to Hardie is generalized. △ Less

Submitted 29 June, 2018; v1 submitted 19 May, 2015; originally announced May 2015.

Comments: The new paper "Whitehead products in moment-angle complexes" by the authors includes more general results

Decompositions of suspensions of spaces involving polyhedral products

Authors: Kouyemon Iriye, Daisuke Kishimoto

Abstract: Two homotopy decompositions of supensions of spaces involving polyhedral products are given. The first decomposition is motivated by the decomposition of suspensions of polyhedral products by Bahri, Bendersky, Cohen, and Gitler, and is a generalization of the retractile argument of James. The second decomposition is on the union of an arrangement of subspaces called diagonal subspaces, and general… ▽ More Two homotopy decompositions of supensions of spaces involving polyhedral products are given. The first decomposition is motivated by the decomposition of suspensions of polyhedral products by Bahri, Bendersky, Cohen, and Gitler, and is a generalization of the retractile argument of James. The second decomposition is on the union of an arrangement of subspaces called diagonal subspaces, and generalizes the result of Labbasi. △ Less

Submitted 24 July, 2015; v1 submitted 19 May, 2015; originally announced May 2015.

Comments: The result of arXiv:1403.7864 is included. Examples in section 3 are added. accepted by AGT

Journal ref: Algebr. Geom. Topol. 16 (2016) 825-841

Infiniteness of $A_\infty$-types of gauge groups

Authors: Daisuke Kishimoto, Mitsunobu Tsutaya

Abstract: Let $G$ be a compact connected Lie group and let $P$ be a principal $G$-bundle over $K$. The gauge group of $P$ is the topological group of automorphisms of $P$. For fixed $G$ and $K$, consider all principal $G$-bundles $P$ over $K$. It is proved by Crabb--Sutherland and the second author that the number of $A_n$-types of the gauge groups of $P$ is finite if $n<\infty$ and $K$ is a finite complex.… ▽ More Let $G$ be a compact connected Lie group and let $P$ be a principal $G$-bundle over $K$. The gauge group of $P$ is the topological group of automorphisms of $P$. For fixed $G$ and $K$, consider all principal $G$-bundles $P$ over $K$. It is proved by Crabb--Sutherland and the second author that the number of $A_n$-types of the gauge groups of $P$ is finite if $n<\infty$ and $K$ is a finite complex. We show that the number of $A_\infty$-types of the gauge groups of $P$ is infinite if $K$ is a sphere and there are infinitely many $P$. △ Less

Submitted 3 July, 2015; v1 submitted 10 February, 2015; originally announced February 2015.

Comments: 12 pages, accepted for publication by J. Topol

MSC Class: Primary 57S05; Secondary 55P48

Journal ref: J Topology (2016) 9 (1): 181-191

$p$-local stable splitting of quasitoric manifolds

Authors: Sho Hasui, Daisuke Kishimoto, Takashi Sato

Abstract: We show a homotopy decomposition of $p$-localized suspension $ΣM_{(p)}$ of a quasitoric manifold $M$ by constructing power maps. As an application we investigate the $p$-localized suspension of the projection $π$ from the moment-angle complex onto $M$, from which we deduce its triviality for $p>\dim M/2$. We also discuss non-triviality of $π_{(p)}$ and $Σ^\inftyπ$. We show a homotopy decomposition of $p$-localized suspension $ΣM_{(p)}$ of a quasitoric manifold $M$ by constructing power maps. As an application we investigate the $p$-localized suspension of the projection $π$ from the moment-angle complex onto $M$, from which we deduce its triviality for $p>\dim M/2$. We also discuss non-triviality of $π_{(p)}$ and $Σ^\inftyπ$. △ Less

Submitted 22 December, 2014; originally announced December 2014.

Comments: 10 pages

MSC Class: Primary 57S15; Secondary 55P40; 55P60

Fat wedge filtrations and decomposition of polyhedral products

Authors: Kouyemon Iriye, Daisuke Kishimoto

Abstract: The polyhedral product constructed from a collection of pairs of cones and their bases and a simplicial complex $K$ is studied by investigating its filtration called the fat wedge filtration. We give a sufficient condition for decomposing the polyhedral product in terms of the fat wedge filtration of the real moment-angle complex for $K$, which is a desuspension of the decomposition of the suspens… ▽ More The polyhedral product constructed from a collection of pairs of cones and their bases and a simplicial complex $K$ is studied by investigating its filtration called the fat wedge filtration. We give a sufficient condition for decomposing the polyhedral product in terms of the fat wedge filtration of the real moment-angle complex for $K$, which is a desuspension of the decomposition of the suspension of the polyhedral product due to Bahri, Bendersky, Cohen, and Gitler. We show that the condition also implies a strong connection with the Golodness of $K$, and is satisfied when $K$ is dual sequentially Cohen-Macaulay over $\mathbb{Z}$ or $\lceil\frac{\dim K}{2}\rceil$-neighborly so that the polyhedral product decomposes. Specializing to moment-angle complexes, we also give a necessary and sufficient condition for their decomposition and co-H-structures in terms of their fat wedge filtration. △ Less

Submitted 16 March, 2017; v1 submitted 15 December, 2014; originally announced December 2014.

Comments: The paper includes the result of arXiv:1306.6221. To appear in Kyoto J. Math

Journal ref: Kyoto J. Math. 59, no. 1 (2019), 1-51

Samelson products in p-regular SO(2n) and its homotopy normality

Authors: Daisuke Kishimoto, Mitsunobu Tsutaya

Abstract: A Lie group is called $p$-regular if it has the $p$-local homotopy type of a product of spheres. (Non)triviality of the Samelson products of the inclusions of the factor spheres into $p$-regular $\mathrm{SO}(2n)_{(p)}$ is determined, which completes the list of (non)triviality of such Samelson products in $p$-regular simple Lie groups. As an application, we determine the homotopy normality of the… ▽ More A Lie group is called $p$-regular if it has the $p$-local homotopy type of a product of spheres. (Non)triviality of the Samelson products of the inclusions of the factor spheres into $p$-regular $\mathrm{SO}(2n)_{(p)}$ is determined, which completes the list of (non)triviality of such Samelson products in $p$-regular simple Lie groups. As an application, we determine the homotopy normality of the inclusion $\mathrm{SO}(2n-1)\to\mathrm{SO}(2n)$ in the sense of James at any prime $p$. △ Less

Submitted 10 July, 2015; v1 submitted 1 May, 2014; originally announced May 2014.

Comments: 9 pages, some results on homotopy normality are added

MSC Class: 55Q15

Journal ref: Glasg. Math. J. 60 (2018), no. 1, 165-174