On the hit problem for the Steenrod algebra in the generic degree and its applications (Q2116798): Difference between revisions

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 graded polynomial algebra over the field \(\mathbb{F}_2\) in \(n\) variables \(x_i\) of degree \(1.\) \(\mathbf{P}_n\) is isomorphic to the mod \(2\) cohomology algebra of the product of \(n\) copies of the infinite dimensional real projective space \(\mathbb{R}P^{\infty},\) and, as such, has a natural module structure over \(\mathcal{A}.\) The paper investigates the Peterson hit problem of finding a minimal set of generators for \({\mathbf P}_n\) as a module over \(\mathcal{A}\) or, equivalently, of finding a vector space basis for \(\mathbb{F}_2 \otimes_{\mathcal{A}}\mathbf{P}_n\) in each degree \(d.\) The author considers the case \(n=5,\) \( d = 5(2^s-1)+11\cdot2^{s+1},\) and develops a result of \textit{Đặng Võ Phúc} for the case \(s=0\) [J. Korean Math. Soc. 58, No. 3, 643--702 (2021; Zbl 1485.55019)] and asserts that if \( s \geq 0,\) then the dimensions of \(\mathbb{F}_2 \otimes_{\mathcal{A}} \mathbf{P}_n\) are: \[\dim \left(\mathbb{F}_2 \otimes_{\mathcal{A}}\mathbf{P}_n \right)_d = \left\{\begin{array}{lll} 965 & \mbox{ if } s=0 \\ 3053 & \mbox{ if } s\geq 1. \end{array} \right. \] The author then applies a result of \textit{N. Sum} [Adv. Math. 274, 432--489 (2015; Zbl 1367.55010)] to show that if \(d=5(2^r-1)+49\cdot2^{r},\) then \[ \dim \left (\mathbb{F}_2 \otimes_{\mathcal{A}}\mathbf{P}_6 \right)_d=\begin{array}{lll} 192339 & \mbox{ if }r>4. \end{array} \]