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

Abstract

Let $A$ be the Steenrod algebra over the finite field $k:={\mathbb{Z}}_2$ and $G(q)$ be the general linear group of rank $q$ over $k.$ A well-known open problem in algebraic topology is the explicit determination of the cohomology groups of the Steenrod algebra, ${\mathrm{Ext}}_A^{q,\ast }(k,k),$ for all homological degrees $q\ge 0.$ The Singer algebraic transfer of rank $q,$ formulated by William Singer in 1989, serves as a valuable method for the description of such Ext groups. This transfer maps from the coinvariants of a certain representation of $G(q)$ to ${\mathrm{Ext}}_A^{q,\ast }(k,k).$ Singer predicted that the algebraic transfer is always injective, but this has gone unanswered for all $q\ge 4.$ This paper establishes Singer's conjecture for rank four in the generic degrees $n=2^{s+t+1}+2^{s+1}-3$ whenever $t\ne 3$ and $s\ge 1,$ and $n=2^{s+t}+2^s-2$ whenever $t\ne 2,3,4$ and $s\ge 1.$ In conjunction with our previous results, this completes the proof of the Singer conjecture for rank four. All the obtained results can be verified directly by using the program suite of our novel algorithms presented in [17, 18, 19, 20]. We note that although Singer's conjecture still holds for the case of rank 4, it no longer holds for rank 6, as announced in our most recent work [20].

34 pages. This paper is a corrigendum. It validates Singer's conjecture for ranks $\le 4,$ in conjunction with prior results, with the computations fully verified by our new suite of algorithms. However, given our recent disprove for rank 6 in [20] (fully verified with the OSCAR computer algebra system), the nearly 40-year investigation of the conjecture is now concluded

References in corpus (2)

• The affirmative answer to Singer's conjecture on the algebraic transfer of rank four
• On the dimension of $H^{\ast }(({\mathbb{Z}}_2{)}^{\times t},{\mathbb{Z}}_2)$ as a module over Steenrod ring

Cited by in corpus (1)

• On the algebraic transfers of ranks 4 and 6 at generic degrees