On the \(\mathcal{A}\)-generators of the polynomial algebra as a module over the Steenrod algebra. I (Q6563217)

Let \(\mathcal{A}\) denote the mod-\(2\) Steenrod algebra and \({P}_n:= H^*(({\mathbb R}P^{\infty})^n; {\mathbb Z}_2) \cong {\mathbb Z}_{2}[x_{1},x_{2},\ldots,x_{n}]\) be the graded polynomial algebra over the field \(\mathbb{Z}_2\) in \(n\) variables \(x_i\) each of degree \(1\). Being isomorphic to a mod-\(2\) cohomology algebra, \({P}_n\) has a natural module structure over \(\mathcal{A}\). The paper investigates the \textit{Peterson hit problem} of finding a minimal set of generators for \({P}_n\) as a module over \(\mathcal{A}\) or, equivalently, of finding a vector space basis for \( (QP_n)_d := ({\mathbb Z}_2 \otimes_{\mathcal{A}} { P_n})_d\) in each degree \(d\).\N\NThe authors consider the case \(n=6\), \(d = 6(2^r-1)+4 \cdot 2^r\) with \(r \geq 0\). They determine the dimension, \(\dim \left ( (QP_6)_4\right)\) for the known case \(r=0\) and, in particular, show explicitly that the dimension, \N\[\N\dim \left ( (QP_6)_{14} \right) = 1660.\N\]\NResults for the dimensions of certain subspaces of \( (QP_6)_{6(2^r-1)+4 \cdot 2^r}\) are also obtained for the case \(r=2\) while no explicit results are obtained for the cases \(r \geq 3\) apart for a demonstration that\N\[\N(QP_6)_{74} \cong (QP_6)_{6(2^r-1)+4 \cdot 2^r}\N\]\Nfor all \(r > 3\).