Related papers: Equivariant algebraic $K$-theory of symmetric mono…

We show that each of the three $K$-theory multifunctors from small permutative categories to $\mathcal{G}_*$-categories, $\mathcal{G}_*$-simplicial sets, and connective spectra, is an equivalence of homotopy theories. For each of these…

We study the "higher algebra" of spectral Mackey functors, which the first named author introduced in Part I of this paper. In particular, armed with our new theory of symmetric promonoidal $\infty$-categories and a suitable generalization…

A central question in equivariant algebraic K-theory asks whether there exists an equivariant K-theory machine from genuine symmetric monoidal G-categories to orthogonal G-spectra that preserves equivariant algebraic structures. We answer…

We show that the spectral Mackey functors associated to the equivariant algebraic $K$-theory spectra of Guillou-May and Merling (originally constructed using pointset models) can be described purely $\infty$-categorically in terms of the…

We develop the foundations of $G$-global homotopy theory as a synthesis of classical equivariant homotopy theory on the one hand and global homotopy theory in the sense of Schwede on the other hand. Using this framework, we then introduce…

For a countable group $G$ we construct a small, idempotent complete, symmetric monoidal, stable $\infty$-category $\mathrm{KK}^{G}_{\mathrm{sep}}$ whose homotopy category recovers the triangulated equivariant Kasparov category of separable…

We provide a multiplicative classification of polynomial endofunctors on spectra in terms of their Mackey functors of cross--effects. More precisely, we prove that various categories of multivariable excisive functors from spectra to…

We give a functorial construction of equivariant spectra from a generalized version of Mackey functors in categories. This construction relies on the recent description of the category of equivariant spectra due to Guillou and May. The key…

We describe the multiplicative structures that arise on categories of equivariant modules over certain equivariant commutative ring spectra. Building on our previous work on N-infinity ring spectra, we construct categories of equivariant…

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…

Thomason showed that the K-theory of symmetric monoidal categories models all connective spectra. This paper describes a new construction of a permutative category from a Gamma-space, which is then used to re-prove Thomason's theorem and a…

Spectral Mackey functors are homotopy-coherent versions of ordinary Mackey functors as defined by Dress. We show that they can be described as excisive functors on a suitable infinity-category, and we use this to show that universal…

We construct a symmetric spectrum representing the G-equivariant K-theory of C*-algebras for a compact group or a proper groupoid G. Our spectrum is functorial for equivariant *-homomorphisms. We use this to establish the additivity of the…

We establish an equivalence of homotopy theories between symmetric monoidal bicategories and connective spectra. For this, we develop the theory of $\Gamma$-objects in 2-categories. In the course of the proof we establish strictfication…

Building on structure observed in equivariant homotopy theory, we define an equivariant generalization of a symmetric monoidal category: a $G$-symmetric monoidal category. These record not only the symmetric monoidal products but also…

We introduce a global equivariant refinement of algebraic K-theory; here `global equivariant' refers to simultaneous and compatible actions of all finite groups. Our construction turns a specific kind of categorical input data into a global…

Recent work has applied scissors congruence $K$-theory to study classical cut-and-paste ($SK$) invariants of manifolds. This paper proves the conjecture that the squares $K$-theory of equivariant $SK$-manifolds arises as the fixed points of…

We prove that for the action of a finite constant group scheme, equivariant algebraic $K$-theory is represented by a colimit of Grassmannians in the equivariant motivic homotopy category. Using this result we show that the set of…

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 introduce a scissors congruence $K$-theory spectrum which lifts the equivariant scissors congruence groups for compact $G$-manifolds with boundary, and we show that on $\pi_0$ this is the source of a spectrum level lift of the Burnside…