Канделас и Грин были весьма озабочены возможностью допущенной ими ошибки, но им никак не удавалось понять, где именно они встали на неверный путь. В то время я много общался с обоими, особенно с Грином, и меня также занимал вопрос, где именно в процессе интегрирования по бесконечномерному пространству, которое нужно было затем свести к конечной размерности, могла быть допущена какая-либо неточность. Конечно, в ходе математических преобразований неоднократно приходилось сталкиваться с проблемой выбора, причем ни один из вариантов нельзя было считать совершенным. Однако хотя все это ставило Канделаса и Грина в несколько неловкое положение, нам не удавалось обнаружить какую-либо погрешность в их рассуждении, основанном скорее на физических идеях, нежели на строгом математическом доказательстве. Более того, несмотря на критику со стороны математиков, они остались верны зеркальной симметрии.
Все прояснилось приблизительно через месяц, когда Эллингсруд и Штремме обнаружили ошибку в своей компьютерной программе. Исправив ее, они получили тот же ответ, что и Канделас с соавторами. Норвежские математики проявили высокую степень научной честности, запустив заново свою программу, перепроверив результаты и обнародовав свою ошибку. На их месте многие постарались бы скрывать найденную ошибку как можно дольше, но Эллингсруд и Штремме сделали противоположное, моментально проинформировав научное сообщество как об ошибке, так и о ее исправлении.
Для зеркальной симметрии заявление, сделанное Эллингсрудом и Штремме, стало настоящим моментом истины. Оно не только привело к дальнейшему развитию этой области, но и помогло изменить отношение к самой идее. Если до этого многие математики считали зеркальную симметрию полной чушью, то теперь пришлось признать, что им все же есть чему поучиться у физиков. Показательно, что математик Дэвид Моррисон, в то время работавший в Университете Дьюка, на встрече в Беркли был одним из наиболее ярых критиков. Однако после описанных событий его мнение полностью изменилось, и вскоре ему даже удалось внести существенный вклад в концепцию зеркальной симметрии, теорию струн и теорию переходов с изменением топологии для многообразий Калаби-Яу.
Разобравшись с проблемой Шуберта для кривых третьего порядка, Канделас и его коллеги применили разработанный ими метод зеркальной симметрии для нахождения решений в случае кривых со степенями от единицы до десяти. В результате они получили общую формулу, позволяющую для трехмерной поверхности пятого порядка найти число кривых любой необходимой степени. Проделав это, они встали на прямую дорогу, ведущую к решению задачи вековой давности, еще в 1900 году названной немецким математиком Дэвидом Гильбертом одной из двадцати трех важнейших математических задач современности, — речь идет о попытке построить «строгое основание исчислительной геометрии Шуберта», обеспечив таким образом «возможность заранее предсказать как степень полученных уравнений, так и число их решений».[107] Формула, выведенная Канделасом, удивила многих из нас. Численные решения задачи Шуберта оказались обычными последовательностями чисел, не имеющими ни общих особенностей поведения, ни видимых связей между собой. Впрочем, работа Канделаса и его коллег показала, что эти числа не являются случайными, а представляют собой важную часть завершенной структуры.
Существование данной структуры, установленное Канделасом и его сотрудниками, позволило получить формулу, необходимую для дальнейшей работы. Эта формула была проверена при помощи большого числа математических вычислений для полиномов со степенями от одного до четырех. О первых трех задачах уже шла речь ранее, а для кривых четвертого порядка решение было получено в 1995 году математиком Максимом Концевичем (в настоящее время работает в Институте высших научных исследований) — он получил число 242 467 530 000. Хотя формула, полученная группой Канделаса, полностью согласовывалась со всеми известными данными, вопрос о строгом доказательстве все еще был открыт. Многие математики, включая Концевича, предприняли немало усилий для представления уравнений Канделаса в форме полноценной гипотезы — в основном, за счет определения слагаемых, входящих в уравнения. Полученное в результате утверждение, известное как гипотеза о зеркальной симметрии, уже можно было подвергнуть окончательной проверке — математическому доказательству. Доказательство гипотезы о зеркальной симметрии стало обоснованием идеи зеркальной симметрии самой по себе.
Здесь я вынужден упомянуть одну из конфликтных ситуаций, которые время от времени возникают в математике. Как мне кажется, подобные ситуации неизбежны, поскольку мы живем в несовершенном мире, населенном несовершенными существами, а математика, несмотря на устоявшееся мнение о ней, совсем не является чистой интеллектуальной деятельностью, огражденной от политики, честолюбия, конкуренции и эмоций. Часто оказывается, что в подобных вопросах чем мельче причина для спора, тем большие она вызывает разногласия.
Мы с моими коллегами занимались исследованием гипотезы о зеркальной симметрии и ее обобщениями с 1991 года — со времени объявления Канделасом своих результатов. В статье, выложенной на сайт arXiv.org в марте 1996 года, Александр Гивенталь из Калифорнийского университета заявил, что ему удалось доказать гипотезу о зеркальной симметрии. Мы тщательно проработали эту статью и сочли ее — и в этом мы были не одиноки — крайне неясной. В том же году я лично пригласил моего коллегу из Массачусетского технологического института, считавшегося экспертом в этой области (который пожелал, чтобы его имя в этой книге осталось неназванным), прочитать на моем семинаре лекцию, посвященную доказательству Гивенталя. Он вежливо отказался, упомянув о своих серьезных сомнениях в убедительности аргументов, приведенных в статье. Точно так же и мне с моими коллегами не удалось шаг за шагом воспроизвести доказательство Гивенталя, несмотря на все наши попытки связаться с ним и соединить воедино те фрагменты, которые нам казались наиболее запутанными. Тогда мы приняли решение оставить эти бесплодные усилия и год спустя опубликовали наше собственное доказательство гипотезы о зеркальной симметрии.
Некоторые эксперты, в том числе Газман, назвали нашу статью «первым полным и строгим доказательством» гипотезы, аргументируя это тем, что доказательство Гивенталя «было весьма тяжелым для понимания, а в ряде мест — неполным»[108]. Дэвид Кокс, математик из колледжа Амхерст, являвшийся соавтором (вместе с Кацом) книги «Зеркальная симметрия и алгебраическая геометрия», также заявил о том, что мы представили «первое полное доказательство гипотезы».[109] С другой стороны, многие придерживались иного мнения, утверждая, что доказательство Гивенталя, опубликованное за год до нашего, было абсолютно полным и не содержало в себе каких-либо серьезных пробелов. Оставляя другим возможность продолжать дискуссию по этому поводу, сам я полагаю наилучшим объявить, что эти две статьи, сведенные вместе, представляют собой доказательство гипотезы о зеркальной симметрии, и оставить этот вопрос. Дальнейшее продолжение спора не имеет смысла, особенно в свете того, что в математике все еще полно нерешенных проблем, являющихся куда более достойным объектом для приложения усилий.
Итак, отбросив противоречия, зададимся вопросом: что же доказывают эти две статьи? Прежде всего, доказательство гипотезы о зеркальной симметрии подтвердило правильность формулы Канделаса для числа кривых определенного порядка. Но на самом деле наше доказательство было шире. Формула Канделаса была применима для подсчета числа кривых только на трехмерной поверхности пятого порядка, тогда как наши доказательства можно было использовать для гораздо более широкого класса многообразий Калаби-Яу, в том числе и для тех многообразий, к которым проявляют интерес физики, а также для других объектов, таких как векторные расслоения, о которых пойдет речь в девятой главе. Более того, наше обобщение позволяло использовать гипотезу о зеркальной симметрии не только для подсчета кривых, но и для получения других геометрических характеристик.
Как мне кажется, доказательство этой гипотезы позволило провести последовательную проверку некоторых идей из области теории струн с точки зрения строгой математики, что обеспечило данной теории крепкую математическую основу. Впрочем, теория струн не осталась в долгу перед математикой, поскольку зеркальная симметрия привела к созданию нового раздела алгебраической геометрии — нумеративой геометрии, — внеся существенный вклад в решение давних проблем в этой области. В самом деле, многие из моих коллег, занимающихся алгебраической геометрией, рассказывали мне, что единственной работой за последние пятнадцать лет, которая вызвала у них интерес, стала работа, вдохновленная идеями о зеркальной симметрии. Огромный вклад в математику со стороны теории струн вынудил меня признать, что физическая интуиция определенно должна чего-то стоить. Это означало, что даже если природа и не работает строго по законам теории струн, эта теория, тем не менее, должна содержать в себе немалую долю истины, поскольку ее применение открывало путь к решению многих классических проблем, которые математики были не в состоянии решить самостоятельно. Даже сейчас, много лет спустя, невозможно представить себе независимый путь вывода формулы Канделаса, в котором не использовались бы идеи теории струн.
