Related papers: Commuting homotopy limits and smash products

Given a topological group G, its orbit category Orb_G has the transitive G-spaces G/H as objects and the G-equivariant maps between them as morphisms. A well known theorem of Elmendorf then states that the category of G-spaces and the…

The main theorem describes the behaviour of the stable cohomotopy invariant defined in the first article (joint with M. Furuta) in this series of two under the operation of taking connected sums of four-manifolds: The invariant of a…

We show that for each discrete group G, the rational assembly map K_*(BG) \otimes Q \to K_*(C*_{max} G) \otimes \Q is injective on classes dual to the subring generated by cohomology classes of degree at most 2 (identifying rational…

A group action on the input ring or category induces an action on the algebraic $K$-theory spectrum. However, a shortcoming of this naive approach to equivariant algebraic $K$-theory is, for example, that the map of spectra with $G$-action…

We use geometric fixed points to describe the homotopy theory of genuine equivariant commutative ring spectra after inverting the group order. The main innovation is the use of the extra structure provided by the Hill-Hopkins-Ravenel norms…

For a countable discrete group $G$, we construct a new and concrete model for the equivariant topological $K$-homology theory of $G$, which is defined for all $G$-actions, not just for proper $G$-actions. The construction of our model…

Relative index theorems, which deal with what happens with the index of elliptic operators when cutting and pasting, are abundant in the literature. It is desirable to obtain similar theorems for other stable homotopy invariants, not the…

Given a spin rational homology sphere $Y$ equipped with a $\mathbb{Z}/m$-action preserving the spin structure, we use the Seiberg--Witten equations to define equivariant refinements of the invariant $\kappa(Y)$ from \cite{Man14}, which take…

We extend the notion of a commuting poset for a finite group to p-blocks and fusion systems, and we generalize a result, due originally to Alperin and proved independently by Aschbacher and Segev, to commuting graphs of blocks, with a very…

We study cohomology theories of strongly homotopy algebras, namely $A_\infty, C_\infty$ and $L_\infty$-algebras and establish the Hodge decomposition of Hochschild and cyclic cohomology of $C_\infty$-algebras thus generalising previous work…

We develop a mutation theory for quivers with oriented 2-cycles using a structure called a homotopy, defined as a normal subgroupoid of the quiver's fundamental groupoid. This framework extends Fomin-Zelevinsky mutations of 2-acyclic…

Shulman's spatial type theory internalizes the modalities of Lawvere's axiomatic cohesion in a homotopy type theory, enabling many of the constructions from Schreiber's modal approach to differential cohomology to be carried out…

We show that the inverse limit and the orbit map commute for actions of compact groups on compact Hausdorff spaces.

We define a genuine $\mathbb{Z}/2$-equivariant real algebraic $K$-theory spectrum $KR(A)$, for every genuine $\mathbb{Z}/2$-equivariant spectrum $A$ equipped with a compatible multiplicative structure. This construction extends the real…

Ginzburg, Kapranov and Vasserot conjectured the existence of equivariant elliptic cohomology theories. In this paper, to give a description of equivariant spectra of the theories, we study an intermediate theory, quasi-elliptic cohomology.…

We provide a general framework for wall-crossing of equivariant K-theoretic enumerative invariants of appropriate moduli stacks $\mathfrak{M}$, by lifting Joyce's homological universal wall-crossing arXiv:2111.04694 to K-theory and to…

We extend the stable motivic homotopy category of Voevodsky to the class of scalloped algebraic stacks, and show that it admits the formalism of Grothendieck's six operations. Objects in this category represent generalized cohomology…

Let $(S,\omega)$ be a closed connected oriented surface whose genus $l$ is at least two equipped with a symplectic form. Then we show the vanishing of the cup product of the fluxes of commuting symplectomorphisms. This result may be…

For a compact monotone symplectic manifold $X$ with Hamiltonian action of a compact Lie group $G$ and smooth symplectic reduction, we relate its gauged $2$-dimensional $A$-model to the $A$-model of $X/\!/G$. This (long conjectured) result…

We study the $K$-theory and Swan theory of the group ring $R[G]$, when $G$ is a finite group and $R$ is any ring or ring spectrum. In this setting, the well-known assembly map for $K(R[G])$ has a companion called the coassembly map. We…