Binary Minor Certificates for the $\mathcal{A}(1)$-hit problem of $MO(2)$

Abstract

Let $M={\tilde{H}}^{\ast }(MO(2);{\mathbb{F}}_2)$ and let $\mathcal{A}(1)$ be the subalgebra of the mod $2$ Steenrod algebra generated by ${\mathrm{Sq}}^1$ and ${\mathrm{Sq}}^2$. In this work, we determine the quotient ${\mathbb{F}}_2{\otimes }_{\mathcal{A}(1)}M$ in every internal degree $h\ge 0$, where internal degree $h$ corresponds to cohomological degree $h+2$. To overcome the limitations of finite experimental extrapolation, our proof is strictly certifying: in each degree, we exhibit a determinant-one minor of the binary hit matrix and a complementary family of linear dual functionals annihilating every hit column, mathematically guaranteeing the exact rank for all degrees. This rigorously establishes the monomial generating families and module decomposition proposed in Shih's 2012 report. Furthermore, we derive a closed binomial formula for every Steenrod square from the length-two symmetric-polynomial model, correct a boundary omission in the $\mathcal{A}(0)$ calculation, compute the exact Hilbert series of the $\mathcal{A}(1)$-cohit, and prove an intrinsic direct-sum decomposition of $M$ into two stable $\mathcal{A}(1)$-submodules.

arXiv comment18 pages. Any comments or suggestions would be greatly appreciated