Топология
Характеристические классы расслоений
Теорема Хирцебруха-Римана-Роха (HRR) вычисляет число голоморфных сечений расслоения на комплексном многообразии через характеристические классы - алгебраические инварианты, кодирующие геометрическую кривизну. Без характеристических классов формула Гаусса-Бонне оставалась бы изолированным фактом; с ними она стала частью обширной теории.
- Теорема об индексе Атьи-Зингера (1963): число решений эллиптического дифференциального оператора = топологический индекс, вычисляемый через характеристические классы касательного расслоения. Применяется в физике: аномалии в квантовой теории поля - это именно индексы Атьи-Зингера.
- Классы Черна и обучение представлений: голономия связностей на расслоениях - геометрическая основа берриевской фазы в квантовой механике и в gradient flow в дифференциальной геометрии нейронных сетей.
- Топологические инварианты в конденсированной материи: числа Черна классифицируют топологические изоляторы - материалы с проводящей поверхностью и изолирующим объёмом. Это одно из активнейших направлений физики конденсированного состояния.
Цели урока
- Определять классы Черна через кривизну связности и вычислять первый класс Черна для линейных расслоений
- Применять формулу Чженя-Вейля для выражения характеристических классов через кривизну
- Формулировать теорему HRR и объяснять роль класса Тодда в ней
Предварительные знания
- Когомологии де Рама и формы Черна-Вейля
- Векторные расслоения и связности
- Комплексные многообразия и голоморфные функции
Классы Черна: от кривизны к когомологиям
Для комплексного векторного расслоения $E \to M$ со связностью кривизны $\Omega \in \Omega^2(M, \mathrm{End}(E))$ классы Черна определяются формулой Черна-Вейля: $c_k(E) = \left[\frac{i}{2\pi}\right]^k \sigma_k(\Omega) \in H^{2k}(M, \mathbb{Z})$, где $\sigma_k$ - $k$-я элементарная симметрическая функция от собственных значений. Суммарный класс Черна: $c(E) = 1 + c_1(E) + c_2(E) + \ldots$ Ключевое свойство: $c(E \oplus F) = c(E) \cdot c(F)$ (мультипликативность).
Теорема HRR для комплексного многообразия $M$ размерности $d$ и голоморфного расслоения $E$: $\chi(M, E) = \int_M \mathrm{ch}(E) \cdot \mathrm{Td}(TM)$, где $\chi = \sum_k (-1)^k \dim H^k(M, E)$ - голоморфная эйлерова характеристика, $\mathrm{ch}(E) = \sum_k e^{x_k}$ - характер Черна, $\mathrm{Td} = \prod_i \frac{x_i}{1-e^{-x_i}}$ - класс Тодда. При $E = \mathcal{O}$ (нейтральное расслоение): HRR даёт теорему Гаусса-Бонне как частный случай.
Классы Черна определены для комплексных расслоений. Для вещественных расслоений используют классы Штифеля-Уитни $w_i(E) \in H^i(M, \mathbb{Z}/2)$ (с коэффициентами $\mathbb{Z}/2$) или классы Понтрягина $p_k(E) = (-1)^k c_{2k}(E \otimes \mathbb{C}) \in H^{4k}(M, \mathbb{Z})$. Теорема Хирша: $p_1$ уже не является полным инвариантом вещественного расслоения - нужна вся полиномиальная алгебра Понтрягина.
От Чёрна (1948) до Хирцебруха-Римана-Роха
Шиинг-Шень Черн разработал теорию характеристических классов в 1940-х годах, опираясь на работы Стифеля и Уитни. Его интринзическое доказательство теоремы Гаусса-Бонне (1944) стало революционным: он показал, что эйлерова характеристика - это интеграл от кривизны. Теорема HRR доказана Хирцебрухом в 1954 году; теорема Атьи-Зингера (1963) обобщила её на эллиптические операторы, получив Абелевскую премию 2004 года.
Классы Черна и формула Чёрна-Вейля
Физики ЦЕРН используют классы Черна для классификации инстантонов в калибровочных теориях: первый класс Черна c₁ = 1 отличает монополь Дирака от вакуума. Именно топологические инварианты защищают это различие от непрерывных деформаций поля.
Классы Черна возникают из инвариантов кривизны связности. Свойство «не зависит от выбора связности» наследуется от того, что разности характеров для разных связностей точны: они отличаются на кограницу в комплексе де Рама. Это превращает локальную геометрию в глобальный топологический инвариант.
**Историческая заметка:** Шиинг-Шен Черн ввёл свои классы в 1946 году. Эта работа стала фундаментом теории характеристических классов и связала дифференциальную геометрию с алгебраической топологией.
Почему класс Черна не зависит от выбора связности на расслоении E?
Формула Уитни и теорема Хирцебруха-Римана-Роха
Теорема Хирцебруха-Римана-Роха связывает голоморфную χ(X, ℰ) с топологическими инвариантами: характером Черна расслоения и классом Тодда касательного. Эта формула - один из мостов между алгебраической геометрией, топологией и индексной теорией Атии-Зингера.
Что утверждает формула Уитни для классов Черна прямой суммы расслоений?
Классы Штифеля-Уитни, класс Эйлера и приложения
Для вещественных расслоений роль классов Черна играют классы Штифеля-Уитни w_k ∈ H^k(B; Z/2), а ориентированность даёт класс Эйлера e(E) ∈ H^r(B; Z). Эти инварианты различают, например, тривиальное и нетривиальное расслоения над сферами.
- w₁(E) = 0 равносильно ориентируемости E.
- w₂(E) = 0 равносильно существованию спин-структуры.
- Класс Эйлера e(TM) интегрируется в эйлерову характеристику χ(M).
- Числа Понтрягина p_k = c_{2k}(E⊗_R C) дают вещественные характеристические числа.
**Современное применение:** Характеристические классы идентифицируют топологические фазы материи в физике конденсированного состояния: число Чёрна квантового зала, инварианты Z₂ топологических изоляторов.
Какой инвариант различает ориентируемое и неориентируемое вещественное векторное расслоение?
Первый класс Черна тавтологического расслоения
Над $\mathbb{CP}^1 \cong S^2$ тавтологическое расслоение $\mathcal{O}(-1)$ (Хопфа): $c_1(\mathcal{O}(-1)) = -[\omega_\mathrm{FS}]$, где $\omega_\mathrm{FS}$ - форма Фубини-Штуди. Интеграл $\int_{\mathbb{CP}^1} c_1(\mathcal{O}(-1)) = -1$ - целое число (первый факт Черна). Двойственное расслоение $\mathcal{O}(1)$ имеет $c_1 = +1$. Формальная сумма $c_1(\mathcal{O}(k)) = k \cdot c_1(\mathcal{O}(1))$ - основа теории линейных расслоений над проективными пространствами.
Итоги
- Классы Черна - целочисленные когомологические классы, вычисляемые через кривизну расслоения (формула Черна-Вейля).
- Мультипликативность $c(E \oplus F) = c(E)c(F)$ делает их удобными инвариантами.
- HRR связывает аналитику ($\chi$, голоморфные сечения) с геометрией ($\mathrm{ch}(E)$, $\mathrm{Td}$) - прообраз теоремы Атьи-Зингера.
Связь с другими темами
Теорема Атьи-Зингера (top-25 или смежные уроки) - главное применение: она выражает аналитический индекс эллиптического оператора через топологические характеристические классы. В физике аномалии (нарушение классических симметрий в квантовой теории) - это индексы Дирака, вычисляемые через классы Черна.
- Top 25 — связан
Вопросы для размышления
- Теорема Гаусса-Бонне $\int_M K \, dA = 2\pi \chi(M)$ следует из HRR при $E = \mathcal{O}$ и $M$ - риманова поверхность. Как класс Тодда $\mathrm{Td}(TM)$ в этом частном случае превращается в гауссову кривизну $K$?
- Что стоит за словом «Тодда» в этой формуле?