Истина и красота: Всемирная история симметрии - [125]
То, что можно делать с вещественными числами, можно делать и с комплексными, так что у нас появляется комплексная проективная плоскость. А если тут все работает, то почему бы не попробовать кватернионы или октонионы?
Здесь возникают сложности. Очевидные методы не работают из-за отсутствия коммутативности. Однако в 1949 году математический физик Паскуаль Жордан нашел осмысленный способ построить октонионную проективную плоскость вещественной размерности 16. В 1950 году Арман Борель — математик, специализировавшийся в теории групп — доказал, что вторая исключительная группа Ли F>4 является группой симметрии октонионной проективной плоскости — вполне в духе комплексной плоскости, но только образованной из двух 8-мерных «линеек», деления на которых — октонионы, а не вещественные числа.
Итак, нашлось октонионное объяснение двух из пяти исключительных групп Ли. А что насчет трех оставшихся — E>6, E>7 и E>8?
Взгляд на исключительные группы Ли как на грубые порождения злонамеренного божества был довольно распространенным, пока в 1959 году Ханс Фрейденталь и Жак Тите независимо не изобрели «магический квадрат» и не объяснили появление групп E>6, E>7 и E>8.
Строки и столбцы магического квадрата соответствуют четырем нормированным алгебрам с делением. Если заданы любые две нормированные алгебры с делением, можно посмотреть в соответствующую строку и соответствующий столбец и найти в магическом квадрате — который определяет результат согласно не столь уж простому математическому предписанию — некоторую группу Ли. Появление некоторых из этих групп понять несложно; например, группа Ли, соответствующая строке с вещественными числами и столбцу с вещественными числами, есть группа SO(3) вращений в трехмерном пространстве. Если и строка, и столбец соответствуют кватернионам, то мы получаем ничуть не менее близкую математикам группу SO(12) вращений в двенадцатимерном пространстве. Если теперь взять октонионную строку или октонионный столбец, то там будут стоять исключительные группы Ли F>4, E>6, E>7 и E>8.[120] Отсутствующая здесь исключительная группа G>2 также тесно связана с октонионами — как мы уже видели, она представляет собой их группу симметрии.
| R | C | H | O | ||||||
|---|---|---|---|---|---|---|---|---|---|
| R | SO(3) | SU(3) | Sp(3) | F>4 | |||||
| C | SU(3) | SU(3) | SU(6) | E>6 | |||||
| H | Sp(3) | SU(6) | SO(12) | E>7 | |||||
| O | F>4 | E>6 | E>7 | E>8 | |||||
Итак, общее мнение состоит в том, что исключительные группы Ли существуют потому, что божество в своей мудрости дозволило существование октонионов. Надо было сразу догадаться. Как заметил Эйнштейн, господь изощрен, но не злонамерен. Все пять исключительных групп Ли являются симметриями различных октонионных геометрий.
Около 1956 года российский геометр Борис Розенфельд, размышляя, быть может, о магическом квадрате, предположил, что три оставшиеся исключительные группы E>6, E>7 и E>8 также являются группами симметрии проективных плоскостей. Однако вместо октонионов здесь надо использовать следующие структуры:
• для E>6: биоктонионы, построенные из комплексных чисел и октонионов;
• для E>7: кватероктонионы, построенные из кватернионов и октонионов;
• для E>8: октооктонионы, построенные из октонионов и октонионов.
Единственная небольшая загвоздка состояла в том, что никто не знал, как внятно определить проективные плоскости над такими комбинациями числовых систем. Тем не менее имеется ряд свидетельств в пользу осмысленности данной идеи. По ситуации на настоящий момент, мы можем доказать гипотезу Розенфельда, но только с использованием групп для построения проективных плоскостей. Это не полностью удовлетворительно, поскольку замысел состоял в том, чтобы продвигаться в другом направлении — от проективных плоскостей к группам. Тем не менее лиха беда начало. На самом деле для групп E>6 и E>7 уже найдены независимые способы построения проективных плоскостей. Лишь одна E>8 пока держит оборону.
Если б не октонионы, то вся история о группах Ли выглядела бы попроще — как первоначально и надеялся Киллинг, — но была бы далеко не столь интересной. Не то чтобы у смертных была возможность выбирать — октонионы и все с ними связанное существуют. И некоторым таинственным образом само существование вселенной может зависеть от них.
Связь между октонионами и жизнью, вселенной и всем на свете возникает из теории струн. Ключевое свойство там — необходимость дополнительных измерений, в которых могли бы помещаться струны. Эти дополнительные измерения могут в принципе принимать огромное число самых разнообразных форм, и серьезная проблема — найти ту самую, правильную форму. В старой квантовой теории ключевым принципом являлась симметрия, и такова же ситуация в теории струн. Так что, без сомнения, группы Ли появляются на сцене в нужный момент. Все держится на этих симметриях по отношению к группам Ли, причем исключительные группы снова занимают особое место — не как типун на языке, но как возможности для реализации неожиданных совпадений, которые обеспечивают физике ее существование.
