Простая группа класса Е6, локально изоморфна группе проективных преобразований 2-мерной октонионной проективной плоскости, на этой плоскости точки двойственны прямым линиям.

В случае простой группы класса D4 диаграмма Дынкина обладает трехсторонней симметрией. Для этой группы Картан в той же статье 1925 г. сформулировал принцип тройственности. Для 7-мерных вещественных эллиптического пространства и псевдоэллиптического пространства индекса 4, группы движений которых являются компактной и расщепленной группами этого класса, тройственными образами являются 3-мерные плоские образующие абсолюта двух семейств и точки абсолюта, Эти образы мнимы в эллиптическом пространстве и вещественнын в псевдоэллиптическом пространстве. В обоих случаях вещественными тройственными образами являются прямые и паратактические конгруенции двух семейств. Из последнего факта вытекает изоморфизм группы движений 7-мерного вещественного псевдоэллиптического пространства индекса 2 и группы симплектических преобразований 3-мерного кватернионного симплектического пространства, а также интерпретация Л.В.Румянцевой одного из этих пространств в другом.

Симплектическая и метасимплектическая геометрии Фрейденталя

В серии работ под общим названием "Отношения групп Е7 и Е8 к октонионной плоскости", опубликованной в 1954 -1963 гг., Фрейденталь нашел геометрические интерпретации некоторых некомпактных простых групп Ли классов F4, Е6, Е7 и Е8 Фрейденталь ввел понятие 5-мерного октонионного симплектического пространства. Это пространство нельзя определить как проективное пространство с более узкой группой преобразований. так как над алгеброй О не существует проективных пространств размерности больше 2. Фрейденталь называл 5-мерным октонионным симплектическим пространством только аналог многообразия 2-мерных нуль-плоскостей 5-мерного кватернионного симплектического пространства. Фрейденталь доказал, что группа симплектических преобразований этого пространства является некомпактной простой группой Ли класса Е7 с характером -25.

В той же серии работ Фрейденталь определил четыре метасимплектические геометрии - вещественную, комплексную, кватернионную и октонионную, и доказал, что группами преобразований этих геометрий являются, соответственно, расщепленная простая группа Ли класса F4 и некомпактные вещественные простые группы Ли класса Е6 с характером -26, класса Е7 с характером -25 и класса Е8 с характером - 24.

В моих дальнейших работах я доказал, что расщепленная простая группа Ли класса Е7 локально изоморфна группе симплектических преобразований псевдооктонионного аналога 5-мерного симплектического пространства Фрейденталя, а расщепленные простые группы Ли классов F4, Е6, Е7 и Е8 локально изоморфны группам преобразований псевдооктонионных аналогов метосимплектических геометрий Фрейденталя.

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

В той же серии работ Фрейденталь определил "магический квадрат", состоящий из 16 простых и полупростых групп Ли, расположенных в виде квадрата. В 1-й строке этого квадрата находятся группы движений 2- мерных вещественной эллиптической плоскости и комплексной кватервионной и октонионной эрмитовых эллиптических плоскостей, во 2-й строке - группы проективных преобразований 2-мерных вещественной, комплексной, кватернионной и октонионной проективных плоскостей, в 3- ей строке - группы симплектических преобразований 5-мерных вещественного, комплексного, кватернионного и октонионного симплектических пространств, в 4-ой строке - группы преобразований вещественной, комплексной, кватернионной и октонионной метасимплектических геометрий. Название метасимплектических геометрий определяется их положением в этом квадрате после симплектических пространств.

Этот квадрат обладает замечательным свойством симметрии: группы симметричные относительно главной диагонали квадрата являются группами одного и того же класса и ранга. Эта симметрия следует из того, что группы 2-й строки этого квадрата изоморфны группам движений эрмитовых эллиптических плоскостей над тензорными произведениями алгебр R, C, H и О на алгебру C', группы 3-ей строки этого квадрата изоморфны группам движений эрмитовых эллиптических плоскостей над тензорными произведениями алгебр R, C, H и О на алгебру H', группы 4-й строки этого квадрата изоморфны группам движений эрмитовых эллиптических плоскостей над тензорными произведениями алгебр R, C, H и О на алгебру О'.

Заменяя в этом квадрате алгебры C', H' и О' полем С и телами Н и О, мы получим "магический квадрат" для компактных групп. Заменяя в квадрате Фрейденталя поле С и тела Ни О алгебрами C', H' и О', мы получим "магический квадрат" для расщепленных групп.

Если мы заменим в "магическом квадрате" Фрейденталя для компактных групп каждую группу движений эллиптической плоскости прямой линией этой плоскости, мы получим аналог квадрата Фрейденталя эрмитовы эллиптические прямые над тензорными произведениями алгебр R, C, H, О на алгебру H, третьей строке - эрмитовы эллиптические прямые над тензорными произведениями алгебр R, C, H, О на алгебру H, в четвертой строке - эрмитовы эллиптические прямые над тензорными произведениями алгебр R, C, H, О на алгебру О.

Прямые линии первой строки изометричны, соответственно, вещественной окружности и вещественным сферам 2, 4 и 8 измерений и поэтому допускают интерпретации в виде многообразий точек вещественной эллиптической прямой, прямых вещественной эллиптической плоскости, 3-мерных плоскостей 4-мерного вещественного эллиптического пространства и 7-мерных плоскостей 8-мерного вещественного эллиптического пространства. Прямые второй строки допускают интерпретации в виде многообразий точек вещественной эллиптической плоскости, прямых 3-мерного вещественного эллиптического пространства, 3-мерных плоскостей 5-мерного вещественного эллиптического пространства и 7-мерных плоскостей 9-мерного вещественного эллиптического пространства. Прямые третьей строки допускают интерпретации в виде мнгообразий точек 4-мерного вещественного эллиптического пространства, прямых 5-мерного вещественного эллиптического пространства, 3-мерных плоскостей 7-мерного вещественного эллиптического пространства и 7-мерных плоскостей 11-мерного вещественного эллиптического пространства. Прямые четвертой строки допускают интерпретации в виде мнгообразий точек 8- мерного вещественного эллиптического пространства, прямых 9-мерного вещественного эллиптического пространства, 3-мерных плоскостей 11- мерного вещественного эллиптического пространства, 7-мерных плоскостей 15-мерного вещественного эллиптического пространства.

Фрейденталь рассматривал в метасимплектических геометриях симплекты, т.е. многообразия 2-мерных нуль-плоскостей 5-мерных симплектических пространств, a также 2-мерные плоскости симплектов, прямые и точки этих плоскостей. Все эти образы являются фундаментальными параболическими образами метасимплектических геометрий, рассматриваемых Фрейденталем, причем в указанных геометриях все эти образы вещественны, а остальные фундаментальные образы мнимы. Точки плоскостей симплектов совпадают с точками абсолютов соответственных 2-мерных эрмитовых плоскостей.