代数拓扑

The chromatic alpha filtration is a generalization of the alpha filtration that can encode spatial relationships among classes of labelled point cloud data, and has applications in topological data analysis of multi-species data. In this…

In this paper we show that the six functor formalism for sheaves on locally compact Hausdorff topological spaces, as developed for example in Kashiwara and Schapira's book Sheaves on Manifolds, can be extended to sheaves with values in any…

Let $G$ be a complex reductive group. A folklore result asserts the existence of an $\mathbb{E}_2$-algebra structure on the Ran Grassmannian of $G$ over $\mathbb{A}^1_{\mathbb{C}}$, seen as a topological space with the complex-analytic…

In this paper, we classify simply connected closed smooth $13$-dimensional manifolds whose cohomology ring is isomorphic to that of $\mb{CP}^3\times S^7$, up to diffeomorphism, homeomorphism, and homotopy equivalence. Furthermore, if such a…

We show that any map from an infinite loop space to a $p$-complete nilpotent finite dimensional space factors canonically through a union of $p$-adic tori. This is proven via bootstrapping from the case of $B\mathbb{Z}/p\mathbb{Z}$, which…

We give explicit formulas for the asymptotic Betti numbers, over an arbitrary field, of the ordered configuration spaces of a graph. In characteristic zero, we further give explicit formulas for the asymptotic multiplicities in homology of…

We show the homology of the Hurwitz space associated to an arbitrary finite rack stabilizes integrally in a suitable sense. We also compute the dominant part of its stable homology after inverting finitely many primes. This proves a…

This essay explains an approach to the study of smooth manifolds which compares them to presheaves on a category of discs, also known as embedding calculus. We highlight recent work that shows this approach has many desirable properties, as…

For any simplicial complex $X$ with a total ordering of its vertices, one can construct a chain complex $\mathbb{L}_\bullet(X)$ generated by necklaces of simplices in $X$, which computes the homology of the free loop space of the geometric…

We present an efficient and user-friendly method for constructing any cofibrantly generated model structure on the category of double categories whose trivial fibrations are the "canonical" ones: the double functors which are surjective on…

Shellable complexes are homotopy equivalent to a wedge of spheres of possibly different dimensions, so that the (co)homology of the constant functor over the complex is concentrated in those degrees. In this work, we introduce the concept…

We compute some differentials of Sinha's spectral sequence for cohomology of the space of long knots modulo immersions in codimension one, mainly over a field of characteristic $2$ or $3$. This spectral sequence is closely related to…

The persistence diagram is a central object in the study of persistent homology and has also been investigated in the context of random topology. The more recent notion of the verbose diagram (a.k.a. verbose barcode) is a refinement of the…

We construct spectrum-level splittings of $BPGL \langle 1 \rangle \wedge BPGL \langle 1 \rangle$ at all primes $p$, where $BPGL \langle 1 \rangle$ is the first truncated motivic Brown--Peterson spectrum. Classically, $BP\langle 1 \rangle…

Banyaga and Hurtubise defined the Morse-Bott-Smale chain complex as a quotient of a large chain complex by introducing five degeneracy relations. However, their five degeneracy relations are in fact redundant. In the present paper, we unify…

Prestacks are algebro-geometric objects whose defining relations are far from quadratic. Indeed, they are cubic and quartic, and moreover inhomogeneous. Similarly, a morphism of $P$-algebras for a (nonsymmetric) Koszul operad $P$ has…

We study the operad structure on the homology of moduli spaces of pointed rooted trees of $d$-dimensional projective spaces, introduced by Chen, Gibney and Krashen a couple of decades ago. We describe this operad by generators and…

Let $Q_n$ be the quasi-projective subspace of the symplectic group $\mathrm{Sp}(n)$. In this short note, we prove that the subspace Lusternik-Schnirelmann category of $Q_n$ in $\mathrm{Sp}(n)$ is 2. For that, we use a quaternionic…

As well-known, inner functions play an important role in the study of bounded analytic function theory. In recent years, persistence module theory, as a main tool applied to Topological Data Analysis, has received widespread attention. In…

Using a Milnor-Moore argument we show that, $K(2)$-locally at the prime $2$, the spectra $MU\langle 6\rangle$ and $MString$ split as direct sums of Morava $E$-theories after tensoring with a finite Galois extension of the sphere called…