Binary Minor Certificates for the $\mathcal A(1)$-hit problem of $MO(2)$
Let $M=\widetilde H^*(MO(2);\mathbb F_2)$ and let $\mathcal A(1)$ be the subalgebra of the mod $2$ Steenrod algebra generated by $\operatorname{Sq}^1$ and $\operatorname{Sq}^2$. In this work, we determine the quotient $\mathbb F_2\otimes_{\mathcal A(1)}M$ in every internal degree $h\geq0$, 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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.20859
curl -X POST /api/v1/records/arxiv/2609.20859/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.20859/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'