Defining relation for semi-invariants of three by three matrix triples
Denote by \(M_n(K)\) the space of \(n\times n\) matrices over an infinite field \(K\). The direct product of two copies of the general linear group \(G_n=\mathrm{GL}_n(K)\times \mathrm{GL}_n(K)\) acts linearly on \(M_n(K)\): the group element \((g,h)\) maps \(A\in M_n(K)\) to \(gAh^{-1}\). Take the direct sum \(M_n(K)^m=M_n(K)\oplus\cdots\oplus M_n(K)\) of \(m\) copies of this representation of \(G_n\). The action of \(G_n\) induces an action of the algebra of polynomial functions \(K[M_n(K)^m]\) in the usual way. Let \(R_{n,m}(K)\) be the subalgebra of the invariants of the subgroup \(\mathrm{SL}_n(K)\times \mathrm{SL}_n(K)\) of \(G_n\). It is called the algebra of semi-invariants of \(G_n\) on \(M_n(K)^m\). The structure and minimal systems of generators of \(R_{n,m}(K)\) are known in a few cases only. Apart from the case \(n=2\) for any \(m\) and \(m=2\) for any \(n\), the only other case when a minimal system of generators of \(R_{n,m}(K)\) is explicitly known is \(n=m=3\), and this algebra is the main object to study in the paper under review. The authors find a uniform description of \(R_{3,3}(K)\) in terms of a minimal generating system and the corresponding relations, valid over any infinite base field \(K\) and also for \(K=\mathbb Z\). More specifically, \(R_{3,3}(K)\) is minimally generated as a \(K\)-algebra by \(12\) elements \(q,h,f_j,j=1,\dots,10\), satisfying the single algebraic relation \(A(g,h,f_1,\dots,f_{10})=0\), where \(A\) is an explicitly calculated polynomial with integer coefficients.
- Relative invariants of 3 × 3 matrix triples∗
- Defining relations of invariants of two \(3\times 3\) matrices.
- Generators, relations and symmetries in pairs of 3 3 unimodular matrices
- scientific article; zbMATH DE number 2211256
- Defining relations of minimal degree of the trace algebra of \(3\times 3\) matrices.
- An introduction to invariants and moduli. Transl. by W. M. Oxbury
- Defining relations of invariants of two \(3\times 3\) matrices.
- Gröbner bases for the rings of special orthogonal and 2 2 matrix invariants
- scientific article; zbMATH DE number 3565228 (Why is no real title available?)
- scientific article; zbMATH DE number 1822312 (Why is no real title available?)
- scientific article; zbMATH DE number 1870513 (Why is no real title available?)
- Invariants of several matrices
- Jacobians of genus one curves.
- MODULI OF REPRESENTATIONS OF FINITE DIMENSIONAL ALGEBRAS
- On the characteristic polynomial of a sum of matrices
- On the Jacobians of plane cubics
- Poincaré series of semi-invariants of \(2\times 2\) matrices
- Relative invariants of 3 × 3 matrix triples∗
- Relative invariants of quivers of tame type
- Relative invariants of the polynomial rings over type \(A_ r\), \(\widetilde A_ r\) quivers
- Remarques sur un mémoire d'Hermite
- Rings of matrix invariants in positive characteristic
- Semi-invariants of quivers as determinants
- The moduli space of three-qutrit states
- The ring of invariants of matrices
- The structure of the invariant ring of two matrices of degree 3
- Characteristic free description of semi-invariants of \(2 \times 2\) matrices
- Non-commutative Edmonds' problem and matrix semi-invariants
- A Semigroup Approach to Linear Algebraic Groups III. Buildings
- An algorithm for explicit generators of the invariants of the basic Ga—actions
- Relative invariants of 3 × 3 matrix triples∗
- The \(3\times 3\times 3\) hyperdeterminant as a polynomial in the fundamental invariants for \(\mathrm{SL}_3(\mathbb C)\times\mathrm{SL}_3(\mathbb C)\times\mathrm{SL}_3(\mathbb C)\)
- Fundamental invariants for the action of \(SL_{3}(\mathbb{C}) \times SL_{3}(\mathbb{C}) \times SL_{3}(\mathbb{C})\) on \(3 \times 3 \times 3\) arrays
- Relatively Free Algebras with the Identityx3 = 0#
This page was built for publication: Defining relation for semi-invariants of three by three matrix triples
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1934961)
