Global homotopy theory via partially lax limits

Abstract

We provide new $\infty$-categorical models for unstable and stable global homotopy theory. We use the notion of partially lax limits to formalize the idea that a global object is a collection of $G$-objects, one for each compact Lie group $G$, which are compatible with the restriction-inflation functors. More precisely, we show that the $\infty$-category of global spaces is equivalent to a partially lax limit of the functor sending a compact Lie group $G$ to the $\infty$-category of $G$-spaces. We also prove the stable version of this result, showing that the $\infty$-category of global spectra is equivalent to the partially lax limit of a diagram of $G$-spectra. Finally, the techniques employed in the previous cases allow us to describe the $\infty$-category of proper $G$-spectra for a Lie group $G$, as a limit of a diagram of $H$-spectra for $H$ running over all compact subgroups of $G$.

70 pages. Improved introduction plus small reorganization of some results. Comments welcome!

References in corpus (15)

• Algebras and modules in monoidal model categories
• Global homotopy theory
• Pro-categories in homotopy theory
• Parametrized higher category theory
• Global orthogonal spectra
• On equivariant homotopy theory for model categories
• Equivariant properties of symmetric products
• The universal six-functor formalism
• Symmetric spectra model global homotopy theory of finite groups
• Higher Semiadditive Algebraic K-Theory and Redshift
• Proper equivariant stable homotopy theory
• Orbispaces, orthogonal spaces, and the universal compact Lie group
• Adjoint functor theorems for $\infty$-categories
• A Comparison of two Models of Orbispaces
• G-Global Homotopy Theory and Algebraic K-Theory

Cited by in corpus (4)

• Parametrized stability and the universal property of global spectra
• Invariant prime ideals in equivariant Lazard rings
• Partial parametrized presentability and the universal property of equivariant spectra
• A monoidal Grothendieck construction for $\infty$-categories