A new action of the Kudo–Araki–May algebra on the dual of the symmetric algebras, with applications to the hit problem

Pengelley, David¹ ; Williams, Frank¹

¹New Mexico State University, Las Cruces NM 88003, USA

Algebraic and Geometric Topology, Tome 11 (2011) no. 3, pp. 1767-1780

Résumé

The hit problem for a cohomology module over the Steenrod algebra A asks for a minimal set of A–generators for the module. In this paper we consider the symmetric algebras over the field Fp, for p an arbitrary prime, and treat the equivalent problem of determining the set of A∗–primitive elements in their duals. We produce a method for generating new primitives from known ones via a new action of the Kudo–Araki–May algebra K, and consider the K–module structure of the primitives, which form a sub K–algebra of the dual of the infinite symmetric algebra. Our examples show that the K–action on the primitives is not free. Our new action encompasses, on the finite symmetric algebras, the operators introduced by Kameko for studying the hit problem.

Détail

DOI : 10.2140/agt.2011.11.1767

Keywords: hit problem, symmetric algebra, Steenrod algebra, Kudo–Araki–May algebra, Dyer–Lashof algebra, $\mathit{BO}$, $\mathit{BU}$

Bibliographie

[1] M A Alghamdi, M C Crabb, J R Hubbuck, Representations of the homology of $BV$ and the Steenrod algebra I, from: "Adams Memorial Symposium on Algebraic Topology, 2 (Manchester, 1990)", London Math. Soc. Lecture Note Ser. 176, Cambridge Univ. Press (1992) 217

[2] J M Boardman, Modular representations on the homology of powers of real projective space, from: "Algebraic topology (Oaxtepec, 1991)", Contemp. Math. 146, Amer. Math. Soc. (1993) 49

[3] R R Bruner, L M Hà, N H V Hung, On the behavior of the algebraic transfer, Trans. Amer. Math. Soc. 357 (2005) 473

[4] D P Carlisle, R M W Wood, The boundedness conjecture for the action of the Steenrod algebra on polynomials, from: "Adams Memorial Symposium on Algebraic Topology, 2 (Manchester, 1990)", London Math. Soc. Lecture Note Ser. 176, Cambridge Univ. Press (1992) 203

[5] M C Crabb, J R Hubbuck, Representations of the homology of $BV$ and the Steenrod algebra II, from: "Algebraic topology: new trends in localization and periodicity (Sant Feliu de Guíxols, 1994)", Progr. Math. 136, Birkhäuser (1996) 143

[6] M D Crossley, $\mathcal{A}(p)$–annihilated elements in $H_{*}(\mathbb{C}\mathrm{P}^{\infty}\times\mathbb{C}\mathrm{P}^{\infty})$, Math. Proc. Cambridge Philos. Soc. 120 (1996) 441

[7] L M Hà, Sub-Hopf algebras of the Steenrod algebra and the Singer transfer, from: "Proceedings of the School and Conference in Algebraic Topology", Geom. Topol. Monogr. 11, Geom. Topol. Publ., Coventry (2007) 81

[8] N H V Hung, The cohomology of the Steenrod algebra and representations of the general linear groups, Trans. Amer. Math. Soc. 357 (2005) 4065

[9] A S Janfada, R M W Wood, The hit problem for symmetric polynomials over the Steenrod algebra, Math. Proc. Cambridge Philos. Soc. 133 (2002) 295

[10] A S Janfada, R M W Wood, Generating $H^{*}(\mathrm{BO}(3),\mathbb{F}_2)$ as a module over the Steenrod algebra, Math. Proc. Cambridge Philos. Soc. 134 (2003) 239

[11] M Kameko, Generators of the cohomology of $BV_3$, J. Math. Kyoto Univ. 38 (1998) 587

[12] S O Kochman, Homology of the classical groups over the Dyer–Lashof algebra, Trans. Amer. Math. Soc. 185 (1973) 83

[13] T N Nam, $\mathcal{A}$–générateurs génériques pour l'algèbre polynomiale, Adv. Math. 186 (2004) 334

[14] D J Pengelley, F Williams, The hit problem for $H^{*}(BU(2);\mathbb{F}_{p})$, in progress

[15] D J Pengelley, F Williams, Sheared algebra maps and operation bialgebras for mod 2 homology and cohomology, Trans. Amer. Math. Soc. 352 (2000) 1453

[16] D J Pengelley, F Williams, The odd-primary Kudo–Araki–May algebra of algebraic Steenrod operations and invariant theory, from: "Proceedings of the School and Conference in Algebraic Topology", Geom. Topol. Monogr. 11, Geom. Topol. Publ., Coventry (2007) 217

[17] F P Peterson, Generators of $H^{*}(\mathbb{R}\mathrm{P}^{\infty}\wedge\mathbb{R}\mathrm{P}^{\infty})$ as a module over the Steenrod algebra, Abstracts Amer. Math. Soc. 833-55-89 (April 1987)

[18] F P Peterson, $A$–generators for certain polynomial algebras, Math. Proc. Cambridge Philos. Soc. 105 (1989) 311

[19] G M L Powell, Embedding the flag representation in divided powers, J. Homotopy Relat. Struct. 4 (2009) 317

[20] W M Singer, The transfer in homological algebra, Math. Z. 202 (1989) 493

[21] W M Singer, Rings of symmetric functions as modules over the Steenrod algebra, Algebr. Geom. Topol. 8 (2008) 541

[22] R M W Wood, Steenrod squares of polynomials and the Peterson conjecture, Math. Proc. Cambridge Philos. Soc. 105 (1989) 307