The \(v_1\)-periodic region in the cohomology of the \(\mathbb{C}\)-motivic Steenrod algebra (Q2214402): Difference between revisions

In this paper the author generalizes classical \(v_1\)-periodicity results for the cohomology of the mod \(2\) Steenrod algebra to the cohomology of the mod \(2\) motivic Steenrod algebra, \(\mathcal{A}\), for motivic homotopy theory over \(\mathbb{C}\). This introduces the motivic weight and the coefficient ring is \(\mathbb{F}_2 [\tau]\) with \(\tau\) of weight one; in particular, the cohomology \(\mathcal{H}:= \mathrm{Ext}^{*,*,*}_{\mathcal{A}} (\mathbb{F}_2 [\tau],\mathbb{F}_2 [\tau])\) is trigraded. There are motivic classes \(h_i\) for \(i \in \mathbb{N}\); a significant difference as compared to the classical case is that \(h_1\), which detects the motivic Hopf map \(\eta\), is not nilpotent in \(\mathcal{H}\). This has to be dealt with. The main theorem is a motivic version of the periodicity result of Peter May (following the account in the 2018 PhD thesis of Achim Krause): for \(r \geq 2\), the Massey product operator \[ P_r( -) := \langle h_{r+1}, h_0^{2^r}, - \rangle \] is uniquely defined on \(\mathcal{H}^{s,f,w}\) for stem \(s>0\) and Adams filtration \(f > \frac{1}{2} s +3 - 2^r \); if \(f > \frac{1}{2} s + \frac{12}{5}\), the restriction of \(P_r\) to \(\mathcal{H}_{h_1\mathrm{-torsion}}\) is an isomorphism. The proof extends the classical one. A key ingredient is a vanishing criterion of [\textit{B. J. Guillou} and \textit{D. C. Isaksen}, New York J. Math. 21, 533--545 (2015; Zbl 1330.55015)] for \(\mathrm{Ext}^{*,*,*}_{\mathcal{A}} (\mathbb{F}_2 [\tau], C_\eta)\) (where \(C_\eta\) is the motivic cohomology of the the cone of the motivic Hopf map), together with their result that \(h_{r+1}\) does not support an \(h_1\)-tower for \(r \geq 1\) [\textit{B. J. Guillou} and \textit{D. C. Isaksen}, J. Pure Appl. Algebra 219, No. 10, 4728--4756 (2015; Zbl 1327.14107)]. The theorem is proved by restricting attention to \(h_0\) and \(h_1\)-torsion.