Теория струн и скрытые измерения вселенной, стр. 39

Один из возможных подходов к задаче такого типа состоит в том, чтобы взять абсолютное значение — модуль функции, которое говорит о ее величине в целом вне зависимости от того, положительное или отрицательное значение она принимает. Для того чтобы проверить функцию u, нужно показать, что ее абсолютное значение в любой точке пространства будет меньше постоянной величины c (или равно ей). Поскольку значение c точно определено, необходимо просто показать, что функция u не может произвольно принимать очень большие или очень малые значения. Иными словами, утверждение, которое мы хотим доказать, является простым неравенством, утверждающим, что модуль функции u должен быть меньше или равен c: |u|?c. И хотя оно выглядит не особо сложным, в том случае, когда u является комплексным объектом, доказательство требует достаточно много усилий.

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

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

Поэтому я проверял и перепроверял свое доказательство, рассмотрев его четыре раза с четырех совершенно разных позиций. Я проверял его столько раз, что поклялся, что если я окажусь неправ, то брошу математику. Но все мои попытки найти огрехи в доказательстве оказались тщетными. Насколько я мог судить, в нем все было идеально. Поскольку в те времена еще не существовало Интернета, где я мог бы просто опубликовать черновик своей статьи и попросить прокомментировать его, я избрал старомодный путь — выслал копию моего доказательства Калаби и отправился в Филадельфию для дальнейшей дискуссии с ним самим и другими геометрами с математического факультета Пенсильванского университета, в том числе и с Джерри Кадзаном.

Калаби счел мое доказательство безупречным, но мы договорились встретиться с Ниренбергом и проработать его вместе шаг за шагом. Так как найти время, когда мы все трое были бы свободны, было весьма непросто, наша встреча пришлась на Рождество 1976 года — единственный день, в который никто из нас не имел неотложных дел. На этой встрече нам так и не удалось найти в доказательстве ни одной ошибки — впрочем, чтобы окончательно удостовериться в правильности доказательства, требовалось намного больше времени. «На первый взгляд оно выглядит весьма правдоподобно, — вспоминал Калаби. — Но чрезвычайная сложность этого доказательства требует еще порядка месяца для более детальной проверки».[53]

По окончании срока, отпущенного на рецензирование, Калаби и Ниренберг выразили свое полное согласие с моим доказательством. С этого момента гипотезу Калаби можно было объявить доказанной, и за прошедшие с того времени тридцать с лишним лет никто так и не смог поколебать это утверждение. На сегодняшний день доказательство гипотезы Калаби выдержало столько проверок, проведенных столь значительным числом ученых, что едва ли можно ожидать обнаружения в нем существенных ошибок в дальнейшем.

Итак, что же мне удалось сделать? Доказательством гипотезы Калаби я еще раз укрепил свое убеждение о том, что важнейшие математические проблемы могут быть разрешены путем объединения геометрии с дифференциальными уравнениями в частных производных. Более конкретно, я доказал существование риччи-плоской метрики для компактных кэлеровых пространств, первый класс Черна для которых обращается в нуль, хотя я и не смог написать точную формулу, определяющую метрику саму по себе. Все, что я мог сказать, — это то, что подобная метрика существовала, но точный ее вид так и остался мне неизвестным.

Хотя это может прозвучать несколько неожиданно, метрика, существование которой я доказал, обладала почти сверхъестественными свойствами. В качестве постскриптума к своему доказательству я показал возможность существования множества фантастических многомерных пространств, известных сейчас как пространства Калаби-Яу, которые удовлетворяли уравнениям Эйнштейна в случае отсутствия в них материи. Таким образом, я обнаружил не просто решение, а самый многочисленный из известных класс решений уравнений Эйнштейна.

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

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

В первое время я просто наслаждался красотой этих замысловатых пространств и кривизны самой по себе, не задумываясь об их возможных применениях. Но уже вскоре оказалось, что эти пространства имеют множество применений, как в рамках математики, так и за ее пределами. Однажды мы уже сочли гипотезу Калаби «слишком хорошей, чтобы быть истинной». На самом деле она оказалась даже лучше, чем мы думали.

Шестая глава

ДНК теории струн

При поиске алмазов, если вам повезет, вы также можете найти и другие драгоценные камни. Когда я заявил о своем доказательстве гипотезы Калаби в 1977 году в своей двухстраничной статье, за которой последовало само доказательство на семидесяти трех страницах в 1978-м, я также объявил о доказательстве еще пяти теорем, относящихся к данной гипотезе. Такая плодотворность во многом стала следствием тех необычных обстоятельств, в которых завязывались мои отношения с гипотезой Калаби, — начав с попыток доказать ее ошибочность, я затем резко сдал назад и стал доказывать ее истинность. К счастью, оказалось, что мои усилия не были потрачены даром — все мои ошибочные шаги, все те безвыходные положения, в которые я попадал, впоследствии были мной использованы. Придуманные мной контрпримеры — следствия, логически вытекающие из гипотезы Калаби, которые, как я полагал, должны были оказаться ложными, — также оказались истинными. Эти неудавшиеся контрпримеры на самом деле были настоящими примерами и вскоре были представлены мной в виде нескольких небезынтересных математических теорем.