Теорема Пуанкаре о трёхмерной сфере¶

Теорема Пуанкаре (гипотеза Пуанкаре) — утверждение о топологической характеризации трёхмерной сферы, сформулированное французским математиком Анри Пуанкаре в 1904 году. Теорема утверждает: всякое односвязное замкнутое трёхмерное многообразие гомеоморфно трёхмерной сфере. Иными словами, если трёхмерное пространство без границы обладает свойством, что любую замкнутую петлю в нём можно стянуть в точку, то оно топологически эквивалентно обычной трёхмерной сфере. Это одна из семи «задач тысячелетия», за доказательство которой в 2002–2003 годах российский математик Григорий Перельман получил (но не принял) премию и медаль Филдса.

¶Формулировка и смысл

Трёхмерная сфера S³ — множество точек четырёхмерного пространства, равноудалённых от начала координат. Она является замкнутым трёхмерным многообразием. Гипотеза Пуанкаре утверждает обратное: любое замкнутое трёхмерное многообразие, у которого фундаментальная группа тривиальна (то есть всякая петля стягивается в точку), гомеоморфно S³.

Ключевые термины:

• Многообразие — пространство, локально устроенное как евклидово пространство.
• Односвязность — свойство, при котором любая замкнутая кривая стягивается в точку.
• Гомеоморфизм — взаимно однозначное непрерывное отображение с непрерывным обратным.

¶История

Пуанкаре сформулировал гипотезу в 1904 году, работая над классификацией многообразий. Изначально он предполагал более слабое утверждение, но обнаружил контрпример и уточнил формулировку. Аналогичное утверждение для размерностей n ≥ 5 доказал Стивен Смейл в 1961 году, для n = 4 — Майкл Фридман в 1982 году. Трёхмерный случай оставался открытым почти столетие.

В 2002–2003 годах Григорий Перельман опубликовал в arXiv три препринта, использующих поток Риччи — метод, развитый Ричардом Гамильтоном. Перельман доказал не только гипотезу Пуанкаре, но и более общую гипотезу геометризации Уильяма Тёрстона. В 2006 году ему присудили медаль Филдса, от которой он отказался; в 2010 году — премию тысячелетия Института Клэя, которую он также не принял.

¶Метод доказательства

Доказательство Перельмана основано на потоке Риччи — уравнении, эволюционирующем метрику многообразия подобно уравнению теплопроводности:

∂g/∂t = −2Ric(g),

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

¶Значение

• Гипотеза Пуанкаре — центральный результат топологии трёхмерных многообразий.
• Метод потока Риччи применяется в математической физике и геометрии.
• Работа Перельмана завершила классификацию трёхмерных многообразий в рамках гипотезы геометризации.

¶Смежные результаты

¶Критика и дискуссии

После публикации препринтов потребовалось несколько лет для верификации. В 2006 году независимые группы (Клеине, Лотт, Морган, Тянь) представили подробные изложения. Часть математиков отмечала, что доказательство опирается на неопубликованные детали, но к 2010-м годам консенсус сложился: доказательство признано полным.

Источники: труды Анри Пуанкаре; препринты Григория Перельмана (arXiv, 2002–2003); работы Ричарда Гамильтона; публикации Института Клэя; изложения Моргана и Тяня.