×

Explicit rational forms for the Poincaré series of the trace rings of generic matrices. (English) Zbl 0739.16019

Let \(V\) be an \(n\)-dimensional vector space over \(C\). Let \(G=SL(V)\), \(W=(V\otimes V^*)^ m\), \(R=SW\), \(\bar R=\text{End}(V)\otimes R\). Let \(Z_{m,n}=R^ G\) and \(T_{m,n}=\bar R^ G\) for the obvious \(G\)- actions. \(Z_{m,n}\) and \(T_{m,n}\) are called the commutative and non- commutative trace ring of m generic \(n\times n\) matrices. There is a natural \(N^ m\)-grading on \(R\) and \(\bar R\), and \(Z_{m,n}\) and \(T_{m,n}\) are graded subrings so their Hilbert series can be defined. In this paper formulas for these Hilbert series are given. The author uses the Molien-Weyl formula which leads to an expression in terms of generating functions for flows in certain graphs. These generating functions are computed with graph theory.

MSC:

16R30 Trace rings and invariant theory (associative rings and algebras)
13D40 Hilbert-Samuel and Hilbert-Kunz functions; Poincaré series
14L24 Geometric invariant theory
16W50 Graded rings and modules (associative rings and algebras)
15A30 Algebraic systems of matrices
15A72 Vector and tensor algebra, theory of invariants
05A15 Exact enumeration problems, generating functions
Full Text: DOI

References:

[1] Berge, C.; Ghouilla-Houri, A., Programming, Games and Transportation Networks (1965), New York: John Wiley and Sons, New York · Zbl 0138.15505
[2] Formanek, E., Functional equations for character series associated with n × n-matrices, Trans. Am. Math. Soc., 294, 2, 647-663 (1986) · Zbl 0597.16013 · doi:10.2307/2000206
[3] Lebruyn, L.; Van den Bergh, M., Regularity of trace rings of generic matrices, J. Algebra, 117, 363-373 (1988) · Zbl 0665.16011 · doi:10.1016/0021-8693(88)90238-4
[4] Procesi, C., The invariant theory of n × n-matrices, Advances in Math., 19, 306-381 (1976) · Zbl 0331.15021 · doi:10.1016/0001-8708(76)90027-X
[5] J. Razmyslov,Trace identities of full matrix algebras over a field of characteristic zero, Izv. Akad. Nauk USSR No. 38 (1974), 337-360.
[6] Stanley, R., Combinatorics and commutative algebra (1983), Boston: Birkhauser, Boston · Zbl 0537.13009
[7] Teranishi, Y., The ring of invariants of matrices, Nagoya Math. J., 104, 149-161 (1986) · Zbl 0615.16013
[8] Y. Teranishi,Linear diophantine equations and invariant theory of matrices, Advanced Studies in Pure Mathematics 11, 1987, Commutative Algebra and Combinatorics, pp. 259-275. · Zbl 0651.16010
[9] Van den Bergh, M., Trace rings of generic matrices are Cohen-Macaulay, J. Am. Math. Soc., 2, 4, 775-799 (1989) · Zbl 0697.20025 · doi:10.2307/1990894
[10] Weyl, H., The Classical Groups (1946), Princeton, N.J.: Princeton Univ. Press, Princeton, N.J. · Zbl 1024.20502
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.