Base change functors in the \(\mathbb{A}^1\)-stable homotopy category (Q5947976)

This paper studies the \(\mathbb A^1\)-stable homotopy theory of schemes as introduced by \textit{F. Morel} and \textit{V. Voevodsky} [Publ. Math., Inst. Hautes Étud. Sci. 90, 45-143 (1999; Zbl 0983.14007)]. After reviewing the basic notions of this theory, the author studies base change functors associated to a finite separable extension \(L\) of a field \(k\). He introduces an analogue of the extension of scalars functors from spaces over \(k\) to spaces over \(L\) and explicitly describes the left adjoint and the right adjoint of this functor. The extension of these functors to categories of spectra and the relation to change of groups functors in equivariant homotopy theory are discussed. As an application of these functors, the author next constructs elements in the Picard group of the stable homotopy category over \(k\) from finite dimensional representations of the Galois group of the extension. Finally, the author proves an analogue of the Wirthmüller isomorphism in the \(\mathbb A^1\)-setting, which states that applying the left and right adjoint of the extension of scalars functor to an \(L\)-spectrum leads to \(\mathbb A^1\)-weakly equivalent \(k\)-spectra.