代数拓扑
For $X$ a metric space and $r\ge 0$, the anti-Vietoris-Rips metric thickening $\mathrm{AVR^m}(X;r)$ is the space of all finitely supported probability measures on $X$ whose support has spread at least $r$, equipped with an optimal transport…
The persistence barcode (equivalently, the persistence diagram), which can be obtained from the interval decomposition of a persistence module, plays a pivotal role in applications of persistent homology. For multi-parameter persistent…
The Generalized Persistence Diagram (GPD) for multi-parameter persistence naturally extends the classical notion of persistence diagram for one-parameter persistence. However, unlike its classical counterpart, computing the GPD remains a…
One of the primary methods of studying the topology of configurations of points in a graph and configurations of disks in a planar region has been to examine discrete combinatorial models arising from the underlying spaces. Despite the…
Denote by $\mathcal{Z}_5((\mathbb{Z}_2)^3)$ the group, which is also a vector space over $\mathbb{Z}_2$, generated by equivariant unoriented bordism classes of all five-dimensional closed smooth manifolds with effective smooth…
Stabilization of manifolds by a product of spheres or a projective space is important in geometry. There has been considerable recent work that studies the homotopy theory of stabilization for connected manifolds. This paper generalizes…
We show that the hypercomplete $\infty$-topos associated with any replete topos is Postnikov complete, positively answering a question of Bhatt and Scholze; this will be deduced from the Milnor sequences for sheaves of spaces on replete…
The Steenrod squares are cohomology operations with important applications in algebraic topology. While these operations are well-understood classically, little is known about them in the setting of homotopy type theory. Although a…
Stiefel-Whitney classes are invariants of the tangent bundle of a smooth manifold, represented as cohomology classes of the base manifold. These classes are essential in obstruction theory, embedding problems, and cobordism theory. In this…
In this note, we study the delooping of spaces and maps in homotopy type theory. We show that in some cases, spaces have a unique delooping, and give a simple description of the delooping in these cases. We explain why some maps, such as…
Donald Davis initiated the study of an $n$-dimensional analogue of the Klein bottle. This generalized Klein bottle occurs as a moduli space of planar polygons for a certain choice of side lengths. In this paper, we show that the…
This work considers the computation of controllable cut-and-paste groups $\mathrm{SKK}^{\xi}_n$ of manifolds with tangential structure $\xi:B_n\to BO_n$. To this end, we apply the work of Galatius-Madsen-Tillman-Weiss, Genauer and…
We calculate the $K(n-1)$-localized $E_n$ theory for symmetric groups, and deduce a modular interpretation of the total power operation $\psi^p_F$ on $F=L_{K(n-1)}E_n$ in terms of augmented deformations of formal groups and their subgroups.…
We observe a new equivariant relationship between topological Hochschild homology and cohomology. We also calculate the topological Hochschild homology of the topological Hochschild cohomology of a finite prime field, which can be viewed as…
We construct an $A_\infty$-structure on the two-sided bar construction involving homotopy Gerstenhaber algebras (hgas). It extends the non-associative product defined by Carlson and the author and generalizes the dga structure on the…
In this note, we will compute some Gromoll filtration groups $\Gamma^{n+1}_{i+1}$ for certain $i$ when $8\leq n \leq 17$ and $n=4k+2\geq 18$. We will also use these results to obtain some information of $\pi_1\mathrm{Diff}_{\partial} (D^n)$…
We give the first tractable and systematic examples of nontrivial higher digraph homotopy groups. To do this we define relative digraph homotopy groups and show these satisfy a long exact sequence analogous to the relative homotopy groups…
Given a commutative ring $R$, a $\pi_1$-$R$-equivalence is a continuous map of spaces inducing an isomorphism on fundamental groups and an $R$-homology equivalence between universal covers. When $R$ is an algebraically closed field, Raptis…
We extend classical tools from rational homotopy theory to topological data analysis by introducing persistent Sullivan minimal models of persistent topological spaces. Our main result establishes that the interleaving distance between such…
The generalized persistence diagram (GPD) is a natural extension of the classical persistence barcode to the setting of multi-parameter persistence and beyond. The GPD is defined as an integer-valued function whose domain is the set of…