Reference request: representation of type G2 Lie algebras. - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T07:57:59Z http://mathoverflow.net/feeds/question/78483 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/78483/reference-request-representation-of-type-g2-lie-algebras Reference request: representation of type G2 Lie algebras. Jianrong Li 2011-10-18T20:17:24Z 2011-10-21T02:43:12Z <p>Let $\mathfrak{g}$ be an Lie algebra of type G2. Are there some combinatorial ways to describe a basis of a $\mathfrak{g}$-module? For classical types, there is a method used tableaux. Thank you very much.</p> http://mathoverflow.net/questions/78483/reference-request-representation-of-type-g2-lie-algebras/78512#78512 Answer by Jim Humphreys for Reference request: representation of type G2 Lie algebras. Jim Humphreys 2011-10-19T00:10:27Z 2011-10-20T18:08:21Z <p>Assuming you are working in the classical setting over a field like <code>$\mathbb{C}$</code>, I'm unaware of any elementary way to identify a natural basis in each irreducible finite dimensional module. But using creative indirect methods via quantum groups, Lusztig was able to define such canonical bases for all Lie types (and Kashiwara arrived at related methods independently). While the actual construction of such bases in individual cases like <code>$G_2$</code> is not easy to implement, it is in principle "combinatorial" and is "canonical" in a strong sense. Lusztig's 1990 paper is freely available online <a href="http://www.ams.org/journals/jams/1990-03-02/S0894-0347-1990-1035415-6/home.html" rel="nofollow">here</a>. See in particular 0.6 in the introduction.</p> <p>P.S. As Steven points out, Littelmann's work (in many papers worth consulting) provides a new combinatorial framework for many of the standard problems in characteristic 0 about representations of semisimple Lie algebras; much of this generalizes to symmetrizable Kac-Moody algebras as well. In particular, his path method provides an algorithmic way to work out bases and characters, though the best results are obtained in type A. Other powerful methods are those of Lusztig (canonical basis) and Kashiwara (crystal basis), which are closely related to each other. All of this work probably has more theoretical than practical interest. Whatever approach is used, even in type <code>$G_2$</code> the dimensions of irreducible representations (computed readily from Weyl's formula) grow so rapidly that it's questionable how far one can go in practice toward finding explicit bases of weight spaces or gaining extra insight from them. </p> http://mathoverflow.net/questions/78483/reference-request-representation-of-type-g2-lie-algebras/78519#78519 Answer by Steven Sam for Reference request: representation of type G2 Lie algebras. Steven Sam 2011-10-19T02:16:00Z 2011-10-19T02:16:00Z <p>This paper constructs the representations of $G_2$ explicitly in terms of the Schur functor construction and multilinear operations: <a href="http://www.ams.org/journals/proc/1999-127-03/S0002-9939-99-04583-9/home.html" rel="nofollow">http://www.ams.org/journals/proc/1999-127-03/S0002-9939-99-04583-9/home.html</a></p> <p>It doesn't give you a preferred basis in terms of tableaux though. For that, you might want to look at the book "Standard monomial theory" by Lakshmibai and Raghavan. But this is much less explicit. This paper of Littelmann does in much greater generality: <a href="http://www.ams.org/jams/1998-11-03/S0894-0347-98-00268-9/S0894-0347-98-00268-9.pdf" rel="nofollow">http://www.ams.org/jams/1998-11-03/S0894-0347-98-00268-9/S0894-0347-98-00268-9.pdf</a></p> http://mathoverflow.net/questions/78483/reference-request-representation-of-type-g2-lie-algebras/78737#78737 Answer by Dave Anderson for Reference request: representation of type G2 Lie algebras. Dave Anderson 2011-10-21T02:43:12Z 2011-10-21T02:43:12Z <p>Another direction, that works (only?) for groups of rank at most 2, is Kuperberg's "spider" model: <a href="http://arxiv.org/abs/q-alg/9712003" rel="nofollow">http://arxiv.org/abs/q-alg/9712003</a> . The web diagrams he constructs generalize tableaux, in the sense that the $A_1$ and $A_2$ versions are in bijection with tableaux (at least of rectangular shape). This is not quite the same as constructing representations via Schur functors, but it has a combinatorial appeal.</p>