The v₁-periodic region in the cohomology of the C-motivic Steenrod algebra
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.
- Ext and the motivic Steenrod algebra over \(\mathbb R\)
- The motivic Adams spectral sequence
- The motivic Adams vanishing line of slope \(\frac{1}{2}\)
- The cohomology of motivic \(A\)(2)
- Stable stems
- The \(\eta\)-local motivic sphere
- The cohomology of \(C_2\)-equivariant \(\mathcal{A} (1)\) and the homotopy of \(\operatorname{ko}_{C_2} \)
- On realizations of the subalgebra \(\mathcal{A}^{\mathbb{R}}(1)\) of the \(\mathbb{R}\)-motivic Steenrod algebra
- Vanishing lines for modules over the motivic Steenrod algebra
- Motivic connective k-theories and the cohomology of A(1)
- \(\mathbb{A}^1\)-homotopy theory of schemes
- Axiomatic stable homotopy theory
- Ext and the motivic Steenrod algebra over \(\mathbb R\)
- scientific article; zbMATH DE number 1390914 (Why is no real title available?)
- scientific article; zbMATH DE number 3260804 (Why is no real title available?)
- Local duality in algebra and topology
- The \(\eta\)-local motivic sphere
- The cohomology of \(C_2\)-equivariant \(\mathcal{A} (1)\) and the homotopy of \(\operatorname{ko}_{C_2} \)
- The cohomology of motivic \(A\)(2)
- The motivic Adams spectral sequence
- The motivic Adams vanishing line of slope \(\frac{1}{2}\)
- The motivic Mahowald invariant
This page was built for publication: The \(v_1\)-periodic region in the cohomology of the \(\mathbb{C}\)-motivic Steenrod algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2214402)
