Геометрия
Производная алгебраическая геометрия: введение
Цели урока
- Понять мотивацию производных категорий D^b(X) и их построение
- Знать теорему Бондала-Орлова о реконструкции многообразия
- Получить представление об инфинити-категориях и стабильных инфинити-категориях
- Увидеть применения DAG: GW-инварианты, HMS, программа Лэнглэндса
Предварительные знания
- Гомологии (обзор)
- Зеркальная симметрия и HMS
- Арифметическая геометрия
Почему математика, придуманная для геометрии (комплексы пучков), оказалась нужна для оснований теории типов и верификации программ?
- Теория струн: D-браны в теории суперструн математически - объекты в D^b(X) или D^b Fuk(X); HMS - это дуальность D-бран
- GW-инварианты: виртуальный фундаментальный класс позволяет считать числа кривых корректно при особых пространствах модулей
- Программа Лэнглэндса: геометрическая программа Бейлинсона-Дринфельда работает с производными стеками
- Homotopy Type Theory: связь с языками Agda/Coq - типы как пространства, равенство как гомотопия
От Гротендика до Лэнди
Гротендик в 1960-е годы создал производные категории через работу с пучками и когомологиями. Вердье формализовал конструкцию как локализацию гомотопической категории. Бейлинсон в 1978 году классифицировал D^b(P^n) через исключительные наборы. Бондал и Орлов в 1990-е годы доказали теорему реконструкции. Мукай нашёл первые примеры нетривиальных эквивалентностей. Концевич сформулировал HMS (1994). Томас разработал теорию D-бран через стабильность. Лэнди (2009, 2017) переформулировал всё через инфинити-категории - 'Высшие Топпои' и 'Высшая Алгебра' изменили основания алгебраической геометрии.
Производные категории: мотивация
Алгебраическая геометрия богата инвариантами: когомологии, характеристические классы, K-теория. Но разные многообразия могут иметь одинаковые когомологии и разную геометрию. Производная категория - более тонкий инвариант, кодирующий не только когомологии, но и все их расширения. Для поверхностей Мурнана (K3) - это полный инвариант.
Производная категория - 'линеаризованная' версия геометрии. Вместо пучка (статический объект) берём весь комплекс с его когомологическим контекстом. Морфизмы становятся богаче: квазиизоморфизмы соединяют комплексы с одинаковыми когомологиями.
В машинном обучении аналог производной категории - вычислительный граф в PyTorch/JAX. Каждый тензор - объект, каждая операция - морфизм. Autograd перемещается вдоль этого графа в обратном направлении.
Что добавляет производная категория D(X) по сравнению с обычной категорией пучков?
D(X) = K(X)[qis^{-1}]: производная категория получается из гомотопической локализацией по квазиизоморфизмам. Это позволяет сравнивать комплексы с одинаковыми когомологиями как изоморфные.
Теорема Бондала-Орлова и реконструкция
Когда два разных многообразия имеют эквивалентные производные категории? Для кривых и многообразий с ample или anti-ample каноническим классом - никогда: такое многообразие восстанавливается из своей производной категории. Это теорема Бондала-Орлова (1997).
Партнёры Мукаи
Примеры неизоморфных многообразий с эквивалентными производными категориями
K3-поверхность степени 2 в P^3 (пересечение двух квадрик) и некоторые другие K3-поверхности имеют эквивалентные D^b. Это партнёры Мукаи. Их существование - геометрическое объяснение зеркальной симметрии для K3: HMS D^b Coh(S) ~ D^b Fuk(S') для партнёров.
При каком условии многообразие X восстанавливается из D^b(X)?
Теорема Бондала-Орлова: если K_X ample или anti-ample, то D^b(X) ~ D^b(Y) => X ~ Y. При прямолинейном K_X (K3, CY) - нет: могут существовать нетривиальные партнёры.
Инфинити-категории и стабильность
Производная категория - первый шаг. Но у неё есть проблема: нет 'высших морфизмов'. В гомотопической теории и теории струн естественно работают с морфизмами между морфизмами, и так до бесконечности. Инфинити-категории - математическое воплощение этой идеи.
Лэнди разработал теорию инфинити-категорий как современный фундамент для гомотопической теории типов. Его 'Высшие Топпои' (2009) и 'Высшая Алгебра' (2017) - монументальные работы, переформулировавшие основания алгебраической геометрии. DAG (Derived Algebraic Geometry) Лэнди работает со схемами, где структурный пучок - кольцо в стабильной инфинити-категории.
В программировании инфинити-категории и зависимые типы (Homotopy Type Theory) - одна математика. Языки Agda и Coq реализуют конструктивную математику, в которой тип = пространство, и равенство = гомотопия.
Чем стабильная инфинити-категория богаче обычной триангулированной категории?
Стабильная инфинити-категория - квазикатегория со структурой, обобщающей триангулированные категории. Ключевое преимущество: когерентные высшие морфизмы, правильное поведение пределов и копределов, отсутствие 'знаков' из триангулированных категорий.
Производная алгебраическая геометрия: применения
Зачем нужна производная алгебраическая геометрия? Три ответа. Первый: пространства модулей часто имеют 'виртуальный' фундаментальный класс - производная геометрия делает его реальным. Второй: HMS живёт в производных категориях. Третий: программа Лэнглэндса требует производных категорий.
Производная алгебраическая геометрия - не просто обобщение ради обобщения. Виртуальные фундаментальные классы - это то, что позволяет корректно считать GW-инварианты. HMS в полной строгости требует производных категорий. Программа Лэнглэндса работает в производных стеках.
Почему GW-инварианты требуют виртуального фундаментального класса из DAG?
M_{g,n}(X, beta) может быть особым, с компонентами неправильной размерности. Классический [M]^{fund} не существует. DAG строит [M]^{vir} нужной виртуальной размерности, на котором корректно интегрируются классы, давая GW-инварианты.
Связи с другими темами
Производная алгебраическая геометрия объединяет гомотопическую теорию, физику и программу Ленгландса.
- Зеркальная симметрия — Производные категории когерентных пучков - алгебраическая сторона зеркальной симметрии
- Перечислительная геометрия — Виртуальный фундаментальный класс Концевича определяется в производной алгебраической геометрии
- Арифметическая геометрия — Производные стэки дают модули арифметических объектов и спектральные алгебро-геометрические структуры
Итоги
- D^b(X) - ограниченная производная категория когерентных пучков; объекты = ограниченные комплексы, морфизмы = с инвертированными квазиизоморфизмами
- Теорема Бондала-Орлова: при ample K_X - D^b(X) ~ D^b(Y) => X ~ Y
- K3-поверхности: могут иметь нетривиальных партнёров Мукаи с эквивалентными D^b
- Стабильные инфинити-категории Лэнди - современный фундамент; исправляют когерентность триангулированных
- DAG строит виртуальный фундаментальный класс для GW-инвариантов
- HMS Концевича: D^b Coh(X) ~ D^b Fuk(X_mirror) - главное применение производных категорий в геометрии
Вопросы для размышления
- Почему в производной категории квазиизоморфизмы объявляются изоморфизмами - что это говорит о природе 'равенства' в математике?
- Как HMS Концевича - эквивалентность D^b Coh и D^b Fuk - объясняет, почему числа кривых совпадают с периодами зеркального многообразия?
- Чем инфинити-категории Лэнди лучше обычных триангулированных категорий, и какую проблему они решают?
Связанные уроки
- geo-26 — HMS Концевича формулируется через производные категории
- geo-28 — Арифметическая геометрия использует производные категории
- top-07 — Гомологии - источник производных категорий
- dg-28 — Кэлерова геометрия: объекты производной категории когерентных пучков
- geo-25 — GW-инварианты и производные категории через матричные факторизации