Шинтан Яу - Теория струн и скрытые измерения Вселенной

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

Важнейшая из этих теорем вела к доказательству гипотезы Севери (комплексного варианта гипотезы Пуанкаре), задачи, которая оставалась нерешенной на протяжении двух десятилетий. Но прежде чем дойти до этого, я доказал одно важное неравенство, напрямую связанное с вопросом классификации поверхностей на основе их топологии, которым я заинтересовался, отчасти благодаря моему разговору с гарвардским математиком Дэвидом Мамфордом, проезжавшим в то время через Калифорнию. Задача, о которой идет речь, впервые была выдвинута Антониусом ван де Веном из Лейденского университета и относилась к вопросу о неравенстве между классами Черна для кэлеровых многообразий. Ван де Вен доказал, что для любого многообразия второй класс Черна, умноженный на восемь, должен быть больше или равен квадрату первого класса Черна того же многообразия. Притом многие полагали, что этому неравенству можно придать более сильную форму, заменив восьмерку на тройку. Действительно, тройку можно было бы считать оптимальным значением. Вопрос, поставленный Мамфордом, состоял в возможности доказательства этого более сильного утверждения. Смысл выражения «более сильное утверждение» заключается в том, что, согласно предположению Мамфорда, некая величина, а именно второй класс Черна, будет больше, чем некая другая, не только при умножении на восемь, но и при умножении на меньшее число — три.

Мамфорд поднял этот вопрос во время своей лекции в Калифорнийском университете в Ирвине в сентябре 1976 года; я также присутствовал на ней, как раз незадолго до этого закончив работу над доказательством гипотезы Калаби. Во время доклада Мамфорда мне стало понятно, что я уже сталкивался с этой задачей раньше. Поэтому в процессе дискуссии, возникшей по окончании лекции, я сказал Мамфорду, что смогу доказать этот более сложный случай. Придя домой, я проверил свои расчеты и обнаружил, что, как я и подозревал, этот тип неравенства я пытался использовать в 1973 году для опровержения гипотезы Калаби; теперь же я мог использовать теорему Калаби-Яу для доказательства этого неравенства. Более того, доказав упомянутое выше утверждение, я теперь мог воспользоваться его частным случаем, а именно случаем равенства (второй класс Черна, умноженный на три, равен квадрату первого класса Черна) для доказательства гипотезы Севери.

Эти две теоремы, открывшие путь к доказательству гипотезы Севери и более общего неравенства, иногда называемого неравенством Богомолова-Мияока-Яу (я привожу полное название, чтобы выразить признательность двум другим математикам, внесшим вклад в решение этой задачи), стали первыми побочными результатами доказательства гипотезы Калаби, за которыми последовали многие другие. Гипотеза Калаби, по сути, оказалась намного обширнее, чем я считал до этого. Она применима не только к случаю нулевой кривизны Риччи, но и к случаям постоянной отрицательной и постоянной положительной кривизны. Никто до сих пор не исследовал случай положительной кривизны в наиболее общем виде, для которого гипотеза Калаби заведомо ложна. Я сформулировал новую гипотезу, определяющую условия, при которых метрика с положительной кривизной Риччи может существовать. На протяжении последних двух десятилетий многие математики, в том числе и Дональдсон, внесли значительный вклад в доказательство этой гипотезы, но окончательного доказательства до сих пор нет. При этом мне удалось исследовать случай отрицательной кривизны как часть общего доказательства гипотезы Калаби, независимо от меня этот же результат был получен французским математиком Тьерри Обеном. Решение, найденное для случая отрицательной кривизны, позволило показать существование широкого класса объектов, называемых многообразиями Кэлера-Эйнштейна, создав тем самым новые области геометрии, оказавшиеся необычайно плодотворными.

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

Мне было весьма приятно пожинать плоды своих трудов и наблюдать, как другие вслед за мной прокладывают пути в те места, которые самому мне оказались недоступны. И все же, несмотря на все успехи, кое-что по-прежнему не давало мне покоя. В глубине души я был уверен, что эта работа должна иметь не только математические, но и физические приложения, хотя и не мог точно сказать, какие. В некоторой степени моя уверенность объяснялась тем, что дифференциальные уравнения, задействованные в гипотезе Калаби — в случае нулевой кривизны Риччи, — представляли собой уравнения Эйнштейна для пустого пространства, соответствующие Вселенной без дополнительной вакуумной энергии, космологическая постоянная для которой была бы равна нулю. В настоящее время космологическую постоянную принято считать положительной и связанной с темной энергией, заставляющей Вселенную расширяться. Кроме того, многообразия Калаби-Яу представляли собой решения дифференциальных уравнений Эйнштейна, также как, например, единичная окружность представляет собой решение уравнения x 2+y 2=0 .