Suppose we have a finite dimensional Lie algebra $g$, Is there a machinery to describe all the irreducible representation of $g$.

Consider toy example: $sl_{2}$ or $sl_{3}$, how do we describe all the irreducible representations of them.

Further, consider quantum case, Is there a machinery way(like algorithm)describing all the irreducible representations of $U_{q}(sl_{2})$

EDIT: What I am looking for is an "mechanical" and canonical machinery describing all the irreducible representations(of course, not only finite dimensional representations,not only unitary representations)

EDIT2: What I am looking for is some reference to describe them in explicitly(such as $sl_{3}$)

  • 4
    $\begingroup$ You need to be more specific. The two Lie algebras you mention are simple. Are you asking about semisimple Lie algebras? Also what class of representations are you asking about? Do you want finite dimensional, or unitary representations on a Hilbert space, or ...? The finite dimensional irreducible representations of semisimple Lie algebras are well understood and are parametrised by dominant integral weights. $\endgroup$ Mar 18 '10 at 8:39
  • 2
    $\begingroup$ Check out A.Rosenberg's "noncommutative algebraic geometry and representation theory of quantized algebra" He used spectrum of $U(sl_{2})-mod$ and $A_{n}-mod$ to describe all the irreducible representations of $sl_{2}$ and n-th Weyl algebra. In fact, irreducible representations of semisimple Lie algebra can be reduced to representations of Weyl algebra. Then gluing back. Actually,using his machinery, it is very convienient to find all irreducible representations of $sl_{3}$ $\endgroup$ Mar 18 '10 at 14:56
  • $\begingroup$ It is still not clear to me what you mean by "all" representations. Do you mean irreducible representations on a naked C-vector space with no additional structure? Is this kind of result known for any algebraic structure? $\endgroup$ Mar 18 '10 at 19:06
  • $\begingroup$ @Shizhuo Zhang. Has this paper been published? Do you possibly have a link to it? $\endgroup$
    – GMRA
    Mar 18 '10 at 23:25
  • $\begingroup$ @Amazeen: Yes, it is a book, you can find it in your library or Amazon. Actually, you can also take a look at here: mpim-bonn.mpg.de/preprints/send?bid=3217. It is a categorical version of what I mentioned above. $\endgroup$ Mar 19 '10 at 4:34

The problem of classifying irreducible $sl_2(\mathbb C)$-representations is essentially untractable as it contains a wild subproblem. Indeed, the action of the Casimir element $C$ on any irreducible representation is by a complex scalar (by a theorem of Quillen I believe). If we consider the case when $C$ acts by zero, by a result of Beilinson-Bernstein the category of $sl_2$-representations with $C=0$ is equivalent to the category of quasi-coherent $\mathcal D_{\mathbf P^1}$-modules. In this $1$-dimensional case every irreducible $\mathcal D_{\mathbf P^1}$-module is holonomic. If we restrict ourselves to irreducible regular holonomic modules we have two possibilities. One case is that they are supported at a single point and then the point is a complete invariant. In the other case they are classified by a finite collection of points of $\mathbf P^1$ and equivalence classes of irreducible representation of the fundamental group of the complement of the points which map the monodromy elements of the points non-trivially. In particular we can consider the case of three points in which case the fundamental group is free on two generators (they and the inverse of their product being the three monodromy elements). The irreducible representations where one of the monodromy elements act trivially correspond to removing the corresponding point and thinking of the representation as a reprentation of the fundamental group of that complement.

Hence, we can embed the category of finite-dimensional representations of the free group on two elements as a full subcategory closed under kernels and cokernels of the category of $sl_2(\mathbb C)$-modules. This makes the latter category wild in the technical sense. However, the irreducible representations of the free group on two letters are also more or less unclassifiable.

There is no contradiction between this and the result of Block. His result gives essentially a classification of irreducibles in terms of equivalence classes of irreducible polynomials in a twisted polynomial ring over $\mathbb C$. So the consequence is that such polynomials are essentially unclassifiable.

[Added] Intractable depends on your point of view. As an algebraic geometer I agree with Mumford making (lighthearted) fun of representation theorists that think that wild problems are intractable. After all we have a perfectly sensible moduli space (in the case of irreducible representations) or moduli stack (in the general case). One should not try to "understand" the points of an algebraic variety but instead try to understand the variety geometrically. Today, I think that this view point has been absorbed to a large degree by representation theory.

  • 2
    $\begingroup$ Is there a reference for a precise statement of Mumford on this? $\endgroup$ Apr 10 '10 at 16:11
  • $\begingroup$ @Stasinski: Sorry, I remember reading it (so it is not by word of mouth) but I do not remember where. $\endgroup$ Apr 13 '10 at 4:14
  • 3
    $\begingroup$ Perhaps this footnote at the bottom of page 213 of "Geometric Invariant Theory"? books.google.com/… $\endgroup$
    – j.c.
    Mar 16 '11 at 20:26

The short answer is no. There is a classification of primitive ideals in the enveloping algebra (and quantised enveloping algebra). This reduces the problem to primitive rings. However the representation theory of primitive rings which are not Artinian is complicated.

An example which I find easier is the Weyl algebra (or linear differential operators). This ring is primitive since the vector space of polynomials is an irreducible faithful representation. This ring is in fact simple (no proper ideal). However the representation theory encompasses the theory of linear differential equations with polynomial coefficients.

So speaking heuristically, the representation theory of semisimple Lie algebras is at least as complicated as the representation theory of the Weyl algebra and it is unreasonable to expect an answer in this case.

I don't know of a formal result that says this is an unreasonable request. For example: does this problem include the problem of classifying indecomposable representations of a wild algebra?

Edit I have just found this reference which solves the question for $sl(2)$.

MR0605353 (83c:17010) Block, Richard E. The irreducible representations of the Lie algebra $sl(2)$ and of the Weyl algebra. Adv. in Math. 39 (1981), no. 1, 69--110.

  • $\begingroup$ Bruce: while I didn't downvote, this answer is a bit terse and it might not be clear to the original poster how examples like the Weyl algebra fit in to the original question about sl_2 and sl_3, $\endgroup$
    – Yemon Choi
    Mar 18 '10 at 9:51
  • 3
    $\begingroup$ One way to connect: The Weyl algebra is a quotient of the enveloping algebra of the three-dimensional Lie algebra (and, more generally, the primitive quotients of the enveloping algebras of nilpotent Lie algebras are Weyl algebras of various dimensions) so the complexities of the representation theory of the Weyl algebras are smaller than that of Lie algebras. $\endgroup$ Mar 18 '10 at 11:57
  • $\begingroup$ V. V. Vavula has also given all simple modules over the Weyl algebras and $|mathfrak{sl}_2$, in the context of his generalized Weyl algebras. $\endgroup$ Mar 18 '10 at 13:34
  • $\begingroup$ @Mariano It should be mentioned that the technique described by Shizhuo in the comment on the original question is using the hyperbolic structure, which is essentially GWA structure. I wonder if their results are parallel. (Yes I know this was over a year ago, but this site is like the cave of wonders, always finding new treasures hiding around!) $\endgroup$
    – B. Bischof
    Nov 24 '11 at 2:50

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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