Related papers: Stable equivariant abelianization, its properties,…
We prove a structure theorem for stable functions on amenable groups, which extends the arithmetic regularity lemma for stable subsets of finite groups. Given a group $G$, a function $f\colon G\to [-1,1]$ is called stable if the binary…
Given a finite abelian group $G$ and a Sylow $p$-subgroup $N_p$, we prove that the $KU_G/p$-local sphere spectrum is equivalent to the homotopy fixed points of a $p$-complete $KO_{N_p}$-module spectrum. Then we compute the…
We study the back stable $K$-theory Schubert calculus of the infinite flag variety. We define back stable (double) Grothendieck polynomials and double $K$-Stanley functions and establish coproduct expansion formulae. Applying work of…
Gelfand's charecterization of a topological space M by the duality relationship of M and $\mathcal{A} = \mathcal{F}(M)$, the commutative algebra of functions on this space has deep implications including the development of spectral calculas…
Let $\mathcal{X}$ be a tame proper Deligne-Mumford stack of the form $[M/G]$ where $M$ is a scheme and $G$ is an algebraic group. We prove that the stack $\mathcal{K}_{g,n}(\mathcal{X},d)$ of twisted stable maps is a quotient stack and can…
Let $Q$ denote the cyclic group of order two. Using the Tate diagram we compute the $RO(Q)$-graded coefficients of Eilenberg-MacLane $Q$-spectra and describe their structure as a module over the coefficients of the Eilenberg-MacLane…
Let G be a finite group. We systematically exploit general homological methods in order to reduce the computation of G-equivariant KK-theory to topological equivariant K-theory. The key observation is that the functor assigning to a…
We define a version of stable maps into the classifying stack $B\mathrm{GL}_N$, and develop a corresponding notion of $K$-theoretic Gromov-Witten invariants. In this setting, the evaluation morphisms are not of finite type; the definition…
We consider a finitely generated virtually abelian group $G$ acting properly and without inversions on a CAT(0) cube complex $X$. We prove that $G$ stabilizes a finite dimensional CAT(0) subcomplex $Y \subseteq X$ that is isometrically…
We show that the derived $\infty$-category of permutation modules is equivalent to the category of modules over the Eilenberg-MacLane spectrum associated to a constant Mackey functor in the $\infty$-category of equivariant spectra. On such…
In this paper we develop the basic homotopy theory of G-symmetric spectra (that is, symmetric spectra with a G-action) for a finite group G, as a model for equivariant stable homotopy with respect to a G-set universe. This model lies in…
An isovariant map between spaces with a group action is an equivariant map which preserves isotropy groups. In this paper, we show that for a finite group $G$, the category of $G$-spaces with isovariant maps has a Quillen model structure.…
In this paper, we develop the theory of equivariant motivic homotopy theory, both unstable and stable. While our original interest was in the case of profinite group actions on smooth schemes, we discuss our results in as broad a setting as…
Consider a proper cocompact CAT(0) space X. We give a complete algebraic characterisation of amenable groups of isometries of X. For amenable discrete subgroups, an even narrower description is derived, implying Q-linearity in the…
Let $V$ be a linear representation of a connected complex reductive group $G$. Given a choice of character $\theta$ of $G$, Geometric Invariant Theory defines a locus $V^{ss}_\theta(G) \subseteq V$ of semistable points. We give necessary,…
We prove definable versions of the Universal Coefficient Theorems of Eilenberg--Mac Lane expressing the (Steenrod) homology groups of a compact metrizable space in terms of its integral cohomology groups, and the (\v{C}ech) cohomology…
For groups of prime order, equivariant stable maps between equivariant representation spheres are investigated using the Borel cohomology Adams spectral sequence. Features of the equivariant stable homotopy category, such as stability and…
We construct geometric models for classifying spaces of linear algebraic groups in G-equivariant motivic homotopy theory, where G is a tame group scheme. As a consequence, we show that the equivariant motivic spectrum representing the…
We construct hyper-homology spectral sequences of Z-graded and ROG-graded Mackey functors for Ext and Tor over G-equivariant S-algebras (A-infty ring spectra) for finite groups G. These specialize to universal coefficient and Kunneth…
We develop an equivariant version of Seiberg-Witten-Floer cohomology for finite group actions on rational homology $3$-spheres. Our construction is based on an equivariant version of the Seiberg-Witten-Floer stable homotopy type, as…