Страница 83 из 86
То, что можно делать с вещественными числами, можно делать и с комплексными, так что у нас появляется комплексная проективная плоскость. А если тут все работает, то почему бы не попробовать кватернионы или октонионы?
Здесь возникают сложности. Очевидные методы не работают из-за отсутствия коммутативности. Однако в 1949 году математический физик Паскуаль Жордан нашел осмысленный способ построить октонионную проективную плоскость вещественной размерности 16. В 1950 году Арман Борель — математик, специализировавшийся в теории групп — доказал, что вторая исключительная группа Ли F4 является группой симметрии октонионной проективной плоскости — вполне в духе комплексной плоскости, но только образованной из двух 8-мерных «линеек», деления на которых — октонионы, а не вещественные числа.
Итак, нашлось октонионное объяснение двух из пяти исключительных групп Ли. А что насчет трех оставшихся — E6, E7 и E8?
Взгляд на исключительные группы Ли как на грубые порождения злонамеренного божества был довольно распространенным, пока в 1959 году Ханс Фрейденталь и Жак Тите независимо не изобрели «магический квадрат» и не объяснили появление групп E6, E7 и E8.
Строки и столбцы магического квадрата соответствуют четырем нормированным алгебрам с делением. Если заданы любые две нормированные алгебры с делением, можно посмотреть в соответствующую строку и соответствующий столбец и найти в магическом квадрате — который определяет результат согласно не столь уж простому математическому предписанию — некоторую группу Ли. Появление некоторых из этих групп понять несложно; например, группа Ли, соответствующая строке с вещественными числами и столбцу с вещественными числами, есть группа SO(3) вращений в трехмерном пространстве. Если и строка, и столбец соответствуют кватернионам, то мы получаем ничуть не менее близкую математикам группу SO(12) вращений в двенадцатимерном пространстве. Если теперь взять октонионную строку или октонионный столбец, то там будут стоять исключительные группы Ли F4, E6, E7 и E8.[120] Отсутствующая здесь исключительная группа G2 также тесно связана с октонионами — как мы уже видели, она представляет собой их группу симметрии.
R C H O R SO(3) SU(3) Sp(3) F4 C SU(3) SU(3)SU(3) SU(6) E6 H Sp(3) SU(6) SO(12) E7 O F4 E6 E7 E8