Recursive formulas for the motivic Milnor basis (Q510733): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claim: reviewed by (P1447): Item:Q585758
Property / reviewed by
 
Property / reviewed by: Zaïd Zarati / rank
Normal rank
 

Revision as of 09:38, 16 February 2024

scientific article
Language Label Description Also known as
English
Recursive formulas for the motivic Milnor basis
scientific article

    Statements

    Recursive formulas for the motivic Milnor basis (English)
    0 references
    14 February 2017
    0 references
    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}\)).
    0 references
    motivic cohomology
    0 references
    motivic Steenrod algebra
    0 references
    Milnor primitives
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references