The Unapologetic Mathematician

Mathematics for the interested outsider

Real and complex groups

Okay, another thing to make clear is that there’s not just one group we could mean by E_8. There’s one complex group, and a bunch of “real forms” of the group.

The difference between a real group and a complex group is pretty simply stated: implicitly what I’ve been talking about are real groups. Complex Lie groups are group structures on complex manifolds. That is, they “locally look like” complex n-dimensional space. You may remember that the complex numbers look like a plane with the real numbers sitting inside on a line. A complex n-manifold looks like a real 2n-manifold, but there’s some extra structure floating around I’ll try to ignore. Basically it deals with how we can “scale” shapes in the manifold by imaginary amounts — how to “multiply by i” — but that’s really horribly oversimplifying.

If we’ve got the complex plane, how do we find the real numbers? You might think we can just read off which points have zero imaginary part, but this actually sort of begs the question: it assumes you already know what the real line in the complex plane is.

What we can do is think of the complex plane as a 1-dimensional complex manifold. Now there’s a “reflection” of the plane to itself that plays nice with the complex structure: complex conjugation, z\mapsto \bar{z}. The points that are their own conjugates make up the real line. But there’s another reflection that plays nice: z\mapsto 1/\bar{z}. The fixed points here are the circle of radius one!

Now we can see the nonzero complex numbers as a group with multiplication as its operation. Similarly we can see the nonzero real numbers with multiplication and the circle with addition of angles as groups. These are all one-dimensional Lie groups. Each of the latter two is a real form of the first one, and together they make up all the simple real and complex commutative Lie groups.

In general, real forms work something like this. There’s a “reflection” in the complex n-manifold whose fixed points form a real n-manifold. The technical details of how to find these things are more than I want to go into right now, but this is the visual geometric intuition I use.

As another more interesting example, consider the group SL(2,\mathbb{C}). This consists of all 2\times 2 matrices with complex entries:
\left(\begin{array}{cc}a&b\\c&d\end{array}\right)
with the property that ad-bc=1. This is a complex Lie group of dimension 3. It has two real forms. One you might be able to guess is SL(2,\mathbb{R}), where all the entries in the matrix are real. The other is SU(2), which is a subgroup of SL(2,\mathbb{C}) satisfying the requirement
\left(\begin{array}{cc}a&b\\c&d\end{array}\right)\left(\begin{array}{cc}\bar{a}&\bar{c}\\\bar{b}&\bar{d}\end{array}\right)=\left(\begin{array}{cc}1& 0\\ 0&1\end{array}\right)
Both SL(2,\mathbb{R}) and SU(2) are 3-dimensional real Lie groups.

Another interesting thing about them is looking for the biggest subgroup of either that can be made from the two 1-dimensional real groups above. You can only fit one copy of the nonzero real numbers into SL(2,\mathbb{R}) and no copies of the circle. On the other hand, you can fit one copy of the circle into SU(2) and no copies of the nonzero reals. At the complex level, we see this in the fact that you can only fit one copy of the nonzero complex numbers into SL(2,\mathbb{C}). Since these are the biggest commutative Lie groups we can find inside these groups, we say in each case that the group has “rank 1“. In fact, SL(2,\mathbb{C}) is the group A_1. The subscript tells the rank of the group — the biggest product of copies of the nonzero complex numbers you can fit inside.

Okay, so what about E_8? We see that it has rank 8, so there’s a product of eight copies of the nonzero complex numbers sitting inside. When we break E_8 down to a real form, each of these will collapse either into a circle or a copy of the nonzero complex numbers. If each one becomes a circle, the whole real form is called “compact” and things are actually pretty fantastically well-behaved. If we collapse each to a copy of the nonzero real numbers we get the “split” real form of E_8, and things are actually pretty fantastically evil. That’s the real Lie group that Adams’ team was working on.

[EDIT: Okay, as I've found I have to say, I've pretty drastically oversimplified things. More info in the link]

About these ads

March 22, 2007 - Posted by | Atlas of Lie Groups

2 Comments »

  1. You can only fit one copy of the nonzero real numbers into SL(2,R).

    What do you mean with this?

    thanks

    Comment by Christian Hollersen | September 24, 2007 | Reply

  2. Christian, I composed this post in a big hurry back in March, and I made a bunch of mistakes. To be honest, at this point I don’t even remember in what sense that statement is true. I must have had some justification, but now it escapes me.

    Comment by John Armstrong | September 24, 2007 | Reply


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Follow

Get every new post delivered to your Inbox.

Join 386 other followers

%d bloggers like this: