Defining relations of invariants of two 3 \times 3 matrices

Abstract

Over a field of characteristic 0, the algebra of invariants of several $n\times n$ matrices under simultameous conjugation by $G{L}_n$ is generated by traces of products of generic matrices. Teranishi, 1986, found a minimal system of eleven generators of the algebra of invariants of two $3\times 3$ matrices. Nakamoto, 2002, obtained an explicit, but very complicated, defining relation for a similar system of generators over $\mathbb{Z}$. In this paper we have found another natural set of eleven generators of this algebra of invariants over a field of characteristic 0 and have given the defining relation with respect to this set. Our defining relation is much simpler than that of Nakamoto. The proof is based on easy computer calculations with standard functions of Maple but the explicit form of the relation has been found with methods of representation theory of general linear groups.

14 pages

Cited by in corpus (11)

• Poisson Geometry of SL(3,C)-Character Varieties Relative to a Surface with Boundary
• Minimal Affine Coordinates for SL(3,C) Character Varieties of Free Groups
• Computing with matrix invariants
• SL(3,C)-Character Varieties and RP2-Structures on a Trinion
• Calogero-Moser spaces and the invariants of two matrices of degree 3
• Generators of Invariants of Two $4\times 4$ Matrices
• Defining Relations of Low Degree of Invariants of Two $4\times 4$ Matrices
• Defining relation for semi-invariants of three by three matrix triples
• Defining Relations of Noncommutative Trace Algebra of Two $3\times 3$ Matrices
• Defining Relations of Minimal Degree of the Trace Algebra of $3\times 3$ Matrices
• Local structure of SU_C(3) for a curve of genus 2