Читать онлайн «Пространства, времена, симметрии. Воспоминания и мысли геометра». Страница 74

плоскости порядка, унитарной

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

определяются такими же переходами в обоих сомножителях тензорного произведения.

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

Принципы двойственности и тройственности

Принцип двойственности n-мерной вещественной проективной геометрии связан с двусторонней симметрией диаграммы Дынкина простой группы класса An. Соглацно этому принципу гиперплоскости и m-мерные плоскости n-мерного пространства изображаются точки и (п-т-1)-мерные плоскости некоторого другого проективного прпстранства той же размерности.

Эта внутренняя симметрия в группе была ясна Э.Картану задолго до появления диаграммы Дынкина. Еще в 1925 г. Картан опубликовал статью "Принцип двойственности и теория простых и полупростых групп", в которой он обобщил принцип двойственности для простых групп Ли класса А на простые группы класса Dn и на простую группу Ли класса Е6. Диаграммы Дынкина этих групп также обладают двусторонней симметрией. В случае групп класса Dn двойственными образами являются плоские образующие максимальной размерности абсолюта, принадлежащие к двум разным семействам.

Простая группа класса Е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' и О', мы получим "магический квадрат" для расщепленных групп.