An algorithm for computing the global basis of an irreducible \(U_q(sp_{2n})\)-module (Q1865251)

Let \(\Lambda_1, \dots, \Lambda_n\) be the fundamental weights of the simple Lie algebra \(sp_{2n}\). Given a dominant weight \(\lambda\), the unique finite-dimensional irreducible module with highest weight \(\lambda\) is denoted by \(V(\lambda)\). This module has a unique, up to an overall scalar factor, crystal basis. M. Kashiwara has proved that this basis is parametrized by the readings of symplectic tableaux of shape \(\lambda\). The aim of this paper is to calculate the lower global (or canonical) basis of \(V(\lambda)\), a \(Q[q,q^{-1}]\)-basis invariant under an involution on \(U_q(sp_{2n})\) and which projects on the crystal basis. A previous algorithm is provided by \textit{R. Marsh} [J. Algebra 186, 831-860 (1996; Zbl 0874.17011)] when \(\lambda\) is a fundamental weight. Let \(\Lambda_p\) be a fundamental weight. A new module \(W(\Lambda_p)\) is described. This new module is finite-dimensional, and it has a highest weight vector of weight \(\Lambda_p\). Hence \(V(\Lambda_p)\) is isomorphic to the submodule generated by this element. Thus the Marsh algorithm is adapted to calculate the basis from the highest weight vector. The definition of \(W(\Lambda_p)\) is extended to any \(\lambda\) as a suitable tensor product. The highest weight vector is described and hence \(V(\lambda)\) is identified. The basis is computed in two steps. First a monomial basis, invariant under the involution, is computed. This intermediate basis is transformed in the global basis via a triangular transformation. There is a final big table where the basis of a 12-dimensional weight space on \(U_q(sp_6)\) is presented.