On the dimension of H^( ( Z₂ )^ t, Z₂) as a module over Steenrod ring
This paper is about the famous hit problem of Peterson. For a group \(G\), its group cohomology coincides with cohomology of the space \(BG\). Accordingly the paper is about \(H^*((\mathbb{R} P)^{\times t};\mathbb{Z}_2)\) where \(\mathbb{Z}_2\) is cyclic group of order \(2\) and \((\mathbb{R} P)^{\times t}=B(\mathbb{Z}_2^{\times t})=(B\mathbb{Z}_2)^{\times t}\) with \(\mathbb{R}P\) being the infinite dimensional real projective space. The important object in the hit problem is the quotient module of `cohit' elements (called `unhit' elements in this paper) defined by \[Q(t)=\mathbb{Z}_2\otimes_A H^*((\mathbb{R} P)^{\times t};\mathbb{Z}_2)\] where \(\mathbb{Z}_2\) is considered as a graded \(A\)-module concentrated in degree \(0\) through the augmentation of the mod \(2\) Steenrod algebra \(A\). The important task is then to determine the cohit module by means of determining a \(\mathbb{Z}_2\)-basis for this vector space, or at least providing an upper bound on the dimension of this module in specific cases. It is worth noting that the problem remains open for \(n>5\), with \(n<4\) being solved and the case of \(n=5\) being pursued by the author in a series of papers. The techniques of the paper are standard ones such as use of the Kameko map or the weight vectors (see [\textit{N. Sum}, Adv. Math. 225, No. 5, 2365--2390 (2010; Zbl 1203.55009)] or [\textit{G. Walker} and \textit{R. M. W. Wood}, Polynomials and the mod 2 Steenrod algebra. Volume 1: The Peterson hit problem. Cambridge: Cambridge University Press (2018; Zbl 1387.55001); Polynomials and the mod 2 Steenrod algebra. Volume 2: Representations of GL\((n,F_2)\). Cambridge: Cambridge University Press (2018; Zbl 1390.55001)] for a summary of available techniques). The author provides a list of detailed computations and determines the dimension of \(Q(5)\) in a family of gradings (see Theorem 1.5 and Theorem 1.7 for example). The tables and dimensions could be of interest for people working in the field, at least with an eye of seeing a general pattern. However, the most interesting part of the paper to the reviewer has been the algorithmic approach with the algorithm recorded at the appendix. Indeed, with problems that rely on such heavy computations there is always a possibility of human error, and the use of machine power and algorithmic computations seems a natural thing to do bearing in mind the immense power of machine based computing compared to their power when the problem was introduced by Peterson.
- Dimension result for the polynomial algebra \(\mathbb F_2[x_1,\dots,x_n]\) as a module over the Steenrod algebra
- Dimensions of the polynomial algebra \(F_{2}[x_1, \cdots ,x_n]\) as a module over the Steenrod algebra
- scientific article; zbMATH DE number 679775
- CERTAIN MODULES OVER (Z/p)m AND THEIR RELATION TO STEENROD'S PROBLEM
- Varieties of modules for \(\mathbb Z/2\mathbb Z \times \mathbb Z/2\mathbb Z\)
- \(T\)-dimension and \((n+\frac{1}{2},T)\)-projective modules
- Steenrod Algebra Module Maps from H ∗ (B( Z /p) n ) to H ∗ (B( Z /p) s )
- Generating H*(BO(3), ${\bb F}_2$) as a module over the Steenrod algebra
- Homological dimension of a class of special modules over a commutative ring
- On homological dimensions of simple modules over non-commutative rings
- A-generators for certain polynomial algebras
- \(\mathfrak{A}\)-generators for the polynomial algebra of five variables in degree \(5(2^t-1)+6\cdot 2^t\)
- \(Ext_A^{4,\ast}(\mathbb Z/2,\mathbb Z/2)\) and \(Ext_A^{5,\ast}(\mathbb Z/2,\mathbb Z/2)\)
- A new action of the Kudo-Araki-May algebra on the dual of the symmetric algebras, with applications to the hit problem
- A-Generators for the Dickson Algebra
- Cohomologie modulo 2 des complexes d'Eilenberg-MacLane
- Determination of \(\mathrm{Ext}^{5,*}_{\mathcal A}(\mathbb Z/2,\mathbb Z/2)\)
- Generic \(\mathcal A\)-generators for the polynomial algebra
- scientific article; zbMATH DE number 6700635 (Why is no real title available?)
- scientific article; zbMATH DE number 6533375 (Why is no real title available?)
- scientific article; zbMATH DE number 490888 (Why is no real title available?)
- On a construction for the generators of the polynomial algebra as a module over the Steenrod algebra
- On a minimal set of generators for the polynomial algebra of five variables as a module over the Steenrod algebra
- On Peterson's open problem and representations of the general linear groups
- On the generators of the polynomial algebra as a module over the Steenrod algebra
- On the May spectral sequence and the algebraic transfer. II.
- On the non-existence of elements of Hopf invariant one
- On the Peterson hit problem
- Polynomials and the mod 2 Steenrod algebra. Volume 1: The Peterson hit problem
- Products of cocycles and extensions of mappings
- Rings of symmetric functions as modules over the Steenrod algebra
- Some relations between admissible monomials for the polynomial algebra
- Steenrod squares of polynomials and the Peterson conjecture
- Sur l'itération des opérations de Steenrod
- The ``hit problem of five variables in the generic degree and its application
- The Adams Spectral Sequence and the Triple Transfer
- The admissible monomial basis for the polynomial algebra of five variables in degree fourteen
- The hit problem for symmetric polynomials over the Steenrod algebra
- The Iteration of the Steenrod Squares in Algebraic Topology
- The Kervaire invariant of framed manifolds and its generalization
- The transfer in homological algebra
- A note on the hit problem for the polynomial algebra of six variables and the sixth algebraic transfer
- Steenrod Algebra Module Maps from H ∗ (B( Z /p) n ) to H ∗ (B( Z /p) s )
- Generating H*(BO(3), ${\bb F}_2$) as a module over the Steenrod algebra
- The negative answer to Kameko's conjecture on the hit problem
- The affirmative answer to Singer's conjecture on the algebraic transfer of rank four
- On the fifth Singer algebraic transfer in a generic family of internal degree characterized by (n)=4
- On \(\mathbb{A}\)-generators of the cohomology \(H^* (V^{\bigoplus 5}) = \mathbb{Z}/2 [u_1, \ldots, u_5]\) and the cohomological transfer of rank 5
- On Singer's conjecture for the fourth algebraic transfer in certain generic degrees
- On the dimensions of the graded space \(\mathbb{F}_2\otimes_{\mathcal{A}}\mathbb{F}_2[x_1,x_2,\dots,x_s]\) at degrees \(s+5\) and its relation to algebraic transfers
- On the unresolved conjecture for the algebraic transfers over the binary field
- On a minimal set of generators for the polynomial algebra of five variables in a generic degree
- On admissible \(\mathcal{A}_2\)-generators for the cohomology ring \(H^*((G_1(\mathbb{R}^{\infty}))^{\times t}; \mathbb{Z}_2)\) and the (mod-2) cohomology of the Steenrod algebra \(\mathcal{A}_2\)
This page was built for publication: On the dimension of \(H^\ast( ( \mathbb{Z}_2 )^{\times t}, \mathbb{Z}_2)\) as a module over Steenrod ring
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2665199)
