MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
3

For a semisimple Lie algebra $\mathfrak{g}$, a highest weight module $V(\lambda)$ with highest weight weight $\lambda$ has the property that every submodule $W$ of $V(\lambda)$ is a direct sum of the weight spaces of $W$.

Now consider quantum affine algebra $U_q(\hat{\mathfrak{g}})$. Let $V(\lambda)$ be the highest weight $U_q(\hat{\mathfrak{g}})$-module with highest weight weight $\lambda$. Do we still have the property that every submodule $W$ of $V(\lambda)$ is a direct sum of the weight spaces of $W$?

flag

1 Answer

6

Yes. See Proposition 3.2.1 in Jin Hong and Seok-Jin Kang's book Introduction to Quantum Groups and Crystal Bases.

link|flag
@Christopher, but it seems that proposition is for quantum groups not quantum affine algebras. – Jianrong Li Apr 10 2012 at 1:51
@user, The name quantum group means different things to different people, but in the book I referenced, quantum groups are the same thing as quantum (or quantized) enveloping algebras, i.e., algebras defined by certain generators and relations coming from the Cartan datum of the underlying Lie algebra. If these aren't the same objects as you are interested in, then it might be helpful if you could edit your question to be more specific about what you mean by a quantum affine algebra. – Christopher Drupieski Apr 10 2012 at 2:40
2 
@user, Also, the book I referenced permits the Cartan datum to correspond to a generalized Cartan matrix, so the quantum enveloping algebras constructed there include those corresponding to affine Lie algebras. – Christopher Drupieski Apr 10 2012 at 2:44
1 
@Chris: It's probably useful to comment also on whether or not the nature of the parameter q matters at this point (indeterminate vs. root of unity). I guess it doesn't matter for the initial formalism involving highest weight modules and submodules. – Jim Humphreys Apr 10 2012 at 17:27

Your Answer

Get an OpenID
or

Not the answer you're looking for? Browse other questions tagged or ask your own question.