BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Daisuke Kishimoto

Daisuke Kishimoto contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.ATmath.GTmath.COmath.CTmath.RT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
12works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

12 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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)$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access