On a construction for the generators of the polynomial algebra as a module over the Steenrod algebra (Q2312916)

Let \(\mathcal{A}\) be the mod \(2\) Steenrod algebra and \(\mathbf{P}_n = \mathbb{F}_{2}[x_{1},x_{2},\dots,x_{n}]\) be the polynomial algebra over \(\mathbb{F}_2\) in \(n\) variables \(x_i\) of degree \(1.\) \(\mathbf{P}_n\) has a natural module structure over \(\mathcal{A}\). The paper is concerned with the Peterson hit problem of finding a minimal generating set for \(\mathbf{P}_n\) as a module over \(\mathcal{A}\) or, equivalently, of finding a vector space basis for \(\mathbf{QP}_n:=\mathbb{F}_2 \otimes_{\mathcal{A}}\mathbf{P}_n\) in each degree \(d.\) Given a set of basis monomials in \(\mathbf{QP}_{n-1}\) of a given degree \(d,\) the author proposes (by way of a conjecture) an inductive procedure for constructing basis monomials in \(\mathbf{QP}_n\) of degree \(d.\) Some cases of the conjecture are then proved and a basis for \(\mathbf{QP}_n\) for the case \(n=5\) and \(d = 15.2^s-5\), \(s \geq 1\) is explicitly determined. As a result the author proves that the Singer algebraic transfer [\textit{W. M. Singer}, Math. Z. 202, No. 4, 493-523 (1989; Zbl 0687.55014)] \[ \varphi_5:\mathbf{Tor}^{\mathcal{A}}_{5,15.2^s}(\mathbb{F}_2 ,\mathbb{F}_2 ) \rightarrow (\mathbf {QP}_5)_{15.2^s-5}^{GL_5} \] is a trivial isomorphism. For the entire collection see [Zbl 1411.55001].