Модуль VI·Статья II·~4 мин чтения
Накрытия и теория подъёма
Фундаментальная группа и накрытия
Превратить статью в подкаст
Выберите голоса, формат и длину — AI запишет аудио
Теория накрытий: «развёртывание» пространства
Накрытие как «многолистное» отображение
Возьмём спираль ℝ и «свернём» её в окружность S¹: p(t) = e^{2πit}. Каждой точке z ∈ S¹ соответствует бесконечно много прообразов в ℝ (листов): p⁻¹(z) = {n + arg(z)/2π : n ∈ ℤ}. Локально ℝ выглядит «как» S¹, но глобально ℝ «накрывает» S¹ бесконечными листами.
Это и есть накрытие — «многолистное» локально-гомеоморфное отображение.
Определение накрытия
Непрерывное отображение p: X̃ → X — накрытие, если для каждой точки x ∈ X существует открытая окрестность U ∋ x (элементарная окрестность), такая, что p⁻¹(U) = ⊔_α Ũ_α (дизъюнктное объединение), и каждый Ũ_α гомеоморфен U через p.
X̃ — накрывающее пространство, X — основание. Слой (fiber) p⁻¹(x) — дискретное подмножество X̃. Число листов |p⁻¹(x)| = deg(p) — степень накрытия.
Примеры
ℝ → S¹: p(t) = e^{2πit}. Бесконечнолистное накрытие. Слой: p⁻¹(1) = ℤ.
S¹ → S¹: pₙ(z) = zⁿ. n-листное накрытие. Слой: p⁻¹(1) = {e^{2πik/n} : k = 0,...,n−1}.
S² → ℝP²: p(x) = [x] (класс антиподов). Двулистное накрытие. Слой: {x, −x}.
SU(2) → SO(3): Двулистное. Каждый элемент SO(3) соответствует двум кватернионам q и −q.
Теорема о подъёме пути
Если p: X̃ → X — накрытие, γ: [0,1] → X — путь, x̃₀ ∈ p⁻¹(γ(0)) — начальная точка в X̃, то существует единственный путь γ̃: [0,1] → X̃ (лифт γ), такой, что γ̃(0) = x̃₀ и p ∘ γ̃ = γ.
Подъём гомотопии: Гомотопия путей в X поднимается до гомотопии в X̃. Это означает: π₁(X) действует на слое p⁻¹(x₀) (монодромия).
Фундаментальная теорема накрытий
При локально просто связном X: накрытия X (с точностью до изоморфизма над X) взаимно однозначно соответствуют подгруппам H ≤ π₁(X, x₀) (с точностью до сопряжения).
- H = π₁(X) → тривиальное накрытие (X → X).
- H = {e} → универсальное накрытие X̃ (просто связное).
- H — нормальная подгруппа → нормальное накрытие, Deck(X̃/X) ≅ π₁(X)/H.
Числовые примеры:
Для S¹ (π₁ = ℤ): Подгруппы ℤ: nℤ для n = 0, 1, 2, .... n = 1: тривиальное накрытие (S¹ → S¹, id). n = 2: двулистное накрытие S¹ → S¹, z ↦ z². n = 0: универсальное накрытие ℝ → S¹. H = ℤ соответствует π₁(S¹) = ℤ → тривиальное; H = {0} → универсальное X̃ = ℝ.
Вычисление π₁(S¹): Лифт петли γₙ(t) = e^{2πint}: это путь t ↦ nt в ℝ от 0 до n. При n ≠ 0: γₙ не замкнут в ℝ → петля не стягивается в ∅. Разные n → разные классы в π₁(S¹). Итого: π₁(S¹) ≅ ℤ.
Монодромия и применения
Монодромия: Действие π₁(X, x₀) на слое p⁻¹(x₀): петля γ ↦ перестановка слоя (σ(γ): x̃₀ ↦ γ̃(1), где γ̃ — лифт γ). Гомоморфизм: π₁(X) → Sym(p⁻¹(x₀)).
Аналитическое продолжение: Многозначная функция f (√z, ln z) задаёт накрытие поверхности Римана. Монодромия γ ↦ матрица продолжения — «действие» петли на пространство решений.
Кристаллография: 17 типов «обоев» плоскости = 17 подгрупп группы изометрий ℝ² (дискретных). Каждый тип обоев = фактор-пространство ℝ² / Λ (Λ — дискретная группа трансляций и симметрий).
Квантовая механика (фаза Берри): При адиабатическом движении по петле γ в пространстве параметров квантовый вектор состояния приобретает геометрическую фазу e^{iγ_B}. Это монодромия расслоения U(1) над пространством параметров. Экспериментально измерена и используется в квантовых компьютерах.
Группа деков: Deck(X̃/X) — группа автоморфизмов накрытия, то есть диффеоморфизмов X̃, коммутирующих с p. Для универсального накрытия: Deck(X̃/X) ≅ π₁(X, x₀). Пример: Deck(ℝ/S¹) = ℤ — целочисленные сдвиги t ↦ t + n. Нормальные накрытия — те, у которых Deck-группа действует транзитивно на слоях; именно они соответствуют нормальным подгруппам π₁.
Теория накрытий в топологии сетей и монодромии
Теория накрытий применяется в нескольких важных областях математики и её приложений. В теории Галуа накрытия алгебраических кривых соответствуют расширениям полей: фундаментальная группа кривой действует как группа Галуа расширения функционального поля, связывая алгебраическую геометрию и теорию групп. Этот словарь, развитый Гротендиком, лежит в основе современной алгебраической геометрии и используется в теории чисел (программа Ленглендса). В теории монодромии аналитическое продолжение многозначной функции (квадратный корень, логарифм) вдоль петли соответствует элементу фундаментальной группы: результат продолжения определяется классом гомотопии пути, а не его конкретной формой. Это объясняет структуру ветвей: ln z на ℝ²{0} имеет счётно много ветвей, соответствующих нетривиальным накрытиям ℝ → S¹. В алгоритмах обхода сетей фундаментальное дерево (spanning tree) графа и группа первых гомологий H₁(G) описывают независимые циклы в топологической модели электрических цепей (теорема о первом законе Кирхгофа). В физике конденсированного состояния аниони — частицы с «дробной» статистикой — описываются через двузначные представления фундаментальной группы пространства конфигураций, что является основой топологических квантовых вычислений (кубиты на анионах).
Задание: (а) Для накрытия pₙ: S¹ → S¹, z ↦ zⁿ: описание слоя, фундаментальная группа X̃ = S¹. Какой подгруппе ℤ соответствует это накрытие? (б) Построите лифт пути γ(t) = e^{2πit} (полный оборот в S¹) в накрытие ℝ, начиная с x̃₀ = 0. Где окажется конец? (в) Двулистное накрытие S² → ℝP²: почему S² не имеет нетривиальных накрытий (S² просто связна)?
§ Акт · что дальше