代数拓扑

In this paper, we introduce the notion of $G_\infty$-ring spectra. These are globally equivariant homotopy types with a structured multiplication, giving rise to power operations on their equivariant homotopy and cohomology groups. We…

Let $A_1$ be any spectrum in the class of finite spectra whose mod-2 cohomology is isomorphic to $\mathcal{A}(1)$ as a module over the subalgebra $\mathcal{A}(1)$ of the Steenrod algebra; let $tmf$ be the connective spectrum of topological…

Given a commutative ring $A$, a "formal $A$-module" is a formal group equipped with an action of $A$. There exists a classifying ring $L^A$ of formal $A$-modules. This paper proves structural results about $L^A$ and about the moduli stack…

In this paper we study a specific class of actions of a $2$-torus $\mathbb{Z}_2^k$ on manifolds, namely, the actions of complexity one in general position. We describe the orbit space of equivariantly formal $2$-torus actions of complexity…

We develop a theory of operations on the twisted homology of $E_{\infty}$-algebras, generalizing a classical theory developed by J.P. May. First we describe a framework suitable for discussing twisted coefficients, which requires working…

We consider a theory of noncommutative Gr\"obner bases on decreasingly filtered algebras whose associated graded algebras are commutative. We transfer many algorithms that use commutative Gr\"obner bases to this context. As an important…

We establish a novel approach to computing $G$-equivariant cohomology for a finite group $G$, and demonstrate it in the case that $G = C_{p^n}$. For any commutative ring spectrum $R$, we prove a symmetric monoidal reconstruction theorem for…

In this article, we study the topological Hochschild homology of $\mathbf{E}_3$-forms of truncated Brown-Peterson spectra, taken relative to certain Thom spectra $X(p^n)$ (introduced by Ravenel and used by Devinatz-Hopkins-Smith in the…

The Deligne-Getzler-Hinich--$\infty$-groupoid or Maurer-Cartan simplicial set of an $L_\infty$-algebra plays an important role in deformation theory and many other areas of mathematics. Unfortunately, this construction only works over a…

Let $X$ be a finite CW-complex having mod $p$ cohomology isomorphic to a wedge of three spheres $\mathbb{S}^n\vee \mathbb{S}^m \vee \mathbb{S}^l,~ 1\leq n \leq m \leq l$. The aim of this paper is to determine the fixed point sets of actions…

Let $G=\mathbb{Z}_2$ act on a finite CW-complex $X$ having mod 2 cohomology isomorphic to the product of projective space and sphere $\mathbb{F}P^n\times \mathbb{S}^m,$ where $\mathbb{F}=\mathbb{R}$ or $\mathbb{C}.$ In this paper, we have…

In this paper, we have determined the orbit spaces of free involutions on a finitistic space having mod 2 cohomology of the product of three spheres $\mathbb{S}^n\times \mathbb{S}^m \times \mathbb{S}^l, 1 \leq n \leq m \leq l$. This paper…

Consider the space of continuous functions on a geometric tree $X$ whose persistent homology gives rise to a finite generic barcode $D$. We show that there are exactly as many path connected components in this space as there are merge trees…

We propose a categorification of the Dowker duality theorem for relations. Dowker's theorem states that the Dowker complex of a relation $R \subseteq X \times Y$ of sets $X$ and $Y$ is homotopy equivalent to the Dowker complex of the…

In this short paper, we give two proofs that the Euler characteristic is multiplicative, for fiber sequences of finitely dominated spaces. This is equivalent to proving that the Becker-Gottlieb transfer is functorial on $\pi_0$.

Mapper and Ball Mapper are Topological Data Analysis tools used for exploring high dimensional point clouds and visualizing scalar-valued functions on those point clouds. Inspired by open questions in knot theory, new features are added to…

In this paper, we generalize the original idea of Thurston for the so called Mather-Thurston's theorem for foliated bundles to prove new variants of this theorem for PL homeomorphisms, contactormorphisms. These versions answer questions…

Let $P$ be a poset. We define a new homotopy theory of suitably nice $P$-stratified topological spaces with equivalences on strata and links inverted. We show that the exit-path construction of MacPherson, Treumann, and Lurie defines an…

The higher topological complexity of a space $X$, $\text{TC}_r(X)$, $r=2,3,\ldots$, and the topological complexity of a map $f$, $\text{TC}(f)$, have been introduced by Rudyak and Pave\v{s}i\'{c}, respectively, as natural extensions of…

There is a free construction from multicategories to permutative categories, left adjoint to the endomorphism multicategory construction. The main result shows that these functors induce an equivalence of homotopy theories. This result…