Математический анализ

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

Цели урока

Понять когомологии де Рама как меру разности между замкнутыми и точными формами
Знать теорему де Рама об изоморфизме с сингулярными когомологиями
Освоить теорему Ходжа о гармонических представителях и разложение Ходжа
Уметь вычислять числа Бетти через формулу Кюннета и последовательность Майера-Виеториса

Предварительные знания

Интегрирование на многообразиях
Оператор Ходжа
Внешний дифференциал d^2=0

Интегрирование на многообразиях

Как узнать, сколько 'дыр' в пространстве, не прибегая к интуиции - и почему гладкие уравнения (формы) дают тот же ответ, что и комбинаторика (симплексы)?

Топология данных (TDA): persistent homology вычисляет аналог чисел Бетти для молекулярных структур в AlphaFold2 и computational chemistry
Квантовая физика: топологические квантовые числа (заряды Черна-Саймонса) - когомологические инварианты, устойчивые к шуму
Сети нейронных потенциальных полей: консервативность поля (rot F = 0) - это условие точности 1-формы, что кодирует H^1 = 0
Gudhi/Ripser (Python): вычисление persistent Betti numbers для 3D-объектов, изображений, временных рядов в data science

Де Рам и мост между геометрией и топологией

Жорж де Рам (1903-1990) - швейцарский математик, ученик Лефшеца и Картана. Его диссертация 1931 года 'Sur l'Analysis situs des varietes a n dimensions' доказала, что дифференциальные формы и сингулярные цепи вычисляют один и тот же инвариант. Эта теорема стала мостом: Пуанкаре ввёл числа Бетти комбинаторно в 1895 году; де Рам показал, что они же считаются аналитически через d. Ходж (1941) добавил третью точку зрения: гармонические формы. Три разных языка - одна математика. Сегодня когомологии де Рама лежат в основе физики высоких энергий, зеркальной симметрии в теории струн и топологической квантовой теории поля.

Замкнутые и точные формы: когомологии де Рама

1931 год. Жорж де Рам защищает диссертацию в Париже. Его результат: гладкая геометрия и топология говорят об одном. Угловая форма dθ = (x dy - y dx)/(x^2+y^2) замкнута (ddθ=0), но не точна на R^2 без нуля. Её интеграл по S^1 равен 2π - ненулевой. Этот факт закодирует 'дыру' в пространстве. Именно это де Рам сделал точным.

Числа Бетти стандартных пространств: R^n: beta_0=1, beta_k=0 для k>0. S^n: beta_0=beta_n=1, остальные 0. T^2: beta_0=1, beta_1=2, beta_2=1. CP^2: beta_0=beta_2=beta_4=1. Числа Бетти - топологические инварианты.

H^1_dR(S^1) = R. Какая форма порождает этот класс?

Угловая форма dtheta замкнута: d(dtheta) = 0. Но int_{S^1} dtheta = 2pi != 0, значит dtheta != df для любой однозначной функции f. Это и кодирует H^1(S^1) = R.

Теорема Ходжа и гармонические представители

Каждый класс когомологий содержит бесконечно много форм. Теорема Ходжа выбирает канонического представителя - гармоническую форму с минимальной нормой. Аналог: среди всех путей между двумя точками на сфере - геодезическая. Среди всех форм в классе - гармоническая. Минимальность по норме = уравнение Лапласа.

На торе T^n гармонические формы - постоянные: omega = sum c_I dx^I. Для T^2: гармонические 0-формы = const (1-мерное). Гармонические 1-формы = a dx + b dy (2-мерное = beta_1 = 2). Гармонические 2-формы = c dx wedge dy (1-мерное).

Гармонические функции и теорема Ходжа

Классические гармонические функции как частный случай

На открытой области в R^n: H^0 = ker(Delta_0) = {f: Delta f = 0} - гармонические функции в классическом смысле. Теорема Ходжа на компактном M без края: dim(H^0) = число связных компонент M (постоянные функции на каждой). Для S^n: H^0 = R (одна компонента). Для S^1 union S^1: H^0 = R^2.

Разложение Ходжа: Omega^k = H^k + im(d) + im(d*). К какой части принадлежит форма omega = dα + d*(beta) + γ (gamma - гармоническая)?

Разложение Ходжа ортогонально: omega = gamma + d(alpha) + d*(beta), где три части взаимно перпендикулярны. Замкнутость omega <=> d*(beta) = 0 <=> точная + гармоническая компонента.

Формула Кюннета и Майера-Виеториса

Как вычислить когомологии сложных пространств, зная когомологии простых частей? Две техники: формула Кюннета (для произведений) и последовательность Майера-Виеториса (для объединений). Это алгебраические машины, которые делают когомологии вычислимыми. Те же машины работают в теории гомологий в топологии данных (persistent homology), используемой для анализа структур молекул в AlphaFold.

Когомологии тора через формулу Кюннета

T^2 = S^1 x S^1

H^0(S^1) = R, H^1(S^1) = R. По формуле Кюннета: H^0(T^2) = H^0(S^1) tensor H^0(S^1) = R. H^1(T^2) = H^0 x H^1 + H^1 x H^0 = R + R = R^2. H^2(T^2) = H^1 x H^1 = R. Числа Бетти: (1, 2, 1). Характеристика Эйлера: 1 - 2 + 1 = 0. Тор топологически 'нейтрален'.

Когомологии де Рама над R не различают, например, сферу S^2 и проективную плоскость RP^2 по целочисленным инвариантам. Для целочисленных инвариантов нужна целочисленная когомология - когомологии де Рама дают только вещественные числа Бетти.

H^1_dR(T^2) = R^2. Это означает, что у тора:

beta_1 = 2 для T^2: два независимых 1-цикла (меридиан и долготный круг). Каждый цикл порождает свой класс в H^1_dR. Сумма - двумерное пространство.

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

Когомологии де Рама - не абстракция. В физике: топологические квантовые числа зарядов определяются первой группой когомологий. В топологии данных: persistent homology строит аналог числел Бетти для облаков точек. AlphaFold2 использует геометрические инварианты молекул - по сути, дискретные версии чисел Бетти. Компания Ayasdi строила финансовые инструменты на топологии данных.

Теорема де Рама в действии в ML: в задаче классификации облаков точек (geometric ML) числа Бетти - инварианты формы. Persistent homology строит их для зашумлённых данных. Библиотека Gudhi (C++/Python) вычисляет persistent Betti numbers для молекул, изображений, 3D-объектов. Именно этот инструмент используется для поиска новых материалов в computational chemistry.

Топологические инварианты устойчивы к шуму - в отличие от геометрических (длина, угол). Вот почему persistent homology популярна в data science: форма данных (число дыр) не меняется при малых деформациях. Robust to noise by design.

Неравенство Морса: c_1 >= beta_1. Для тора T^2 (beta_1 = 2) это означает:

Неравенство Морса c_k >= beta_k: нельзя построить функцию с меньшим числом критических точек, чем beta_k. Для T^2: c_0 >= 1, c_1 >= 2, c_2 >= 1. Минимально возможно: 1 + 2 + 1 = 4 критических точки.

Связи с другими темами

Когомологии де Рама связывают гладкую геометрию с алгебраической топологией и современной физикой.

Алгебраическая топология — Связанная тема
Топология данных — Связанная тема
Теория струн — Связанная тема
Квантовая физика — Связанная тема

Итоги

H^k_dR(M) = замкнутые k-формы / точные k-формы; числа Бетти beta_k = dim H^k измеряют k-мерные дыры
Теорема де Рама (1931): H^k_dR(M) cong H^k(M;R) - гладкие данные = комбинаторные данные о топологии
Теорема Ходжа (1941): каждый класс H^k имеет единственный гармонический представитель (Delta omega = 0)
Разложение Ходжа: Omega^k = H^k + im(d) + im(d*) - ортогональная сумма трёх компонент
Формула Кюннета, последовательность Майера-Виеториса - вычислительные инструменты для когомологий произведений и объединений

Вопросы для размышления

Теорема де Рама: гладкие формы содержат ту же топологическую информацию, что и комбинаторные цепи. Почему это глубокий результат, ведь формы используют всю гладкую структуру?
Разложение Ходжа выбирает 'лучшего представителя' в каждом классе когомологий. Есть ли аналог этого в линейной алгебре или оптимизации?
Числа Бетти устойчивы к деформациям пространства. Что делает persistent homology с этой устойчивостью для зашумлённых данных?

Связанные уроки

calc-28-manifold-int — Интегрирование форм по многообразию - основа изоморфизма де Рама
calc-27-diff-forms — d^2=0 порождает когомологические группы
calc-26-divergence-theorem — Поток через замкнутую поверхность - прообраз когомологических вычислений