{"id":"arxiv/2609.17559","url":"https://arxiv.org/abs/2609.17559","tags":["math.GR","math.RA"],"score":0,"title":"Localizing the Gardam unit: the support geometry of units in F_2[P] and its non-unique-product relatives","domain":"math.GR","source":"arxiv","authors":["Moe Tabei"],"reviews":0,"subject":"math.GR","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-22","reactions":{}}