Общаясь со своими коллегами на протяжении конференции, я случайно упомянул, что нашел возможный способ раз и навсегда опровергнуть Калаби. После непродолжительных уговоров я согласился посвятить один из вечеров неофициальному обсуждению своей идеи, хотя уже запланировал несколько официальных докладов. На мое выступление собрались порядка двадцати человек — и атмосфера была весьма накалена. Когда же я закончил изложение своих идей, все, казалось, согласились с моей аргументацией. Калаби также присутствовал и не высказал совершенно никаких возражений. Мне вынесли личную благодарность, объявив, что своим докладом я внес большой вклад в программу конференции, и впоследствии я весьма гордился этим.
Спустя несколько месяцев Калаби связался со мной, попросив прислать ему мое опровержение его гипотезы, поскольку он «ломал голову» над некоторыми деталями моих рассуждениях. Это побудило меня засесть за более строгое доказательство. Получив письмо Калаби, я почувствовал необходимость повторить весь ход своих рассуждений еще раз. Я работал очень усердно, на протяжении двух недель практически не оставляя времени даже на сон, чем почти довел себя до состояния нервного истощения. Всякий раз, когда мне казалось, что доказательство уже почти у меня в руках, в последнюю секунду все рассыпалось буквально у меня на глазах, причем самым обидным образом. После двухнедельного мучения я решил, что с моими рассуждениями что-то не так. Единственным выходом было сдаться и попробовать начать работу в противоположном направлении. Иными словами, я пришел к выводу о том, что гипотеза Калаби должна быть истинной. Это поставило меня в весьма любопытное положение: после изнурительных попыток доказать ошибочность утверждения Калаби мне теперь предстояло доказывать его истинность. А если гипотеза верна, то все, что из нее следует, все, что слишком хорошо, чтобы быть правдой, — действительно должно быть правдой.
Доказательство гипотезы Калаби подразумевало доказательство существования риччи-плоской метрики, а это означало решение уравнений в частных производных. Не просто любых дифференциальных уравнений в частных производных, а очень нелинейных уравнений определенного типа: комплексные уравнений Монжа-Ампера.
Уравнения Монжа-Ампера получили свое название в честь французского математика Гаспара Монжа, который начал изучать уравнения такого рода во времена Французской революции, и французского физика и математика Андре-Мари Ампера, продолжившего работу над ними несколько десятилетий спустя. Работать с этими уравнениями далеко не просто.
В качестве простейшего примера из повседневной жизни, поясняющего идеи Калаби, рассмотрим плоский пластичный лист с фиксированным периметром. Предположим теперь, что этот лист либо растягивается, либо сжимается. Вопрос в следующем: как в процессе сжатия или растяжения изменяется форма листа? Растяжение средней части листа приводит к возникновению на нем выпуклости с положительной кривизной, и соответствующее решение уравнения Монжа-Ампера будет принадлежать к эллиптическому типу. И наоборот, если внутренняя часть листа сжимается, то поверхность приобретает форму седла с отрицательной кривизной во всех своих точках, — решение будет гиперболическим . Наконец, если кривизна окажется равной нулю во всех точках, то можно ожидать решения параболического типа. Всем трем случаям будет соответствовать одно и то же уравнение Монжа-Ампера, но, как указал Калаби, «решать его необходимо совершенно разными методами». [47] Eugenio Calabi (University of Pennsylvania), interview with author, May 14, 2008.
Из трех перечисленных типов дифференциальных уравнений лучше всего мы умеем решать и анализировать уравнения эллиптического типа. Эллиптические уравнения относятся к простейшему — стационарному случаю, в котором рассматриваемые объекты неподвижны в пространстве и времени. Они описывают физические системы, не изменяющиеся с течением времени, такие как барабан, мембрана которого после остановки колебаний вернулась в состояние равновесия. Кроме того, решения эллиптических уравнений считаются наиболее простыми для понимания, поскольку соответствующие им графики являются гладкими и при их анализе проблемы с сингулярностями возникают весьма редко, хотя появление сингулярностей в решениях некоторых нелинейных эллиптических уравнений не исключено.
Гиперболические дифференциальные уравнения описывают процессы, подобные волнам или колебаниям, которые никогда не достигают равновесного состояния. Решения таких уравнений, в отличие от решений эллиптических, обычно обладают сингулярностями, и работать с ними намного сложнее. Если с линейными гиперболическими уравнениями, в которых изменение одной переменной приводит к пропорциональному изменению другой, мы уже научились управляться достаточно хорошо, то каких-либо эффективных инструментов для работы с нелинейными гиперболическими уравнениями, а именно для управления возникающими в них сингулярностями, попросту не существует.
Читать дальше