On the double power operation
Let \(p\) be an odd prime, \(H^*\) denote \(\mathbb{Z}/p\)-cohomology, and \(T_2: H^*(X) \to H^*(\mathbb{Z}/p \times \mathbb{Z} /p) \otimes H^*(X)\) be the double iterated total power operation for a CW-complex \(X\). For a chosen linear basis \(B\) of the mod-\(p\) Steenrod algebra \(A_p\) the double iterated total power operation is given by a sum \(T_2(u) = \sum_{b \in B} f(b) \otimes b(u)\) for suitable coefficients \(f(b) \in H^*(\mathbb{Z}/p \times \mathbb{Z}/p)\). In the paper under review the coefficients are determined for \(B\) the basis consisting of the admissible monomials in \(A_p\). A corresponding computation for \(B\) the Milnor basis of \(A_p\) has already been carried out in [\textit{Huỳnh Mùi}, Math. Z. 193, 151-163 (1986; Zbl 0597.55019)]. Corresponding calculations for \(p=2\) can be found in [\textit{J. Klippenstein} and \textit{L. Lomonaco}, Bol. Soc. Mat. Mex., II. Ser. 37, No. 1-2, 309-316 (1992; Zbl 0843.55016) and \textit{Huỳnh Mùi}, Colloq. Math. Soc. János Bolyai 41, 345-355 (1985; Zbl 0596.55009)] respectively.
- Self-maps of modules over the Steenrod algebra
- \(\mathcal Q\)-subalgebras, Milnor basis, and cohomology of Eilenberg-MacLane spaces
- Bases in the \(\operatorname{mod}\, p\) Steenrod algebra, \(\beta\) included
- scientific article; zbMATH DE number 1485613 (Why is no real title available?)
- A total Steenrod operation as homomorphism of Steenrod algebra-modules
- scientific article; zbMATH DE number 796966 (Why is no real title available?)
This page was built for publication: On the double power operation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1864703)
