Геометрия этих пространств изучалась моими ученицами Н.Н.Адамушко и Р.Г.Тлуповой.
Компактная и расщепленная простые группы Ли класса F4 имеют характеры, соответственно, -52 и 4. Имеется еще одна некомпактная вещественная простая группа Ли этого класса с характером -2.
Компактная и расщепленная простые группы Ли класса Е6 имеют характеры, соответственно, -78 и 6. Имеются еще три некомпактные вещественные простаыегруппы Ли этого класса с характерами -26, -14, и 2
Компактная и расщепленная простые группы Ли класса Е7 имеют характеры, соответственно, -133 и 7. Имеются еще две некомпактные вещественные простаые группы Ли этого класса с характерами - 25 и - 5.
Компактная и расщепленная простые группы Ли класса Е8 имеют характеры, соответственно, -248 и 8. Имеется еще одна некомпактная вещественная простая группя Ли этого класса с характером - 24.
Геометрия особых простых групп Ли
Фрейденталь в 1951 г. в статье "Октонионы, особые группы и октонионная геометрия" доказал, что компактная простая группа Ли класса F4 локально изоморфна группе движений 2-мерной октонионной эрмитовой эллиптической плоскости, а некомпактная вещественная простая группа Ли класса Е6 с характером -26 локально изоморфна группе проективных преобразований 2-мерной октонионной проективной плоскости.Так как тело
О неассоциативно и следовательно произведение (ха)Ь не равно х(аЬ), точки октонионной проективной плоскости нельзя определить тремя октонионными координатами с точностью до прабого октонионного множителя. Поэтому Фрейденталь определял точки рассматриваемых им плоскостей октонионными эрмитово симметричными матрицами 3-го порядка, удовлетворяющими некоторым условиям, при которых эти матрицы определяются с точностью до вещественного множителя. Условия, наложенные Фрейденталем на эти октонионные матрицы 3-го порядка равносильны тому, что все элементы этих матриц принадлежат к одному ассоциативному подтелу тела О.
Ознакомившись с этой работой Фрейденталя, я определил на октонионной проективной плоскости О-пары, состоящие из точек и прямых, ввел в многообразие этих О-пар метрику аналогичную метрике вмногообразии О-пар вещественного проективного пространства, и доказал, что полученное метрическое пространство изометрично эрмитовой эллиптической плоскости над тензорным произведением алгебр C' и О, группа движений которой изоморфна некомпактной группе класса Е6 с характером -26. Отсюда я сделал вывод, что компактная группа класса Е6 изоморфна группе движений эрмитовой эллиптической плоскости над тензорным произведением алгебр C и О.
Из того, что все элементы матриц Фрейденталя принадлежат к одному ассоциативному подтелу тела О следует, что каждая точка октонионной проективной плоскости, а значит. и каждая точка проективной плоскости надтензорным произведением алгебр C и О, может быть определена тремя координатами из алгебры О или тензорного произведения алгебр C и О, принадлежащими к одной ассоциативной подалгебре этих алгебр и определенными с точностью до правого сомножителя из той же ассоциативной подалгебры.
Представление компактной группы класса Е6 в виде эрмитовой эллиптической плоскости над тензорным произведением алгебр C и О обобщается на компактные группы классов Е7 и Е8, которые можно представить, соответственно, в виде групп движений эрмитовых эллиптических плоскостей над тензорным произведением алгебр H и О и над тензорным произведением двух алгебр О. Я высказал предположение об этом факте в 1956 г., на основании того, что, как указал Э.Картан, компактные группы классов Е7 и Е8 являются группами движений симметрических римановых пространств размерности 64 и 128. Мое предположение было доказано Э.Б.Винбергом в 1964 г.
Продолжая исследования Фрейденталя, Ж.Титс доказал, что некомпактная вещественная простая группа Ли с характером -20 является группой движений октонионной эрмитовой гиперболической плоскости. Впоследствии я доказал, что расщепленная простая группа Ли этого класса является группой движений псевдооктонионной эрмитовой эллиптической плоскости и построил аналогичные геометрические интерпретации для всех некомпактных вещественных групп Ли классов Е6, Е7 и Е8. Геометрические интерпретации всех вещественных особых простых групп Ли рангов 4, 6, 7 и 8 имеют следующий вид.