Такие декларации бесполезности — заложники судьбы. Одно-единственное новое применение, один шаг вперед в науке — и презираемая концепция может внезапно, как выпущенное из пушки ядро, приземлиться в центре сцены, более не бесполезная, а, наоборот, сущностно важная.
Таким примерам нет числа. Сам Кэли говорил, что его матрицы совершенно бесполезны, но сегодня ни одна ветвь науки не могла бы без них функционировать. Кардано объявил, что комплексные числа «настолько же деликатны, насколько бесполезны», но ни один инженер или физик не мог бы работать в мире, в котором отсутствовали бы комплексные числа. Годфри Хэролду Харди — ведущему английскому математику 30-х годов двадцатого века — безмерно импонировала мысль, что теория чисел не имеет никаких практических применений и, в частности, не может использоваться в военных целях. Сегодня теория чисел применяется для шифровки сообщений — она жизненно важна для безопасности коммерческих операций, проводимых через Интернет, и еще более важна для военных.
Подобное же происходит и с октонионами. Они еще могут войти в обязательный курс математики и даже, скорее, физики. Постепенно становится ясной центральная роль октонионов в теории групп Ли — в особенности тех, что представляют интерес для физики, и в первую очередь пяти исключительных групп Ли G, F, E, E и E, имеющих загадочные размерности 14, 52, 78, 133 и 248. Само их существование представляет собой загадку. Один доведенный до белого каления математик назвал их создание грубым порождением злонамеренного божества.
Любители природы получают удовольствие, вновь и вновь посещая хорошо им известные красивые места, откуда можно наслаждаться прекрасным видом — от середины водопада, с уступа, уводящего в сторону от нахоженной тропы, или на утесе, с которого открывается вид на голубой океан. Подобным же образом математики любят возвращаться к старым темам и рассматривать их с новых точек зрения. По мере смены перспективы в наших взглядах на математику удается дать новые интерпретации старым концепциям, что открывает новые возможности. Это вовсе не вопрос математического туризма, когда с открытым ртом таращатся на нечто невыразимо удивительное, рассматривая его под разными углами. Таким способом возникают новые мощные способы решения старых и новых задач. Ни в каком другом месте эта тенденция не проявилась сильнее и не была более информативной, чем в теории групп Ли.
Напомним, что Киллинг организовал почти все простые группы Ли в четыре бесконечных семейства, два из которых составляют на самом деле две части одного большего семейства специальных ортогональных групп SO(n) в четных и нечетных размерностях. Два другие семейства — это специальные унитарные группы SU(n) и симплектические группы Sp(2n).
Теперь мы знаем, что все эти семейства представляют собой вариации на одну и ту же тему. Они состоят из всех n?n-матриц, удовлетворяющих некоторому конкретному алгебраическому условию — они «косо-эрмитовы». Единственное различие состоит в том, что для получения ортогональных алгебр Ли надо использовать матрицы из вещественных чисел, для получения унитарных алгебр Ли — матрицы из комплексных чисел, а для получения симплектических алгебр Ли — матрицы из кватернионов. Эти алгебры образуют бесконечные семейства, потому что матрицы могут иметь какой угодно размер. Чудесно видеть, что алгебры Ли, соответствующие естественным преобразованиям в гамильтоновом описании механики — первом великом открытии Гамильтона, — допускают естественное описание в терминах кватернионов — его последнего великого открытия.
Но теперь самое время задуматься, а что же происходит, если в качестве матричных элементов используются октонионы. К сожалению, из-за отсутствия ассоциативности не удается получить новое бесконечное семейство простых алгебр Ли. На самом деле лучше бы сказать «к счастью», поскольку мы ведь знаем, что такого семейства не существует. Но если играть с октонионами в правильные игры, да еще заручиться поддержкой закона малых чисел, можно получить самые настоящие алгебры Ли.
Первый намек на то, что так может случиться, появился в 1914 году, когда Эли Картан ответил на очевидный вопрос и получил удивительный ответ. Руководящий принцип в математике и физике состоит в том, что если имеется некоторый интересный объект, то первое, что про него надо спросить, — это какова его группа симметрии. Группа симметрии системы вещественных чисел тривиальна и состоит только из одного тождественного преобразования — преобразования «не делаем ничего». Группа симметрии системы комплексных чисел содержит тождественный элемент и одну зеркальную симметрию, которая преобразует i в ?i. Группой симметрии кватернионов является SU(2), которая почти совпадаете группой вращений SO(3) в трехмерном вещественном пространстве.
Вопрос, который задал Картан, — это «Какова группа симметрии октонионов?». Если вы — некий Картан, то ответ на этот вопрос вам известен. Группой симметрии октонионов является наименьшая из исключительных простых групп Ли — та, которая известна под именем G. 8-мерная система октонионов имеет 14-мерную группу симметрии. Исключительная нормированная алгебра с делением непосредственно связана с первой из исключительных групп Ли.