代数拓扑

A gyration is an operation on Poincar\'{e} Duality complexes that arises from a certain surgery on the product of a given complex $N$ and a sphere, parametrised by a chosen twisting. Of particular recent interest is the notion of gyration…

We develop an algebraic model for the relative sectional category of a continuous map in rational homotopy theory using commutative differential graded algebras (CDGAs). Our main result establishes that for formal maps, the rational…

We show that the topological elliptic genus from the cobordism ring of SU-manifolds to topological Jacobi forms lifts to connective topological Jacobi forms, and that this lift is surjective in homotopy.

We study $v_n$-periodic phenomena in $C_2$-equivariant stable homotopy through the lens of the $C_2$-equivariant Adams spectral sequence at the prime 2. In particular, we construct/detect certain classes related to powers of the $v_n$…

In this paper, we determine the 3-cell skeleton of $F$, where $F$ is the homotopy fiber of the canonical pinch map from a suspension of a simply-connected 2-cell complex onto a sphere. The main result is stated $p$-locally: for $p=2$, and…

This paper presents three short, new proofs of Dowker duality using various poset fiber lemmas. We introduce modifications of joins and products of simplicial complexes called relational join and relational product complexes. These…

Two important invariants of directed graphs, namely magnitude homology and path homology, have recently been shown to be intimately connected: there is a 'magnitude-path spectral sequence' or 'MPSS' in which magnitude homology appears as…

We show that the derived category of a locally compact Hausdorff space $X$ is smooth in the sense of non-commutative geometry if and only if $X$ is discrete and finite.

In this paper, we establish formality (over $\mathbb{Q}$) for diagrams of Eilenberg-MacLane spaces of any height $n\geq 1$. This implies spectral sequence (over $\mathbb{Q}$) collapse at page $2$ for any diagram of EML spaces over any small…

We construct models for the classifying spaces of coabelian subgroups of right-angled Coxeter groups as homotopy orbit spaces of real moment-angle complexes, generalizing well-known models for the classifying space of a right-angled Coxeter…

For a finite group $G$, the notion of a $G$-transfer system provides homotopy theorists with a combinatorial way to study equivariant objects. In this paper, we focus on the properties of transfer systems for non-abelian groups. We…

We develop new aspects of the homological algebra theory for persistence modules, in both the one-parameter and multi-parameter settings. For a poset $P$ and an order preserving map $\varphi:P\times P\to P$, we introduce a novel tensor…

Let $k$ be a field and let $C$ be a small category. A $k$-linear representation of $C$, or a $kC$-module, is a functor from $C$ to the category of finite dimensional vector spaces over $k$. When the category $C$ is more general than a…

For $G$ a finite group and $T$ a $G$-Tambara functor, we construct the frame $\mathop{RadId}_G(T)$ of radical Tambara ideals and show that its points are the Nakaoka primes. We show that this frame is spatial and coherent, and deduce that…

For a topological space that is homeomorphic to a finite simplicial complex, we prove that the Bartels--Nikolaus assembly functor has a fully faithful right adjoint. Using this, we define for each such topological space $X$ a {\em Whitehead…

The concept of edit distance, which dates back to the 1960s in the context of comparing word strings, has since found numerous applications with various adaptations in computer science, computational biology, and applied topology. By…

We consider a twisting function from a 1-reduced simplicial set $X$ to a simplicial group $G$. We prove in detail that the associated Szczarba operators induce a simplicial map from the triangulation of the cubical cobar construction of $X$…

In this paper, we study the Johnson homomorphisms of basis-conjugating automorphism groups of free groups. We construct obstructions for the surjectivity of the Johnson homomorphisms. By using it, we determine its cokernels of degree up to…

We introduce a discrete cobordism category for nested manifolds and nested cobordisms between them. A variation of stratified Morse theory applies in this case, and yields generators for a general nested cobordism category. Restricting to a…

Let $M^{(k)}_{d}(n)$ be the manifold of $n$-tuples $(x_1,\ldots,x_n)\in(\mathbb{R}^d)^n$ having non-$k$-equal coordinates. We show that, for $d\geq2$, $M^{(3)}_{d}(n)$ is rationally formal if and only if $n\leq 6$. This stands in sharp…