Дифференциальная геометрия
Расслоения
Стандартная модель физики - электромагнетизм, слабое и сильное взаимодействия - записывается как теория калибровочных полей на главных расслоениях над пространством-временем. U(1) - это электромагнетизм, SU(2)xSU(3) - слабое и сильное взаимодействия. Вся физика элементарных частиц - геометрия расслоений.
- Физика частиц: Стандартная Модель - U(1)xSU(2)xSU(3) главные расслоения
- Общая теория относительности: метрическое расслоение как основа гравитации
- Робототехника: SE(3)-расслоения для описания конфигурационных пространств
- Компьютерное зрение: расслоения нормальных рамок для анализа поверхностей
- Топологические изоляторы (2016, Нобель): K-теория расслоений в физике твёрдого тела
- Теория струн: компактификация через расслоения Хопфа и их обобщения
Цели урока
- Понять устройство главного G-расслоения и смысл структурной группы
- Освоить функции перехода и кокцикловое условие как способ задания расслоений
- Уметь строить ассоциированные расслоения через представления группы G
- Знать классификацию расслоений через классифицирующее пространство BG
Предварительные знания
- Гладкие многообразия
- Группы Ли и их алгебры
- Дифференциальные формы
Определение и структура расслоений
Почему калибровочные поля в физике описываются расслоениями, а не просто функциями на пространстве-времени?
- SU(3)×SU(2)×U(1)-расслоение над пространством-временем описывает все известные фундаментальные взаимодействия Стандартной модели - каждое поле является сечением соответствующего расслоения
- Топологические кубиты в системах Kitaev и Microsoft используют нетривиальные U(1)-расслоения с ненулевым числом Черна c1, что обеспечивает защиту квантовой информации от декогеренции
- Расслоение нормалей к поверхности 3D-модели задаёт ориентацию пикселей при рендеринге - неправильная структурная группа приводит к артефактам освещения в играх и CGI
- Параллельная парковка - это задача о горизонтальном подъёме в расслоении конфигурационного пространства автомобиля над пространством допустимых позиций, используемая в алгоритмах планирования движения роботов
Расслоение - это структура, при которой над каждой точкой базы b лежит слой F, и эти слои склеены в единое пространство E. Формально: проекция pi: E -> B такова, что pi^{-1}(b) изоморфно F для каждой точки b. Расслоение является локально тривиальным: каждая точка b имеет окрестность U такую, что pi^{-1}(U) диффеоморфно U x F.
Расслоение является не просто декартовым произведением B x F - слои могут быть скручены относительно друг друга, и именно это скручивание кодируется функциями перехода g_{alpha,beta}. Лента Мёбиуса - простейший нетривиальный пример: нормальное расслоение имеет структурную группу Z/2Z, и скручивание нельзя убрать никакой деформацией.
Связи с другими темами
Расслоения связывают дифференциальную геометрию с топологией, физикой и теорией категорий. Они являются центральным объектом современной математики: от классификации многообразий до квантовой гравитации.
- Калибровочные теории — Поля сильного и электрослабого взаимодействия - это связности на главных расслоениях со структурными группами SU(3) и SU(2) x U(1) - лагранжиан Стандартной модели записывается через формы кривизны этих расслоений
- K-теория — Группы K^0(X) строятся из изоморфных классов векторных расслоений над X; периодичность Ботта и спектральная последовательность Атьи-Хирцебруха вычисляют K-теорию через обычные когомологии
- Характеристические классы — Классы Черна c_k in H^{2k}(M;Z) и Понтрягина p_k in H^{4k}(M;Z) - когомологические инварианты, различающие неизоморфные расслоения и не зависящие от связности
- Теория индекса — Теорема Атьи-Зингера выражает аналитический индекс эллиптического оператора через характеристические классы расслоений, на которых он действует
Итоги
- Расслоение pi: E -> B задаётся базой B, типичным слоем F и локальными тривиализациями, склеенными функциями перехода g_{alpha,beta}: U_alpha ∩ U_beta -> G, удовлетворяющими кокцикловому условию
- Главное G-расслоение P(M,G): G действует на слоях свободно и транзитивно справа; слой изоморфен G как G-пространство; примеры - репёрное, ортогональное, спинорное расслоения
- Два расслоения изоморфны тогда и только тогда, когда их кокциклы когомологичны: g'_{alpha,beta} = h_alpha * g_{alpha,beta} * h_beta^{-1}; изоморфные классы образуют H^1(M;G)
- Ассоциированные расслоения строятся из главного через представления группы G; TM - ассоциированное к GL(n)-репёрному расслоению через стандартное действие на R^n
- Классификация: [M, BG] параметризует главные G-расслоения; для U(1): BU(1) = CP^infty и классы - H^2(M;Z); расслоение Хопфа S^3 -> S^2 - образующий U(1)-пучок над S^2
Структурная группа G главного расслоения P(M,G) действует на слоях каким образом?
Действие G на слоях главного расслоения свободно (p*g=p только при g=e) и транзитивно (любые два элемента слоя связаны единственным элементом G). Правость действия - соглашение, обеспечивающее совместимость со связностями: форма связности A является G-эквивариантной относительно правого действия.
Итоги
- Расслоение pi: E -> B - локально прямолинейное семейство слоёв F над базой B; функции перехода g_{alpha,beta} кодируют глобальное скручивание
- Главное G-расслоение: G действует на слоях свободно и транзитивно справа; слои изоморфны G
- Кокцикловое условие g_{alpha,beta} * g_{beta,gamma} = g_{alpha,gamma} необходимо и достаточно для существования расслоения
- Ассоциированные расслоения через представления G; TM - ассоциированное к репёрному расслоению через действие GL(n) на R^n
- Классификация: [M, BG] ~ изоморфные классы G-расслоений; для U(1): классы ~ H^2(M;Z)
- Лента Мёбиуса - нетривиальный Z/2Z-пучок; расслоение Хопфа S^3 -> S^2 - нетривиальный U(1)-пучок с c1=1