Дифференциальная геометрия
Характеристические классы
Квантовый эффект Холла открытый в 1980 году защищён от любых возмущений целочисленным значением первого класса Черна - топологическим инвариантом расслоения. Это сделало характеристические классы ключевым инструментом в физике материалов и объяснило Нобелевскую премию 2016 года.
- Квантовый эффект Холла: sigma_xy = n*(e^2/h), n = первый класс Черна
- Топологические изоляторы (Нобель 2016): K-теория и классы Понтрягина
- Аномалии в калибровочных теориях: класс Черна как препятствие к квантованию
- Инстантоны в КХД: инстантонное число = второй класс Черна
- Теорема Ферма: доказательство через модульные кривые и характеристические числа
- Теорема Атья-Зингера: обобщает Гаусса-Бонне через A-род и классы Черна
Цели урока
- Понять теорему Черна-Вейля и построение характеристических классов через кривизну
- Освоить классы Черна, Понтрягина и Эйлера и их интегральные формулы
- Знать теорему Гаусса-Бонне-Черна и её физические применения
- Понять связь с квантовым эффектом Холла и аномалиями
Предварительные знания
- Связности и форма кривизны
- Когомологии де Рама
- Инвариантные полиномы на алгебрах Ли
Классы Черна и теорема Гаусса-Бонне-Черна
Как топологические инварианты расслоений связаны с интегралами кривизны - и почему квантованная проводимость Холла принимает только целые значения?
- Проводимость Холла 2D-системы: sigma_xy = (e^2/h)*c1, где c1 - первое число Черна зонной структуры (формула TKNN, 1982); целочисленность c1 in Z обеспечивает топологическую защиту от беспорядка и плавных деформаций гамильтониана
- Топологические кубиты: системы с ненулевым числом Черна хранят квантовую информацию в нелокальных степенях свободы, защищённых от локальных возмущений - число Черна c1 классифицирует топологическую фазу
- Теория аномалий: отсутствие квантовых аномалий в суперструнах требует p1(TM) - 2c2(E) = 0 (условие Грина-Шварца); внутреннее пространство должно быть Калаби-Яу (c1(TM)=0) для сохранения суперсимметрии в 4D
- Теорема Атьи-Зингера выражает индекс любого эллиптического оператора (Дирак, де Рам, Дольбо) через характеристические классы: ind(D) = ∫_M A-hat(M)*ch(E)
Характеристический класс - это правило, сопоставляющее каждому расслоению когомологический класс базы, инвариантный при изоморфизмах расслоений. Теорема Черна-Вейля: Ad-инвариантный полином P на алгебре Ли g порождает когомологический класс [P(F)] через форму кривизны F, и этот класс не зависит от выбора связности (если A и A' - две связности, то P(F)-P(F') = d(нечто)). Для U(n)-расслоений получаются классы Черна c_k in H^{2k}(M;Z); для SO(n) - классы Понтрягина p_k in H^{4k}(M;Z). Формула Уитни c(E plus F) = c(E)*c(F) и принцип расщепления сводят вычисления к линейным расслоениям. Исчезновение характеристического класса является препятствием: c1=0 означает существование плоской связности; w2(TM)=0 означает существование спин-структуры.
Связи с другими темами
Характеристические классы связывают топологию расслоений с анализом, физикой и алгебраической геометрией. Они являются мостом между гладким (дифференциально-геометрическим) и топологическим (гомотопическим) описаниями расслоений.
- Теорема Атьи-Зингера — ind(D) = ∫_M A-hat(M)*ch(E); характеристические классы кодируют аналитический индекс топологически - это объединяет теоремы Гаусса-Бонне, Хирцебруха и Римана-Роха
- Топологические изоляторы — Число Черна c1 заполненных зон над торусом Бриллюэна T^2 - топологический квантовый номер; sigma_xy = (e^2/h)*c1 защищена топологически от беспорядка
- Алгебраическая геометрия — Теорема Гротендика-Хирцебруха-Римана-Роха: chi(M,E) = ∫_M ch(E)*Td(TM); классы Черна кодируют голоморфную информацию в пересекательной теории
- Отмена аномалий — Калибровочные аномалии в квантовой теории поля - характеристические классы степени 6; условие Грина-Шварца отменяет их через специальное соотношение между c2 и p1
Итоги
- Характеристические классы - когомологические инварианты расслоений, не зависящие от связности; определяются через Ad-инвариантные полиномы на g (теорема Черна-Вейля)
- Формула Уитни c(E plus F) = c(E)*c(F); принцип расщепления: можно считать, что расслоение - прямая сумма линейных пучков
- Классы Черна c_k in H^{2k}(M;Z): c1 полностью классифицирует линейные расслоения; c_k=0 при k>rank(E)
- Теорема Гаусса-Бонне-Черна: chi(M) = ∫_M e(TM) = 1/(2pi)^n * ∫_M Pf(F); для поверхности chi = 1/(2pi) ∫ K dA
- Классы Понтрягина p_k in H^{4k}(M;Z) для вещественных расслоений; теорема Хирцебруха: sign(M) = ∫ L(p_k)
- Квантовый эффект Холла: sigma_xy = (e^2/h)*c1 топологически квантована; c1=0 - условие квантования магнитного заряда Дирака
Что утверждает теорема Гаусса-Бонне-Черна?
Теорема Гаусса-Бонне-Черна: ∫_M e(TM) = chi(M). Для поверхности: 1/(2pi) * ∫ K dA = chi = 2-2g. Черн доказал это для произвольной чётной размерности 2n через Пфаффиан матрицы кривизны. Утверждения C и D верны, но это не содержание теоремы Гаусса-Бонне-Черна.
Итоги
- Теорема Черна-Вейля: Ad-инвариантный полином P на g порождает независящий от связности когомологический класс [P(F)]
- Классы Черна c_k in H^{2k}(M;Z): c(E)=det(I+iF/2pi); c_k=0 при k>rank(E); c(E plus F)=c(E)*c(F)
- Теорема Гаусса-Бонне-Черна: chi(M) = ∫_M e(TM) = 1/(2pi)^n * ∫_M Pf(F)
- Классы Понтрягина p_k in H^{4k}(M;Z); теорема Хирцебруха: sign(M) = ∫_M L(p1,...)
- Квантовый эффект Холла: sigma_xy = (e^2/h)*c1; целочисленность c1 - топологическая защита