Level zero fundamental representations over quantized affine algebras and Demazure modules (Q2386887)

Summary: Let \(W(\varpi_k)\) be the finite-dimensional irreducible module over a quantized affine algebra \(U_q'({\mathfrak g})\) with the fundamental weight \(\varpi_k\) as an extremal weight. We show that its crystal \(B(W(\varpi_k))\) is isomorphic to the Demazure crystal \(B^-(-\Lambda+\varpi_k)\). This is derived from the following general result: for a dominant integral weight \(\lambda\) and an integral weight \(\mu\), there exists a unique homomorphism \(U_q^-({\mathfrak g}) (u_\lambda\otimes u_\mu)\to V(\lambda+\mu)\) that sends \(u_\lambda\otimes u_\mu\) to \(u_{\lambda+\mu}\). Here \(V(\lambda)\) is the extremal weight module with \(\lambda\) as an extremal weight, and \(u_\lambda\in V(\lambda)\) is the extremal weight vector of weight \(\lambda\).