代数拓扑

We prove convergence of Goodwillie-Weiss' embedding calculus for spaces of embeddings into a manifold of dimension at most two, so in particular for diffeomorphisms between surfaces. We also relate the Johnson filtration of the mapping…

We define an operad in Top, called $\text{FM}_2^W$. The spaces in $\text{FM}_2^W$ come with CW decompositions, such that the operad compositions are cellular. In fact, each space in $\text{FM}_2^W$ is the realization of a simplicial set. We…

The main objective of this paper is to compute $RO(G)$-graded cohomology of $G$-orbits for the group $G=C_n$, where $n$ is a product of distinct primes. We compute these groups for the constant Mackey functor $\underline{Z}$ and for the…

In the applied algebraic topology community, the persistent homology induced by the Vietoris-Rips simplicial filtration is a standard method for capturing topological information from metric spaces. In this paper, we consider a different,…

We prove that the direct sum of all homology groups of the integral general linear groups with Steinberg module coefficients form a commutative Hopf algebra, in particular a free graded commutative algebra. We use this to construct new…

We construct a nerve from double categories into double $(\infty,1)$-categories and show that it gives a right Quillen and homotopically fully faithful functor between the model structure for weakly horizontally invariant double categories…

We show that the classical homology theory of Steenrod may be enriched with descriptive set-theoretic information. We prove that the resulting definable homology theory provides a strictly finer invariant than Steenrod homology for compact…

The join construction produces a third Sasaki manifold from two others, and we investigate the algebraic topology of the joins of circle bundles over surfaces of positive genus with weighted three-spheres. Topologically, such a join has the…

Let $M, N$ the be smooth manifolds, $\mathcal{C}^{r}(M,N)$ the space of ${C}^{r}$ maps endowed with weak $C^{r}$ Whitney topology, and $\mathcal{B} \subset \mathcal{C}^{r}(M,N)$ an open subset. It is proved that for $0\leq r<s\leq\infty$…

We introduce a novel combinatorial method to study $Q^{**}$-transformations of group presentations or, equivalently, 3-deformations of CW-complexes of dimension 2. Our procedure is based on a refinement of discrete Morse theory that gives a…

Topological data analysis, as a tool for extracting topological features and characterizing geometric shapes, has experienced significant development across diverse fields. Its key mathematical techniques include persistent homology and the…

In this paper, we obtain an upper bound on the higher topological complexity of the total spaces of fibrations. As an application, we improve the usual dimensional upper bound on higher topological complexity of total spaces of some sphere…

Relying on sheaf theory, we introduce the notions of projected barcodes and projected distances for multi-parameter persistence modules. Projected barcodes are defined as derived pushforward of persistence modules onto $\mathbb{R}$.…

We introduce an innovative, data-driven topological data analysis (TDA) technique for estimating the state spaces of dynamically changing functional human brain networks at rest. Our method utilizes the Wasserstein distance to measure…

In this paper we prove the homotopy lifting property for symmetric products $SP_{m}(X)$ and $F_{m}(X)$, with $X$ a Hausdorff topological space. Furthermore, we introduce a new tool, the theory of topological puzzles, to get a useful…

We prove that the $\infty$-category of $p$-typical topological Cartier modules, recently introduced by Antieau--Nikolaus, over some base $A$ is equivalent to the $\infty$-category of modules over a ring spectrum $\mathcal R_A$, which we…

In this paper, we introduce the n-th discrete topological complexity and study its properties such as its relation with simplicial Lusternik-Schnirelmann category and how the higher dimensions of discrete topological complexity relate with…

Desuspension Theorem for the steam $\Pi_{2^l-2}$ in stable homotopy groups of spheres is formulated and is proved. The proof is a minor revision of a theorem in the preprint \cite{A1} by the author (2010).

We show that the bigraded quasi-isomorphism type of the bigraded, bidifferential algebra of forms on a compact K\"ahler manifold generally contains more information than the de Rham cohomology algebra with its real Hodge structure. More…

In [6], the authors construct a cochain complex $C\!H^*(\mathcal{Z}_{\mathcal{K}})$ on the cohomology of a moment-angle complex $\mathcal{Z}_{\mathcal{K}}$ and call the resulting cohomology the double cohomology,…