Математический анализ
Обобщённая теорема Стокса и когомологии де Рама
Все великие интегральные теоремы - Грин, Гаусс, Стокс - это частные случаи одного утверждения: $\int_{\partial M} \omega = \int_M d\omega$. Это уравнение связывает поведение объекта на границе с его внутренними свойствами. Та же идея лежит в основе теоремы Атьи-Сингера и современной топологической физики.
- Электродинамика: уравнения Максвелла в форме дифференциальных форм
- Топологическая физика: инварианты Черна для квантовых холловских состояний
- Гидродинамика: теорема Гаусса для потока жидкости через замкнутую поверхность
- Алгебраическая топология: когомологии де Рама как препятствие к существованию потенциала
- Теоретическая физика: действие Чёрна-Саймонса и топологические квантовые поля
Цели урока
- Понимать обобщённую теорему Стокса $\int_{\partial M} \omega = \int_M d\omega$ как единую формулу для всех интегральных теорем
- Работать с дифференциальными формами: внешнее произведение, внешний дифференциал, пуллбэк
- Интерпретировать когомологии де Рама как топологические препятствия к потенциальности поля
Предварительные знания
- Криволинейные и поверхностные интегралы
- Классические теоремы Грина и Стокса
- Основы топологии: многообразия, границы, ориентация
Дифференциальные формы и внешний дифференциал
Дифференциальная $k$-форма $\omega$ - антисимметричный тензор типа $(0,k)$. Внешний дифференциал $d$: $k$-формы $\to$ $(k+1)$-формы. Ключевое свойство: $d^2 = 0$ (граница границы пуста). Формы степени 0 - функции, 1-формы - линейные функционалы на векторах, 2-формы измеряют поток через поверхности.
Когомологии де Рама
Замкнутые формы ($d\omega = 0$) не всегда точные ($\omega = d\eta$). Препятствие - топология пространства. $H^k_{dR}(M) = \ker d_k / \mathrm{im}\, d_{k-1}$ - когомологии де Рама. По теореме де Рама: $H^k_{dR}(M) \cong H^k(M; \mathbb{R})$ - изоморфизм с сингулярными когомологиями.
Обобщённая теорема Стокса
В 1945 году Эли Картан завершил построение теории дифференциальных форм, которая объединила теоремы Грина, Гаусса - Остроградского и классического Стокса в одну формулу: $\int_M d\omega = \int_{\partial M} \omega$.
Теорема Стокса $\int_M d\omega = \int_{\partial M} \omega$ справедлива при условии, что:
Когомологии де Рама
Анри Пуанкаре в 1895 году ввёл числа Бетти $b_k$, а Жорж де Рам в 1931 году доказал, что они совпадают с размерностями $H^k_{dR}(M) = \ker(d_k)/\mathrm{im}(d_{k-1})$ - пространств замкнутых форм по точным.
Нулевые когомологии де Рама $H^0_{dR}(M)$ для связного многообразия $M$ изоморфны:
Унификация: теорема Грина как частный случай
В $\mathbb{R}^2$: $\omega = P\,dx + Q\,dy$ (1-форма). $d\omega = (\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y})dx\wedge dy$. Тогда $\int_{\partial D} \omega = \int_D d\omega$ - это теорема Грина. Для 2-форм в $\mathbb{R}^3$ получаем теорему Стокса, для 3-форм - теорему Гаусса.
Форма $\omega = \frac{-y\,dx + x\,dy}{x^2+y^2}$ на $\mathbb{R}^2\setminus\{0\}$
$d\omega = 0$ (замкнута), но $\oint_{|z|=1} \omega = 2\pi \neq 0$. Значит, $\omega$ не точная: нет такой $f$, что $df = \omega$ на всей плоскости без нуля. Это отражает то, что $H^1(\mathbb{R}^2\setminus\{0\}) = \mathbb{R}$.
Итоги
- Обобщённая теорема Стокса $\int_{\partial M}\omega = \int_M d\omega$ объединяет Грина, Гаусса и классического Стокса
- Внешний дифференциал $d$ удовлетворяет $d^2 = 0$ - основа всей теории дифференциальных форм
- Когомологии де Рама $H^k_{dR}$ измеряют топологические препятствия: замкнутые, но не точные формы
Связь с другими темами
Когомологии де Рама связаны с числами Бетти через теорему де Рама, что соединяет анализ с алгебраической топологией. В физике этот аппарат используется для формулировки калибровочных теорий (электродинамика, Янг-Миллс) и топологических инвариантов конденсированных сред.
- Связанные темы — развивает
Вопросы для размышления
- Почему $d^2 = 0$ - это не просто технический факт, а глубокое утверждение о геометрии границ?
- Первое число Бетти $b_1$ считает 'дыры' в поверхности. Как это связано с размерностью $H^1_{dR}$?
- В квантовой механике фаза Берри - интеграл формы кривизны по замкнутому пути в пространстве параметров. Почему нетривиальная когомология делает эту фазу наблюдаемой?