A tensor product theorem related to perfect crystals. (Q1403899)

In the seminal paper [\textit{S.-J. Kang}, \textit{M. Kashiwara}, \textit{K. C. Misra}, \textit{T. Miwa}, \textit{T. Nakashima} and \textit{A. Nakayashiki}, Int. J. Mod. Phys. A 7, Suppl. 1A, 449--484 (1992; Zbl 0925.17005)], the authors provided a path realization of the crystal graph of a highest weight module over a quantum affine algebra, as certain semi-infinite tensor products of a single perfect crystal. In this paper, the authors generalize this result to give a realization of the tensor product of several highest weight modules. The underlying building blocks of the paths are finite tensor products of several perfect crystals. The motivation for this work is an interpretation of fermionic formulas, which arise from the combinatorics of Bethe Ansatz studies of solvable lattice models, as branching functions of affine Lie algebras. It is shown that the conditions for the tensor product theorem are satisfied for coherent families of crystals previously studied by \textit{S.-J. Kang}, \textit{M. Kashiwara} and \textit{K. C. Misra} in [Compos. Math. 92, 299--325 (1994; Zbl 0808.17007)], and the coherent family of crystals \(\{B^{k,l}\}_{l \geq 1}\) of type \(A_n^{(1)}\).