Abstract:Let $\mathbb S^{\infty}/\mathbb Z_2$ be the infinite lens space and $\mathscr A$ be the Steenrod algebra over the binary field $\mathbb F_2.$ The cohomology $H^{*}((\mathbb S^{\infty}/\mathbb Z_2)^{\oplus s}; \mathbb F_2)$ is known to be isomorphic to the graded polynomial ring $\mathcal {P}_s:= \mathbb F_2[x_1, \ldots, x_s]$ on $s$ generators of degree 1, viewed as an unstable $\mathscr A$-module. The Kameko squaring operation $(\widetilde {Sq^0_*})_{(s; N)}: (\mathbb F_2\otimes_{\mathscr A} \mathcal {P}_s)_{2N+s} \longrightarrow (\mathbb F_2\otimes_{\mathscr A} \mathcal {P}_s)_{N}$ is rather useful in studying an open problem of determining the dimension of the indecomposables $(\mathbb F_2\otimes_{\mathscr A} \mathcal {P}_s)_N.$ As a continuation of our recent works, this paper deals with the kernel of the Kameko $(\widetilde {Sq^0_*})_{(s; N_d)}$ for the case where $s = 5$ and the "generic" degree $N_d$ is of the form $N_d = 5(2^{d} - 1) + 11.2^{d+1}$ for arbitrary $d > 0.$ We then rectify almost all of the main results that were inaccurate in an earlier publication [Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat. \textbf{116}:81 (2022)] by Nguyen Khac Tin. We have also constructed several advanced algorithms in \texttt{SageMath} to validate our results. These new algorithms make an important contribution to tackling the intricate task of explicitly determining both the dimension and the basis for the indecomposables $\mathbb F_2 \otimes_{\mathscr A} \mathcal {P}_s$ at positive degrees, a problem concerning algorithmic approaches that had not previously been addressed by any author. Also, the present study encompasses an investigation of the behavior of the cohomological transfer in bidegrees $(5, 5+N_d)$, with the internal degree $N_d$ mentioned above. The interplay between the papers by Nguyen Sum \cite{SM, N.S3} and our preceding studies \cite{D.P3, D.P7-1} is also discussed.

Determination of the fifth Singer algebraic transfer in some degrees

A counter-example to Singer's conjecture for the algebraic transfer

On the fifth Singer algebraic transfer in a generic family of internal degree characterized by μ ( n )=4

On Singer's conjecture for the fourth algebraic transfer in certain generic degrees

Artin–Schelter Regular Algebras of Dimension Five with Two Generators

On the hit problem for the polynomial algebra and the algebraic transfer

On behavior of the algebraic transfer

Structure theorem of a right Hopf module over a right Hopf algebra

On the mod-2 cohomology of the product of the infinite lens space and the space of invariants in a generic degree

The transfer in mod-p group cohomology between Σ_p \int Σ_{p^{n-1}}, Σ_{p^{n-1}} \int Σ_p and Σ_{p^n}

An additive variant of the differential symbol maps

The admissible monomial bases for the polynomial algebra of five variables in some types of generic degrees

Bott periodicity in the Hit Problem

Algorithms for determination of t-module structures on some extension groups

The Grothendieck algebras of certain smash product semisimple Hopf algebras

On the First Hochschild Cohomology of Cocommutative Hopf Algebras of Finite Representation Type

Hopf formulae for homology of skew braces

Hopf algebras, Steinberg modules, and the unstable cohomology of $SL_n(\mathbb Z)$ and $GL_n(\mathbb Z)$

An extension of Steinberg's Theorem to biquotient pairs of subgroups

The topological Singer construction

The Equivariant Brauer Group of a Cocommutative Hopf Algebra