Когомологии де Рама

Когомологии де Рама: топология через анализ

Когда замкнутое не значит точное?

Из d² = 0 следует: точная форма (ω = dη) → замкнутая (dω = 0). Но обратное не всегда: замкнутая ↛ точная. Это «разрыв» связан с топологией многообразия — наличием «дырок».

Интуиция: на кольце ℝ² {0} форма ω = (x dy − y dx)/(x²+y²) замкнута (dω = 0), но ∮_{|r|=1} ω = 2π ≠ 0. Если бы ω = df, то ∮ ω = 0. Значит, ω не точна — «дырка» в нуле мешает.

Это глубокая идея: тополог. свойства пространства (дырки, «ручки») обнаруживаются аналитическими средствами (интегрирование форм).

Группы де Рама

Для k ≥ 0 определим:

Z^k(M) = {замкнутые k-формы: dω = 0} — «ядро d»

B^k(M) = {точные k-формы: ω = dη} — «образ d»

k-я группа когомологий де Рама:

H^k(M) = Z^k(M) / B^k(M)

Элементы H^k — классы эквивалентности форм с точностью до добавления точной формы. Если ω₁ и ω₂ отличаются на точную форму, они представляют один класс.

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

H^0(M) = ℝ^{π₀(M)} (π₀ — число компонент связности). Для связного M: H^0(M) = ℝ. Объяснение: 0-форма f замкнута тогда и только тогда, когда df = 0, то есть f — константа. Точных 0-форм не существует (нет форм степени −1). Следовательно, H^0 = {константы} = ℝ для связного M.

H¹(S¹) = ℝ: 1-форма dθ замкнута (d(dθ) = 0), но не точна (∮ dθ = 2π ≠ 0). Все замкнутые 1-формы на S¹ — это a dθ + df для a ∈ ℝ. H¹ = ℝ, порождается классом [dθ].

H¹(ℝⁿ) = 0: Лемма Пуанкаре — всё стягиваемо.

H^k(Sⁿ) = ℝ при k = 0, n и 0 иначе: «Дырка» у сферы одна — в ней самой.

H¹(T²) = ℝ²: Тор имеет два независимых цикла (меридиан и параллель) → два независимых класса. H²(T²) = ℝ (объём тора).

Теорема де Рама

Теорема де Рама (1931): H^k_{dR}(M) ≅ H^k_{sing}(M; ℝ) (сингулярные когомологии). Группы де Рама — инварианты гладкой структуры, но совпадают с чисто топологическими инвариантами.

Числа Бетти: βₖ = dim H^k(M; ℝ). β₀ = число компонент, β₁ = «число дырок», β₂ = «число пустот», ...

Эйлерова характеристика: χ(M) = Σₖ (−1)ᵏ βₖ. Для сферы S²: β₀=1, β₁=0, β₂=1, χ = 1−0+1 = 2 ✓. Для тора T²: β₀=1, β₁=2, β₂=1, χ = 1−2+1 = 0 ✓.

Характеристические классы

Характеристические классы — «глобальные инварианты расслоений», вычисляемые через локальную кривизну.

Класс Черна c₁(L): Для комплексного прямого расслоения L с кривизной Ω: c₁(L) = [Ω/(2πi)] ∈ H²(M; ℤ). Если M — комплексное многообразие, c₁ ∈ ℤ — целое число (первое число Черна).

Теорема Гаусса–Бонне как частный случай: Для касательного расслоения поверхности: c₁(TM) = χ(M)/2. Формула ∫_M K dA = 2πχ(M) — это интеграл от представляющей c₁ формы.

Теорема Атьи–Зингера (1963): Для эллиптического оператора D на замкнутом многообразии: index(D) = ∫_M ch(σ_D) td(TM). Индекс (целочисленный аналитический инвариант) выражается через характеристические классы. Обобщение Гаусса–Бонне на произвольные операторы — одна из великих теорем XX века.

Когомологии де Рама в физике

Уравнения Максвелла естественно переформулируются через дифференциальные формы: электромагнитное поле F = dA — точная 2-форма (A — 1-форма потенциала). Закон dF = 0 кодирует ∇·B = 0 и закон Фарадея. Класс [F] ∈ H²(M) фиксирует топологическое препятствие для глобального потенциала. На многообразии с «дыркой» (соленоид) потенциал A неоднозначен — отсюда эффект Ааронова–Бома: интерференция электронов, огибающих соленоид, зависит от ∮A·dl, хотя поле F = 0 снаружи. Это прямое физическое проявление когомологии.

Когомологии де Рама в физике поля и топологии данных

Когомологии де Рама классифицируют глобальные препятствия к интегрируемости и имеют широкие применения. В электродинамике когомологии объясняют, почему магнитный монополь может существовать только на многообразиях с нетривиальным H²: нарушение d(★F) = 0 вне монополя означает, что ★F не является точной формой, а значит её класс когомологий ненулевой. Это математическое условие задаёт квантование магнитного заряда (условие Дирака). В квантовой механике фаза Берри описывает геометрическую фазу при адиабатическом обходе замкнутого пути в пространстве параметров: она выражается через кривизну «расслоения» над пространством параметров и является когомологическим инвариантом. Целочисленный квантовый эффект Холла, открытый в 1980 году и объяснённый топологически Таулесом (Нобелевская премия 2016), описывается числом Черна — элементом H²(пространства зон). В topological data analysis (TDA) персистентные гомологии и когомологии анализируют «дыры» в облаках точек: метод используется в анализе данных нейронауки, материаловедения и биоинформатики для выявления структуры высокоразмерных данных.

В суперсимметричной теории поля теорема Де Рама–Ходжа — разложение пространства форм на гармонические, точные и коточные — соответствует структуре суперзарядов Q и Q†: числа Бетти вычисляются как индекс оператора Дирака-Ходжа через суперсимметричную квантовую механику. Это теорема Витена, давшая новый топологический подход к инвариантам многообразий и объединившая физику суперсимметрии с теоремой Морса.

Задание: (а) Для M = S¹ × S¹ (тор): вычислите все H^k(M) и числа Бетти. (б) Форма ω = (x dy − y dx)/(x²+y²) на ℝ²{0}: найдите [ω] ∈ H¹(ℝ²{0}). Генерирует ли ω всю группу H¹? (в) Что такое H^k(Sⁿ)? Вычислите для n=3 и интерпретируйте физически (связь с магнитными монополями и топологическим зарядом).