Welcome to MathOverflow

Question

6

1

Let $\rm{SL}_n$ be the special linear group and let $\rm{Sym}_n$ be the set of all symmetric matrices of size n. $\rm{SL}_n$ acts on $(\rm{Sym}_n)^m$ by $g(A_1, \ldots , A_m)=(gA_1 g^{\rm T}, \ldots , g A_m g^{\rm T})$. Clearly, in the case of $m=1$ the ring of invariants is generated by $\det(A)$. But what are the invariants of this group action in general? Is there an easy description of the ring of invariants, e.g. by giving the generators?

flag	asked Sep 16 at 19:20 Döni 175●4

	The groups acts by conjugation on $A_iA_j^{-1}$, so one has the conjugacy invariants of these matrices and their products (such as the coefficients of the characteristic polynomial of $A_iA_j^{-1}$). I suspect these and the determinants of $A_i$ generate the ring of invariants, but I wouldn't know how to prove this. A paper of Procesi may be relevant: ams.org/journals/bull/1976-82-06/… – Agol Sep 16 at 23:41
	Might be Ed Formanek (mathoverflow.net/users/9347/ed-formanek) is right person to ask if matrices are not symmetric he gave wonderful answer here: mathoverflow.net/questions/85664/… refering to his CBMS notes "The Polynomial Identities and Invariants of matrices". – Alexander Chervov Sep 17 at 7:05

Bruce Westbury · Accepted Answer · 2012-09-17 10:28:35Z UTC

If you are willing to replace $SL$ by $GL$ (so without the determinant) then this is a special case of a much more general result.

Apply the theory in the following paper to the quiver with one vertex and $m$ edges.

MR0958897 (90e:16048) Le Bruyn, Lieven; Procesi, Claudio

Semisimple representations of quivers.

Trans. Amer. Math. Soc. 317 (1990), no. 2, 585–598.

The special case you are considering was studied before this. The reference has already been given by Agol.

Dima Pasechnik · Answer 2 · 2012-09-17 06:23:35Z UTC

1

For $n=2$ an answer is classically known, see Grace and Young, p.161, 139A. Probably there is a modern explanation of this result known, too.

answered Sep 17 at 6:23

Dima Pasechnik
3,080●3●14

Abdelmalek Abdesselam · Answer 3 · 2012-09-17 14:18:58Z UTC

This is part of classical invariant theory: the study of joint invariants of several quadratic forms. As far as I know these rings of invariants are only known in a few special cases. There has been work by Turnbull and Todd for the $n=3$ case. A recent paper on the subject which contains pointers to the classical literature is ``La théorie des invariants des formes quadratiques ternaires revisitée'' by Bruno Blind.

Invariants of group action: SL_n acts simultaneously on m symmetric matrices

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

3 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.