Борис Розенфельд - Пространства, времена, симметрии. Воспоминания и мысли геометра

С локальным изоморфизмом расщепленных групп классов A3 и D3 cвязана интерпретация Ю.Плюккера 3-мерного вещественного проективного пространства в 5-мерном вещественном псевдо­эллиптическом пространстве индекса 3, при которой прямые линии 3- мерного пространства изображаются точками абсолюта 5-мерного пространства.

10) С локальным изоморфизмом некомпактных вещественных групп классов A3 и D3 связана интерпретация Р. Пенроуза 4-мерного псевдоконформного пространства индекса 1, в 3-мерном комплексном эрмитовом псевдоэллиптическом пространстве индекса 2, при которой точки псевдоконформного пространства изображаются прямолинейными образующими абсолюта комплексного пространства.

При этих интерпретациях образы симметри и параболические образы одного пространства изображаются такими же образами другого пространства.

Особые простые группы Ли

Алгебра альтернионов не является единственным обобщением тела кватернионов, другим обобщением является алгебра О октонионов или октав. Базис этой алгебры состоит из 8 элементов 1, i, j, k, l, p, q, r, причем элементы 1, i, j, k, элементы 1, k, p, q, элементы 1, q, r, i, элементы 1,i, l,p, элементы 1, k,, l, r, элементы 1, q, l, j и элементы 1, j, p, r образуют базисы алгебр кватернионов. Алгебра октонионов является телом, но не ассоциативным, так как (ij)l= -i(jl). Это тело является альтернативным, т.е. любые два элемента этого тела порождают ассоциативное подтело (тело H или поле C).

Аналогично определяется алгебра O' псевдооктонионов - алгера с базисом 1, i, j, k, e, f, q, h, последние 4 из которых можно рассматривать как произведение базисных элементов l, p, q, r aлгебры О на мнимую единицу, коммутурующую с элементами алгебры О. Алгебра O' является альтернативной алгеброй с делителями нуля.

Группы автоморфизмов тела О и алгебры O' являются, соответственно, компактной и расщепленной простыми гуппами Ли класса G2. Если ввести в алгебры О и O' метрики 8-мерных вещественных евклидова пространства и псевдоевклидова пространства индекса 4, в которых расстояние между элементами a и b равно модулю элемента b-a, то группы Ли автоморфизмов алгебр О и О' будут транзитивными на пересечениях гиперсфер, центрами которых являются нулевые элементы алгебр, с диаметральными гиперплоскостями этих гиперсфер ортогональными элементу 1.

Если отождествить диаметральнопротивоположные точки, полученных 6-мерных сфер, мы получим 6-мерные G-эллиптическое, G- псевдоэллиптическое и G-псевдогиперболическе пространства, группами преобразований являются компактная и расщепленная простые группы Ли класса G2. Эти пространства обладают почти комплексной или почти двойной структурой, т.е. касательные гиперплоскости этих гиперсфер обладают комплексной или двойной структурой, но в самих 6-мерных пространствах нельзя ввести комплексные или двойные координаты.

Геометрия этих пространств изучалась моими ученицами Н.Н.Адамушко и Р.Г.Тлуповой.

Компактная и расщепленная простые группы Ли класса 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-го порядка равносильны тому, что все элементы этих матриц принадлежат к одному ассоциативному подтелу тела О.