E6 (mathematics) - Real and Complex Forms

Real and Complex Forms

There is a unique complex Lie algebra of type E6, corresponding to a complex group of complex dimension 78. The complex adjoint Lie group E6 of complex dimension 78 can be considered as a simple real Lie group of real dimension 156. This has fundamental group Z/3Z, has maximal compact subgroup the compact form (see below) of E6, and has an outer automorphism group non-cyclic of order 4 generated by complex conjugation and by the outer automorphism which already exists as a complex automorphism.

As well as the complex Lie group of type E6, there are five real forms of the Lie algebra, and correspondingly five real forms of the group with trivial center (all of which have an algebraic double cover, and three of which have further non-algebraic covers, giving further real forms), all of real dimension 78, as follows:

  • The compact form (which is usually the one meant if no other information is given), which has fundamental group Z/3Z and outer automorphism group Z/2Z.
  • The split form, EI (or E6(6)), which has maximal compact subgroup Sp(4)/(±1), fundamental group of order 2 and outer automorphism group of order 2.
  • The quasi-split form EII (or E6(2)), which has maximal compact subgroup SU(2) × SU(6)/(center), fundamental group cyclic of order 6 and outer automorphism group of order 2.
  • EIII (or E6(-14)), which has maximal compact subgroup SO(2) × Spin(10)/(center), fundamental group Z and trivial outer automorphism group.
  • EIV (or E6(-26)), which has maximal compact subgroup F4, trivial fundamental group cyclic and outer automorphism group of order 2.

The EIV form of E6 is the group of collineations (line-preserving transformations) of the octonionic projective plane OP2. It is also the group of determinant-preserving linear transformations of the exceptional Jordan algebra. The exceptional Jordan algebra is 27-dimensional, which explains why the compact real form of E6 has a 27-dimensional complex representation. The compact real form of E6 is the isometry group of a 32-dimensional Riemannian manifold known as the 'bioctonionic projective plane'; similar constructions for E7 and E8 are known as the Rosenfeld projective planes, and are part of the Freudenthal magic square.

Read more about this topic:  E6 (mathematics)

Famous quotes containing the words real, complex and/or forms:

    “The real exertion in the case of an opera singer lies not so much in her singing as in her acting of a role, for nearly every modern opera makes great dramatic and physical demands.”
    —Maria Jeritza (1887–1982)

    “All propaganda or popularization involves a putting of the complex into the simple, but such a move is instantly deconstructive. For if the complex can be put into the simple, then it cannot be as complex as it seemed in the first place; and if the simple can be an adequate medium of such complexity, then it cannot after all be as simple as all that.”
    —Terry Eagleton (b. 1943)

    “The very existence of society depends on the fact that every member of it tacitly admits he is not the exclusive possessor of himself, and that he admits the claim of the polity of which he forms a part, to act, to some extent, as his master.”
    —Thomas Henry Huxley (1825–95)