On the tensor product of two basic representations of $U_v(\hat{sl}_e)$

Abstract

Let $\{B(Λ_m)|m\in\Z/e\Z\}$ be the set of level one $\mathfrak{g}(A^{(1)}_{e-1})$-crystals, and consider the realization of $B(Λ_m)$ using $e$-restricted partitions. We prove a purely Young diagrammatic criterion for an element of $B(Λ_0)^{\otimes d_1}\otimes B(Λ_m)^{\otimes d_2}$ to be in the component $B(d_1Λ_0+d_2Λ_m)$. As an application, we give a non-recursive characterization of simple modules of the Hecke algebra of type $B$. In the course of the proof, we also obtain a combinatorial description of the second type of Kashiwara's Demazure crystal in $B(Λ_m)$.