代数拓扑

We establish compatibility of Lie structures that appear in homotopy calculus of functors and isotopy calculus of embeddings. On one hand, we give a new proof of the Johnson--Arone--Mahowald result describing the layers of the Goodwillie…

We show that the $\infty$-category of synthetic spectra based on Morava E-theory is generated by the bigraded spheres and identify it with the $\infty$-category of modules over a filtered ring spectrum. The latter we show using a general…

The "higher chromatic" Quillen-Lichtenbaum conjecture, as proposed by Ausoni and Rognes, posits that the finite localization map $K(R) \to L_{n + 1}^f K(R)$ is a $p$-local equivalence in large degrees for suitable ring spectra $R$. We give…

We describe the action of the mapping class group $M(g,n)$ on the fundamental group of $T_{g,n}$, a compact orientable topological surface of positive genus $g$ with $n$ marked points. This is achieved by computing the image of the…

In this paper we study 2-valued non-split maps, focusing on the Klein bottle. We establish a connection between a 2-valued non-split map $\phi:X\multimap Y$ and a pair of classes of maps $([f],[f\circ \delta])\in [\tilde X,Y]\times[\tilde…

We construct a rational homotopy-theoretic model for a classifying space of locally conformally symplectic structures on four-manifolds, and use it to definition a cobordism category of three-manifolds `anchored' by principal $\Omega^2 S^2$…

We show that except two special cases, the sphere bundle of a vector bundle over a simply connected $4$-manifold splits after looping. In particular, this implies that though there are infinitely many inequivalent sphere bundles of a given…

We show that in a fibration the coformality of the base space implies the coformality of the total space under reasonable conditions, and these conditions can not be weakened. The result is partially dual to the classical work of Lupton…

Beben and Wu showed that if $M$ is a $(2n-2)$-connected $(4n-1)$-dimensional Poincar\'{e} Duality complex such that $n\geq 3$ and $H^{2n}(M;\mathbb{Z})$ consists only of odd torsion, then $\Omega M$ can be decomposed up to homotopy as a…

Using integral methods we recover and generalize some results by F\'{e}lix, Halperin and Thomas on the growth of the rational homology groups of free loop spaces, and obtain a new family of spaces whose $p$-torsion in homotopy groups grows…

This paper studies the magnitude homology groups of geodesic metric spaces. We start with a description of the second magnitude homology of a general metric space in terms of the zeroth homology groups of certain simplicial complexes. Then,…

Let $\operatorname{E}_2$ be the Morava E-theory of height 2 at the prime 2. In this paper, we compute the homotopy groups of $\operatorname{E}_2^{hC_6} \wedge \mathbb{R}P^2$ and $\operatorname{E}_2^{hC_6} \wedge \mathbb{R}P^2 \wedge…

We show that Koszul duality between differential graded categories and pointed curved coalgebras interchanges smooth and proper Calabi-Yau structures. This result is a generalization and conceptual explanation of the following two…

We use new homotopy-theoretic tools to prove the existence of smooth $U(1)$- and $Sp(1)$-actions on infinite families of exotic spheres. Such families of spheres are propagated by the complex and quaternionic analogues of the Mahowald…

In this paper, we consider the flag manifold of $p$ orthogonal subspaces of equal dimension which carries an action of the cyclic group of order $p$. We provide a complete calculation of the associated Fadell-Husseini index. This may be…

In this paper, we compute the singular cohomology groups $H^*(C_2(M);\mathbb{F}_2)$ of the ordered 2-configuration space $C_2(M)$ as $\Sigma_2$-representations. Using the result, we determine the mod 2 cohomology of the unordered…

We provide two candidates for symplectic Weiss calculus based on two different, but closely related, collections of groups. In the case of the non-compact symplectic groups, i.e., automorphism groups of vector spaces with symplectic forms,…

We introduce and study central types, which are generalizations of Eilenberg-Mac Lane spaces. A type is central when it is equivalent to the component of the identity among its own self-equivalences. From centrality alone we construct an…

We adapt algorithms for resolving the singularities of complex algebraic varieties to prove that the natural map of homology theories from complex bordism to the bordism theory of complex derived orbifolds splits. In equivariant stable…

This article explores equivariant localization in the category of $G$-spaces, where $G$ is a compact Lie group. We establish a commutation rule for the localization functor and the equivariant loop functor. Additionally, we introduce and…