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

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

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

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

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

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

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

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

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

Второй шаг заключается в построении расслоения, которое даст не только калибровочные поля Стандартной модели, но также устранит аномалии – отрицательные вероятности, нежелательные бесконечности и другие раздражающие свойства, которые были присущи самым первым версиям теории струн. Когда Майкл Грин и Джон Шварц проиллюстрировали способ устранения аномалий в своей знаменитой работе 1984 года, их аргумент был сформулирован в терминах калибровочных полей. Выражая аналогичную идею в геометрических и топологических терминах, можно сказать, что расслоение будет удовлетворять требованию устранения аномалий, если его второй класс Черна равен второму классу Черна касательного расслоения.

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