代数拓扑

Using an equivariant surgery classification, we compute the $RO(C_3)$-graded Bredon cohomology of all $C_3$-surfaces in constant $\mathbb{Z}/3$-coefficients as modules over the cohomology of a fixed point. We show that the cohomology of a…

The bicategory of parameterized spectra has a remarkably rich structure. In particular, it is possible to take traces in this bicategory, which give classical invariants that count fixed points. We can also take equivariant traces, which…

Let G = S^d, d = 0, 1 or 3, act freely on a finitistic connected space X. This paper gives the cohomology classification of X if a mod 2 or rational cohomology of the orbit space X/G is isomorphic to the product of a projective space and…

Borel-Serre proved that the integral symplectic group $\operatorname{Sp}_{2n}(\mathbb{Z})$ is a virtual duality group of dimension $n^2$ and that the symplectic Steinberg module $\operatorname{St}^\omega_n(\mathbb{Q})$ is its dualising…

We show that the 2-Segal spaces (also called decomposition spaces) of Dyckerhoff-Kapranov and G\'alvez-Kock-Tonks have a natural analogue within simplicial sets, which we call quasi-2-Segal sets, and that the two ideas enjoy a similar…

In this paper, we build up a scaled homology theory, $lc$-homology, for metric spaces such that every metric space can be visually regarded as "locally contractible" with this newly-built homology. We check that $lc$-homology satisfies all…

We show that the complicial nerve construction is homotopically compatible with two flavors of cone constructions when starting with an $\omega$-category that is suitably free and loop-free. An instance of the result recovers the fact that…

We prove that the Becker-Gottlieb transfer is functorial up to homotopy, for all fibrations with finitely dominated fibers. This resolves a lingering foundational question about the transfer, which was originally defined in the late 1970s…

When a torus acts on a compact oriented manifold with isolated fixed points, the equivariant localization formula of Atiyah--Bott and Berline--Vergne converts the integral of an equivariantly closed form into a finite sum over the fixed…

This is a commentary on Raoul Bott and Loring Tu's joint article "Equivariant characteristic classes in the Cartan model," which appeared in "Geometry, Analysis, and Applications (Varanasi, 2000)," World Scientif Publishing, River Edge, NJ,…

Fix a prime $p$ and a chromatic height $h$. We prove that the homotopy $(k,1)$-category of $L_h$-local spectra $\mathrm{h}_k\big(\mathrm{Sp}_{p,h}\big)$ is algebraic as a symmetric monoidal category when $p > O(h^2+kh)$. To achieve this, we…

We develop a theory of persistent homology for directed simplicial complexes which detects persistent directed cycles in odd dimensions. We relate directed persistent homology to classical persistent homology, prove some stability results,…

We define $N_\infty$-operads in the globally equivariant setting and completely classify them. These global $N_\infty$-operads model intermediate levels of equivariant commutativity in the global world, i. e. in the setting where objects…

It is well-known that the Steenrod algebra $A$ is self-injective as a graded ring. We make the observation that simply changing the grading on $A$ can make it cease to be self-injective. We see also that $A$ is not self-injective as an…

Let $X$ be a compact, oriented, second countable pseudomanifold. We show that $HH^\ast_\bullet(\widetilde N^\ast_\bullet(X;\mathbb{Q}))$, the Hochschild cohomology of the blown-up intersection cochain complex of $X$, is well defined and…

Global transfer systems are equivalent to global $N_\infty$-operads, which parametrize different levels of commutativity in globally equivariant homotopy theory, where objects have compatible actions by all compact Lie groups. In this paper…

Under Poincar\'e duality, a smooth map of compact oriented manifolds induces a pushforward map in cohomology, called the "Gysin map." It plays an important role in enumerative geometry. Using the equivariant localization formula, the author…

Given smooth manifolds $M$ and $N$, manifold calculus studies the space of embeddings $\operatorname{Emb}(M,N)$ via the "embedding tower", which is constructed using the homotopy theory of presheaves on $M$. The same theory allows us to…

The purpose of this paper is twofold: 1. we prove the triangulability of smooth orbifolds with corners, generalizing the same statement for orbifolds. 2. based on 1, we propose a new homology theory. We call it geometric homology theory…

A fundamental result in toric topology identifies the cohomology ring of the moment-angle complex $\mathcal{Z}_K$ associated to a simplicial complex $K$ with the Koszul homology of the Stanley--Reisner ring of $K$. By studying cohomology…