代数拓扑

Associated to each finite dimensional linear representation of a group G, there is a vector bundle over the classifying space BG. This construction was studied extensively for compact groups by Atiyah and Segal. We introduce a homotopy…

We introduce decorated mapper graphs as a generalization of mapper graphs capable of capturing more topological information of a data set. A decorated mapper graph can be viewed as a discrete approximation of the cellular Leray cosheaf over…

Let G = Z2 act on a finite CW-complex X having mod 2 cohomology isomorphic to the product of quaternionic projective space and sphere HPn x Sm, n, m > or = 1. This paper is concerned with the connected fixed point sets and the orbit spaces…

In this paper, we consider the simplest class of stratified spaces -- linearly embedded graphs. We present an algorithm that learns the abstract structure of an embedded graph and models the specific embedding from a point cloud sampled…

In this manuscript, we investigate a Cartan calculus on the homology of free loop spaces which is introduced by Kuribayashi, Wakatsuki, Yamaguchi and the author. In particular, it is proved that the Cartan calculus can be described by the…

In this work we provide a model-independent notion of local fibrations of $(\infty,2)$-categories which generalises the well-known theory of locally coCartesian fibrations of $(\infty,1)$-categories. Based on previous work, we construct a…

Let $X$ be a connected finite CW complex. A connected double covering of $X$ is classified by a non-zero cohomology class $\omega \in H^1(X,\mathbb{Z}_2)$. Denote the double covering space by $X^\omega$. There exists a corresponding…

We develop a homology theory for directed spaces, based on the semi-abelian category of (non-unital) associative algebras. The major ingredient is a simplicial algebra constructed from convolution algebras of certain trace categories of a…

The tautological ring $R^*(M)$ of a smooth manifold $M$ is the ring of characteristic classes generated by the Miller-Morita-Mumford classes, and is often more accessible than the ring of all characteristic classes of smooth $M$-bundles. In…

It is a well-known result of C.T.C. Wall's that one may decompose a simply connected 6-manifold as a connected sum of two simpler manifolds. Recent work of Beben and Theriault on decomposing based loop spaces of highly connected Poincar\'e…

We develop square zero obstruction theory for modules over $\mathbb{E}_1$-algebras in an arbitrary stable (presentably) monoidal $\infty$-category. We explicitly describe the obstruction element as the homotopy class of a canonically…

Let $\mathbb{E}_d$ denote the little discs operad for $1 \le d \le \infty$ and let $\mathcal{C}$ be an $\infty$-category all of whose mapping spaces are $n$-truncated. We prove that when considering $\mathbb{E}_d$-monoids in $\mathcal{C}$,…

We provide a simple condition on rational cohomology for the total space of a pullback fibration over a connected sum to have the rational homotopy type of a connected sum, after looping. This takes inspiration from recent work of Jeffrey…

In this paper, we study upper bounds for the topological complexity of the total spaces of some classes of fibre bundles. We calculate a tight upper bound for the topological complexity of an $n$-dimensional Klein bottle. We also compute…

For a sufficiently small scale $\beta>0$, the Vietoris$\unicode{x2013}$Rips complex $\mathcal{R}_\beta(S)$ of a metric space $S$ with a small Gromov$\unicode{x2013}$Hausdorff distance to a closed Riemannian manifold $M$ has been already…

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

Extended and zigzag persistence were introduced more than ten years ago, as generalizations of ordinary persistence. While overcoming certain limitations of ordinary persistence, they both enjoy nice computational properties, which make…

Implicative algebras, recently discovered by Miquel, are combinatorial structures unifying classical and intuitionistic realizability as well as forcing. In this paper we introduce implicative assemblies as sets valued in the separator of…

Selective Rips complexes corresponding to a sequence of parameters are a generalization of Vietoris-Rips complexes utilizing the idea of thin simplices. We prove that if a metric space $Y$ is close (in Gromov-Hausdorff distance) to a closed…

In this short note we present a generating function computing the compactly supported Euler characteristic $\chi_c(F(X, n), K^{\boxtimes n})$ of the configuration spaces on a topologically stratified space $X$, with $K$ a constructible…