Peterson Hit Problem in Steenrod Algebra

• The Peterson Hit Problem is a foundational question in modular representation theory that seeks a minimal set of generators for polynomial modules over the Steenrod algebra.
• It employs techniques like weight vector filtration, spike decomposition, and Kameko’s squaring homomorphism to distinguish hit from non-hit monomials.
• Recent advances in algorithmic computations and transfer maps reinforce its significance in homological algebra, topology, and modular invariants.

The Peterson Hit Problem is a fundamental question in the modular representation theory of the Steenrod algebra over the field $\mathbb F_2$, central to both algebraic topology and the theory of modular invariants. Specifically, for the polynomial algebra $P_k = \mathbb F_2[x_1,\ldots,x_k]$, graded with $|x_j|=1$, and equipped with the $\mathcal{A}$-module structure induced by the mod-2 Steenrod algebra via the Cartan formula, the problem is to find a minimal generating set for $P_k$ as an $\mathcal{A}$-module. In other words, it is the computation of a vector space basis for the quotient $$QP_k := \mathbb F_2 \otimes_{\mathcal{A}} P_k = P_k/(\mathcal{A}^+ \cdot P_k)$$ in each degree, where $\mathcal{A}^+$ denotes the augmentation ideal of positive-degree Steenrod operations.

1. Historical Background and Formulation

The Peterson Hit Problem originated in homological algebra and the study of the actions of the Steenrod algebra on the cohomology of spaces, particularly the classifying space of elementary abelian 2-groups, or equivalently, $$H^*((\mathbb{R}P^\infty)^k; \mathbb F_2) \cong \mathbb F_2[x_1,\ldots,x_k]$$. The term "hit" denotes an element $f \in P_k$ that can be written as a sum of images of the Steenrod squares on lower-degree polynomials, i.e., $f \in \mathcal{A}^+ \cdot P_k$ (Ault, 2014). The central question is to determine, for each $k$ and each degree $d$, an explicit vector space basis for the non-hit ("admissible") monomials modulo hits, thereby obtaining a minimal set of $\mathcal{A}$-module generators for $P_k$.

2. Algebraic Structures and Classical Approaches

Let $P_k = \mathbb F_2[x_1,\ldots,x_k]$ be the polynomial algebra endowed with the action of the Steenrod algebra $\mathcal A$. The module of indecomposables is $QP_k = P_k/\mathcal{A}^+P_k$, and the Peterson Hit Problem asks for an explicit $\mathbb F_2$-basis of each graded piece $(QP_k)_d$. Computationally, this involves understanding which monomials survive the Steenrod action and devising combinatorial criteria for when a given monomial is "hit" (Phuc, 23 Jun 2025). One classical approach, due to Singer, is to use the weight vector filtration: each monomial is assigned a dyadic-weight vector, and the 'minimal spike' criterion shows that monomials with weights less than the minimal spike are necessarily hit (Sum, 2014).

3. Methodology and Inductive Reduction

Fundamental reductions developed by Wood, Kameko, and others enable the problem to be tractable for small $k$ and for infinitely many degrees in higher $k$. Key tools include:

• Spike Decomposition and the $p$-function: For a given degree $n$, one writes it as a sum $\sum_i (2^{d_i}-1) - s$, and defines $p(n) = s$ ("spike number") (Sum, 2014).
• Kameko's Squaring Homomorphism: The homomorphism

$\widetilde{Sq^0}_*: QP_k(n) \to QP_k(n-k)$

induced by $x_1x_2\cdots x_k y^2 \mapsto y$ (zero otherwise), is central. In many "generic" degrees—the case when $p(n)=k-2$—the behavior of $\widetilde{Sq^0}_*$ allows reduction to smaller $k$ or lower degrees (Sum, 2023).

• Inductive Construction: For "generic" degrees (those built from spike decompositions with $p(n)<k$), explicit combinatorial maps such as insertion maps $\phi_{(i;I)}:P_{k-1}\to P_k$ allow construction of admissible monomial bases via hierarchical lifting (Sum, 2014, Phuc et al., 2016).

4. Explicit Solutions and Known Results

The case $k=1$ is trivial; $k=2,3$ were solved by Peterson, Boardman, Kameko, and others. For $k=4$, Nguyễn Sum provided a complete solution through induction and analysis of admissible monomials, producing explicit bases in every relevant degree. The dimension results for $(QP_4)_n$ fall into finitely many families depending on the spike number, with explicit basis descriptions in terms of exponent patterns (Sum, 2014). For $k=5$, recent advances exploit Kameko's map and weight vector filtration to produce explicit dimensions and bases in key generic degrees, though the full problem remains open for arbitrary $k \geq 5$ (Sum, 2023, Phuc, 2018, Tin, 2021).

The table below summarizes results for small $k$:

$k$	Status	Method/Reference
1,2	Completely solved	Classical
3	Solved in all degrees	Kameko (Sum, 2023)
4	Fully solved	Sum (Sum, 2014)
5	Partial progress	Dang, Tin, Sum (Phuc, 2018, Tin, 2021)
$>5$	Generic degrees only	Explicit lower/upper bounds

5. Computational and Algorithmic Advances

Manual computations are infeasible in higher ranks and degrees. Current methods leverage algorithmic and linear algebraic approaches:

• Matrix Criterion: Given the set of degree-$d$ monomials, one forms the matrix of Steenrod actions and reduces the problem to computing the rank of this "hit matrix" over $\mathbb F_2$ (Phuc, 23 Jun 2025). The quotient dimension is

$$\dim QP_k^d = \binom{d+k-1}{k-1} - \operatorname{rank} M$$

• SageMath Implementations: Recent work now provides a reliable computational pathway for checking admissibility and dimension calculation for arbitrary $k,d$, correcting earlier manual errors at high degrees (Phuc, 23 Jun 2025).

6. Bott Periodicity, Stable Phenomena, and Extensions

Connections to stable phenomena occur via Bott periodicity and infinite loop space theory:

• Bott Periodicity in $\mathcal{A}(1)$-Modules: For the subalgebra $\mathcal{A}(1) = \langle Sq^1, Sq^2 \rangle$, the structure of syzygies $P_n$ in the minimal resolution of $P$ reveals a 4-periodicity up to suspension: $P_{n+4} \cong \Sigma^8 P_n$, and Hilbert series computations show precise patterns of hit monomials (Ault, 2014).
• Stable Hit Problem: Through the topology of $BO$ and Dyer–Lashof algebras, the stable hit problem unifies the cases for all $k$. Becker–Gottlieb transfer and Dyer–Lashof operations produce infinite families of non-hit monomials, yielding new lower bounds and strengthening the relationship between the homology of infinite loop spaces and unstable modules over $\mathcal{A}$ (Zare, 2016).

7. Applications and Connections to Algebraic Transfer

A primary application of the Peterson Hit Problem is to the computation and understanding of the Singer algebraic transfer:

$$\varphi_k : \mathrm{Tor}^{\mathcal{A}}_{k,k+d}(\mathbb F_2,\mathbb F_2) \to (Q P_k)_d^{GL_k}$$

The hit problem determines the target space of the transfer. For $k\leq 3$ the transfer is an isomorphism; for $k=4$, the explicit solution to the hit problem in two infinite series of "generic" degrees shows surjectivity of $\varphi_4$ in these cases (Sum, 29 May 2025). For $k=5$, results in generic degrees similarly support conjectural surjectivity, and dimension formulas for $k=6$ can be deduced by induction (Tin, 2021, Tin, 2021).

8. Open Problems and Current Directions

Despite major advances, open questions remain:

• Combinatorial characterization of admissible monomials in arbitrary degrees for $k>5$.
• Closed formulas for $\dim QP_k^d$ for general $k,d$.
• Algorithmic scalability for matrix-based methods as $k,d$ grow.
• Extensions to odd primes or other coefficient rings.
• Further study of the image and kernel of the Singer transfer for $k\ge4$, and implications for the $E_2$-term of the Adams spectral sequence.

Recent research continues to enhance computational methods, clarify the role of combinatorics and representation theory, and establish strong connections between topology, homological algebra, and modular representation theory (Phuc, 23 Jun 2025, Phuc et al., 2016, Zare, 2016).