Source author record

Daisuke Kishimoto

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.GT math.CT math.RT

Catalog footprint

Research overview

20works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Cellular cosheaf homology are cosheaf homology

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.

preprint2022arXiv

Homotopy commutativity in Hermitian symmetric spaces

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.

preprint2022arXiv

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

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.

preprint2022arXiv

Torsion in the space of commuting elements in a Lie group

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.

preprint2022arXiv

Tverberg's theorem for cell complexes

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.

preprint2021arXiv

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

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

preprint2020arXiv

Characterisation of polyhedral products with finite generalised Postnikov decomposition

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.

preprint2020arXiv

Generating functions and topological complexity

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.

preprint2020arXiv

On the growth of topological complexity

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

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.

preprint2020arXiv

Spaces of commuting elements in the classical groups

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.

preprint2018arXiv

Higher homotopy commutativity in localized Lie groups and gauge groups

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.

preprint2016arXiv

$p$ -local stable cohomological rigidity of quasitoric manifolds

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.

preprint2016arXiv

Topology of polyhedral products and the Golod property of Stanley-Reisner rings

The polyhedral product is a space constructed from a simplicial complex and a collection of pairs of spaces, which is connected with the Stanley Reisner ring of the simplicial complex via cohomology. Generalizing the previous work Grbic and Theriault, Grujic and Welker, and the authors, we show a decomposition of polyhedral products for a large class of simplicial complexes including the ones whose Alexander duals are shellable or sequentially Cohen-Macaulay. This implies the property, called Golod, of the corresponding Stanley-Reisner rings proved by Herzog, Reiner and Welker.

preprint2015arXiv

Decompositions of suspensions of spaces involving polyhedral products

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.

preprint2015arXiv

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

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

preprint2014arXiv

$p$ -local stable splitting of quasitoric manifolds

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

preprint2014arXiv

Homotopy decomposition of diagonal arrangements

Given a space $X$ and a simplicial complex $K$ with $m$ -vertices, the arrangement of partially diagonal subspaces of $X^m$ , called the dragonal arrangement, is defined. We decompose the suspension of the diagonal arrangement when $2(dim K + 1) < m$ , which generalizes the result of Labassi. As a corollary, we calculate the Euler characteristic of the complement when $X$ is a closed connected manifold.

preprint2014arXiv

Samelson products in p-regular exceptional Lie groups

The (non)triviality of Samelson products of the inclusions of the spheres into p-regular exceptional Lie groups is completely determined, where a connected Lie group is called p-regular if it has the p-local homotopy type of a product of spheres.

preprint2013arXiv

Wedge decomposition of polyhedral products

We prove that certain polyhedral products, including the moment-angle complexes, for the Alexander duals of shellable and sequentially Cohen-Macaulay complexes decompose into wedges of explicitly given suspension spaces, which implies the properties of the Stanley-Reisner rings, known as Golod, of theses complexes.

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.

Daisuke Kishimoto

Research overview

Is this your work?

20 publications

Cellular cosheaf homology are cosheaf homology

Homotopy commutativity in Hermitian symmetric spaces

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

Torsion in the space of commuting elements in a Lie group

Tverberg's theorem for cell complexes

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

Characterisation of polyhedral products with finite generalised Postnikov decomposition

Generating functions and topological complexity

On the growth of topological complexity

Relative phantom maps

Spaces of commuting elements in the classical groups

Higher homotopy commutativity in localized Lie groups and gauge groups

$p$ -local stable cohomological rigidity of quasitoric manifolds

Topology of polyhedral products and the Golod property of Stanley-Reisner rings

Decompositions of suspensions of spaces involving polyhedral products

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

$p$ -local stable splitting of quasitoric manifolds

Homotopy decomposition of diagonal arrangements

Samelson products in p-regular exceptional Lie groups

Wedge decomposition of polyhedral products

See the researcher in context

Building this map preview

Daisuke Kishimoto

Research overview

Is this your work?

20 publications

Cellular cosheaf homology are cosheaf homology

Homotopy commutativity in Hermitian symmetric spaces

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

Torsion in the space of commuting elements in a Lie group

Tverberg's theorem for cell complexes

The mod-ppp homology of the classifying spaces of certain gauge groups

Characterisation of polyhedral products with finite generalised Postnikov decomposition

Generating functions and topological complexity

On the growth of topological complexity

Relative phantom maps

Spaces of commuting elements in the classical groups

Higher homotopy commutativity in localized Lie groups and gauge groups

ppp-local stable cohomological rigidity of quasitoric manifolds

Topology of polyhedral products and the Golod property of Stanley-Reisner rings

Decompositions of suspensions of spaces involving polyhedral products

Infiniteness of A∞A_\inftyA∞​-types of gauge groups

ppp-local stable splitting of quasitoric manifolds

Homotopy decomposition of diagonal arrangements

Samelson products in p-regular exceptional Lie groups

Wedge decomposition of polyhedral products

See the researcher in context

Building this map preview

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

$p$ -local stable cohomological rigidity of quasitoric manifolds

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

$p$ -local stable splitting of quasitoric manifolds