Exceptional Lie Algebras Next: G2 Up: The Octonions Previous: OP2 and the Exceptional Jordan Algebra


4. Exceptional Lie Algebras

On October 18th, 1887, Wilhelm Killing wrote a letter to Friedrich Engel saying that he had classified the simple Lie algebras. In the next three years, this revolutionary work was published in a series of papers [59]. Besides what we now call the 'classical' simple Lie algebras, he claimed to have found 6 'exceptional' ones — new mathematical objects whose existence had never before been suspected. In fact he only gave a rigorous construction of the smallest of these. In his 1894 thesis, Cartan [11] constructed all of them and noticed that the two 52-dimensional exceptional Lie algebras discovered by Killing were isomorphic, so that there are really only 5.

The Killing-Cartan classification of simple Lie algebras introduced much of the technology that is now covered in any introductory course on the subject, such as roots and weights. In what follows we shall avoid this technology, since we wish instead to see the exceptional Lie algebras as octonionic cousins of the classical ones — slightly eccentric cousins, but still having a close connection to geometry, in particular the Riemannian geometry of projective planes. It is also for this reason that we shall focus on the compact real forms of the simple Lie algebras.

The classical simple Lie algebras can be organized in three infinite families:

\begin{displaymath}
% latex2html id marker 1645\begin{array}{lcl}
\so (n) &=&...
...symp (n) &=& \{ x \in \H[n] \colon \; x^* = -x \}.
\end{array}\end{displaymath}

The corresponding Lie groups are
\begin{displaymath}
% latex2html id marker 1646\begin{array}{lcl}
\SO (n) &=&...
... \Sp (n) &=& \{ x \in \H[n] \colon \; xx^* = 1 \}.
\end{array}\end{displaymath}

These arise naturally as symmetry groups of projective spaces over $\R$, $\C$, and $\H$, respectively. More precisely, they arise as groups of isometries: transformations that preserve a specified Riemannian metric. Let us sketch how this works, as a warmup for the exceptional groups.

First consider the projective space $\RP^n$. We can think of this as the unit sphere in $\R^{n+1}$ with antipodal points $x$ and $-x$ identified. It thus inherits a Riemannian metric from the sphere, and the obvious action of the rotation group $\OO (n+1)$ as isometries of the sphere yields an action of this group as isometries of $\RP^n$ with this metric. In fact, with this metric, the group of all isometries of $\RP^n$ is just

\begin{displaymath}\Isom (\RP^n) \iso \OO (n+1)/\OO (1) \end{displaymath}

where % latex2html id marker 4519
$\OO (1) = \{\pm 1\}$ is the subgroup of $\OO (n+1)$ that acts trivially on $\RP^n$. The Lie algebra of this isometry group is

\begin{displaymath}\isom (\RP^n) \iso \so (n+1) .\end{displaymath}

The case of $\CP^n$ is very similar. We can think of this as the unit sphere in $\C^{n+1}$ with points $x$ and $\alpha x$ identified whenever $\alpha$ is a unit complex number. It thus inherits a Riemannian metric from this sphere, and the unitary group $\U (n+1)$ acts as isometries. If we consider only the connected component of the isometry group and ignore the orientation-reversing isometries coming from complex conjugation, we have

\begin{displaymath}\Isom _0(\CP^n) \iso \U (n+1)/\U (1) \end{displaymath}

where $\U (1)$ is the subgroup that acts trivially on $\CP^n$. The Lie algebra of this isometry group is

\begin{displaymath}\isom (\CP^n) \iso \su (n+1) .\end{displaymath}

The case of $\HP^n$ is subtler, since we must take the noncommutativity of the quaternions into account. We can think of $\HP^n$ as the unit sphere in $\H^{n+1}$ with points $x$ and $\alpha x$ identified whenever $\alpha$ is a unit quaternion, and as before, $\HP^n$ inherits a Riemannian metric. The group $\Sp (n+1)$ acts as isometries of $\HP^n$, but this action comes from right multiplication, so

\begin{displaymath}
% latex2html id marker 1651
\Isom (\HP^n) \iso \Sp (n+1)/\{ \pm 1 \}, \end{displaymath}

since not $\Sp (1)$ but only its center % latex2html id marker 4561
$\{\pm 1\}$ acts trivially on $\HP^n$ by right multiplication. At the Lie algebra level, this gives

\begin{displaymath}\isom (\HP^n) \iso \symp (n+1) . \end{displaymath}

For lovers of the octonions, it is tempting to try a similar construction starting with $\OP^2$. While nonassociativity makes things a bit tricky, we show in Section 4.2 that it can in fact be done. It turns out that $\Isom (\OP^2)$ is one of the exceptional Lie groups, namely $\F _4$. Similarly, the exceptional Lie groups $\E _6$, $\E _7$ and $\E _8$ are in a certain subtle sense the isometry groups of projective planes over the algebras $\C \tensor \O$, $\H \tensor \O$ and $\O \tensor \O$. Together with $\F _4$, these groups can all be defined by the so-called 'magic square' construction, which makes use of much of the algebra we have described so far. We explain three versions of this construction in Section 4.3. We then treat the groups $\E _6, \E _7$ and $\E _8$ individually in the following sections. But first, we must introduce $\G _2$: the smallest of the exceptional Lie groups, and none other than the automorphism group of the octonions.



Subsections
  1. G2
  2. F4
  3. The Magic Square
  4. E6
  5. E7
  6. E8

Next: G2 Up: The Octonions Previous: OP2 and the Exceptional Jordan Algebra

© 2001 John Baez

home