Теория гомотопий

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

Основные понятия

Гомотопия

Два непрерывных отображения \( f, g: X \to Y \) называются гомотопными (обозначение: \( f \simeq g \)), если существует непрерывное отображение \( H: X \times [0,1] \to Y \), такое что \( H(x,0) = f(x) \) и \( H(x,1) = g(x) \) для всех \( x \in X \). Параметр \( t \in [0,1] \) интерпретируется как время, а \( H \) — как непрерывная деформация \( f \) в \( g \). Отношение гомотопности является отношением эквивалентности на множестве непрерывных отображений.

Гомотопические группы

Для топологического пространства \( X \) с отмеченной точкой \( x_0 \) определяются гомотопические группы \( \pi_n(X, x_0) \), где \( n \geq 1 \). Элементами группы \( \pi_n(X, x_0) \) являются гомотопические классы непрерывных отображений \( n \)-мерной сферы \( S^n \) в \( X \), переводящих фиксированную точку сферы (например, северный полюс) в \( x_0 \). Групповая операция задаётся «склеиванием» двух сфер вдоль отмеченной точки.

• Фундаментальная группа \( \pi_1(X, x_0) \) — первая гомотопическая группа. Её элементы — петли (отображения окружности \( S^1 \) в \( X \)), рассматриваемые с точностью до гомотопии. Фундаментальная группа является неабелевой в общем случае.
• Высшие гомотопические группы \( \pi_n(X, x_0) \) для \( n \geq 2 \) всегда абелевы. Это свойство вытекает из того, что в размерностях выше 1 можно «переставлять» сферы.

Гомотопическая эквивалентность

Непрерывное отображение \( f: X \to Y \) называется гомотопической эквивалентностью, если существует непрерывное отображение \( g: Y \to X \), такое что \( f \circ g \simeq \mathrm{id}_Y \) и \( g \circ f \simeq \mathrm{id}_X \). Пространства \( X \) и \( Y \) называются гомотопически эквивалентными (или имеющими один и тот же гомотопический тип). Гомотопические группы являются инвариантами гомотопического типа: если \( X \) и \( Y \) гомотопически эквивалентны, то \( \pi_n(X) \cong \pi_n(Y) \) для всех \( n \).

История

Теория гомотопий зародилась в начале XX века. Основополагающие работы принадлежат Анри Пуанкаре, который в 1895 году ввёл понятие фундаментальной группы (первой гомотопической группы) в своей статье «Analysis situs». Однако систематическое развитие теория получила в 1930–1940-х годах благодаря трудам Витольда Гуревича, который определил высшие гомотопические группы и доказал теорему Гуревича, связывающую гомотопические и гомологические группы. В 1950-х годах Джон Милнор, Мишель Кервэр и другие исследователи разработали теорию гладких многообразий и гомотопических сфер, что привело к созданию теории кобордизмов и гомотопической теории в дифференциальной топологии. Важным этапом стало введение понятия спектра и стабильной гомотопической теории в работах Джона Ф. Адамса и Даниэля Квиллена.

Классификация и виды

Гомотопические группы сфер

Одной из центральных проблем теории гомотопий является вычисление гомотопических групп сфер \( \pi_{n+k}(S^n) \). Эти группы, как правило, ненулевые и имеют сложную структуру. Известны следующие факты:

• \( \pi_n(S^n) \cong \mathbb{Z} \) для всех \( n \geq 1 \).
• \( \pi_{n+1}(S^n) \cong \mathbb{Z}_2 \) для \( n \geq 3 \).
• \( \pi_{n+2}(S^n) \cong \mathbb{Z}_2 \) для \( n \geq 2 \).
• \( \pi_{n+3}(S^n) \cong \mathbb{Z}_{24} \) для \( n \geq 5 \).

Вычисление высших гомотопических групп сфер является одной из самых сложных задач в топологии; полное описание неизвестно до сих пор.

Стабильная гомотопическая теория

При \( n \to \infty \) гомотопические группы \( \pi_{n+k}(S^n) \) стабилизируются: для достаточно больших \( n \) они перестают зависеть от \( n \). Эти предельные группы называются стабильными гомотопическими группами сфер и обозначаются \( \pi_k^S \). Стабильная гомотопическая теория изучает спектры — последовательности пространств, обобщающие понятие сферы, и связанные с ними инварианты, такие как гомотопические группы спектров.

Гомотопическая теория расслоений

Расслоения (например, расслоение Хопфа \( S^3 \to S^2 \)) играют ключевую роль в теории гомотопий. Для расслоения \( F \to E \to B \) существует точная гомотопическая последовательность: \[ \cdots \to \pi_n(F) \to \pi_n(E) \to \pi_n(B) \to \pi_{n-1}(F) \to \cdots \] Эта последовательность позволяет вычислять гомотопические группы одного пространства через гомотопические группы других.

Применение и значение

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

• Алгебраическая топология: гомотопические группы являются одними из основных инструментов для классификации топологических пространств.
• Дифференциальная геометрия: теория гомотопий используется для изучения гладких многообразий, в частности, для классификации экзотических сфер (сфер Милнора).
• Алгебраическая геометрия: в теории мотивов и гомотопической теории алгебраических многообразий.
• Теоретическая физика: в теории струн, топологической квантовой теории поля и гомотопической алгебре.
• Робототехника: для анализа конфигурационных пространств роботов и планирования движений.

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

• Гомотопические группы сфер \( \pi_{n+k}(S^n) \) для \( k > 0 \) часто являются конечными абелевыми группами, но их порядки могут быть очень большими (например, \( \pi_{n+14}(S^n) \) содержит элемент порядка 2, 3, 5, 7 и 13).
• Существует знаменитая «гипотеза об исчезновении» для гомотопических групп сфер, которая была опровергнута в 1960-х годах.
• Теория гомотопий тесно связана с теорией узлов: фундаментальная группа дополнения узла является важным инвариантом узла.

Источники

• Хатчер А. Алгебраическая топология. — М.: МЦНМО, 2011.
• Фоменко А. Т., Фукс Д. Б. Курс гомотопической топологии. — М.: Наука, 1989.
• Свитцер Р. М. Алгебраическая топология — гомотопии и гомологии. — М.: Мир, 1985.
• Масси У., Столлингс Дж. Алгебраическая топология. Введение. — М.: Мир, 1977.