Invariants of several matrices. (English) Zbl 0826.20036

Let \(K\) be an algebraically closed field of arbitrary characteristic, \(n\) and \(m\) positive integers and let \(M(n)\) be the set of \(n \times n\)- matrices with entries in \(K\). The purpose of this paper is to give generators for the algebra of polynomial invariants on the set of \(m\)- tuples of matrices \(M(n)^m = M(n) \times M(n) \times \cdots \times M(n)\) (\(m\)-times) for the action, by simultaneous conjugation, of the general linear group \(\text{GL} (n)\). Indeed we shall show that the polynomial invariants are generated by the functions \((x_1, x_2, \dots, x_m) \mapsto \text{Trace} (x_{i_1} x_{i_2} \dots x_{i_r}\), \(\bigwedge^s(E))\), for \((i_1, i_2, \dots, i_r)\) an \(r\)-tuple of integers in \(\{1,2,\dots, m\}\) (for some \(r\)), \(s\) a positive integer and \(E\) the natural \(M(n)\)-module. We shall derive the result from a more general one giving a description of the \(H\) class functions of \(G\) for a “saturated” subgroup \(H\) of a reductive group \(G\). This description involves certain shifted trace functions defined by partial tilting modules, which have been recently introduced into the theory by Ringel. In applying this general result to the situation above we take \(G\) to be \(\text{GL} (n)^m = \text{GL} (n) \times \text{GL} (n) \times \cdots \times \text{GL} (n)\) (\(m\) times) and \(H\) the diagonal embedding of \(\text{GL} (n)\). The partial tilting modules are then \(G\)- module summands of tensor products of exterior powers of the natural module and the module affording the dual of the determinant representation. The shifted trace functions are then shown to belong to the ring generated by the trace functions on exterior powers described above by means of a certain identity similar to one occurring in the theory of symmetric functions.


20G05 Representation theory for linear algebraic groups
05E10 Combinatorial aspects of representation theory
19A22 Frobenius induction, Burnside and representation rings
13A30 Associated graded rings of ideals (Rees ring, form ring), analytic spread and related topics
14L24 Geometric invariant theory
Full Text: DOI EuDML


[1] De Concini, C., Procesi, C.: A characteristic-free approach to invariant theory. Adv. Math.21, 330-354 (1976) · Zbl 0347.20025
[2] Donkin, S.: Rational Representations of Algebraic Groups: Tensor Products and Filtrations. (Lect. Notes Math., vol. 1140) Berlin Heidelberg New York: Springer 1985 · Zbl 0586.20017
[3] Donkin, S.: Finite resolutions of modules for reductive algebraic groups. J. Algebra101, 473-488 (1986) · Zbl 0607.20023
[4] Donkin, S.: On Schur algebras and related algebras I. J. Algebra104, 310-328 (1986) · Zbl 0606.20038
[5] Donkin, S.: On Schur algebras and related algebras II. J. Algebra111, 354-364 (1987) · Zbl 0634.20019
[6] Donkin, S.: Skew modules for reductive groups. J. Algebra113, 465-479 (1988) · Zbl 0662.20032
[7] Donkin, S.: Invariants of unipotent radicals. Math. Z.198, 117-125 (1988) · Zbl 0627.14013
[8] Donkin, S.: The normality of closures of conjugacy classes of matrices. Invent. Math.101, 717-736 (1990) · Zbl 0822.20045
[9] Donkin, S.: On tilting modules for algebraic groups. Math. Z. (to appear) · Zbl 0798.20035
[10] Donkin, S.: Invariant functions on matrices. Math. Proc. Camb. Philos Soc. (to appear) · Zbl 0826.20015
[11] Green, J.A.: Polynomial Representations of GLn. (Lect. Notes Math., vol. 830) Berlin Heidelberg New York: Springer 1980
[12] Jantzen, J.C.: Representations of Algebraic Groups, (Pure Appl. Math., vol. 131) New York London: Academic Press 1987 · Zbl 0654.20039
[13] Kraft, H.-P., Procesi, C.: Closures of conjugacy classes of matrices are normal. Invent. Math.53, 227-247 (1979) · Zbl 0434.14026
[14] Macdonald, I.G.: Symmetric functions and Hall polynomials. Oxford: Oxford University Press 1979 · Zbl 0487.20007
[15] Mathieu, O.: Filtrations ofG-modules. Ann. Sci. Ec. Norm. Super., II. Ser.23, 625-644 (1990) · Zbl 0748.20026
[16] Pommerening, K.: Invarianten unipotenten Gruppen. Math. Z.176, 359-374 (1981) · Zbl 0448.14002
[17] C. Procesi, The invariant theory ofn {\(\times\)} n-matrices, Adv. Math.19, 306-381 (1967) · Zbl 0331.15021
[18] Ringel, C.M.: The category of modules with good filtrations over a quasi-hereditary algebra has almost split sequences. Math. Z.208, 209-225 (1991) · Zbl 0725.16011
[19] Sibirski, K.S.: On unitary and orthogonal matrix invariants. Dokl. Akad. Nauk. SSSR172, 1, 40-43 (1967)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.