Топология 3-многообразий: программа геометризации Тёрстона и доказательство Перельмана

Заметки с лекции по торической топологии

Смотрел вчера вечером 15-ю лекцию по элементам торической топологии, про геометрические структуры на многообразиях (ссылка тут). Несколько заметок:

Геометрическая структура на многообразиях и программа геометризации Тёрстона

📐Геометрическая структура на гладком многообразии определяется как факторпространство X / π, где X — модельное геометрическое пространство с транзитивным действием группы диффеоморфизмов G, а π ⊂ Isom(X) — дискретная подгруппа изометрий, действующая свободно.

📐Программа геометризации Торстона, доказанная Перельманом, утверждает: любое замкнутое ориентируемое неразложимое 3-многообразие можно разложить на куски, каждый из которых несёт одну из восьми геометрий.

Теорема Пуанкаре–Милнора и флаговые многогранники

📐Теорема Принса–Милнора: любое замкнутое ориентируемое 3-многообразие единственным образом (с точностью до перестановки) разлагается в связную сумму простых.

📐Флаговый многогранник — это такой, в котором отсутствуют тройные пояса (три грани, попарно пересекающиеся, но не имеющие общей точки). Он порождает асферическое многообразие (π₁-сводимое к гомотопии).

Гиперболические многообразия и декомпозиция топологии многообразий

📐Число ручек в итоговом многообразии при склейке по цветовому коду определяется рангами подгрупп цветовых векторов внутри и вне выделенной области.

📐Гиперболическое многообразие возникает, если в 3D система цветовых векторов λ линейно независима, и в многограннике реализуется гамильтонов цикл, θ-граф или граф K₄.

📐Разрезы по поясам многогранника позволяют его декомпозировать на почти-многогранники Погорелова или K-призмы (K ≥ 5), с последующей склейкой в многообразие с заданной геометрией.

Топология 3-многообразий как конструктор из восьми геометрий

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

Странно, конечно: это намного интереснее вселенной Marvel, но просмотров почему-то сильно меньше.