Localizing the Gardam unit: the support geometry of units in F_2[P] and its non-unique-product relatives
Gardam's counterexample to the Kaplansky unit conjecture is a unit of $\mathbb{F}_2[P]$, $P$ the Promislow group, with support of size $21$; Gardam asked whether $21$ is least possible. Over $\mathbb{F}_2$ the unit equation is a parity condition on a pair of supports, searchable over word balls. We upgrade two statements to machine-checked certificates: no support pair of sizes $\ge2$ lies in the radius-$3$ ball (a DRAT proof of a ball form of the Craven--Pappas theorem), and every nontrivial unit with supports in the radius-$4$ ball has total support at least $42$, confirming Gardam's…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.17559
curl -X POST /api/v1/records/arxiv/2609.17559/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.17559/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'