E₈ (mathematics) - Real and Complex Forms

Real and Complex Forms

There is a unique complex Lie algebra of type E₈, corresponding to a complex group of complex dimension 248. The complex Lie group E₈ of complex dimension 248 can be considered as a simple real Lie group of real dimension 496. This is simply connected, has maximal compact subgroup the compact form (see below) of E₈, and has an outer automorphism group of order 2 generated by complex conjugation.

As well as the complex Lie group of type E₈, there are three real forms of the Lie algebra, three real forms of the group with trivial center (two of which have non-algebraic double covers, giving two further real forms), all of real dimension 248, as follows:

• The compact form (which is usually the one meant if no other information is given), which is simply connected and has trivial outer automorphism group.
• The split form, EVIII (or E₈₍₈₎), which has maximal compact subgroup Spin(16)/(Z/2Z), fundamental group of order 2 (implying that it has a double cover, which is a simply connected Lie real group but is not algebraic, see below) and has trivial outer automorphism group.
• EIX (or E_8(-24)), which has maximal compact subgroup E₇×SU(2)/(−1,−1), fundamental group of order 2 (again implying a double cover, which is not algebraic) and has trivial outer automorphism group.

For a complete list of real forms of simple Lie algebras, see the list of simple Lie groups.