On Singer's conjecture for the fifth algebraic transfer

TL;DR

This paper explicitly solves the hit problem for five variables in a specific degree and confirms Singer's conjecture for the algebraic transfer in this case, advancing understanding of the Steenrod algebra's module structure.

Contribution

The paper explicitly computes the hit problem for k=5 in degrees of the form 7*2^s-5 and verifies Singer's conjecture for these cases, providing new evidence for the conjecture.

Findings

Solved the hit problem for k=5 in degree 7*2^s-5.

Confirmed Singer's conjecture for k=5 in these degrees.

Enhanced understanding of the algebraic transfer and Steenrod algebra modules.

Abstract

Let $P_k:= \mathbb{F}_2[x_1,x_2,\ldots ,x_k]$ be the polynomial algebra in $k$ variables with the degree of each $x_i$ being $1,$ regarded as a module over the mod-$2$ Steenrod algebra $\mathcal{A},$ and let $GL_k$ be the general linear group over the prime field $\mathbb{F}_2$ which acts naturally on $P_k$. We study the hit problem, set up by Frank Peterson, of finding a minimal set of generators for the polynomial algebra $P_k$ as a module over the mod-2 Steenrod algebra, $\mathcal{A}$. These results are used to study the Singer algebraic transfer which is a homomorphism from the homology of the mod-$2$ Steenrod algebra, $\mbox{Tor}^{\mathcal{A}}_{k, k+n}(\mathbb{F}_2, \mathbb{F}_2),$ to the subspace of $\mathbb{F}_2\otimes_{\mathcal{A}}P_k$ consisting of all the $GL_k$-invariant classes of degree $n.$ In this paper, we explicitly compute the hit problem for $k = 5$ and the degree $7.2^s-5$ with $s$ an arbitrary positive integer. Using this result, we show that Singer's conjecture for the algebraic transfer is true in the case $k=5$ and the above degree.