Poincaré series of some pure and mixed trace algebras of two generic matrices. (Q875111)

Let \(X_1\) and \(X_2\) be two generic \(n\times n\) matrices over a field \(K\) of characteristic 0. Let \(C_{n2}\) be the (commutative) \(K\)-algebra generated by the traces of all monomials in \(X_1\) and \(X_2\). The group \(\text{GL}_n\) acts on the pairs of \(n\times n\) matrices via simultaneous conjugations, the algebra of invariants under this action is exactly \(C_{n2}\). Analogously one defines \(T_{n2}\) as the algebra generated by \(X_1\), \(X_2\) and \(C_{n2}\); it consists of the \(\text{GL}_n\)-equivariant polynomial maps \(M_n(K)^2\to M_n\). The algebras \(C_{n2}\) and \(T_{n2}\) are the pure and the mixed trace algebras, respectively. The paper under review studies the numerical characteristics of these two important algebras. The author computes their Poincaré series for \(n\leq 6\). Minimal sets of generators for \(C_{42}\) and for \(C_{52}\) are exhibited. One may identify the space \(M_n^2\) with \(M_n\otimes K^2\). In this situation the author defines an action of \(\text{GL}_n\times\text{GL}_2\), and does computations with the Poincaré series whenever \(n\leq 5\). Furthermore, several conjectures concerning the numerators and the denominators of the corresponding Poincaré series are proposed.