Matrices with involution and invariant theory. (English) Zbl 0739.16018
Procesi and Formanek applied invariant theory (of \(GL(n)\), \(Sp(n)\), \(O(n)\)) to the study of p.i. algebras ( trace identities of \(n\times n\) matrices). The author adapts the theories developed by them to matrices with involution. Formanek reduced the problems of calculating the Poincaré series for the ring of generic \(n\times n\) matrices with trace \(\bar R\), or of its center \(\bar C\), to a problem in the theory of Schur functions; he showed how these series are related to those of the ring of \(n\times n\) generic matrices \(R\) (and to its center \(C\)). In this paper, the Poincaré series for the ring of generic \(n\times n\) matrices with trace and symplectic involution and the case of transpose involution are studied. These results are linked to rings of generic matrices with involution, without traces. These results help to demonstrate the importance of the (unsolved) combinatorial problem of expressing the symmetric functions \(S_ \lambda(x_ ix_ j^{-1}\mid i,j=1,\dots,n)\) as a linear combination of terms of the form \((x_ 1\dots x_ n)^{- \alpha} S_ \mu(x_ 1,\dots,x_ n)\). Procesi showed that if an algebra with trace satisfies the \(n\)-th Cayley-Hamilton equation, then it has a trace-preserving embedding into \(n\times n\) matrices. The author shows that if an algebra with trace and involution satisfies the same *-trace identities as \(n\times n\) matrices with (symplectic or transpose) involution, then it has a trace- and transpose-preserving embedding into \(n\times n\) matrices.
Reviewer: G.Molenberghs (Antwerpen)
MSC:
16R30 | Trace rings and invariant theory (associative rings and algebras) |
16W10 | Rings with involution; Lie, Jordan and other nonassociative structures |
15A72 | Vector and tensor algebra, theory of invariants |
16S50 | Endomorphism rings; matrix rings |
16R20 | Semiprime p.i. rings, rings embeddable in matrices over commutative rings |
Keywords:
invariant theory; algebras; trace identities of \(n\times n\) matrices; matrices with involution; Poincaré series; ring of generic \(n\times n\) matrices; Schur functions; symplectic involution; transpose involution; symmetric functions; Cayley-Hamilton equationReferences:
[1] | Berele, A., Homogeneous polynomial identities, Israel J. Math., 42, 258-272 (1982) · Zbl 0522.16015 |
[2] | Berele, A., A Schensted-type correspondence for the symplectic group, J. Combin. Theory Ser. A, 43, 320-328 (1986) · Zbl 0633.05009 |
[3] | Berele, A., A construction Sp-modules by tableaux, Linear and Multilinear Algebra, 19, 299-309 (1986) · Zbl 0601.22009 |
[4] | Black, G. R.E; King, R. C.; Wybourne, B. G., Kronecker products for compact semisimple Lie groups, J. Phys. A, 16, 1555-1589 (1983) · Zbl 0522.22012 |
[5] | Formanek, E., Invariants and the ring of generic matrices, J. Algebra, 89, 178-223 (1984) · Zbl 0549.16008 |
[6] | Formanek, E., A conjecture of Regev about the Capelli polynomial, J. Algebra, 109, 93-114 (1987) · Zbl 0625.16015 |
[7] | Giambruno, A., GL × GL-representations and ∗-polynomial identities, Comm. Algebra, 14, 787-796 (1986) · Zbl 0604.16018 |
[8] | Giambruno, A.; Regev, A., Wreath products and p.i. algebras, J. Pure Appl. Algebra, 35, 133-150 (1985) · Zbl 0563.16008 |
[9] | King, R. C., Modification rules and products of irreducible representations of the unitary, orthogonal and symplectic groups, J. Math. Phys., 12, 1588-1598 (1971) · Zbl 0239.20061 |
[10] | Littlewood, D. E., On invariant theory under restricted groups, Philos. Trans. Roy. Soc. London Ser. A, 239, 387-417 (1944) · Zbl 0060.04403 |
[11] | Littlewood, D. E., The Theory of Group Characters (1950), Oxford Univ. Press (Clarendon): Oxford Univ. Press (Clarendon) Oxford · Zbl 0011.25001 |
[12] | Procesi, C., The invariant theory of \(n\)× \(n\) matrices, Adv. in Math., 19, 306-381 (1976) · Zbl 0331.15021 |
[13] | Procesi, C., A formal inverse to the Cayley-Hamilton theorem, J. Algebra, 107, 63-74 (1987) · Zbl 0618.16014 |
[14] | Rowen, L. H., Polynomial Identities in Ring Theory (1980), Academic Press: Academic Press New York · Zbl 0461.16001 |
[15] | Shelter, W., Integral extensions of rings satisfying a polynomial identity, J. Algebra, 40, 245-257 (1976) · Zbl 0341.16009 |
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. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.