Degree-one cohomology of metacyclic $2$-groups: a low-bit dichotomy
We study the subalgebra generated by degree-one mod-$2$ cohomology for metacyclic $2$-groups $G=\langle a,b\mid a^{2^α}=1,\ b^{2^m}=a^c,\ b^{-1}ab=a^r\rangle$ with unique normal forms, where $α,m\ge2$ and $r\equiv-1\pmod4$. Presentation compatibility forces $c=0$ or $2^{α-1}$ and $G^{\mathrm{ab}}\cong C_2\times C_{2^m}$. If $c\equiv0\pmod4$, the degree-one-generated algebra is $\mathbb{F}_2 [x,y]/(y^2,x^2+xy)$, a four-dimensional algebra shared by the four nonmodular types of Aaboun--Zekhnini. The unique exceptional case $α=2$, $c=2$ is modular and has infinite-dimensional degree-one algebra…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.36401
curl -X POST /api/v1/records/arxiv/2610.36401/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.36401/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'