Когомологии де Рама (обзор)

Уравнения Максвелла, закон Стокса, теорема Грина - всё это частные случаи одной формулы: ∫_M dω = ∫_{∂M} ω. Когомологии де Рама - это алгебра, измеряющая «глобальные препятствия» для уравнения ω = dη. Иными словами: дифференциальные уравнения на многообразиях + топология.

• **Электромагнетизм:** уравнения Максвелла = dF=0, d*F=J; потенциал A существует iff H¹=0 (нет дыр)
• **Компьютерная графика:** exterior calculus на поверхностях - основа discrete differential geometry; симуляция жидкостей, сглаживание, параметризация
• **Калибровочная теория:** физика элементарных частиц = дифференциальные формы на расслоениях; H¹ = пространство калибровочных полей

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

• Manifolds

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

**0-форма** на многообразии M - гладкая функция f: M → R. **1-форма** - объект, который интегрируется вдоль кривых: в каждой точке p это линейная форма на касательном пространстве T_p M. В координатах: ω = f₁dx₁ + f₂dx₂ + ··· + fₙdxₙ, где fᵢ - гладкие функции.

**k-форма** - полностью антисимметричное (чередующееся) k-линейное отображение на T_p M: принимает k касательных векторов и возвращает число. В координатах: ω = Σ_{i₁<···<iₖ} f_{i₁···iₖ} dxᵢ₁ ∧ ··· ∧ dxᵢₖ. Число независимых k-форм на n-мерном пространстве: C(n,k).

Формы - «правильные» объекты для интегрирования: они меняются нужным образом при замене координат. Интеграл k-формы по k-мерной поверхности - инвариантен. Это фундамент для корректного определения интегралов на многообразиях без привязки к координатам.

Внешняя производная d

**Внешняя производная** d: Ω^k(M) → Ω^{k+1}(M) - единственный оператор, удовлетворяющий: 1. d на 0-формах = дифференциал df 2. d(ω ∧ η) = dω ∧ η + (−1)^k ω ∧ dη (правило Лейбница) 3. **d ∘ d = 0**. Последнее - ключевое свойство, аналог «граница границы = 0».

**Уравнения Максвелла как формы:** В 4D (пространство-время) все уравнения Максвелла записываются как dF = 0 и d*F = J, где F - 2-форма (электромагнитный тензор), *F - её дуал Ходжа, J - ток. Один символ d заменяет все четыре уравнения Максвелла!

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

Из d ∘ d = 0 следует im(d: Ω^{k-1} → Ω^k) ⊆ ker(d: Ω^k → Ω^{k+1}). **Замкнутая k-форма:** dω = 0. **Точная k-форма:** ω = dη для некоторой (k-1)-формы η. Точные ⊆ замкнутые. **Когомологии де Рама:** H^k_{dR}(M) = замкнутые k-формы / точные k-формы.

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

**Теорема де Рама:** Для гладкого многообразия M когомологии де Рама изоморфны сингулярным когомологиям с вещественными коэффициентами: H^k_{dR}(M) ≅ H^k(M; R). В частности, dim H^k_{dR}(M) = βₖ (число Бетти). Это соединяет дифференциальную геометрию и алгебраическую топологию.

**Физические приложения:** 1. Уравнения Максвелла: dF = 0 (закон Фарадея + Гаусса) и d*F = J (уравнения Ампера + Гаусса). 2. Электромагнитный потенциал A: F = dA, так что dF = d²A = 0 автоматически. 3. Теорема Стокса в обобщённой форме: ∫_M dω = ∫_{∂M} ω - охватывает теоремы Грина, Гаусса, Стокса как частные случаи.

Ключевые идеи

• **k-формы:** антисимметричные k-линейные функции на касательных пространствах; объекты для интегрирования
• **Внешняя производная d:** d∘d=0; обобщает grad, curl, div; Стокс: ∫dω = ∫_{∂} ω
• **Когомологии де Рама:** H^k_dR = замкнутые / точные; измеряют k-мерные «дыры» через формы
• **Теорема де Рама:** H^k_dR(M) ≅ H^k(M;R); dim = βₖ; мост между геометрией и топологией

Связанные темы

Когомологии де Рама завершают алгебраическую топологию и открывают дифференциальную геометрию:

• Многообразия — Дифференциальные формы определены только на гладких многообразиях
• Topological Data Analysis — Дискретные аналоги de Rham (discrete exterior calculus) применяются в вычислительной геометрии

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

• Уравнение Максвелла dF = 0 означает, что F замкнута. При каком топологическом условии на пространство-время F = dA (потенциал существует)? Что происходит, если H² ≠ 0?
• Теорема Стокса ∫_M dω = ∫_{∂M} ω объединяет теоремы Грина и Гаусса. Запишите каждую из них как частный случай этой формулы.
• Оператор Ходжа *: Ω^k → Ω^{n-k}. Как он связывает H^k_dR и H^{n-k}_dR? Что такое двойственность Пуанкаре?

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

• calc-24-line-integrals