代数拓扑

Motivated by motivic zeta function calculations, Vakil and Wood in [VMW12] made several conjectures regarding the topology of subspaces of symmetric products. The purpose of this note is to prove two of these conjectures and disprove a…

We show that weak monoidal Quillen equivalences induce equivalences of symmetric monoidal $\infty$-categories with respect to the Dwyer-Kan localization of the symmetric monoidal model categories. The result will induce a Dold-Kan…

In this paper, we establish a multiplicative equivalence between two multiplicative algebraic $K$-theory constructions, Elmendorf and Mandell's version of Segal's $K$-theory and Blumberg and Mandell's version of Waldhausen's $S_\bullet$…

We construct a homotopy initial functor from the partition complex of a finite set $A$ to a category of trees with leaves labelled by $A$. As an application, this provides an equivalence between different bar constructions of an operad. In…

This note provides modern proofs of some classical results in algebraic topology, such as the James Splitting, the Hilton-Milnor Splitting, and the metastable EHP sequence. We prove fundamental splitting results \begin{equation*} \Sigma…

The free loop space of a Lie group is homeomorphic to the product of the Lie group itself and its based loop space. We show that the coproduct on the homology of the free loop space that was introduced by Goresky and Hingston splits into…

We study the homology of free loop spaces via techniques arising from the theory of topological coHochschild homology (coTHH). Topological coHochschild homology is a topological analogue of the classical theory of coHochschild homology for…

For a complex reductive Lie group G with Lie algebra g, Cartan subalgebra h and Weyl group W, we describe the category of perverse sheaves on h/W smooth w.r.t the natural stratification. The answer is given in terms of mixed Bruhat sheaves,…

This paper deals with the homotopy theory of differential graded operads. We endow the Koszul dual category of curved conilpotent cooperads, where the notion of quasi-isomorphism barely makes sense, with a model category structure Quillen…

A principal bundle over the connected sum of two manifolds need not be diffeomorphic or even homotopy equivalent to a non-trivial connected sum of manifolds. We show however that the homology of the total space of a bundle formed a pullback…

We give a short and much simplified proof of the main theorem of the recent study, by T. Barthel, M. Hausmann, N. Naumann, T. Nikolaus, J. Noel, and N. Stapleton, of the Balmer spectrum for A-equivariant stable homotopy when A is a finite…

Let $C_2$ denote the cyclic group of order 2. We compute the $RO(C_2)$-graded cohomology of all $C_2$-surfaces with constant integral coefficients. We show when the action is nonfree, the answer depends only on the genus, the orientability…

We give an overview of five rationalization theories for spaces (Bousfield-Kan's $\mathbb Q$-completion; Sullivan's rationalization; Bousfield's homology rationalization; Casacuberta-Peschke's $\Omega$-rationalization;…

In this paper we introduce two new methods for constructing injective resolutions of sheaves of finite-dimensional vector spaces on finite posets. Our main result is the existence and uniqueness of a minimal injective resolution of a given…

Let $PU_n$ the projective unitary group of rank $n$ and $BPU_n$ its classifying space. For an odd prime $p$, we extend previous results to a compete description of $H^s(BPU_n;\mathbb{Z})_{(p)}$ for $s<2p+5$ by showing that the $p$-primary…

In this note, we rederive quantum Pieri's formula and the rim hook algorithm in quantum Schubert calculus by studying multiplication in the equivariant cohomology ring of Grassmannians with respect to equivariant Schubert classes which are…

The paper contains an application of van Kampen theorem for groupoids for computation of homotopy types of certain class of non-compact foliated surfaces obtained by gluing at most countably many strips $\mathbb{R}\times(0,1)$ with boundary…

Recent work of Jonathan Campbell and Inna Zakharevich has focused on building machinery for studying scissors congruence problems via algebraic $K$-theory, and applying these tools to studying the Grothendieck ring of varieties. In this…

The classical persistence algorithm computes the unique decomposition of a persistence module implicitly given by an input simplicial filtration. Based on matrix reduction, this algorithm is a cornerstone of the emergent area of topological…

We characterize homotopical equivalences between causal DAG models, exploiting the close connections between partially ordered set representations of DAGs (posets) and finite Alexandroff topologies. Alexandroff spaces yield a directional…