G-Global Homotopy Theory and Algebraic K-Theory

Abstract

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 the $G$-global algebraic $K$-theory of small symmetric monoidal categories with $G$-action, unifying $G$-equivariant algebraic $K$-theory, as considered for example by Shimakawa, and Schwede's global algebraic $K$-theory. As an application of the theory, we prove that the $G$-global algebraic $K$-theory functor exhibits the category of small symmetric monoidal categories with $G$-action as a model of connective $G$-global stable homotopy theory, generalizing and strengthening a classical non-equivariant result due to Thomason. This in particular allows us to deduce the corresponding statements for global and equivariant algebraic $K$-theory.

Final version, incorporating suggestions by referee: several minor corrections and improvements, added a non-group-completed as well as an equivariant version of the Barratt-Priddy-Quillen Theorem; v + 246 pages

References in corpus (6)

• Quillen adjunctions induce adjunctions of quasicategories
• Proper equivariant stable homotopy theory
• Global algebraic K-theory
• Homotopy invariance of convolution products
• On the global homotopy theory of symmetric monoidal categories
• Genuine vs. naïve symmetric monoidal G-categories

Cited by in corpus (2)

• Global homotopy theory via partially lax limits
• Partial parametrized presentability and the universal property of equivariant spectra