Tensor product of crystal bases for \(U_q(\mathfrak{gl}(m,n))\)-modules (Q5961011)

Lie superalgebras play an important role in many areas of mathematics and mathematical physics; their basic structure theory and the classification of the finite simple Lie superalgebras were carried out by \textit{V. Kac} [Adv. Math. 26, 8-96 (1977; Zbl 0366.17012)]. In general, the category of finite-dimensional modules over such an algebra is not semisimple, but it is true that, over the general linear Lie superalgebra \(gl(m,n)\), the tensor powers of the vector representation are completely reducible; their irreducible summands are parametrized by the \((m,n)\)-hook Young diagrams, where a Young diagram is called an \((m,n)\)-hook Young diagram if the number of boxes in the \((m+1)\)st row is at most \(n\) (where the diagram consists of left justified rows of non-increasing length). The authors consider the quantized universal enveloping algebra of \(gl(m,n)\), which is denoted by \(U_q(gl(m,n))\), and again consider the finite-dimensional representations arising from the tensor powers of the vector representation. M. Kashiwara has developed a beautiful crystal base theory for the quantized enveloping algebras of symmetrizable Kac-Moody Lie algebras. Such a base in a representation can be regarded as a basis at \(q=0\); it has the structure of a coloured, oriented graph, reflecting the combinatorial structure of the representation. It is also possible to form the tensor product of crystal bases, and to determine the decomposition of the tensor product of the corresponding modules by consideration of highest-weight vectors in the tensor product of crystal bases. Crystal base theory has also been developed for the finite-dimensional \(U_q(gl(m,n))\)-modules arising from the tensor powers of the vector representation by \textit{G. Benkart, S.-J. Kang} and \textit{M. Kashiwara} [J. Am. Math. Soc. 13, 295-331 (2000; Zbl 0963.17010)] and in this paper the authors show how to generalise the column insertion scheme of \textit{C. Schensted} [Can. J. Math. 13, 179-191 (1961; Zbl 0097.25202)] in order to give a combinatorial algorithm for the decomposition of the tensor product of \(U_q(gl(m,n))\)-crystals.