Поток Риччи

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

История

Идея использования потока кривизны для изучения геометрических структур восходит к работам Ричарда Гамильтона, который в 1982 году впервые предложил и проанализировал уравнение потока Риччи. Гамильтон показал, что на трёхмерных многообразиях с положительной кривизной Риччи поток сходится к метрике постоянной положительной кривизны, что позволило классифицировать такие многообразия. Однако на многообразиях с более сложной топологией поток может приводить к образованию сингулярностей — точек, где кривизна становится бесконечной за конечное время.

Ключевой прорыв в понимании и преодолении сингулярностей был сделан Григорием Перельманом в 2002–2003 годах. Он опубликовал серию препринтов, в которых предложил метод «хирургии» — процедуры разрезания многообразия вдоль сингулярностей и продолжения потока после них. Перельман также доказал, что поток Риччи с хирургией может быть продолжен на бесконечное время, и что в пределе многообразие распадается на части, каждая из которых несёт одну из восьми геометрий Тёрстона. На основе этого он завершил доказательство гипотезы геометризации, частным случаем которой является гипотеза Пуанкаре.

Математическая формулировка

Пусть \( (M, g(t)) \) — гладкое риманово многообразие с однопараметрическим семейством метрик \( g(t) \), где \( t \in [0, T) \). Поток Риччи определяется уравнением:

\[ \frac{\partial g_{ij}}{\partial t} = -2 R_{ij} \]

где \( R_{ij} \) — компоненты тензора кривизны Риччи. Знак минус означает, что метрика деформируется в направлении уменьшения кривизны: области с положительной кривизной сжимаются, а с отрицательной — расширяются. В нормированном варианте потока добавляется член, сохраняющий объём многообразия, что позволяет изучать асимптотическое поведение.

Свойства

• Коротковременная разрешимость: Для любого гладкого начального многообразия существует единственное решение уравнения потока Риччи на некотором интервале времени \( [0, \varepsilon) \).
• Сингулярности: Если кривизна становится неограниченной за конечное время, поток останавливается. Типичные сингулярности возникают при формировании «шейки» (области с большим сжатием) или «вырождения» метрики.
• Инвариантность: Поток Риччи сохраняет некоторые свойства многообразия, например, его размерность и топологический тип (до момента сингулярности).

Классификация сингулярностей

Сингулярности потока Риччи классифицируются по типу возникающей геометрии:

• Тип I: Максимальная кривизна растёт как \( \frac{C}{T-t} \). Такие сингулярности часто соответствуют образованию «шейки» — цилиндрической области, которая затем может быть разрезана.
• Тип II: Кривизна растёт медленнее, что приводит к более сложным вырождениям, например, к образованию «огранки» (англ. cusp) или «сморщивания» (англ. neck pinch).
• Тип III: Кривизна остаётся ограниченной, но метрика деформируется так, что многообразие становится некомпактным.

Перельман показал, что в трёхмерном случае все сингулярности могут быть классифицированы и «прооперированы» с помощью хирургии, что позволяет продолжать поток.

Применение в доказательстве гипотезы Пуанкаре

Гипотеза Пуанкаре утверждает, что всякое односвязное компактное трёхмерное многообразие без края гомеоморфно трёхмерной сфере \( S^3 \). Доказательство Перельмана использует поток Риччи следующим образом:

1. Начальная метрика на многообразии задаётся произвольно (например, с помощью «грубой» метрики).
2. Запускается поток Риччи. Если многообразие односвязно, то в процессе эволюции не возникает топологических препятствий к сглаживанию.
3. Возникающие сингулярности проходят через хирургию, которая не меняет топологию (разрезание вдоль дисков и вклеивание трёхмерных шаров).
4. После конечного числа операций поток останавливается, и многообразие распадается на части, каждая из которых имеет метрику постоянной положительной кривизны — то есть является сферой \( S^3 \).
5. Поскольку исходное многообразие односвязно, оно не может распасться на несколько компонент, и в итоге оказывается гомеоморфным \( S^3 \).

Применение в геометризации Тёрстона

Гипотеза геометризации Тёрстона (доказанная Перельманом) утверждает, что любое компактное трёхмерное многообразие может быть единственным образом разбито на части, каждая из которых несёт одну из восьми возможных геометрий: сферическую, евклидову, гиперболическую, \( S^2 \times \mathbb{R} \), \( H^2 \times \mathbb{R} \), \( SL(2,\mathbb{R}) \), \( Nil \), \( Sol \). Поток Риччи с хирургией позволяет последовательно выделить эти геометрические блоки:

• Части с положительной кривизной (сферическая геометрия) сжимаются и отсекаются.
• Части с нулевой кривизной (евклидова или \( Nil \)) стабилизируются.
• Части с отрицательной кривизной (гиперболическая геометрия) расширяются и становятся асимптотически гиперболическими.

Обобщения и модификации

Поток Риччи имеет несколько важных обобщений:

• Кэлеров поток Риччи: Применяется к кэлеровым многообразиям, где метрика сохраняет комплексную структуру. Используется в комплексной геометрии для изучения многообразий Калаби-Яу.
• Поток Риччи с хирургией: Модификация, предложенная Перельманом, позволяющая продолжать поток через сингулярности. Требует точного контроля над геометрией в окрестности сингулярностей.
• Поток Риччи с масштабированием: Вводится дополнительный параметр для сохранения объёма или других инвариантов.
• Поток Риччи на многообразиях с краем: Изучается для многообразий с границей, где накладываются граничные условия (например, условие минимальной поверхности).

Критика и сложности

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

• Доказательство Перельмана было признано верным, но его оригинальные препринты содержали лаконичные и сложные для понимания аргументы. Последующие работы (например, книги Моргана и Тиана, а также Клейнера и Лотта) предоставили полные и подробные изложения.
• Четырёхмерный случай и выше остаётся менее изученным. Поток Риччи на четырёхмерных многообразиях может приводить к более разнообразным сингулярностям, и полная классификация пока не получена.
• Численное моделирование потока Риччи затруднено из-за высокой нелинейности и необходимости отслеживать сингулярности. Существуют алгоритмы для двумерных и некоторых трёхмерных случаев, но для общих многообразий задача остаётся открытой.

Интересные факты

• Григорий Перельман отказался от премии Математического института Клэя в размере 1 миллиона долларов за доказательство гипотезы Пуанкаре, а также от Филдсовской медали (2006 год).
• Поток Риччи является частным случаем более общего потока кривизны, который включает поток средней кривизны и поток Гауссовой кривизны.
• В двумерном случае (поверхности) поток Риччи эквивалентен потоку с постоянной кривизной, и его решение всегда сходится к метрике постоянной кривизны (теорема Гамильтона-Чоу).

Источники

• Hamilton, R. S. (1982). "Three-manifolds with positive Ricci curvature". Journal of Differential Geometry.
• Perelman, G. (2002). "The entropy formula for the Ricci flow and its geometric applications". arXiv:math.DG/0211159.
• Perelman, G. (2003). "Ricci flow with surgery on three-manifolds". arXiv:math.DG/0303109.
• Morgan, J., & Tian, G. (2007). Ricci Flow and the Poincaré Conjecture. Clay Mathematics Monographs.
• Kleiner, B., & Lott, J. (2008). "Notes on Perelman's papers". Geometry & Topology.