MIXED TENSOR REPRESENTATIONS AND RATIONAL REPRESENTATIONS FOR THE GENERAL LINEAR LIE SUPERALGEBRAS (Q4532328)

Let \(\text{GL}(r, \mathbb C )\) denote the general linear group, \(V=\mathbb C ^r\) its natural representation, and \(V^*\) the dual of \(V\). In the classical work of Schur, the centralizer algebra \(\text{End}_{\text{GL}(r, \mathbb C)} (\otimes^f V)\) of \(\text{GL}(r, \mathbb C )\) on the \(f\)-fold tensor product \(\otimes^f V\) was studied, and the polynomial representations of \(\text{GL}(r, \mathbb C )\) were constructed as submodules of \(\otimes^f V\). Mixed tensor representations \(\otimes^p V^* \otimes^q V\) were studied in [\textit{J. R. Stembridge}, J. Comb. Theory, Ser. A 46, 79--120 (1987; Zbl 0626.20030); \textit{K. Koike}, Adv. Math. 74, 57--86 (1989; Zbl 0681.20030); \textit{M. Kosuda} and \textit{J. Murakami}, Osaka J. Math. 30, 475--507 (1993; Zbl 0806.17012); \textit{G. Benkart, M. Chakrabarti, T. Halverson, R. Leduc, C. Lee} and \textit{J. Stroomer}, J. Algebra 166, 529--567 (1994; Zbl 0815.20028)]. For the Lie algebra \(\text{gl}(r, \mathbb C )\), of course, all finite-dimensional irreducible representations appear already as submodules of \(\otimes^f V\). For Lie superalgebras this situation is different. For the general linear Lie superalgebra \(\text{gl}(m,n)\), \textit{A. Berele} and \textit{A. Regev} [Adv. Math. 64, 118--175 (1987; Zbl 0617.17002)] showed that certain polynomial representations of \(\text{gl} (m,n)\) can be constructed as submodules of \(\otimes^f V\) (where \(V=\mathbb C ^{m+n}\), but not all finite dimensional irreducible representations of \(\text{gl}(m,n)\) appear in this way). In this paper, the mixed tensor representations \(\otimes^p V^* \otimes^q V\) of \(\text{gl}(m,n)\) are investigated. The authors show that there exists a graded action of the Brauer subalgebra \(B_{p,q}(m-n)\) on the mixed tensor representation \(\otimes^p V^* \otimes^q V\), and the centralizer algebra \(\text{End}_{\text{gl} (m,n)}(\otimes^p V^* \otimes^q V)\) is isomorphic to \(B_{p,q}(m-n)\) if \(m-n\geq p+q\). A set of maximal vectors for the mixed tensor representation is constructed. Then it is shown that certain rational representations of \(\text{gl}(m,n)\) (the typical and singly atypical representations) can be explicitly constructed as submodules of the mixed tensor representations.