The hit problem for H∗(BU(2); 𝔽p)

Pengelley, David¹ ; Williams, Frank²

¹Department of Mathematical Sciences, New Mexico State University, Las Cruces, NM 88003-8001, USA
²Department of Mathematics, New Mexico State University, Las Cruces, NM 88003-8001, USA

Algebraic and Geometric Topology, Tome 13 (2013) no. 4, pp. 2061-2085

Résumé

The hit problem for a module over the Steenrod algebra A seeks a minimal set of A–generators (“non-hit elements”). This problem has been studied for 25 years in a variety of contexts, and although complete results have been notoriously difficult to come by, partial results have been obtained in many cases.

For the cohomologies of classifying spaces, several such results possess two intriguing features: sparseness by degree, and uniform rank bounds independent of degree. In particular, it is known that sparseness holds for H∗(BO(n); F2) for all n, and that there is a rank bound for n ≤ 3. Our results in this paper show that both these features continue at all odd primes for BU(n) for n ≤ 2.

We solve the odd primary hit problem for H∗(BU(2); Fp) by determining an explicit basis for the A–primitives in the dual H∗(BU(2); Fp), where we find considerably more elaborate structure than in the 2–primary case. We obtain our results by structuring the A–primitives in homology using an action of the Kudo–Araki–May algebra.

Détail

DOI : 10.2140/agt.2013.13.2061

Classification : 16W22, 55R40, 55R45, 55S10, 16W50, 55S05, 57T10, 57T25
Keywords: Steenrod algebra, hit problem, primitive elements, Kudo–Araki–May algebra, symmetric invariants

Bibliographie

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

[2] M D Crossley, Monomial bases for $H^{*}(\mathbf{C}\mathrm{P}^{\infty}\times \mathbf{C}\mathrm{P}^{\infty})$ over $\mathcal{A}(p)$, Trans. Amer. Math. Soc. 351 (1999) 171

[3] 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

[4] 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

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

[6] D Pengelley, F Williams, A new action of the Kudo–Araki–May algebra on the dual of the symmetric algebras, with applications to the hit problem, Algebr. Geom. Topol. 11 (2011) 1767

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

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

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