The eta-inverted sphere over the rationals (Q1747145)

One of the striking differences between the stable motivic category and the usual stable homotopy category is that the motivic Hopf element \(\eta\) is not nilpotent. It follows that we can invert \(\eta\), and form the \(\eta\)-inverted motivic sphere spectrum \(\mathbb{S}[\eta^{-1}]\). Working over the field of complex numbers, \textit{B. J. Guillou} and \textit{D. C. Isaksen} [Algebr. Geom. Topol. 16, No. 5, 3005--3027 (2016; Zbl 1395.14014)] and \textit{M. Andrews} and \textit{H. Miller} [J. Topol. 10, No. 4, 1145--1168 (2017; Zbl 1422.55034)] have given a complete calculation of \(\pi_{\ast,\ast}(\mathbb{S}^{\wedge}_2[\eta^{-1}])\). Later, Guillou and Isaksen gave a complete calculation over the real numbers [\textit{B. J. Guillou} and \textit{D. C. Isaksen}, Algebr. Geom. Topol. 16, No. 5, 3005--3027 (2016; Zbl 1395.14014)]. The current paper gives a calculation of \(\pi_{*,*}(\mathbb{S}^{\wedge}_2[\eta^{-1}])\) over the field of rational numbers \(\mathbb{Q}\) and fields \(\mathbb F\) with cohomological dimension at most 2 and characteristic different from 2, such as the \(p\)-adic fields \(\mathbb{Q}_p\) and finite fields \(\mathbb F_{q}\) of odd characteristic. The condition on cohomological dimension ensures that the mod 2 Milnor \(K\)-theory satisfies \(k_n^M(\mathbb F) = 0\) for \( n \geq 3\). All the results in the paper are stated in terms of the \(t\)-th completed Milnor-Witt stem, \(\hat \Pi_t = \bigoplus_{k \in \mathbb{Z}} \pi_{k+t,k}(\mathbb{S}^{\wedge}_2[\eta^{-1}])\). The method of proof is via the \(h_1\)-inverted motivic Adams spectral sequence. The convergence of this spectral sequence is not obvious, and the author begins with a careful analysis to prove that it converges in all cases under consideration. The author then considers the case of fields \(\mathbb F\) with cohomological dimension at most 2 and characteristic different from 2. The relevant \(\mathrm{Ext}\) groups are calculated using the \(\rho\)-Bockstein spectral sequence of Hill, and it is shown that the \(h_1\)-inverted motivic Adams spectral sequence collapses at the \(E_2\)-page. The calculation for \(\mathbb{Q}\) uses the motivic Hasse principal of \textit{K. M. Ormsby} and \textit{P. Østvær} [Geom. Topol. 17, No. 3, 1671--1706 (2013; Zbl 1276.55023)], that is the computation over \(\mathbb{Q}\) is deduced from knowledge of the computations over the completions of \(\mathbb{Q}\). The final result is stated in terms of the Witt ring of \(\mathbb{Q}\).