Иэн Стюарт - Истина и красота. Всемирная история симметрии.
Итак, общее мнение состоит в том, что исключительные группы Ли существуют потому, что божество в своей мудрости дозволило существование октонионов. Надо было сразу догадаться. Как заметил Эйнштейн, господь изощрен, но не злонамерен. Все пять исключительных групп Ли являются симметриями различных октонионных геометрий.
Около 1956 года российский геометр Борис Розенфельд, размышляя, быть может, о магическом квадрате, предположил, что три оставшиеся исключительные группы E6, E7 и E8 также являются группами симметрии проективных плоскостей. Однако вместо октонионов здесь надо использовать следующие структуры:
• для E6: биоктонионы, построенные из комплексных чисел и октонионов;
• для E7: кватероктонионы, построенные из кватернионов и октонионов;
• для E8: октооктонионы, построенные из октонионов и октонионов.
Единственная небольшая загвоздка состояла в том, что никто не знал, как внятно определить проективные плоскости над такими комбинациями числовых систем. Тем не менее имеется ряд свидетельств в пользу осмысленности данной идеи. По ситуации на настоящий момент, мы можем доказать гипотезу Розенфельда, но только с использованием групп для построения проективных плоскостей. Это не полностью удовлетворительно, поскольку замысел состоял в том, чтобы продвигаться в другом направлении — от проективных плоскостей к группам. Тем не менее лиха беда начало. На самом деле для групп E6 и E7 уже найдены независимые способы построения проективных плоскостей. Лишь одна E8 пока держит оборону.
Если б не октонионы, то вся история о группах Ли выглядела бы попроще — как первоначально и надеялся Киллинг, — но была бы далеко не столь интересной. Не то чтобы у смертных была возможность выбирать — октонионы и все с ними связанное существуют. И некоторым таинственным образом само существование вселенной может зависеть от них.
Связь между октонионами и жизнью, вселенной и всем на свете возникает из теории струн. Ключевое свойство там — необходимость дополнительных измерений, в которых могли бы помещаться струны. Эти дополнительные измерения могут в принципе принимать огромное число самых разнообразных форм, и серьезная проблема — найти ту самую, правильную форму. В старой квантовой теории ключевым принципом являлась симметрия, и такова же ситуация в теории струн. Так что, без сомнения, группы Ли появляются на сцене в нужный момент. Все держится на этих симметриях по отношению к группам Ли, причем исключительные группы снова занимают особое место — не как типун на языке, но как возможности для реализации неожиданных совпадений, которые обеспечивают физике ее существование.
Что возвращает нас к октонионам.
Приведем пример влияния, которое они оказывают. В 1980-х годах физики заметили, что в пространстве-времени размерностей 3, 4, 6 и 10 выполняются некоторые занятные соотношения. Векторы (направленные отрезки) и спиноры (алгебраические штучки, исходно созданные Полем Дираком в его теории спина электрона) весьма тесно связаны между собой в размерности три, и только в ней. Почему? Оказывается, что соотношение между векторами и спинорами имеет место в точности тогда, когда размерность пространства-времени на 2 превосходит размерность некоторой нормированной алгебры с делением. Вычитая 2 из 3, 4, 6 и 10, получаем как раз 1, 2, 4 и 8.
Математический аспект здесь состоит в том, что в 3-, 4-, 6- и 10-мерных теориях струн[121] каждый спинор можно представить, используя два числа из соответствующей нормированной алгебры с делением. Такого не случается ни в каком другом числе измерений, и отсюда следует набор замечательных следствий для физики. Таким образом, у нас имеются четыре кандидата на теорию струн: вещественные, комплексные, кватернионные и октонионные. И дело складывается таким образом, что, по современным представлениям, из этих возможных теорий струн наибольшие шансы соответствовать реальности имеет 10-мерная теория, отвечающая октонионам. Если эта 10-мерная теория действительно соответствует реальности, то наша вселенная построена из октонионов.
И это не единственное место, где эти странные «числа», едва заслуживающие называться этим именем в силу минимума необходимых алгебраических соотношений, которые для них выполнены, оказываются весьма влиятельными. Та самая модная гипотетическая теория струн — M-теория — включает в себя 11-мерное пространство-время. Чтобы редуцировать воспринимаемую часть пространства-времени от 11 измерений к нашим четырем, следует избавиться от 7 измерений путем такого плотного их скручивания, чтобы они перестали быть заметными. И как же сделать такое для 11-мерной супергравитации? Надо использовать исключительную группу Ли G2 — группу симметрии октонионов.
И вот они снова, более не милые безделушки викторианской эпохи, а увесистая отмычка к возможной Теории Всего. У нас тут октонионный мир, господа.
Глава 16
Искатели Истины и Красоты
Что же, Китс был прав? Красота есть истина, а истина — красота?
Эти два понятия тесно связаны, быть может, по той причине, что наш мозг примерно одинаково реагирует на каждое. Но то, что работает в математике, не обязано работать в физике, и наоборот. Отношения между математикой и физикой глубоки, деликатны и головоломны. Философская головоломка высшего рода — как наука открыла так называемые «законы» природы и почему природа вроде бы говорит на языке математики.
Поистине ли вселенная в природе своей математическая? Не являются ли ее видимые математические черты всего лишь изобретением человека? Или же она кажется нам математической потому, что математика — самый глубинный аспект ее бесконечно сложной природы, который доступен нашему уму?
Математика — это не некоторый развоплощенный вариант окончательной истины, как полагают некоторые. Если из нашего рассказа что-то и следует, так это что математику создают люди. Нас трогают их радости и их горе. Кто остался бы равнодушным к ужасным смертям Абеля и Галуа, ведь оба они умерли в возрасте 21 года? Один из них был объектом глубокой любви, но не располагал достаточными для женитьбы средствами; другой же, блестящий, но неуравновешенный молодой человек, влюбился, но был отвергнут и умер, быть может, из-за этой любви. Успехи современной медицины спасли бы Абеля и даже помогли бы Гамильтону сохранять трезвость.
Поскольку математики — живые люди, живущие обычной человеческой жизнью, создание новой математики является частью общественных процессов. Однако ни математика, ни наука в целом не есть исключительно результат общественных процессов, как то нередко утверждают обществоведы-релятивисты. В каждом случае требуется удовлетворить некоторым внешним требованиям — требованиям логики в случае математики, требованиям эксперимента в случае наук. Сколь отчаянно математики ни желали бы разделить угол на три части эвклидовыми методами, голый факт состоит в том, что это невозможно. Сколь бы сильно физики ни желали вывести из ньютоновского закона гравитации окончательное описание вселенной, движение перигелия Меркурия доказывает, что это невозможно.
Вот почему математики столь упрямо следуют логике, крайне беспокоясь при этом о вещах, до которых большинству людей просто нет дела. А важно ли в самом деле, можно или нельзя разрешить уравнение пятой степени в радикалах?
Приговор истории по этому вопросу не допускает толкований. Это — важно. Не так уж, возможно, важно для повседневной жизни, но, без всякого сомнения, важно для человечества в целом — не потому, что нечто важное основано на нашей способности решить уравнение пятой степени, а потому, что понимание причин, по которым это невозможно, открывает тайную дверь в новый математический мир. Если бы Галуа и его предшественники не были одержимы задачей найти условия, при которых уравнение можно решить в радикалах, открытие человечеством теории групп сильно задержалось бы, а возможно, его никогда бы и не произошло.
Вы не обязательно встречаетесь с группами у себя на кухне или во время поездки на работу, и тем не менее без них современная наука оказалась бы серьезно урезанной, а наша жизнь — устроенной в сильной степени по-другому. Не столько в отношении таких штук, как широкофюзеляжные реактивные лайнеры, или GPS-навигаторы, или даже мобильные телефоны — хотя и их это касается, — сколько в отношении нашего понимания природы. Никто не смог бы предсказать, что занудный вопрос об уравнениях прояснит глубокую структуру физического мира, однако именно так и случилось.
История посылает нам столь же простой, сколь и ясный сигнал. Исследование глубоких математических вопросов не следует отвергать или умалять только на том основании, что эти вопросы не обещают прямых практических применений. Ценность хорошей математики выше, чем у золота, и по большей части неважно, откуда она взялась. Что важно, так это куда она нас ведет.
