Recursive formulas for the motivic Milnor basis (Q510733)

The mod \(2\) motivic Steenrod algebra \(A^{*}\) is the algebra of graded bistable endomorphisms of motivic cohomology. It is an algebra over the mod \(2\) cohomology of a point \(H^{*}=H^{*}(\mathrm{Spec} (k); \mathbb{Z}/2\mathbb{Z})\), \(k\) is a field such that \(\mathrm{char}(k) \neq 2\). As an algebra over \(H^{*}\) it is generated by the motivic Steenrod squares, \(Sq^{i}\), which are subject to the motivic Adem relations (see [\textit{V. Voevodsky}, Publ. Math., Inst. Hautes Étud. Sci. 98, 1--57 (2003; Zbl 1057.14027); Ann. Math. (2) 174, No. 1, 401--438 (2011; Zbl 1236.14026)]). The aim of this paper is to give recursive formulas for the generating elements in the Milnor basis of \(A^{*}\): \[ Q_{n+1}=[Q_{n}, Sq^{2^{n+1}}]+\rho Q_{n}Sq^{2^{n}}Q_{n-1},\; n \geq 0 \] (\(Q_{-1} = 0\), \(Q_{0} = Sq^{1}\), \([A, B]=AB-BA\) and \(\rho\) is the class of degree \(-1\) in \(H^{1, 1}(\mathrm{Spec} (k); \mathbb{Z}/2\mathbb{Z})\cong k^{\times}/(k^{\times})^{2}\)).