Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Weyl's theorem states that any finite-dimensional representation of a finite-dimensional semisimple Lie algebra is completely reducible. In my mind, the "natural" way to prove this result is by way of Lie groups. However, as a student, I first encountered Weyl's theorem in the textbook by Humphreys, in which he gives a purely algebraic proof. I remember finding this proof very mysterious, and in particular it seemed that Humphreys pulled the Casimir element out of a hat. Looking at the proof again now, I still find it somewhat mysterious, and if I had to present the proof in a graduate class, I don't think I would be able to motivate it very well.

How would you motivate this purely algebraic proof of Weyl's theorem?

share|improve this question
6  
Interesting... I thought the Casimir element was the most natural part of the proof! We have the semisimplicity, which says that the Killing form is nondegenerate. We have to use it somewhere, but how can we relate it to a representation? Well, we can encode it into an element of $\mathfrak g\otimes \mathfrak g$, and map this canonically into $U\left(\mathfrak g\right)$ by the map $x\otimes y\mapsto xy$. The resulting element of $U\left(\mathfrak g\right)$ then acts on representations of $\mathfrak g$. –  darij grinberg Sep 6 '11 at 21:57
1  
Note that I am talking about the definition of Casimir element given here: amathew.wordpress.com/2010/01/31/… . Humphreys obscures this somewhat by avoiding the use of $U\left(\mathfrak g\right)$; I personally find this unfortunate, but it seems to be a popular things to do (a backlash to Bourbakism?). –  darij grinberg Sep 6 '11 at 22:00
1  
@darij: More likely, it's for the reason that Humphreys himself gives later on when he does get to $U(\mathfrak{g})$: because the technical overhead of proving the PBW theorem makes it not worth introducing the subject before it's absolutely necessary. Of course, Humphreys' book is introductory so this makes some kind of sense; on a theoretical level I don't know why you wouldn't slap down $U(\mathfrak{g})$ in chapter 1. –  Ryan Reich Sep 6 '11 at 22:18
    
Is PBW really necessary to work with the Casimir here? –  darij grinberg Sep 6 '11 at 22:23
    
Perhaps not, but I meant that in a structured development of the subject, you'd have "Chapter: the universal enveloping algebra" somewhere, and that would have the PBW theorem in it. A more conversational book could break it up. In a structured development, you would also have a pre-book presenting the theory of modules over an arbitrary noncommutative unital ring, too, the lack of which is probably another reason that the representation theory of $\mathfrak{g}$ is not often built on that of $U(\mathfrak{g})$. This may be a backlask against Bourbakism after all, but not considered as such. –  Ryan Reich Sep 6 '11 at 22:39
add comment

4 Answers 4

up vote 30 down vote accepted

I think that there are two things to be motivated: one is the Casimir, and the other is the proof of semi-simplicity.

First, for the Casimir, it might help to note that there is a ``formula-free" construction. A symmetric bilinear form $\kappa$ defines $\mathfrak{g}\simeq \mathfrak{g}^{\vee}$, and the Casimir is the image in $U(\mathfrak{g})$ of the element corresponding to the identity under the isomorphism $\mathfrak{g}\otimes\mathfrak{g}\simeq \mathfrak{g}^{\vee}\otimes\mathfrak{g}$.

The idea of the proof is actually very simple: you construct an element of the center of the algebra which ``detects" the trivial representation. I.e., it acts by zero on the trivial representation and by a non-zero scalar on all simple (finite-dimensional) representations. (This is in exact analogy to what happens for finite groups in characteristic zero: then $1-\frac{1}{|G|}\sum_{g\in{G}}\delta_g$ has the same property).

Once you have such a central element, let's call it $C$, the proof that finite-dimensional representations are semi-simple is easy. For all $V,W$, note that: $$\operatorname{Ext}^i(V,W)= \operatorname{Ext}^i(\mathbb{C},\underline{\operatorname{Hom}}(V,W))$$ (where $\underline{\operatorname{Hom}}$ is internal $\operatorname{Hom}$ relative to the usual tensor product of $\mathfrak{g}$-modules, and both $\operatorname{Ext}$s are of $\mathfrak{g}$-modules) because formation of internal $Hom$ is exact in both variables. Therefore, it's enough to show that $\operatorname{Ext}^1(\mathbb{C},V)=0$ for all finite-dimensional $\mathfrak{g}$-modules $V$ (substitute $\underline{\operatorname{Hom}}(V,W)$ for $V$).

Clearly any such $V$ has finite length, so by devissage, it's enough to prove for simple modules. Either $V$ is trivial or it is not. If $V$ is non-trivial, then $C$ acts on $\operatorname{Ext}^i(\mathbb{C},V)$ by two different scalars: the one by which it acts on $V$ and by $0$ (by which it acts on $\mathbb{C}$). Therefore, this vector space must be zero. If $V=\mathbb{C}$, then $\operatorname{Ext}^1(\mathbb{C},\mathbb{C})=0$ since for any extension $E$, the homomorphism $\mathfrak{g}\to\operatorname{End}(E)$ maps to the 1-dimensional subspace sending $E$ to $\mathbb{C}$ and sending $\mathbb{C}$ to $0$, but since $\mathfrak{g}$ has no codimension 1 ideals this must be the trivial homomorphism.

Of course, basically the same proof goes through for finite groups and is essentially the same as the usual proof.

share|improve this answer
    
nice argument ! –  Arno Kret Sep 7 '11 at 7:51
add comment

Maybe I should try to defend myself, or at least the self I was four decades ago when I improvised my graduate text. But first I should disclaim any originality in the proof of Weyl's theorem, which I drew from Bourbaki (who didn't invent it either). I was at the time far from being an anti-Bourbaki person and in fact actually associated with some of them. But in my limited experience teaching real-life US graduate students, I was well aware that it was unrealistic to build up Lie algebras abstractly in the Bourbaki style. In particular, I didn't want to talk about the universal enveloping algebra (and its center) until that was really necessary. At the same time, I really felt that it was useful to talk about Weyl's theorem earlier than usual since I was emphasizing representation theory rather than general structure theory.

Indeed, as a later addition to my book indicated, Victor Kac demonstrated in the mid-1970s the value of working with just a single Casimir-type operator in his approach to affine Lie algebras and what came to be known as the Weyl-Kac character formula.

Anyway, it's clear that the approach of Weyl imitating the classical treatment of complete reducibility for finite groups is the most natural, but for this you have to be in the framework of compact Lie groups and invarioant integration. There are advantages to working with Lie algebras directly in a purely algebraic framework, though of course some of the ideas lose their original group-theoretic motivation.

For me the algebraic proof was a good illustration of the power of slightly abstract algebraic thinking, especially for students not previously exposed to such proofs. But the main motivation for introducing the Casimir element would be to have an "invariant" commuting operator (essentially living in the undefined universal enveloping algebra) relative to the given finite dimensional representation. Where this operator comes from is another question, since Casimir's own work had a physics origin. Whether or not it helps to provide an intrinsic definition for the operator is another question, but for that there is an earlier MO question as well: 52587 along with my earlier historical question 41150.

share|improve this answer
add comment

I will toot my own horn a bit by mentioning the lecture notes for a summer course I taught on this very subject last year. The relevant lecture is this one and in it, I decided (based on answers given to my question Why the Killing form?) to present Casimir as an analogue of the averaging operation for proving "Weyl's theorem" (i.e. Maschke's theorem) for finite groups. I never did find a good way of actually drawing an exact parallel, but I did try to structure the proof in such a way that it was clear this was how it functioned. (All the actual math is copied from Humphreys.)

share|improve this answer
add comment

I'm surprised that no one has mentioned the differential-geometric motivation for the Casimir element.

Suppose $\mathfrak{g}$ is the Lie algebra of a simple compact Lie group $G$. Then $U(\mathfrak{g})$ is the algebra of left-invariant differential operators on $G$.

$G$ has a natural bi-invariant metric, given by the Killing form. But now there is an obvious central element of $U(\mathfrak{g})$: the Laplacian associated to this metric! This is precisely the Casimir element. It's centrality follows "by pure thought" from the bi-invariance of the Killing form. To obtain Casimir elements in general and prove their centrality, simply copy the formulas from the case of the Lie algebra associated to a Lie group.

I had always assumed this was the original motivation for the construction.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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