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

Эта теорема очень похожа на доказательство гипотезы Калаби, поскольку в обоих случаях мы стремились свести задачу, включающую систему неприятных нелинейных уравнений, с которыми мы не умеем работать, к геометрической задаче, которую мы умеем решать. В случае Калаби я никогда не решал соответствующие дифференциальные уравнения в явном виде. Я только показал, что если многообразие удовлетворяет определенным условиям (компактное, кэлерово, с исчезающим первым классом Черна), что можно проверить с помощью стандартных процедур алгебраической геометрии, то должно существовать решение таких уравнений в форме риччи-плоской метрики. DUY работает аналогичным образом, предполагая наличие такого расслоения, точнее, устойчивости наклона, чтобы решения эрмитовых уравнений Янга-Миллса всегда существовали. В алгебраической геометрии также разработаны методы для оценки устойчивости расслоения, хотя это оказалось намного сложнее, чем проверить, является первый класс Черна для многообразия исчезающим или нет.

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

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

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

Рис. 9.4. Карен Уленбек (фото любезно предоставлено Техасским университетом в Остине)

Однако это не самое интересное в DUY. Истинная сила DUY состоит в предписании условий (снова в отношении устойчивости), которым должны удовлетворять другие расслоения (а не только касательное расслоение), чтобы решения эрмитовых уравнений Янга-Миллса существовали.

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

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