Semi-Invariants of a Matrix and Covector
We prove the following theorem: let $\mathcal{M}_d$ denote the set of $d \times d$ matrices over an infinite field $K$, and let ${(K^d)^*}$ be the set of row vectors. Define an action of $\mathrm{SL}_d(K)$ on $X:= \mathcal{M}_d \oplus (K^d)^*$ by \[ g \cdot (A,φ) = (gAg^{-1}, φg^{-1}).\] Then $K[X]^{\mathrm{SL}_d}$ is a polynomial ring, generated by the coefficients of the characteristic polynomial of $A$ and one further invariant, namely $Δ(A,φ):= \det(φ,φA,φA^2,\ldots, φA^{d-1})^t.$ Our proof is entirely classical in nature, but we give an interpretation of the result and its proof in…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.12738
curl -X POST /api/v1/records/arxiv/2607.12738/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.12738/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'