代数拓扑

We define generalised higher Whitehead maps between polyhedral products. By investigating the interplay between the homotopy-theoretic properties of polyhedral products and the combinatorial properties of simplicial complexes, we describe…

In this paper, we study the computation of optimal discrete Morse functions on stratifolds. In particular, we present an algorithm that efficiently computes such functions for a broad class of them. Moreover, we characterize the conditions…

In this paper, we extend the iterated integrals from smooth manifolds to digraphs and develop the associated algebraic and geometric structures. Iterated integrals on a digraph naturally give rise to the iterated path algebra and the…

We find the complete rational homology for the finite subset spaces of a $d$-dimensional sphere. We also determine the integral homology in top $d$ degrees and obtain a partial description of it in codimension $d$.

In this work, we present explicit constructions and computations of representative cycles for a nontrivial 2-parameter persistence module arising from the configuration space of metric star graphs. For all edge-length vector…

We prove \cite[Conjecture~5.17]{Clausen} on the local light--profinite structure of smooth $p$-adic analytic Artin stacks. The argument proceeds in several reductions. First, by proving a generalization of van~Dantzig theorem for groupoids,…

Given a positive integer $k$, we investigate the $k$-redcibility of self-maps in the monoid $\AA^k(X\vee Y)$, consisting of self-maps that induce isomorphisms on homology groups up to degree $k$. In general, verifying $k$-reducibility is a…

A $1$-Lipschitz map between compact metric spaces $f\colon X\to Y$ induces a homomorphism of persistence modules on degree-$d$ Vietoris--Rips persistent homology. We define the persistent cost of $f$ from this induced homomorphism by…

We study the higher (or sequential) topological complexity $\mathrm{TC}_s$ of manifolds with abelian fundamental group. We give sufficient conditions for $\mathrm{TC}_s$ to be non-maximal in both the orientable and non-orientable cases. In…

We study algebraic K-theory and topological Hochschild homology in the setting of bimodules over a stable category, a datum we refer to as a laced category. We show that in this setting both K-theory and THH carry universal properties, the…

We enumerate complex rank $n$ topological vector bundles on $\mathbb CP^{n+1}$ with prescribed Chern classes. This extends work of Atiyah and Rees in the case $n=2$ and work of Hu in the case that all Chern classes are zero.

Magnitude is an isometric invariant for metric spaces that was introduced by Leinster around 2010, and is currently the object of intense research, since it has been shown to encode many known invariants of metric spaces. In recent work,…

In this paper we study the cellularization of classifying spaces of saturated fusion systems with respect to classifying spaces of finite p-groups. We give explicit algebraic criteria to decide when a classifying space is cellular.…

For a Weyl group $W$ and a $W$-permutohedron $P$, there are associated toric varieties $X_P$ and $X_{P/W_K}$ for any parabolic subgroup $W_K$ of $W$, since the quotient $P/W_K$ can be identified with a polytope inside $P$. We construct an…

In the context of complex algebraic varieties, the decomposition theorem for semi-small maps provides a decomposition of the direct image of the constant sheaf. In this work, we develop a decomposition theorem for branched coverings of…

We develop tools to study Picard groups of quotients of ring spectra by a finitely generated ideal, which we use to show that $\mathrm{Pic}(\mathrm{E}_n/I) = \mathbb{Z}/2$, where $\mathrm{E}_n$ is a Lubin--Tate theory and $I$ is an ideal…

We look at a new string$^h$ tangential structure first introduced by Devalapurkar and relate it to the $W_7=0$ condition of Diaconescu-Moore-Witten for type IIA string theory and M-theory. We show that a string$^h$ structure on the target…

We compute the homotopy groups of $\mathrm{THH}(\mathrm{ku})$ as a $\mathrm{ku}_\ast$-module using the descent spectral sequence for the map $\mathrm{THH}(\mathrm{ku})\to\mathrm{THH}(\mathrm{ku}/\mathrm{MU})$, which is the motivic spectral…

Persistent homology is a popular method for computing topological features of (metric) data. Standard approaches based on the \v{C}ech or Rips filtration are stable under small perturbations of the data, but highly sensitive to outliers.…

Let $M_{n,k}$ denote the even orthogonal Grassmanian, $SO(2n) / (U(k) \times SO(2n-2k) )$. We study endomorphisms of the rational cohomology algebra of $M_{n,k}$. We prove that an endomorphism of the rational cohomology algebra of…