The homotopy groups of the \(\eta \)-periodic motivic sphere spectrum (Q785747): Difference between revisions

The authors give a computation of the homotopy groups of the \(\eta\)-periodic motivic sphere spectrum over certain fields. Let \(S\) be the motivic sphere spectrum. Let \(\eta:\mathbb{G}_m\to S\) be the motivic Hopf map deduced from the canonical morphism \(\mathbb{A}^2\setminus0\to\mathbb{P}^1\), and let \(\eta^{-1}S\) be the stabilization of \(S\) with respect to \(\eta\). Its homotopy groups are denoted as \(\pi_{m+n\alpha}\eta^{-1}S=[(S^1)^{\wedge m}\wedge(\mathbb{G}_m^{\wedge n}),\eta^{-1}S]_{\mathbf{SH}}\). The main result (Theorem 4.8) states that if \(k\) is a field of characteristic different from \(2\) of finite cohomological dimension in which \(-1\) is the sum of four squares, then there is an isomorphism of bigraded algebras \[ \pi_{*}\eta^{-1}S\simeq W(k)[\eta^\pm,\sigma,\mu]/(\sigma^2) \] where \(|\sigma|=3+4\alpha\) and \(|\mu|=4+5\alpha\). In particular, \(\pi_{m+n\alpha}\eta^{-1}S\simeq W(k)\) if \(m\geq0\) is congruent to \(0\) or \(3\) mod \(4\), and vanishes in other cases. The main tool used is the \(\alpha_1\)-periodic slice spectral sequence introduced in Section 2, which computes the homotopy groups of the slice completion of the \(\eta\)-periodic sphere spectrum.