Истина и красота. Всемирная история симметрии.

Эта задача оказалась безнадежно сложной — теперь мы знаем, что скорее всего у нее просто нет внятного ответа в том смысле, что нет простой конструкции, которая произвела бы все алгебры Ли в рамках единообразной и прозрачной процедуры. Поэтому Киллингу пришлось согласиться на нечто менее амбициозное: описать основные «кирпичики», из которых можно собрать все алгебры Ли. Это несколько похоже на желание описать все возможные архитектурные стили, но придерживаться при этом некоторого списка из допустимых форм и размеров кирпича.

Эти «кирпичики» известны как простыеалгебры Ли. Они выделены свойствами, очень похожими на идею Галуа о простой группе — группе без нормальных подгрупп, не считая тривиальных. На самом деле простые группы Ли имеют простые алгебры Ли, и обратное тоже почти верно. Потрясающе, что Киллинг преуспел в перечислении всех возможных простых алгебр Ли. Математики называют подобные теоремы классификацией.

В глазах Киллинга эта классификация была предельной версией чего-то гораздо более общего, и его огорчал ряд ограничительных предположений, которые ему пришлось сделать, чтобы добиться хоть какого-то результата. Особенно ему докучала необходимость предполагать простоту, что заставило его перейти к алгебрам Ли над комплексными числами, а не над вещественными. Первые ведут себя лучше, но менее прямым образом связаны с геометрическими проблемами, владевшими воображением Киллинга. Из-за этих, им же наложенных, ограничений он не считал, что его работа заслуживает опубликования.

Ему удалось установить контакт с Ли, который, впрочем, оказался не слишком плодотворным. Сначала Киллинг написал Клейну, который свел его с помощником Ли Фридрихом Энгелем, в то время работавшим в Христиании. Киллинг и Энгель сразу нашли общий язык, и Энгель превратился в активного сторонника его деятельности, помог ему преодолеть некоторые сложности и призывал развивать свои идеи и дальше. Без Энгеля Киллинг мог бы и забросить это дело.

Сначала Киллинг полагал, что знает полный список простых алгебр Ли и что это алгебры so( n) и su( n), соответствующие двум бесконечным семействам [49]групп Ли — специальным ортогональным группам SO( n), состоящим из всех вращений в п-мерном пространстве, и их аналогам SU( n) для комплексных п-мерных пространств, так называемых специальных унитарных групп. Историк Томас Хокинс представлял себе «изумление, с которым Энгель читал письмо Киллинга, содержащее эти смелые предположения. Какой-то малоизвестный профессор из Лицея, посвятившей себя образованию лиц духовного звания в глухом углу Восточной Пруссии, поддерживает общение с авторитетнейшими учеными и высказывает гипотезы о глубоких теоремах из разработанной Ли теории групп преобразований».

Летом 1886 года Киллинг посетил Лейпциг, где работали Ли и Энгель. К сожалению, между Ли и Киллингом возникли трения; Ли никогда не отдавал должного работам Киллинга и старался принизить их значимость.

Киллинг быстро обнаружил, что его исходное предположение о простых алгебрах Ли было неверным, ибо он открыл новую алгебру, которой соответствует группа Ли, известная сейчас как G ₂. Ее размерность равнялась 14, и она, в отличие от специальных линейных и ортогональных алгебр Ли, судя по всему, не принадлежала к какому-либо бесконечному семейству. Она представляла собой одинокое исключение.

Если это казалось странным, то еще более странной была окончательная классификация, которую Киллинг получил зимой 1887 года. К двум бесконечным семействам Киллинг добавил третье — алгебры Ли sp(2 n), соответствующие тому, что сейчас известно как симплектические группы Sp(2 n). (В наше время ортогональные группы разбивают на два различных подсемейства в зависимости от того, действует ли группа на пространстве четной или нечетной размерности, что приводит к наличию четырех семейств; на то есть веские причины.) А исключительная группа G ₂приобрела пятерых спутников: двух с размерностью 56, а также короткое семейство, быстро подходящее к концу, с размерностями 78, 133 и 248.

Классификация Киллинга была получена с применением длинных алгебраических рассуждений, с помощью которых всю проблему удалось свести к прекраснейшей задаче из геометрии. Из гипотетических простых алгебр Ли он сумел извлечь конфигурацию точек в многомерном пространстве, известную теперь как система корней. Ровно для трех простых алгебр Ли система корней живет в двумерном пространстве. Эти корневые системы показаны на рисунке.

Системы корней в размерности два.

Эти диаграммы обладают высокой степенью симметрии. Они несколько похожи на узоры, которые видны в калейдоскопе, где два зеркала, расположенные под углом друг к другу, создают множественные отражения. Эта схожесть неслучайна, потому что системы корней имеют чудесные, изящные группы симметрии. Известные ныне как группы Вейля (что несправедливо, потому что изобрел их Киллинг), они представляют собой многомерные аналоги узоров, образованных отражаемыми объектами в калейдоскопе.