Гипотеза Пуанкаре доказана

Задача

В 1904 году Анри Пуанкаре спросил: если замкнутое трёхмерное многообразие односвязно (всякая петля в нём стягивается в точку), обязано ли оно быть трёхмерной сферой?

Вопрос обманчиво прост. В размерности 2 ответ известен и элементарен: замкнутая односвязная поверхность — это сфера. В размерностях 5 и выше гипотезу доказал СмейлСтивен Смейламериканский математик · род. 1930Доказал гипотезу Пуанкаре сразу для всех размерностей от пяти и выше — тех, что считались самыми трудными; выяснилось, что чем больше места, тем проще. (1960), в размерности 4 — ФридманМайкл Фридманамериканский математик · род. 1951Доказал гипотезу Пуанкаре в размерности четыре — той, что считалась непроходимой, — и заодно описал все односвязные четырёхмерные многообразия одним инвариантом. (1981). Осталась именно та размерность, с которой начинали, и осталась она на 99 лет. В 2000 году гипотеза Пуанкаре вошла в список семи задач тысячелетия Института Клэя с премией в миллион долларов за каждую.

Программа Тёрстона

Прямой штурм не удавался, и в 1970-е Уильям ТёрстонУильям Тёрстонамериканский математик · 1946–2012Предложил порядок в мире трёхмерных многообразий: всякое режется на куски, и каждый несёт одну из восьми геометрий. Гипотеза Пуанкаре оказалась мелким частным случаем. предложил обходной путь — гипотезу геометризации (1978). Её идея — перенести на три измерения то, что в двух измерениях известно как теорема об униформизации: всякая замкнутая поверхность допускает метрику постоянной кривизны, положительной (сфера), нулевой (тор) или отрицательной (поверхности рода $\geqslant2$). Геометрия и топология поверхностей связаны жёстко.

Тёрстон утверждал: всякое замкнутое трёхмерное многообразие можно разрезать каноническим образом на куски, каждый из которых допускает одну из восьми однородных геометрий:

$$\mathbb{E}^{3},\quad S^{3},\quad \mathbb{H}^{3},\quad S^{2}\times\mathbb{R},\quad \mathbb{H}^{2}\times\mathbb{R},\quad \widetilde{SL_{2}(\mathbb{R})},\quad \mathrm{Nil},\quad \mathrm{Sol}.$$

Три первых — знакомые нам по всей этой линии геометрии постоянной кривизны: евклидова, сферическая и ЛобачевскогоНиколай Иванович Лобачевскийрусский математик, ректор Казанского университета · 1792–1856Первым напечатал геометрию, в которой параллельных больше одной, — и двадцать лет выслушивал, что это бессмыслица.. Остальные пять — однородные, но не изотропные: в них разные направления не равноправны.

Гипотеза Пуанкаре получается отсюда как частный случай: односвязное многообразие может нести только сферическую геометрию, а единственное такое многообразие — $S^{3}$. Тёрстон доказал свою гипотезу для большого класса случаев (за что получил Филдсовскую медаль 1982 года), но в общем виде она устояла.

Риччиев поток

Инструмент придумал Ричард Гамильтон в 1982 году. Идея — заставить метрику эволюционировать по уравнению

$$\frac{\partial g_{ij}}{\partial t}=-2R_{ij},$$

где справа стоит тензор Риччи (он же у Риччи-Курбастро). Это уравнение теплопроводности для метрики: там, где кривизна велика, пространство сжимается быстрее, там, где мала, — медленнее. Кривизна «растекается», как температура в остывающем теле, и метрика должна стремиться к однородной — то есть к одной из восьми геометрий Тёрстона.

Простейший пример: круглая сфера радиуса $r$. Для неё $R_{ij}=\frac{2}{r^{2}}g_{ij}$, и уравнение даёт $\dfrac{d(r^{2})}{dt}=-4$, то есть

$$r(t)=\sqrt{r_{0}^{2}-4t}.$$

Сфера равномерно сжимается и схлопывается в точку за конечное время $t=r_{0}^{2}/4$. Формально это особенность — но особенность «хорошая»: перед смертью сфера остаётся сферой, и мы узнаём её топологию.

Гамильтон доказал важную теорему (1982): если начальная метрика на трёхмерном многообразии имеет положительную кривизну РиччиГрегорио Риччи-Курбастроитальянский математик · 1853–1925Двадцать лет разрабатывал исчисление, которым никто не пользовался, — пока Эйнштейну не понадобилось записать тяготение., поток сходится к метрике постоянной кривизны, и многообразие оказывается сферой (или её факторов). Но в общем случае возникали особенности другого рода — перетяжки шеи: часть многообразия истончается в тонкую трубку и рвётся. Гамильтон предложил вырезать перетяжку и заклеивать разрывы шапочками — «хирургию», — но не смог доказать, что число операций конечно и что процесс не порождает патологий вроде «сигары».

Программа стояла двадцать лет.

Что сделал Перельман

11 ноября 2002 года на arXiv появился препринт «The entropy formula for the Ricci flow and its geometric applications» — 39 страниц. За ним 10 марта 2003 года «Ricci flow with surgery on three-manifolds» и 17 июля 2003 года «Finite extinction time…». Ни журнальной публикации, ни объявленной претензии на решение; в первом препринте сказано лишь, что «набросок доказательства геометризации» приводится.

Ключевые изобретения таковы.

Энтропия. Перельман вводит функционалы $\mathcal{F}$ и $\mathcal{W}$ и доказывает их монотонность вдоль потока. Это превращает риччиев поток в градиентный поток — то есть у него появляется величина, которая может только расти, и, значит, циклическое поведение исключено. Сам он отметил, что $\mathcal{W}$-энтропия формально напоминает энтропию в статистической физике, и структура рассуждения действительно физическая.

Отсутствие локального схлопывания. Из монотонности выводится теорема: вдоль потока не может возникнуть область, в которой объём мал, а кривизна ограничена. Именно эта теорема убивает «сигару» Гамильтона — самое опасное из возможных вырождений.

Канонические окрестности. Всякая точка с достаточно большой кривизной имеет окрестность, устроенную одним из немногих стандартных способов (сферическая шапка, цилиндрическая шея, конус). То есть особенности классифицируются, и потому с ними можно работать хирургически, зная заранее, что именно вырезаешь.

Хирургия с контролем. Перельман показывает, как выбирать масштаб операции, чтобы за конечное время произошло конечное число операций, и накопления не случилось.

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

За препринтами последовали три года проверки. Брюс Кляйнер и Джон Лотт выпустили подробные заметки, Джон Морган и Ган Тянь — книгу, Хуайдун Цао и Си-Пин Чжу — статью, вокруг которой возникла неприятная история с формулировками о приоритете, впоследствии смягчёнными. Итог единодушен: доказательство верно.

Ленинградская предыстория

Перельмановский метод вырос не на пустом месте, и корни его — в том же городе.

Александр Данилович АлександровАлександр Данилович Александровсоветский математик, философ и альпинист · 1912–1999Научил измерять кривизну без производных — сравнением треугольников; полвека спустя именно на его пространствах устояло доказательство Перельмана. (1912–1999) в 1940–50-е годы создал в Ленинграде геометрию метрических пространств с ограниченной кривизной — способ говорить о кривизне без всякой гладкости, через сравнение треугольников с треугольниками на модельной плоскости постоянной кривизны. Это прямое обобщение всего, что было сделано от ГауссаКарл Фридрих Гаусснемецкий математик и астроном · 1777–1855«Король математиков», у которого напечатанное было заметно меньше сделанного: половина результатов пролежала в дневнике до самой смерти — включая неевклидову геометрию. до РиманаБернхард Риманнемецкий математик · 1826–1866Прожил тридцать девять лет и оставил около десяти работ — из которых выросли современная геометрия, теория функций комплексного переменного и главная нерешённая задача математики.: кривизна определяется через толщину треугольника, а не через производные метрики.

Ученики Александрова — Ю. Д. Бураго, В. А. Залгаллер — продолжили школу; в 1992 году Бураго, ГромовМихаил Леонидович Громовсоветский и французский математик · род. 1943Научил смотреть на пространство издалека — так, что детали пропадают, а остаётся форма; из этого вышли геометрия групп, теорема о полиномиальном росте и предельные переходы, без которых не работает… и Перельман написали работу об александровских пространствах, ставшую канонической. Сам Перельман до 2002 года был известен доказательством гипотезы о душе (1994) — короткой и элегантной работой в римановой геометрии. Именно техника предельных переходов в пространствах Александрова позволяет анализировать особенности риччиева потока: когда кривизна взрывается, пространство «уплывает» в предел, и надо уметь описывать этот предел, не имея гладкости.

Так что финальная точка линии стоит в Петербурге не только по месту жительства автора.

Отказ

В 2006 году Международный математический союз присудил Перельману Филдсовскую медаль. Он отказался её принять, сказав, что не считает свой вклад решающим по сравнению с вкладом Гамильтона, и что «премия для него совершенно неважна, если доказательство верно». В 2010 году Институт Клэя присудил ему Премию тысячелетия в миллион долларов — первую и до сих пор единственную из семи. Он отказался и от неё, объяснив это несогласием с организацией математического сообщества. С математической деятельностью он к тому времени порвал.

Замыкание круга

На этой точке линия геометрии смыкается сама с собой, и стоит перечислить, что именно здесь сошлось.

Первое. Вопрос Пуанкаре — топологический: он про то, как многообразие устроено с точностью до непрерывной деформации. Ответ получен геометрическими средствами: на многообразие ставится метрика, и она эволюционирует. Гипотеза геометризации утверждает буквально то, о чём эта линия говорила с самого начала, — что топология трёхмерного мира определяется тем, какие из восьми геометрий на нём умещаются. Спор о пятом постулате, начатый в Александрии, кончается теоремой о том, что геометрий ровно восемь и они исчерпывают трёхмерную топологию.

Второе. Инструмент — уравнение в частных производных параболического типа, то есть чистый анализ; его коэффициенты — тензор Риччи, изготовленный в Падуе для нужд гравитации; техника работы с особенностями — из геометрии метрических пространств, придуманной в Ленинграде без всякой связи с топологией. Три ветви математики, полтора века развивавшиеся врозь, оказались нужны в одном доказательстве.

Третье. География. Топология родилась в Петербурге задачей о семи мостах (ЭйлерЛеонард Эйлершвейцарский математик, работавший в Петербурге и Берлине · 1707–1783Самый плодовитый математик в истории: около 900 работ, половина языка современной математики — от знака $\pi$ до записи $f(x)$ — и способность считать, не глядя., 1736) — и её главный сюжет завершился там же через 267 лет. Неевклидова геометрия родилась в Казани в 1826-м и вернулась в Казань классификацией гравитационных полей в 1954-м. Такие рифмы карта показывает лучше любого учебника.

Четвёртое, и главное. За две тысячи триста лет геометрия прошла путь от «пространство одно, и мы знаем какое» до «пространств бесконечно много, и вопрос о нашем — экспериментальный», а затем до «форма пространства определяет, какие уравнения на нём разрешимы». Пятый постулат оказался не истиной, требующей доказательства, и не ошибкой, требующей исправления, а параметром. Вся история этой линии — история о том, как необязательное принимали за необходимое, и что случилось, когда разобрались.

Задача. Проверьте вычисление для сферы: покажите, что для метрики круглой сферы радиуса $r$ в трёх измерениях $R_{ij}=\frac{2}{r^{2}}g_{ij}$, подставьте в уравнение риччиева потока и получите $r(t)=\sqrt{r_0^{2}-4t}$. Затем проделайте то же для плоского тора ($R_{ij}=0$) и объясните, почему он под действием потока не меняется вовсе.

Следующая точка: Бридлингтон — где отставной печатник вырежет из бумаги одну-единственную плитку и закроет задачу, простоявшую полвека.