The coordinate ring of the k-fold iterated commutator locus for 2x2 matrices
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.05386
curl -X POST /api/v1/records/arxiv/2609.05386/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.05386/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'