Когомологии де Рама: формы, замкнутость и точность

Когомологии де Рама - это способ измерить топологию гладкого многообразия с помощью дифференциальных форм и операции внешнего дифференцирования. Идея проста: берём замкнутые формы (те, у которых $d\omega = 0$) и факторизуем их по точным (тем, что сами равны $d$ от чего-то). То, что остаётся, и есть когомологии де Рама - алгебраический инвариант, который удивительным образом совпадает с обычными топологическими когомологиями с вещественными коэффициентами. Ниже разберём оператор $d$, замкнутость и точность, теорему де Рама и примеры вычислений. Если нужно сразу прогнать конкретное многообразие, форма ниже соберёт корректный запрос.

Дифференциальные формы и оператор d

Дифференциальная $k$-форма на гладком многообразии $M$ - это, грубо говоря, объект, который можно интегрировать по $k$-мерным поверхностям. В локальных координатах $0$-форма - это просто функция $f$, $1$-форма выглядит как $\sum f_i\, dx_i$, $2$-форма - как $\sum f_{ij}\, dx_i \wedge dx_j$, и так далее. Внешнее произведение $\wedge$ антисимметрично: $dx_i \wedge dx_j = -\,dx_j \wedge dx_i$, поэтому $dx_i \wedge dx_i = 0$.

Ключевая операция - внешняя производная $d$, повышающая степень формы на единицу: она переводит $k$-форму в $(k+1)$-форму. Для функции $f$ это обычный дифференциал $df = \sum_i \frac{\partial f}{\partial x_i}\, dx_i$, а на формах высших степеней $d$ действует по правилу Лейбница с учётом знака. Центральное свойство оператора, на котором держится вся теория:

$$d \circ d = 0,$$

то есть $d(d\omega) = 0$ для любой формы $\omega$. Это тождество - прямое следствие равенства смешанных частных производных и антисимметрии $\wedge$.

Рассчитать для своей задачи

Замкнутые и точные формы

Тождество $d^2 = 0$ задаёт два важных класса форм. Форма $\omega$ называется замкнутой, если $d\omega = 0$. Форма $\omega$ называется точной, если найдётся такая форма $\eta$, что $\omega = d\eta$. Из $d^2 = 0$ немедленно следует: всякая точная форма замкнута. Действительно, если $\omega = d\eta$, то $d\omega = d(d\eta) = 0$.

А вот обратное верно не всегда - и именно в этом «не всегда» спрятана топология. Если на многообразии существуют замкнутые, но не точные формы, значит, у пространства есть нетривиальная геометрия: «дырки», которые мешают проинтегрировать форму обратно. Классический пример - форма

$$\omega = \frac{-y\, dx + x\, dy}{x^2 + y^2}$$

на плоскости с выколотым началом координат $\mathbb{R}^2 \setminus \{0\}$. Она замкнута ($d\omega = 0$), но не точна: её интеграл по окружности вокруг нуля равен $2\pi$, а у точной формы интеграл по любому замкнутому контуру был бы нулём. Эта форма «чувствует» дырку в начале координат.

Определение группы когомологий

Теперь собираем конструкцию. Обозначим $\Omega^k(M)$ - пространство всех гладких $k$-форм. Оператор $d$ выстраивает их в цепочку, называемую комплексом де Рама:

$$0 \to \Omega^0(M) \xrightarrow{d} \Omega^1(M) \xrightarrow{d} \Omega^2(M) \xrightarrow{d} \cdots$$

Замкнутые $k$-формы образуют ядро очередного $d$ и обозначаются $Z^k = \ker(d: \Omega^k \to \Omega^{k+1})$. Точные $k$-формы образуют образ предыдущего $d$ и обозначаются $B^k = \operatorname{im}(d: \Omega^{k-1} \to \Omega^k)$. Поскольку каждая точная форма замкнута, $B^k \subseteq Z^k$, и можно взять фактор-пространство:

$$H^k_{\mathrm{dR}}(M) = \frac{Z^k}{B^k} = \frac{\text{замкнутые } k\text{-формы}}{\text{точные } k\text{-формы}}.$$

Это и есть $k$-я группа когомологий де Рама. Её элементы - классы эквивалентности замкнутых форм, где две формы считаются одинаковыми, если их разность точна. Размерность $H^k_{\mathrm{dR}}(M)$ как вещественного векторного пространства называется $k$-м числом Бетти $b_k$ и грубо считает количество $k$-мерных «дырок» многообразия. Похожая идея факторизации стоит и за приведёнными гомологиями, где из обычных гомологий аккуратно убирают лишнюю копию $\mathbb{Z}$.

Рассчитать для своей задачи

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

Самое глубокое утверждение теории связывает аналитику (формы и интегралы) с чистой топологией. Теорема де Рама гласит: для гладкого многообразия $M$ группы когомологий де Рама изоморфны сингулярным когомологиям с вещественными коэффициентами:

$$H^k_{\mathrm{dR}}(M) \cong H^k(M; \mathbb{R}).$$

Изоморфизм строится через интегрирование: классу замкнутой формы $[\omega]$ сопоставляется функционал, который каждому циклу $c$ ставит в соответствие интеграл $\int_c \omega$. Корректность этой конструкции опирается на теорему Стокса: для точной формы $\omega = d\eta$ и замкнутого цикла интеграл обнуляется, поэтому значение зависит только от класса когомологий, а не от представителя.

Практический смысл огромен: топологические инварианты, которые в общем случае считать тяжело, можно вычислять аналитически - решая дифференциальные уравнения на формы. И наоборот, аналитические свойства уравнений в частных производных на многообразии оказываются связаны с его глобальной формой.

Простые примеры вычислений

Самый наглядный случай - окружность $S^1$. Здесь $H^0_{\mathrm{dR}}(S^1) = \mathbb{R}$ (связное пространство - одна компонента, $0$-формы-константы), а $H^1_{\mathrm{dR}}(S^1) = \mathbb{R}$. Нетривиальный класс в $H^1$ порождается угловой формой $d\theta$, которая замкнута, но не точна (нет глобально определённой функции угла на всей окружности). Это и есть алгебраическое выражение того факта, что окружность имеет «одну дырку».

Для стягиваемых пространств работает лемма Пуанкаре: на звёздной (или просто стягиваемой) области каждая замкнутая форма степени $k \geq 1$ автоматически точна. Поэтому у $\mathbb{R}^n$ когомологии тривиальны: $H^0_{\mathrm{dR}}(\mathbb{R}^n) = \mathbb{R}$, а все высшие $H^k_{\mathrm{dR}}(\mathbb{R}^n) = 0$ при $k \geq 1$. Нет дырок - нет нетривиальных классов.

Для сферы $S^2$ получаем $H^0 = \mathbb{R}$, $H^1 = 0$, $H^2 = \mathbb{R}$: у сферы нет одномерных дырок, но есть нетривиальный двумерный класс - форма объёма, интеграл которой по всей сфере не равен нулю и потому она не может быть точной по теореме Стокса.

Зачем это нужно на практике

Когомологии де Рама - не абстрактная экзотика, а рабочий инструмент. В электродинамике уравнения Максвелла естественно формулируются на языке форм, а условие потенциальности поля - это вопрос о точности замкнутой формы. В физике калибровочных полей классы когомологий описывают топологически нетривиальные конфигурации. В дифференциальной геометрии теория Ходжа уточняет когомологии де Рама, выбирая в каждом классе гармонического представителя.

Для студента важнее другое: умение различать замкнутость и точность и понимать, что фактор $Z^k / B^k$ измеряет именно топологию, а не локальные свойства форм. Когда эта картинка складывается, исчезает магия из теоремы де Рама - становится видно, что интеграл просто «считает дырки».

Частые ошибки

• Путают замкнутость и точность. Замкнутая форма ($d\omega = 0$) не обязана быть точной. Точность - более сильное условие, и именно зазор между ними даёт когомологии.
• Считают, что $d^2 = 0$ это совпадение. Это фундаментальное тождество, без него вся конструкция $Z^k / B^k$ развалилась бы - образ не лежал бы в ядре.
• Забывают про область определения. Форма $\frac{-y\,dx + x\,dy}{x^2+y^2}$ замкнута и не точна на $\mathbb{R}^2 \setminus \{0\}$, но если выколоть начало координат не получится, рассуждение меняется. Топология области решает всё.
• Считают когомологии «по координатам». $H^k_{\mathrm{dR}}$ - глобальный инвариант; локально (лемма Пуанкаре) любая замкнутая форма точна, нетривиальность видна только в целом.
• Смешивают коэффициенты. Когомологии де Рама дают именно $H^k(M; \mathbb{R})$; информация о кручении (конечных подгруппах) теряется, её несут целочисленные когомологии.

FAQ

Чем когомологии де Рама отличаются от гомологий? Гомологии строятся из цепей (геометрических цепочек симплексов), а когомологии де Рама - из дифференциальных форм. По двойственности и теореме де Рама они тесно связаны: $H^k_{\mathrm{dR}}(M) \cong H^k(M;\mathbb{R})$, а когомологии двойственны гомологиям над полем. Числа Бетти у них совпадают.

Почему важно тождество $d \circ d = 0$? Именно оно гарантирует, что образ оператора $d$ лежит в его ядре ($B^k \subseteq Z^k$), а значит фактор-пространство $Z^k / B^k$ корректно определено. Без этого тождества само понятие когомологий не имело бы смысла.

Что такое лемма Пуанкаре? Утверждение о том, что на стягиваемой (например, звёздной) области всякая замкнутая форма степени $\geq 1$ точна. Поэтому когомологии де Рама стягиваемого пространства тривиальны - нетривиальные классы появляются только из глобальной топологии многообразия.

Коротко

Когомологии де Рама $H^k_{\mathrm{dR}}(M) = Z^k / B^k$ - это замкнутые $k$-формы по модулю точных. Тождество $d^2 = 0$ делает конструкцию корректной, теорема де Рама отождествляет результат с топологическими когомологиями $H^k(M;\mathbb{R})$, а интеграл связывает формы с циклами через теорему Стокса. Размерности этих групп - числа Бетти, которые считают «дырки» многообразия: у $\mathbb{R}^n$ их нет, у окружности одна одномерная, у сферы $S^2$ - одна двумерная.