An application of the hit problem to the algebraic transfer

Abstract

Let $P_k$ be the polynomial algebra ${\mathbb{F}}_2[x_1,x_2,\dots ,x_k]$ over the field ${\mathbb{F}}_2$ with two elements, in $k$ variables $x_1,x_2,\dots ,x_k$, each variable of degree 1. Denote by $G{L}_k$ the general linear group over ${\mathbb{F}}_2$ which regularly acts on $P_k$. The algebra $P_k$ is a module over the mod-2 Steenrod algebra $\mathcal{A}$. In 1989, Singer [22] defined the $k$-th homological algebraic transfer, which is a homomorphism $${\phi }_k=({\phi }_k{)}_m:{\mathrm{Tor}}_{k,k+m}^{\mathcal{A}}({\mathbb{F}}_2,{\mathbb{F}}_2)\to ({\mathbb{F}}_2{\otimes }_{\mathcal{A}}{P}_k{)}_m^{G{L}_k}$$ from the homological group of the mod-2 Steenrod algebra $\mbox{Tor}^{\mathcal A}_{k,k+m} (\mathbb F_2,\mathbb F_2)$ to the subspace $({\mathbb{F}}_2{\otimes }_{\mathcal{A}}{P}_k{)}_m^{G{L}_k}$ of ${\mathbb{F}}_2{\otimes }_{\mathcal{A}}{P}_k$ consisting of all the $G{L}_k$-invariant classes of degree $m$. In general, the transfer ${\phi }_k$ is not a monomorphism and Singer made a conjecture that ${\phi }_k$ is an epimorphism for any $k⩾0$. The conjecture is studied by many authors. It is true for $k⩽3$ but unknown for $k⩾4$. In this paper, by using the results of the Peterson hit problem for the polynomial algebra in four variables, we prove that Singer's conjecture for the fourth algebraic transfer is true in the families of generic degrees $d_{s,t}=2^{s+t}+2^s-3$ and $n_{s,t}=2^{s+t}+2^s-2$ with $s,t$ positive integers. Our results also show that many of the results in Phúc [16,17,18] are seriously false. The proofs of the results in Phúc's works are only provided for a few special cases but they are false and incomplete.

arXiv comment83 pages