Текст книги "Теория струн и скрытые измерения вселенной"
Автор книги: Стив Надис
Соавторы: Яу Шинтан
Жанр:
Технические науки
сообщить о нарушении
Текущая страница: 9 (всего у книги 29 страниц)
Все эрмитовы многообразия имеют этот тип симметрии: J‑преобразования поворачивают все вектора на 90 градусов, сохраняя их длины неизменными. Кэлеровы многообразия, представляющие собой подмножество эрмитовых многообразий, обладают такой же симметрией. Кроме того, кэлеровы многообразия обладают так называемой внутренней симметрией– специфическим типом симметрии, который должен сохраняться при перемещении между любыми двумя точками пространства с кэлеровой метрикой. Многие из видов симметрий, с которыми мы постоянно сталкиваемся в природе, относятся к группе вращений.
Сфера, к примеру, имеет глобальную симметрию– названную так, поскольку она работает относительно любой точки сферы. Одним из типов симметрии в данном случае является вращательная инвариантность, означающая, что при любом повороте сфера совпадает сама с собой. Симметрия кэлерова многообразия, с другой стороны, более локальна, поскольку она относится только к первым производным метрики. Однако благодаря методам дифференциальной геометрии, позволяющим осуществить интегрирование по всему многообразию, можно увидеть, что условие кэлеровости и связанная с ним симметрия подразумевают особое отношение между различными точками. Таким образом, симметрия, изначально охарактеризованная как локальная, при помощи интегрального исчисления приобретает более глобальную роль связующего звена между различными точками многообразия.
Основная проблема данного типа симметрии относится к особой разновидности преобразования, называемой параллельным переносом. Параллельный перенос, как и операция поворота, является линейным преобразованием: это преобразование подразумевает такое перемещение векторов вдоль определенной траектории на поверхности или многообразии, при котором сохраняются не только длины всех векторов, но и углы между любой парой векторов. В тех случаях, когда параллельный перенос сложно представить наглядно, точный путь перемещения векторов можно рассчитать при помощи метрики, решая дифференциальные уравнения.
На плоской, евклидовой поверхности все очень просто: нужно только сохранять направление и длину каждого вектора. На искривленных поверхностях и для произвольных многообразий условие постоянства длин и углов сохраняется, хотя и несколько усложняется по сравнению с евклидовым пространством.
Особенность кэлерова многообразия состоит в следующем: если при помощи операции параллельного переноса переместить вектор Vиз точки Pв точку Qвдоль заданной траектории, то результатом этого перемещения станет новый вектор W 1 . Применив к вектору операцию поворота на 90 градусов (J‑операцию), мы получим новый вектор JW 1 . С тем же успехом можно сначала применить к вектору Vоперацию поворота (J‑операцию), в результате которой возникнет новый вектор JV,по‑прежнему начинающийся в точке P. Если после этого параллельно перенести вектор JVв точку Qи полученный вектор назвать W 2 , то в случае кэлерова многообразия векторы JW 1 и W 2 будут идентичны вне зависимости от пути перемещения между точками Pи Q. Можно сказать, что на кэлеровом многообразии J‑операция инвариантна относительно параллельного переноса. Для комплексных многообразий в общем случае это не так. Можно сформулировать это условие и в другом виде: на кэлеровом многообразии параллельный перенос вектора с последующим его поворотом аналогичен повороту вектора с последующим параллельным переносом. Эти две операции коммутируют – поэтому не имеет значения, в каком порядке их выполнять. В общем случае это не так, как наглядно объяснил Роберт Грин: «Открыть дверь и затем выйти из дому – это далеко не то же самое, что выйти из дому и лишь затем открыть дверь».
Основная идея параллельного переноса проиллюстрирована на рис. 4.3 для поверхности с двумя вещественными измерениями или одним комплексным (поверхность с большим числом измерений нарисовать проблематично). Впрочем, этот случай скорее тривиален, поскольку число возможных направлений поворота ограничено числом два: влево и вправо.
Однако уже для двух комплексных измерений (четырех вещественных) число векторов определенной длины, перпендикулярных любому заданному вектору, бесконечно велико. Эти векторы образуют касательное пространство, которое в двухмерном случае можно представить как огромный кусок фанеры, лежащий на верхушке баскетбольного мяча. В этом случае знание того, что необходимый нам вектор перпендикулярен некоему другому, известному нам, едва ли заметно упростит его нахождение – если только многообразие, которому он принадлежит, не является кэлеровым. Для кэлерова многообразия, зная вектор, полученный при повороте на 90 градусов (J‑преобразовании) в одной из точек многообразия, можно точно предсказать величину и направление подобных векторов в любой другой точке, поскольку параллельный перенос дает возможность переместить этот вектор из первой точки во вторую.
Рис. 4.3.На первом рисунке изображен параллельный перенос вектора Vиз точки Pв точку Q, в которой этот вектор приобретает новое имя W 1 . Затем при помощи так называемой J‑операции вектор W 1 поворачивается на 90 градусов. Повернутый вектор носит название JW 1 . На втором рисунке J‑операция проводится над вектором Vв точке P, результатом которой становится новый вектор (повернутый на 90 градусов) – JV. При помощи параллельного переноса этот вектор перемещают в точку Q, где он получает новое имя W 2 . В обоих случаях результирующие векторы будут одинаковы. Это один из признаков кэлерова многообразия, а именно независимость результата от последовательности, в которой выполняются операции поворота и параллельного переноса. Эти две операции коммутируют, то есть порядок их выполнения не имеет значения
Существует еще один способ показать, что эта простая операция (поворот на 90 градусов, или J‑преобразование) тесно связана с симметрией. Этот тип симметрии называется четырехкратной симметрией,поскольку при каждом J‑преобразовании вектор поворачивается на 90 градусов. В результате четырех последовательных преобразований вектор повернется на 360 градусов и, пройдя полный круг, вернется в начальную точку. Иначе говоря, два J‑преобразования аналогичны умножению на ‑1. Четыре преобразования приведут к умножению вектора на единицу (‑1Ч‑1=1). В результате мы вернемся к тому, с чего начали.
Очевидно, что данная симметрия применима только к касательному пространству в определенной точке, но для того чтобы это свойство было действительно полезным, четырехкратная симметрия должна сохраняться и при перемещении по всему пространству. Эта согласованность является важной особенностью внутренней симметрии. Представьте себе стрелку компаса, которая характеризуется двухкратной симметрией в том смысле, что она может указывать только в двух направлениях – северном и южном. Если при вращении компаса в пространстве его стрелка будет беспорядочным образом указывать то на север, то на юг без какой‑либо причины, можно сделать вывод о том, что пространство, в котором вы находитесь, либо не обладает соответствующей симметрией, либо не имеет заметного магнитного поля (либо вам пора покупать новый компас). Аналогично, если J‑операция дает разные результаты в зависимости от положения точки на многообразии и направления поворота, то это означает, что в многообразии отсутствуют порядок и предсказуемость, обеспечиваемые симметрией. Более того, вы можете быть уверены, что это многообразие не кэлерово.
Внутренняя симметрия, во многом определяющая кэлеровы многообразия, ограничена касательным пространством к данным многообразиям. Это может иметь определенные преимущества, поскольку на касательном пространстве результат любой операции не зависит от выбора системы координат. Именно это свойство – независимость результатов операции от выбора системы координат – представляет чрезвычайный интерес как с геометрической, так и с физической точки зрения. Проще говоря, если результаты зависят от выбора ориентации осей или начала координат, то для нас они неинтересны.
Рис. 4.4.На рисунке проиллюстрирован простой и весьма очевидный факт: квадрат имеет четырехкратную симметрию относительно его центра. Иными словами, повернув квадрат четыре раза на 90 градусов, мы получим исходную фигуру. Поскольку J‑операция представляет собой поворот на 90 градусов, она также имеет четырехкратную симметрию, и четыре поворота приведут к исходному объекту. Формально говоря, J‑операция действует только на касательные векторы, поэтому она – весьма грубый аналог вращения фигуры, подобной квадрату. J‑преобразование, как обсуждается в тексте, является вещественным аналогом умножения на i. Умножение некого числа на iчетыре раза равноценно умножению его на единицу, и оно, подобно проведенной четыре раза J‑операции, неизбежно приведет к тому числу, с которого мы начали
Требование внутренней симметрии наложило на представленный Калаби математический мир ряд дополнительных ограничений, значительно упростив его и сделав проблему доказательства его существования потенциально разрешимой. Впрочем, Калаби не обратил внимания на некоторые другие следствия из его теории; на самом деле внутренняя симметрия, наличие которой он предположил для своих многообразий, является особой разновидностью суперсимметрии, что особенно важно для теории струн.
Последние два фрагмента нашей мозаики – классы Черна и кривизна Риччи – возникли из попыток геометров обобщить одномерные римановы поверхности на случай многих измерений и затем попытаться математически описать различия между ними. Это привело к возникновению важной теоремы, относящейся к компактным римановым поверхностям, – как, впрочем, и ко всем компактным поверхностям, не имеющим границ. Определение границыв топологии дается скорее на интуитивном уровне: диск имеет границу, или четко определенный край, тогда как сфера границы не имеет. На поверхности сферы можно сколь угодно долго двигаться в любом направлении, никогда не достигая никакой границы и даже не приближаясь к ней.
Теорема, сформулированная в XIX веке Карлом Фридрихом Гауссом и французским математиком Пьером Бонне, связала геометрию поверхности с ее топологией.
Согласно формуле Гаусса‑Бонне, общая гауссова кривизна подобных поверхностей равна произведению эйлеровой характеристики поверхности на 2 р. Эйлерова характеристика, обозначаемая греческой буквой ч(«хи»), в свою очередь равна 2–2 g, где g– это род (число «дырок» или «ручек» на данной поверхности). К примеру, эйлерова характеристика двухмерной сферы, не имеющей дырок, будет равна 2. Эйлер вывел отдельную формулу для нахождения эйлеровых характеристик любого многогранника: ч =V‑E+F, где V– число вершин, E– число ребер, a F– число граней. Для тетраэдра ч =4‑6+4=2, точно так же, как и для сферы. Для куба, имеющего 8 вершин, 12 ребер и 6 граней, ч =8‑12+6=2– снова то же, что и для сферы. Причина того, что эти топологически идентичные (хотя и геометрически различные) объекты имеют одинаковую величину заключается в том, что эйлеровы характеристики всецело определяются топологией объекта и не зависят от его геометрии. Эйлерова характеристика чстала первым из основных топологических инвариантов пространства– величин, остающихся неизменными – инвариантными– для пространств, имеющих совершенно различный внешний вид, подобно являющимся топологически эквивалентными сфере, тетраэдру и кубу.
Вернемся к формуле Гаусса‑Бонне. Общая гауссова кривизна двухмерной сферы будет равна 2 р Ч 2, или 4 р. Кривизна двухмерного тора равна нулю, поскольку в нем имеется одна дырка и, следовательно, ч =2‑2g=2‑2=0. Обобщение принципа Гаусса‑Бонне на случай большего числа измерений приводит к возникновению так называемых классов Черна. Классы Черна были созданы моим руководителем и наставником Ч. Ш. Черном как весьма грубый математический метод охарактеризовать различия между многообразиями. Говоря простыми словами, многообразия, для которых имеются разные классы Черна, не могут быть одинаковы, хотя обратное верно далеко не всегда: многообразия могут иметь один и тот же класс Черна и при этом оставаться различными.
Для имеющих одно комплексное измерение римановых поверхностей существует только один класс Черна, а именно первый, в данном случае совпадающий с эйлеровой характеристикой. Количество классов Черна для конкретного многообразия зависит от количества измерений. К примеру, многообразие с двумя комплексными измерениями имеет первый и второй классы Черна. Многообразия, представляющие большой интерес для теории струн – обладающие тремя комплексными (или шестью вещественными) измерениями, – имеют три класса Черна. В этом случае первый класс Черна приписывает двухмерным подпространствам шестимерного многообразия (их можно представить как набитую двухмерными листами бумаги трехмерную комнату) определенные целые коэффициенты. Второй класс Черна присваивает коэффициенты четырехмерным подмногообразиям шестимерного пространства. Третий класс присваивает определенное число, а именно эйлерову характеристику ч, всему многообразию, имеющему три комплексные размерности и шесть вещественных. Для многообразий, имеющих nкомплексных измерений, последний класс Черна – n‑й класс – всегда равен эйлеровой характеристике.
Рис. 4.5.Ориентируемая (двухсторонняя) поверхность в топологии описывается при помощи ее эйлеровой характеристики, или числа Эйлера. Для многогранника, являющегося геометрическим телом с плоскими гранями и прямыми ребрами, эйлерову характеристику можно рассчитать по простой формуле. Эйлерова характеристика, которая обозначается греческой буквой ч(хи), равна числу вершин минус число ребер плюс число граней. Для прямоугольной призмы или «коробки» в этом примере число Эйлера равно двум. Для тетраэдра это число также равно двум (4‑6+4), как и для пирамиды с квадратным основанием (5‑8+5). Нет ничего удивительного в том, что эти пространства имеют одинаковые эйлеровы характеристики, поскольку они топологически эквивалентны
V=8
E=12
F=6
ч =V‑E+F=2
Но что в действительности означает класс Черна? Иными словами, Для чего нужны все эти числа, которые ставятся в соответствие подмногообразиям? Как оказалось, о подмногообразиях самих по себе данные коэффициенты не сообщают ничего особо важного, но многое могут рассказать о тех многообразиях, частями которых они являются. Исследование структуры комплексных многомерных объектов путем определения количества и типов составляющих их частей является общепринятой практикой в топологии.
Представим, к примеру, что каждый житель Соединенных Штатов получил свой собственный номер. Номер, присвоенный каждому конкретному человеку, не содержит в себе совершенно никакой информации о нем или о ней. Но если взглянуть на эти номера как на единое целое, то можно много интересного узнать про более крупный «объект» – а именно Соединенные Штаты – например, про численность населения этой страны или скорость его роста.
Вот еще один пример, позволяющий наглядно представить это весьма абстрактное понятие. Как обычно, начнем рассмотрение с весьма простого объекта, а именно сферы – поверхности, имеющей одно комплексное или два вещественных измерения. Сфера имеет только один класс Черна, который в данном случае равен эйлеровой характеристике. Во второй главе, как вы помните, обсуждались некоторые особенности метеорологии и динамики морских течений на планете сферической формы. Представим теперь, что в каждой точке данной планеты с запада на восток дует ветер. Точнее, почти в каждой точке. Представить ветер, дующий в восточном направлении, на экваторе или на любой параллели, не составит никакого труда. Однако в двух точках, лежащих; на северном и южном полюсах, которые можно назвать сингулярными, ветра не будет вовсе – это неизбежное следствие сферической геометрии. Для поверхностей, обладающих подобными особыми точками, первый класс Черна не равен нулю. Иными словами, в данном случае первый класс Черна является неисчезающим.
Теперь рассмотрим бублик. Ветры на подобной поверхности могут дуть в любом направлении – по большим окружностям вокруг дырки, по малым окружностям через дырку или даже по более сложным спиральным траекториям, никогда не сталкиваясь с точкой сингулярности, в которой они должны остановиться. Можно совершить сколь угодно оборотов вокруг бублика, ни разу не натолкнувшись на какое‑либо препятствие.
Рассмотрим следующий пример. Для так называемых K3 поверхностей, имеющих два комплексных или четыре вещественных измерения, первый класс Черна обращается в нуль. Более подробно K3 поверхности будут рассмотрены в шестой главе. Согласно гипотезе Калаби, именно это свойство должно позволить им иметь риччи‑плоскую метрику, подобно тору. Однако в отличие от двухмерного тора, эйлерова характеристика которого равна нулю, величина чдля K3 поверхности равна 24. Дело в том, что эйлерова характеристика и первый класс Черна, совпадающие в случае одного комплексного измерения, для более высоких размерностей могут заметно отличаться.
Следующим пунктом в нашем списке является кривизна Риччи – ключевое понятие для понимания гипотезы Калаби. Кривизна Риччи является обобщением более конкретного понятия, известного как кривизна в двухмерном направлении. Для того чтобы понять, как с ней работать, представим себе простую картину: сферу и касательное к ней пространство – плоскость, касающуюся сферы в точке северного полюса. Эта плоскость, перпендикулярная прямой, соединяющей центр сферы и точку касания, содержит в себе все касательные вектора, которые можно построить из данной точки сферы. Аналогично, трехмерная поверхность имеет трехмерное касательное пространство, состоящее из всех векторов, являющихся касательными к данной точке, – и так для любого числа измерений. Каждый вектор, лежащий на касательной плоскости, также является касательным к большой окружности сферы, проходящей через северный и южный полюса. Если теперь взять все большие окружности, касательные к векторам плоскости и объединить их, то результатом будет новая двухмерная поверхность. В данном случае двухмерная поверхность, полученная таким образом, совпадет с первоначальной сферой, но для более высоких размерностей подобная поверхность будет представлять собой двухмерное подмногообразие, находящееся в пределах другого, большего по размерам пространства. Кривизна касательной плоскости в двухмерном направлении будет совпадать с гауссовой кривизной полученной двухмерной поверхности.
Для того чтобы найти кривизну Риччи, возьмем некую точку на многообразии и найдем касательный вектор, проходящий через нее. Затем обратим внимание на все касательные двухмерные плоскости, содержащие данный вектор, каждая из которых имеет свою собственную кривизну в двухмерном направлении, которая, как уже было сказано, совпадает с гауссовой кривизной связанной с ней поверхности. Кривизна Риччи представляет собой среднее значение кривизны всех этих плоскостей. Многообразие можно считать риччи‑плоским, если для любого произвольно выбранного вектора среднее кривизны касательных плоскостей в двухмерном направлении равно нулю, даже если для каждой отдельной плоскости это условие не выполняется.
Рис. 4.6. Первый класс Чернадля двухмерных поверхностей, подобных этой, совпадающий с эйлеровой характеристикой, относится к точкам, в которых поток векторного поля полностью останавливается. На поверхности сферы, например глобуса, таких точек две. К примеру, если течение направлено с северного полюса на южный, как на изображенной слева сфере, то на каждом из полюсов суммарный поток будет равен нулю, поскольку в данных точках векторы будут взаимно компенсировать друг друга. Аналогично, если течение направлено с запада на восток, как на сфере, изображенной справа, также возникнут две точки остановки движения – на северном и южном полюсах, – в которых ничто не движется, поскольку само понятие востока и запада для этих точек отсутствует. Противоположным примером является поверхность бублика, на которой жидкость может течь как в вертикальном (на изображенном слева бублике), так и в горизонтальном направлении (на бублике, изображенном справа), не встречая при этом ни малейших препятствий. Именно поэтому первый класс Черна равен нулю для бублика, в котором сингулярные точки отсутствуют, но не равен нулю для сферы
Как вы уже могли догадаться, это означает, что ранее рассмотренный пример с двухмерной сферой, через северный полюс которой проходит касательный вектор, совершенно нам неинтересен, поскольку данный вектор содержится только в одной касательной плоскости. В этом случае кривизна Риччи представляет собой просто кривизну в двухмерном направлении этой плоскости, которая, в свою очередь, совпадает с гауссовой кривизной сферы, – для сферы единичного радиуса эта кривизна будет равна единице. Но при переходе к более высоким размерностям, число комплексных измерений для которых больше одного или число вещественных измерений больше двух, возникает весьма широкий выбор касательных плоскостей, и, как следствие, многообразие может быть риччи‑плоским, не будучи при этом плоским во всех своих точках, то есть, будучи риччи‑плоским, оно может иметь отличную от нуля кривизну в двухмерном направлении и отличную от нуля гауссову кривизну.
Рис. 4.7.Определение первого класса Черна для конкретного объекта сводится к нахождению точек, в которых поток векторного поля обращается в нуль. Подобные точки можно обнаружить в центре воронки, например в центре урагана, который представляет собой имеющую круговую форму область спокойной погоды, от 2 до 200 миль в диаметре, окруженную одними из наиболее грандиозных атмосферных явлений. На фотографии запечатлен ураган Фран 1996 года, как раз перед тем, как он опустошит Восточное побережье Соединенных Штатов, принеся миллиарды долларов убытка (фотография Хаслера, Честера, Грисволда, Пирса, Паланнаппана, Маньина, Суммея, Стара, Кенитцера & де Да Бюжардере, Лаборатория по изучению атмосферы, Центр космических полетов доктора Годдарда, НАСА)
Кривизна в двухмерном направлении полностью определяет риманову кривизну, которая, в свою очередь, содержит в себе всю возможную информацию о кривизне поверхности. В четырехмерном случае для описания кривизны необходимы двадцать чисел, для более высоких размерностей – еще больше. Тензор римановой кривизны может быть представлен в виде суммы двух слагаемых – тензора Риччи и так называемого тензора Вейля, на котором мы подробно останавливаться не будем. Главное, что из двадцати чисел, необходимых для описания римановой кривизны в четырехмерном случае, десять описывают кривизну Риччи и десять – кривизну Вейля.
Тензор кривизны Риччи, являющийся ключевым составляющим известного уравнения Эйнштейна, характеризует влияние материи и энергии на геометрию пространства‑времени. По сути дела, левая часть этого уравнения представляет собой так называемый тензор Эйнштейна – модифицированный тензор Риччи, тогда как в правой части находится тензор энергии‑импульса, описывающий плотность и поток материи в пространстве‑времени. Иными словами, уравнение Эйнштейна связывает поток плотности материи и импульс в данной точке пространственно‑временного континуума с тензором Риччи. Поскольку тензор кривизны Риччи является только частью общего тензора кривизны, как уже говорилось выше, невозможно определить кривизну в целом только на основании этого тензора. Надежду на определение кривизны пространства‑времени дает нам знание глобальной топологии.
В частном случае, когда масса и энергия равны нулю, уравнение сводится к следующему: тензор Эйнштейна = 0. Это так называемое уравнение Эйнштейна для вакуума, и хотя на первый взгляд оно может показаться простым, не следует забывать, что это уравнение является нелинейным дифференциальным уравнением в частных производных, которые почти никогда не решаются просто. Более того, уравнение Эйнштейна для вакуума на самом деле представляет собой систему из десяти нелинейных дифференциальных уравнений в частных производных, поскольку тензор состоит из десяти независимых коэффициентов. Это уравнение очень похоже на гипотезу Калаби, которая предполагает равенство нулю кривизны Риччи. Нет ничего особо удивительного в том, что оно имеет так называемое тривиальноерешение, которое не представляет никакого интереса: пространственно‑временной континуум, в котором нет ни материи, ни гравитации и в котором в принципе ничего не происходит. Однако существует и более интригующая возможность и именно о ней идет речь в гипотезе Калаби: может ли уравнение Эйнштейна для вакуума также иметь и нетривиальноерешение? И ответ на этот вопрос, как мы увидим в свое время, утвердительный.
Вскоре после того, как Черн в середине 1940‑х годов сформулировал понятие классов Черна, он показал, что для многообразий с кривизной Риччи, равной нулю, то есть для многообразий определенной геометрии, первый класс Черна также должен обращаться в нуль. Калаби представил проблему в другом виде, задавшись вопросом, насколько топологические особенности пространства определяют его геометрию или, точнее, позволяют пространству иметь ту или иную геометрию. Обратное верно далеко не всегда. К примеру, известно, что гладкая поверхность, то есть не имеющая углов, гауссова кривизна которой больше единицы, должна быть ограниченной или компактной. Она не может простираться до бесконечности. Но в общем случае компактные гладкие поверхности не обязательно имеют метрику с гауссовой кривизной больше единицы.
Например, бублик является совершенно гладким и компактным, однако его гауссова кривизна далеко не везде положительна, не говоря уже о том, что она далеко не всегда больше единицы. На самом деле, как уже обсуждалось ранее, метрика с гауссовой кривизной, равной нулю, вполне возможна, а метрика, кривизна которой всюду положительна, – нет.
Таким образом, гипотеза Калаби столкнулась с двумя большими затруднениями: из того, что эта гипотеза представляла собой утверждение, обратное общеизвестному факту, еще не следовала ее истинность. И даже при условии ее истинности, доказать существование метрики, удовлетворяющей всем необходимым требованиям, чрезвычайно сложно. Подобно гипотезе Пуанкаре, появившейся ранее, гипотезу Калаби, точнее важный частный случай этой гипотезы, можно сформулировать одним предложением: «Компактное кэлерово многообразие, в котором первый класс Черна обращается в нуль, может иметь риччи‑плоскую метрику». Однако для доказательства этого простого утверждения потребовалось более двух десятилетий. Ну а работа над всеми возможными следствиями из данного утверждения продолжается уже несколько десятилетий после его доказательства.
Как заметил Калаби: «Я изучал кэлерову геометрию и понял, что пространство, которое может иметь по крайней мере одну кэлерову метрику, может также иметь и другие кэлеровы метрики. Найдя одну из них, не составит труда найти и прочие. Моей целью было нахождение такой метрики, которая была бы лучше всех остальных – более “округлая”, если так можно выразиться, – та, которая дает больше всего информации и сглаживает все неровности многообразия». Таким образом, гипотеза Калаби, по его словам, посвящена тому, как найти «лучшую» метрику.[43]
Можно выразить это словами Грина: «Мы пытаемся найти ту единственную метрику, которую дал нам Бог».[44]
Лучшей с геометрической точки зрения иногда является так называемая «однородная» метрика. В этом случае, зная свойства одной из частей поверхности, можно сделать выводы о поверхности в целом. Благодаря постоянной кривизне и постоянной кривизне в двухмерном направлении, сфера представляет собой пример однородной метрики. Обладая совершенной симметрией, сфера со всех сторон выглядит одинаково, в отличие, например, от футбольного мяча, имеющего на поверхности швы и неровности. В то время как для сферы однородность метрики при положительной кривизне является возможной, многообразия Калаби‑Яу, имеющие более одного комплексного измерения, могут характеризоваться постоянной кривизной в двухмерном направлении только в том случае, если они являются совершенно плоскими, – в этом случае кривизна в двухмерном направлении всюду равна нулю. Если не рассматривать этот вариант, то, по словам Калаби, «лучшим из остающихся вариантов будет попытка сделать кривизну настолько постоянной, насколько это только возможно».[45]Лучшее, что нам удалось, – сделать постоянной кривизну Риччи, точнее, приравнять ее к нулю.
Гипотеза Калаби в целом является более общим утверждением и не ограничивается случаем равенства нулю кривизны Риччи. Случай постоянной кривизны Риччи также очень важен, особенно случай постоянной отрицательной кривизны, который использовался мной для решения некоторых важных проблем алгебраической геометрии, – о чем пойдет речь в шестой главе. Однако случай нулевой кривизны Риччи особо важен, поскольку кривизна в данном случае не просто постоянна, а равна нулю. А это, в свою очередь, порождает особую проблему – задачу нахождения метрики для многообразия или класса многообразий, которые, будучи близки к совершенству, тем не менее интересны с геометрической точки зрения.
В этом и состояло препятствие. Через два десятилетия после того, как Калаби сформулировал свое утверждение, очень немногие из математиков – как, впрочем, и сам автор гипотезы – верили в ее истинность. По сути, она была слишком хороша, чтобы быть истинной. Я также находился в рядах скептиков, но, не желая оставаться далее на вторых ролях, скрывал свои сомнения. С другой стороны, я горел желанием доказать ее неверность.
Пятая главаДоказывая Калаби
Математическое доказательство чем‑то напоминает восхождение на гору. На первом этапе, конечно, требуется найти гору, которая стоила бы восхождения. Представьте себе отдаленную пустынную местность, где еще не ступала нога человека. В наши дни такую местность обнаружить непросто, не говоря уже о том, удастся ли там найти что‑то стоящее. Затем альпинист разрабатывает план, как добраться до вершины, который кажется ему безупречным, по крайней мере, на бумаге. После приобретения нужных инструментов и оборудования, а также необходимых навыков, авантюрист приступает к восхождению, однако останавливается, столкнувшись с неожиданными трудностями. Но те, кто пойдет по его следам, используя те из его приемов, которые оказались удачными, выбирая другие пути, – достигнут новых высот на пути к вершине. Наконец появляется некто, не только имеющий хороший план, позволяющий избежать прошлых ошибок, но и решительно настроенный на то, чтобы покорить эту вершину и, возможно, установить на ней флаг в знак своего достижения. В математике угроза жизни и здоровью первопроходцев не столь велика, да и их приключения едва ли покажутся захватывающими кому‑либо со стороны. И завершение долгого доказательства ученый не отмечает установкой флага. Он (или она) публикует это доказательство в научном журнале. Или в подстрочном примечании. Или в техническом приложении. В любом случае, и в нашей области есть и азарт, и опасность, с которыми мы постоянно сталкиваемся в процессе поисков, и успех сопутствует тем из нас, кому удалось по‑новому взглянуть на скрытые тайны природы.