Defining Relations of Low Degree of Invariants of Two 4 × 4 Matrices

The trace algebra Cnd over a field of characteristic 0 is generated by all traces of products of d generic n × n matrices, n, d ≥ 2. Minimal sets of generators of Cnd are known for n = 2 and 3 for any d and for n = 4 and 5 and d = 2. The explicit defining relations between the generators are found for n = 2 and any d and for n = 3, d = 2 only. Defining relations of minimal degree for n = 3 and any d are also known. The minimal degree of the defining relations of any homogeneous minimal generating set of C42 is equal to 12. Starting with the generating set given recently by Drensky and Sadikova, we have determined all relations of degree ≤ 14. For this purpose we have developed further algorithms based on representation theory of the general linear group and easy computer calculations with standard functions of Maple.

[1]  R. Thrall,et al.  On Symmetrized Kronecker Powers and the Structure of the Free Lie Ring , 1942 .

[2]  Defining relations of invariants of two 3×3 matrices , 2004, math/0405389.

[3]  Claudio Procesi,et al.  The invariant theory of n × n matrices , 1976 .

[4]  E. Formanek,et al.  The polynomial identites and invariants of n?n matrices , 1991 .

[5]  Y. Teranishi.  Linear Diophantine Equations and Invariant Theory of Matrices , 1987 .

[6]  Vesselin Drensky,et al.  Polynomial Identity Rings , 2004 .

[7]  V. Drensky,et al.  Generators of invariants of two 4 × 4 matrices , 2006 .

[8]  Gert Almkvist,et al.  Hilbert series of fixed free algebras and noncommutative classical invariant theory , 1985 .

[9]  On a minimal set of generators for the invariants of 3 × 3 matrices , 1989 .

[10]  Y. Teranishi.  The ring of invariants of matrices , 1986, Nagoya Mathematical Journal.

[11]  J. Stembridge,et al.  Denominators for the Poincaré series of invariants of small matrices , 1999 .

[12]  D. Djoković.  Poincare series of some pure and mixed trace algebras of two generic matrices , 2006, math/0609262.

[13]  Computing with matrix invariants , 2005, math/0506614.

[14]  K. Nakamoto.  The structure of the invariant ring of two matrices of degree 3 , 2002 .

[15]  D. Ðokovic.  Poincaré series of some pure and mixed trace algebras of two generic matrices , 2007 .

[16]  H. Weyl.  The Classical Groups , 1940 .

[17]  P. Koshlukov.  Polynomial identities for a family of simple jordan algebras , 1988 .

[18]  Ju P Razmyslov.  TRACE IDENTITIES OF FULL MATRIX ALGEBRAS OVER A FIELD OF CHARACTERISTIC ZERO , 1974 .

[19]  I. G. MacDonald,et al.  Symmetric functions and Hall polynomials , 1979 .

[20]  D. Eisenbud,et al.  Young diagrams and determinantal varieties , 1980 .

[21]  V. Drensky,et al.  Defining relations of minimal degree of the trace algebra of 3×3 matrices , 2008 .