The Invariant Ring Of m Matrices Under The Adjoint Action By a Product Of General Linear Groups

Abstract: Let

V = V_{1} o t i m e s c d o t s o t i m e s V_{n}

be a vector space over an algebraically closed field

K

of characteristic zero with

d i m (V_{i}) = d_{i}

. We study the ring of polynomial invariants

K [o p e r a t o r n a m e E n d (V)^{o p l u s m}]^{o p e r a t o r n a m e {G L}_{m a t h b f d}}

of

m

endomorphisms of

V

under the adjoint action of

o p e r a t o r n a m e {G L}_{m a t h b f d} := o p e r a t o r n a m e G L (V_{1}) i m e s c d o t s i m e s o p e r a t o r n a m e G L (V_{n})

. We find that the ring is generated by certain generalized trace monomials

o p e r a t o r n a m e {T r}_{s i g m a}^{M}

where

M

is a multiset with entries in

[m] = 1, d o t s, m

and

s i g m a i n m a t h c a l S_{m}^{n}

is a choice of

n

permutations of

[m]

. We find that

K [o p e r a t o r n a m e E n d (V)^{o p l u s m}]^{o p e r a t o r n a m e {G L}_{m a t h b f d}}

is generated by the

o p e r a t o r n a m e {T r}_{s}^{M} i g m a

of degree at most

f r a c 38 m d i m (V)^{6}

.

This page was built for publication: The Invariant Ring Of m Matrices Under The Adjoint Action By a Product Of General Linear Groups