代数拓扑

Spin$^h$ manifolds are the quaternionic analogue to Spin$^c$ manifolds. We compute the spin$^h$ bordism groups at the prime 2 by proving a structure theorem for the cohomology of the spin$^h$ bordism spectrum $\mathrm{MSpin}^h$ as a module…

The sectional category of a subgroup inclusion $H \hookrightarrow G$ can be defined as the sectional category of the corresponding map between Eilenberg--MacLane spaces. We extend a characterization of topological complexity of aspherical…

We construct chain-level $S^1$-equivariant string topology for each simply connected closed manifold. This amounts to constructing a Maurer-Cartan element for the canonical involutive Lie bialgebra (IBL) structure on the dual cyclic bar…

For a compact smooth manifold with corners (or finite CW-complex) $X$, we can prescribe a finite set of spin or spin$^h$ manifolds (possibly with boundary) mapping into it so that every real vector bundle over $X$ is determined, up to…

The natural occurrence of singular spaces in applications has led to recent investigations on performing topological data analysis (TDA) in a stratified framework. In many applications, there is no a priori information on what points should…

Curved algebras are a generalization of differential graded algebras which have found numerous applications recently. The goal of this foundational article is to introduce the notion of a curved operad, and to develop the operadic calculus…

We prove a result that enables us to calculate the rational homotopy of a wide class of spaces by the theory of minimal models.

The aim of this note is to give a detailed account of how symmetric operads can be constructed from planar (non-symmetric) operads, and to carefully spell out the algebraic interplay between these two notions. It is a companion note to the…

We generalize results from topological robotics on the topological complexity (TC) of aspherical spaces to sectional categories of fibrations inducing subgroup inclusions on the level of fundamental groups. In doing so, we establish new…

Algebraic operads provide a powerful tool to understand the homotopy theory of the types of (co)algebras they encode. So far, the principal results and methods that this theory provides were only available in characteristic zero. The reason…

On the free loop space of compact symmetric spaces Ziller introduced explicit cycles generating the homology of the free loop space. We use these explicit cycles to compute the string topology coproduct on complex and quaternionic…

In this paper we exploit the concept of extended Pareto grid to study the geometric properties of the matching distance for $\mathbb{R}^2$-valued regular functions defined on a Riemannian closed manifold. In particular, we prove that in…

In the field of topological data analysis, persistence modules are used to express geometrical features of data sets. The matching distance $d_\mathcal{M}$ measures the difference between $2$-parameter persistence modules by taking the…

We study the space of smooth marked hypersurfaces in a given linear system. Specifically, we prove a homology h-principle to compare it with a space of sections of an appropriate jet bundle. Using rational models, we compute its rational…

We investigate the mod $p$ Buchstaber invariant of the skeleta of simplices, for a prime number $p$, and compare them for different values of $p$. For $p=2$, the invariant is the real Buchstaber invariant. Our findings reveal that these…

We prove that the direct sums of extensions of scalars of relation modules are geometrically realisable as the second homotopy group of a finite 2-complex. We use this to exhibit a finite 2-complex with fundamental group the $(10,15)$ torus…

We develop a theory of integration with respect to the Lefschetz number in the context of o-minimal structures containing the semilinear sets. We prove several results and we apply the theory to the field of object detection using sensors.

This paper studies a notion of directed homology for preordered spaces, called the homology digraph. We show that the homology digraph is a directed homotopy invariant and establish variants of the main results of ordinary singular homology…

Mackey functors provide the coefficient systems for equivariant cohomology theories. More generally, enriched presheaf categories provide a classification and organization for many stable model categories of interest. Changing enrichments…

Recently various types of topological Laplacians have been studied from the perspective of data analysis. The spectral theory of these Laplacians has significantly extended the scope of algebraic topology and data analysis. Inspired by the…