# The Unapologetic Mathematician

## Lie groups, Lie algebras, and representations

I’m eventually going to get comments from Adams, Vogan, and Zuckerman about Kazhdan-Lusztig-Vogan polynomials, but I want to give a brief overview of some of the things I know will be involved. Most of this stuff I’ll cover more thoroughly at some later point.

One side note: I’m not going to link to the popular press articles. I’m glad they’re there, but they’re awful as far as the math goes. Science writers have this delusion that people are just incapable of understanding mathematics, and completely dumb things down to the point of breaking them. Either that or they don’t bother to put in even the minimum time to get a sensible handle on the concepts like they do for physics.

Okay, so a Lie group is a group of continuous transformations, like rotations of an object in space. The important thing is that the underlying set has the structure of a manifold, which is a space that “locally looks like” regular $n$-dimensional space. The surface of the Earth is curved into a sphere, as we know, but close up it looks flat. That’s what being a manifold is all about. The group structure — the composition and the inversion — have to behave “smoothly” to preserve the manifold structure.

One important thing you can do with a Lie group is find subgroups with nice structures. Some of the nicest are the one-dimensional subgroups passing through the identity element. Since close up the group looks like $n$-dimensional space, let’s get really close and stand on the identity. Now we can pick a direction and start walking that way, never turning. As we go, we trace out a path in the group. Let’s say that after $t$ minutes of elapsed time we’re at $g(t)$. If we’ve done things right, we have the extremely nice property that $g(t_1)g(t_2)=g(t_1+t_2)$. That is, we can multiply group elements along our path by adding the time parameters. We call this sort of thing a “1-parameter subgroup”, and there’s one of them for each choice of direction and speed we leave the origin with.

So what if we start combining these subgroups? Let’s pick two and call them $g_1(t)$ and $g_2(t)$. In general they won’t commute with each other. To see this, get a ball and put it on the table. Mark the point at the top of the ball so you can keep track of it. Now, roll the ball to the right by 90°, then away from you by 90°, then to your left by 90°, then towards you by 90°. The point isn’t back where it started, it’s pointing right at you! Try it again but make each turn 45°. Again, the point isn’t back at the top of the ball. If you do this for all different angles, you’ll trace out a curve of rotations, which is another 1-parameter subgroup! We can measure how much two subgroups fail to commute by getting a third subgroup out of them. And since 1-parameter subgroups correspond to vectors (directions and speeds) at the identity of the group, we can just calculate on those vectors. The set of vectors equipped with this structure is called a Lie algebra. Given two vectors $\mathbf{v}$ and $\mathbf{w}$ we write the resulting vector as $\left[\mathbf{v},\mathbf{w}\right]$. This satisfies a few properties.

• $\left[c\mathbf{v}_1+\mathbf{v}_2,\mathbf{w}\right]=c\left[\mathbf{v}_1,\mathbf{w}\right]+\left[\mathbf{v}_2,\mathbf{w}\right]$
• $\left[\mathbf{v},\mathbf{w}\right]=-\left[\mathbf{w},\mathbf{v}\right]$
• $\left[\mathbf{u},\left[\mathbf{v},\mathbf{w}\right]\right]=\left[\left[\mathbf{u},\mathbf{v}\right],\mathbf{w}\right]+\left[\mathbf{v},\left[\mathbf{u},\mathbf{w}\right]\right]$

Lie algebras are what we really want to understand.

So now I’m going to skip a bunch and just say that we can put Lie algebras together like we make direct products of groups, only now we call them direct sums. In fact, for many purposes all Lie algebras can be broken into a finite direct sum of a bunch of “simple” Lie algebras that can’t be broken up any more. Think about breaking a number into its prime factors. If we understand all the simple Lie algebras, then (in theory) we understand all the “semisimple” Lie algebras, which are sums of simple ones.

And amazingly, we do know all the simple Lie algebras! I’m not remotely going to go into this now, but at a cursory glance the Wikipedia article on root systems seems to be not completely insane. The upshot is that we’ve got four infinite families of Lie algebras and five weird ones. Of the five weird ones, $E_8$ is the biggest. Its root system (see the Wikipedia article) consists of 240 vectors living in an eight-dimensional space. This is the thing that, projected onto a plane, you’ve probably seen in all of the popular press articles looking like a big lace circle.

So we already understood $E_8$? What’s the big deal now? Well, it’s one thing to know it’s there, and another thing entirely to know how to work with such a thing. What we’d really like to know is how $E_8$ can act on other mathematical structures. In particular, we’d like to know how it can act as linear transformations on a vector space. Any vector space $V$ comes equipped with a Lie algebra $\mathfrak{end}(V)$: take the vector space of all linear transformations from $V$ to itself and make a bracket by $\left[S,T\right]=ST-TS$ (verify for yourself that this satisfies the requirements of being a Lie algebra). So what we’re interested in is functions from $E_8$ to $\mathfrak{end}(V)$ that preserve all the Lie algebra structure.

And this, as I understand it, is where the Kazhdan-Lusztig-Vogan polynomials come in. Root systems and Dynkin diagrams are the essential tools for classifying Lie algebras. These polynomials are essential for understanding the structures of representations of Lie algebras. I’m not ready to go into how they do that, and when I am it will probably be at a somewhat higher level than I usually use here, but hopefully lower than the technical accounts available in Adams’ paper and Baez’ explanation.

### Like this:

Posted by John Armstrong | Atlas of Lie Groups

## 3 Comments	»

1. Hi, I’m glad to see your post because it relates to my concern about Lie algebra and Lie group.
However, I’m a beginner in such a field. I do have some questions about nilpotent Lie groups with dilations at regular points in sub-Riemannian geometry.
Can you help me?

Comment by ngthuhoa | June 12, 2009 | Reply

2. [...] calculating the Kazhdan-Lusztig-Vogan polynomial for the split real form of . Immediately, I gave a quick overview of the idea of a Lie group, a Lie algebra, and a representation; a rough overview for complete [...]

Pingback by | January 11, 2010 | Reply

3. [...] calculating the Kazhdan-Lusztig-Vogan polynomial for the split real form of . Immediately, I gave a quick overview of the idea of a Lie group, a Lie algebra, and a representation; a rough overview for complete [...]

Pingback by | August 28, 2010 | Reply

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 22, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.918333113193512, "perplexity_flag": "head"}