E7 (mathematics) - Real and Complex Forms

Real and Complex Forms

There is a unique complex Lie algebra of type E7, corresponding to a complex group of complex dimension 133. The complex adjoint Lie group E7 of complex dimension 133 can be considered as a simple real Lie group of real dimension 266. This is has fundamental group Z/2Z, has maximal compact subgroup the compact form (see below) of E7, and has an outer automorphism group of order 2 generated by complex conjugation.

As well as the complex Lie group of type E7, there are four real forms of the Lie algebra, and correspondingly four 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 133, as follows:

  • The compact form (which is usually the one meant if no other information is given), which is has fundamental group Z/2Z and has trivial outer automorphism group.
  • The split form, EV (or E7(7)), which has maximal compact subgroup SU(8)/{±1}, fundamental group cyclic of order 4 and outer automorphism group of order 2.
  • EVI (or E7(-5)), which has maximal compact subgroup SU(2)·SO(12)/(center), fundamental group non-cyclic of order 4 and trivial outer automorphism group.
  • EVII (or E7(-25)), which has maximal compact subgroup SO(2)·E6/(center), infinite cyclic findamental group and outer automorphism group of order 2.

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

The compact real form of E7 is the isometry group of the 64-dimensional exceptional compact Riemannian symmetric space EVI (in Cartan's classification). It is known informally as the "quateroctonionic projective plane" because it can be built using an algebra that is the tensor product of the quaternions and the octonions, and is also known as a Rosenfeld projective plane, though it does not obey the usual axioms of a projective plane. This can be seen systematically using a construction known as the magic square, due to Hans Freudenthal and Jacques Tits.

The Tits–Koecher construction produces forms of the E7 Lie algebra from Albert algebras, 27-dimensional exceptional Jordan algebras.

Read more about this topic:  E7 (mathematics)

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

    A man’s real and deep feelings are surely those which he acts upon when challenged, not those which, mellow-eyed and soft-voiced, he spouts in easy times.
    Sarah Patton Boyle, U.S. civil rights activist and author. The Desegregated Heart, part 2, ch. 13 (1962)

    That is the real pivot of all bourgeois consciousness in all countries: fear and hate of the instinctive, intuitional, procreative body in man or woman. But of course this fear and hate had to take on a righteous appearance, so it became moral, said that the instincts, intuitions and all the activities of the procreative body were evil, and promised a reward for their suppression. That is the great clue to bourgeois psychology: the reward business.
    —D.H. (David Herbert)

    It would be naive to think that peace and justice can be achieved easily. No set of rules or study of history will automatically resolve the problems.... However, with faith and perseverance,... complex problems in the past have been resolved in our search for justice and peace. They can be resolved in the future, provided, of course, that we can think of five new ways to measure the height of a tall building by using a barometer.
    Jimmy Carter (James Earl Carter, Jr.)

    I had a glimpse through curtain laces
    Of youthful forms and youthful faces.
    Robert Frost (1874–1963)