A GEOMETRIC APPROACH TO THE KRONECKER PROBLEM II: INVARIANTS OF MATRICES FOR SIMULTANEOUS LEFT-RIGHT ACTIONS

In this paper we describe the ring of invariants of the space of m-tuples of n×n matrices, under the action of SL(n)×SL(n) given by (A,B)·(X1, X2, · · · , Xm) 7→ (AX1B, AX2B, · · · , AXmB). Determining the ring of invariants is the first step in the geometric approach to finding multiplicities of representations of the symmetric group in the tensor product of rectangular shaped representations. We show that these invariants are given by multi-determinants and can also be described in terms of certain magic squares. We compute the null cone for this action. We also study a birational subring of invariants and an analysis thereof results into a different proof of the Artin-Procesi theorem for the ring of invariants for several matrices under the simultaneous conjugation action of SL(n).