No label defined (Q3159969)

This paper starts with a leisurely and pleasant exposition, focusing on the parallels between homotopy theory of topological spaces and motivic homotopy theory. The outset is that the stable homotopy groups \(\pi_i(S^0)\) of the (topological) sphere spectrum vanish when \(i<0\), is the ring of integers when \(i=0\) and are finite when \(i>0\). The algebraic counterpart of \(i=0\) is considered in this paper. The case \(i<0\) has already been solved by Voevodsky, and the question for \(i>0\) is believed to be much more difficult. In the context of \(\mathbb A^1\)-homotopy invariance, the author nicely motivates the move from smooth schemes to simplicial sheaves and \(S^1\)-spectra on the Nisnevich site. The author then goes on to give an exposition of various central \(S^1\)-stable results before introducing \(\mathbb P^1\)-spectra and motives. In the last section the author gives results about the motivic homotopy groups of the motivic sphere spectrum and of \(\mathbb G_m^{\wedge n}\): for a perfect field \(k\) of characteristic not equal to \(2\) there are isomorphisms of rings \[ K^{MW}_*(k)\cong [S^0,\mathbb G_m^{\wedge *}]_{\mathbb P^1}, \] and so in particular \(GW(k)\cong [S^0,S^0]_{\mathbb P^1},\) where \(K^{MW}_*(k)\) is the Milnor-Witt ring, and \(GW(k)\) is the Grothendieck-Witt ring of quadratic forms. The proof is sketched and some applications are given. For the entire collection see [Zbl 1050.57001].