The six operations in equivariant motivic homotopy theory (Q340398)

Classical stable homotopy theory studies the stable category \(SH\). This can be extended in various ways: equivariant stable homotpy theory \(SH(G)\) studies a stable category built from \(G\)-spaces, for \(G\) various types of groups. Parametrized stable homotopy theory studies \(SH(X)\), a stable category built from spaces over a base-space \(X\). The two theories can be combined by studying parametrized stable homotopy theory over a topological stack \(\mathcal{X}\), \(SH(\mathcal{X})\). If \(\mathcal{X} = X\) is a space, one recovers ordinary parametrized stable homotopy theory. If \(\mathcal{X} = [*/G] = BG\) is an appropriate quotient stack, one recovers equivariant stable homotopy theory. The theory obtained in this way is highly intricate: the study of functors relating \(SH(\mathcal{X})\) and \(SH(\mathcal{Y})\) for morphisms \(\mathcal{X} \to \mathcal{Y}\) subsumes results such as the Adams isomorphism, the Wirthmüller isomorphism, and so on. The article under review extends some of this theory into the motivic setting. Recall that motivically one starts with the category of smooth varieties of a base scheme \(S\), denoted \(Sm(S)\). From this a homotopy category of spaces is built, and then the motivic stable homotopy category \(SH(S)\) is obtained by inverting the Riemann sphere \(\mathbb{P}^1_S\). Right from the beginning \(S\) was allowed to be quite general, naturally yielding an analog of parametrized stable homotopy theory. The deep study of functoriality was initiated by \textit{J. Ayoub} [Les six opérations de Grothendieck et le formalisme des cycles évanescents dans le monde motivique. I. Paris: Société Mathématique de France (2007; Zbl 1146.14001); II. Paris: Société Mathématique de France (2007; Zbl 1153.14001)], following ideas of Voevodsky, establishing a so-called \textit{six functors formalism}. A six functors formalism is a very general duality theory, first established for etale cohomology by Grothendieck and collaborators. Equivariant generalizations of motivic cohomology theory have also featured in proofs right from the inception, and equivariant stable motivic homotopy categories of various flavours and generalities have been studied by several authors (see the references in the article under review). The article under review should be considered the definite version of the theory, at least so far as it is known currently. A stable motivic homotopy category \(SH_G(S)\) is defined for fairly general algebraic groups \(G\) acting on very general base schemes \(S\). Functoriality results are studied, and a six functors formalism is established in great generality, subsuming all earlier works in this direction.