Фундаментальная группа

Фундаментальная группа: алгебра петель

Идея: петли как измерители «дырок»

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

Фундаментальная группа π₁(X, x₀) формализует это наблюдение: она считает «количество способов намотать петлю», которые не сводятся друг к другу непрерывной деформацией.

Это топологический инвариант: гомеоморфные пространства имеют изоморфные фундаментальные группы. Разные π₁ → не гомеоморфны.

Петли и гомотопия

Петля в точке x₀ ∈ X: непрерывное отображение γ: [0,1] → X с γ(0) = γ(1) = x₀.

Гомотопия петель: γ₀ и γ₁ гомотопны (γ₀ ≃ γ₁), если существует непрерывная «деформация» H: [0,1]² → X с H(t,0) = γ₀(t), H(t,1) = γ₁(t), H(0,s) = H(1,s) = x₀ для всех s. Тонко: концы остаются в x₀ в процессе деформации.

Класс гомотопии [γ] — множество всех петель, гомотопных γ.

Фундаментальная группа π₁(X, x₀)

Элементы: Классы гомотопии петель в x₀.

Операция: Конкатенация: (γ₁ * γ₂)(t) = γ₁(2t) при t ≤ 1/2 и γ₂(2t−1) при t ≥ 1/2 (сначала пройти γ₁, затем γ₂).

Нейтральный элемент: Константная петля c(t) = x₀.

Обратный: γ⁻¹(t) = γ(1−t) (петля в обратном направлении).

Группа π₁(X, x₀) вполне определена (гомотопные петли дают гомотопные произведения). При смене базовой точки x₀ → x₁ (связное X): π₁(X, x₀) ≅ π₁(X, x₁) (изоморфизм, зависящий от выбора пути).

Числовые примеры

π₁(ℝⁿ) = 0: ℝⁿ стягиваемо (любая петля стягивается через H(t,s) = (1−s)γ(t) + s·x₀).

π₁(S¹) = ℤ: Петля eⁿ: t ↦ e^{2πint} совершает n оборотов вокруг S¹. Гомотопические классы нумеруются целыми n — «числом оборотов» (winding number). Это самый важный пример!

π₁(Sⁿ) = 0 при n ≥ 2: Сферы размерности ≥ 2 просто связны.

π₁(T²) = ℤ × ℤ: Тор имеет два независимых цикла (меридиан m и параллель p). [m] и [p] коммутируют: π₁ = ℤ².

π₁(ℝP²) = ℤ₂: Проективная плоскость: одна нетривиальная петля (двойной обход возвращает к исходной).

π₁(S¹ ∨ S¹) = ℤ * ℤ: «Цифра 8» — клин двух окружностей: свободная группа из двух образующих (некоммутативная!).

Теорема ван Кампена

Для X = A ∪ B (открытые, связные, A ∩ B связное):

π₁(X, x₀) = π₁(A, x₀) *_{π₁(A∩B, x₀)} π₁(B, x₀)

Это амальгамированное свободное произведение — «склейка» групп по общей подгруппе.

Применение: π₁(T²) вычислим: T² = (ℝ²{point})/ℤ² — квадрат со склеенными сторонами. Фундаментальный многоугольник: π₁(T²) = ⟨a,b | aba⁻¹b⁻¹⟩ (a и b коммутируют) = ℤ².

π₁(клина S¹ ∨ S¹): ⟨a, b⟩ — свободная группа из a, b. Некоммутативна: ab ≠ ba.

Топологические инварианты и применения

Гипотеза Пуанкаре (доказана Перельманом, 2003): Каждое замкнутое просто связное 3-многообразие гомеоморфно S³. Это одна из «Задач тысячелетия». Перельман отказался от приза в $1 млн.

Применение к физике: Фундаментальная группа пространства параметров порядка классифицирует линейные дефекты (вихри, дислокации): π₁(M) = ℤ → устойчивые вихри (суперпроводники, жидкие кристаллы). π₁(M) = 0 → нет устойчивых линейных дефектов.

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

Группы πₙ(X) обобщают фундаментальную группу: πₙ(X, x₀) — классы непрерывных отображений Sⁿ → X с базовой точкой. При n ≥ 2 все πₙ абелевы. Фибрация Хопфа (1931): η: S³ → S² — сюрьективное отображение, в котором каждый прообраз — окружность S¹. Это порождает π₃(S²) = ℤ — неожиданный результат: у 2-сферы есть нетривиальная 3-я гомотопическая группа! В квантовой хромодинамике инстантоны классифицируются π₃(SU(2)) = ℤ: топологический заряд инстантона — целое число, определяющее вакуумную структуру квантового поля и связанное с индексом оператора Дирака через теорему Атьи–Зингера.

Фундаментальная группа в физике и криптографии

Фундаментальная группа фиксирует топологические препятствия к стягиванию петель и имеет прямые применения. В физике твёрдого тела квазичастицы-«дефекты» — дислокации в кристаллах, вихри в сверхтекучей жидкости, скирмионы в магнетиках — классифицируются первой гомотопической группой π₁ пространства порядка. Вихри в жидком гелии соответствуют нетривиальным элементам π₁(S¹) = ℤ: каждый вихрь несёт целочисленный топологический заряд, который не может аннигилировать без слияния с антивихрем. В квантовых вычислениях топологические кубиты, реализованные на основе майорановских фермионов, используют π₁(BG) = G (фундаментальную группу классифицирующего пространства) как защищённую от декогеренции квантовую память. В криптографии протоколы на основе задачи дискретного логарифма в группах Ли и задачи косы (braid group) — обобщение фундаментальной группы — используются в постквантовой криптографии. Теорема Пуанкаре об однородных пространствах, доказанная Перельманом (2003), разрешила столетнюю проблему, связав π₁ = 0 с гомеоморфизмом S³ — важнейший результат о связи алгебры и геометрии трёхмерных многообразий.

Теория косы (braid group Bₙ) — обобщение фундаментальной группы конфигурационного пространства n различимых точек в плоскости — используется в криптографии (задача поиска конъюгата в группе кос является потенциально постквантово-стойкой) и в описании анионов в квантовом эффекте Холла, где статистика обмена задаётся однозначными представлениями группы кос вместо перестановочной группы.

Задание: (а) Вычислите π₁(ℝ² {0, 1}) (плоскость с двумя проколотыми точками). Используйте теорему ван Кампена. (б) Для фундаментального многоугольника бутылки Клейна (стороны ab a b⁻¹): запишите π₁ как представление. Абелева ли эта группа? (в) Покажите: π₁(S¹) = ℤ, используя подъём петель на универсальное накрытие ℝ → S¹.