##
Lie’s Theorem II
*July 27, 2009*

*Posted by Akhil Mathew in algebra, representation theory.*

Tags: eigenvalues, Lie algebras, Lie's theorem, linear algebra, representation theory, solvability

add a comment

Tags: eigenvalues, Lie algebras, Lie's theorem, linear algebra, representation theory, solvability

add a comment

Yesterday I was talking about Lie’s theorem for solvable Lie algebras. I went through most of the proof, but didn’t finish the last step. We had a solvable Lie algebra and an ideal such that was of codimension one.

There was a finite-dimensional representation of . For , we set

We assumed for some by the induction hypothesis. Then the following then completes the proof of Lie’s theorem, by the “fundamental calculation:”

Lemma 1If , then .

##
Engel’s Theorem and Nilpotent Lie Algebras
*July 23, 2009*

*Posted by Akhil Mathew in algebra, representation theory.*

Tags: algebra, Engel's theorem, Lie algebras, linear algebra, nilpotent

1 comment so far

Tags: algebra, Engel's theorem, Lie algebras, linear algebra, nilpotent

1 comment so far

Now that I’ve discussed some of the basic definitions in the theory of Lie algebras, it’s time to look at specific subclasses: nilpotent, solvable, and eventually semisimple Lie algebras. Today, I want to focus on nilpotence and its applications.

** Engel’s Theorem **

To start with, choose a Lie algebra for some finite-dimensional -vector space ; recall that is the Lie algebra of linear transformations with the bracket . The previous definition was in terms of matrices, but here it is more natural to think in terms of linear transformations without initially fixing a basis.

Engel’s theorem is somewhat similar in its statement to the fact that commuting diagonalizable operators can be simultaneously diagonalized.

##
Lie algebras II
*July 20, 2009*

*Posted by Akhil Mathew in algebra.*

Tags: algebra, general theory, Lie algebras, linear algebra, quotients

add a comment

Tags: algebra, general theory, Lie algebras, linear algebra, quotients

add a comment

I’m going to get back eventually to the story about finite-dimensional modules, but for now, Lie algebras are more immediate to my project, so I’ll talk about them here.

From an expository standpoint, jumping straight to basically right after defining Lie algebras was unsound. I am going to try to motivate them here and discuss some theorems, to lead into more of the general representation theory.

** Derivations **

So let’s consider a not-necessarily-associative algebra over some field . In other words, is a -vector space, and there is a -bilinear map , which sends say , but it doesn’t have to either be commutative or associative (or unital). A Lie algebra with the Lie bracket would be one example.

##
Representations of sl2, Part II
*July 18, 2009*

*Posted by Akhil Mathew in algebra, representation theory.*

Tags: highest weights, Lie algebras, linear algebra, representation theory, sl2

1 comment so far

Tags: highest weights, Lie algebras, linear algebra, representation theory, sl2

1 comment so far

This post is the second in the series on and the third in the series on Lie algebras. I’m going to start where we left off yesterday on , and go straight from there to classification. Basically, it’s linear algebra.

** Classification **

We’ve covered all the preliminaries now and we can classify the -representations, the really interesting material here. By Weyl’s theorem, we can restrict ourselves to irreducible representations. Fix an irreducible .

So, we know that acts diagonalizably on , which means we can write

where for each , i.e. is the -eigenspace.

##
Basics of group representation theory
*July 10, 2009*

*Posted by Akhil Mathew in algebra, representation theory.*

Tags: algebra, groups, linear algebra, representation theory

6 comments

Tags: algebra, groups, linear algebra, representation theory

6 comments

Today, I want to talk a bit about group representation theory. Many of us (such as myself) are interested in representation theory in general and will likely talk more about it in the future, so it will be useful to summarize the essential ideas here to refer back. But the basics are well known and have been discussed at length on other blogs (see, e.g. here, which is discussing the subject right now), so I am merely going to summarize these facts without proofs. The interested reader can read these notes for full details. Then, I’ll mention a property to be used later on.

**What is a group representation? **

Start with a group . At least for now, we’re essentially going to be constructed with finite groups, but many of these constructions generalize. A **representation** of is essentially an action of on a finite-dimensional complex vector space .

Formally, we write:

Definition 1A representation of the group is a finite-dimensional complex vector space and a group-homomorphism . In other words, it is a group homomorphism , where , and is the group of invertible -by- matrices.

An easy example is just the unit representation, sending each to the identity matrix. (more…)