{"id":"arxiv/2609.05386","url":"https://arxiv.org/abs/2609.05386","tags":["math.AC","math.AG"],"score":0,"title":"The coordinate ring of the k-fold iterated commutator locus for 2x2 matrices","domain":"math.AC","source":"arxiv","authors":["Jan Snellman"],"reviews":0,"subject":"math.AC","summary":"For $2 \\times 2$ matrices $A_1,\\dots,A_k$, write $[A_1,\\dots,A_k]$ for the left-normed iterated commutator $[\\dots[[A_1,A_2],A_3],\\dots,A_k]$, and $I_k$ for the ideal, in the $3k$-variable reduced-coordinate polynomial ring $R_k$, cutting out its vanishing locus. We prove, for every $k \\geq 2$ over any field of characteristic $\\neq 2$, and as four independently-established results rather than one bundled claim: $I_k$ has codimension 2; $I_k$ has exactly 3 minimal generators; $R_k / I_k$ is Cohen-Macaulay; and $I_k$ is radical. The last of these, together with an explicit component count…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-04","reactions":{}}