Two-Sided Dimension Bounds for the Peterson Hit Problem via Projections and Matrix Minors
Abstract
Let π«k=π½2[x1,β¦,xk] be the polynomial algebra over the prime field π½2, viewed as an unstable module over the mod-$2$ Steenrod algebra π. The well-known Peterson hit problem asks for a minimal set of generators for the π-module π«k. This is equivalent to determining the dimension of the cohit space (Qπ«k)d=(π«k/π+π«k)d, where π+ denotes the augmentation ideal of π, for every kβ₯1 and positive degree d. Although solved in every degree for at most four variables, it remains a difficult open problem in general. Furthermore, given the limitations of current tools, explicitly determining the dimension of (Qπ«k)d in the general case appears out of reach. Motivated by these limitations, we establish explicit upper and lower bounds for this dimension for arbitrary positive integers k and d. Our method combines binary combinatorics, linear algebra, and graph and simplicial structures associated with the generating Steenrod squares. We characterize zero rows, count zero columns, and refine rank estimates using Adem relations. Minors and zero rows of the resulting smaller matrix yield further two-sided cohit bounds without determining a complete basis or computing the full hit rank.
Related
- Improved dimension bounds for Falconer's distance problem in the plane
- Ergodic Γ p-invariant measures on π2 with no dimension dropping projections
- Orthogonal Projections and Assouad Dimension: Resolving Fraser's Questions
- Absolute continuity of projections and dimension conservation for self-similar sets and measures
- Quantum expanders and dimension-free commutator bounds
BibTeX
@misc{phuc2026twosided,
title = {{Two-Sided Dimension Bounds for the Peterson Hit Problem via Projections and Matrix Minors}},
author = {Dang Vo Phuc and Peter V. Danchev},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2608.02623},
eprint = {2608.02623},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2608.02623},
}
RIS
TY - UNPB
TI - Two-Sided Dimension Bounds for the Peterson Hit Problem via Projections and Matrix Minors
AU - Dang Vo Phuc
AU - Peter V. Danchev
PY - 2026
DA - 2026/10/20
PB - arXiv
DO - 10.48550/arxiv.2608.02623
UR - https://arxiv.org/abs/2608.02623
AB - Let π«_k=π½_2[x_1,β¦,x_k] be the polynomial algebra over the prime field π½_2, viewed as an unstable module over the mod-$2$ Steenrod algebra π. The well-known Peterson hit problem asks for a minimal set of generators for the π-module π«_k. This is equivalent to determining the dimension of the cohit space (Qπ«_k)_d=(π«_k/π^+π«_k)_d, where π^+ denotes the augmentation ideal of π, for every kβ₯1 and positive degree d. Although solved in every degree for at most four variables, it remains a difficult open problem in general. Furthermore, given the limitations of current tools, explicitly determining the dimension of (Qπ«_k)_d in the general case appears out of reach. Motivated by these limitations, we establish explicit upper and lower bounds for this dimension for arbitrary positive integers k and d. Our method combines binary combinatorics, linear algebra, and graph and simplicial structures associated with the generating Steenrod squares. We characterize zero rows, count zero columns, and refine rank estimates using Adem relations. Minors and zero rows of the resulting smaller matrix yield further two-sided cohit bounds without determining a complete basis or computing the full hit rank.
ER -