Теория категорий
Когомологии через теорию категорий
Числа топологического пространства - его «дырки» разных размерностей - это когомологии. Решение уравнения rot F = G зависит от H¹. Существование потенциала зависит от H². Задача Ньютона о форме Земли - вопрос о H¹ пространства. Когомологии - это «инструмент для подсчёта препятствий».
- Гипотезы Вейля: доказаны Делем через l-адические когомологии (1974)
- Зеркальная симметрия: эквивалентность производных категорий Фурье - Мукаи
- Электромагнетизм: существование потенциала ↔ H¹ = 0 (Пуанкаре)
- Цифровая топология: TDA (Topological Data Analysis) - persistent homology
Цепные комплексы: Ab-обогащённые категории
PyTorch 2.0 (2023) использует производные категории для autograd: 10⁹+ параметров в LLM, цепная производная как natural transformation. **Цепной комплекс** - последовательность абелевых групп (или модулей) ... → C_{n+1} → C_n → C_{n-1} → ... с дифференциалами d такими, что d² = 0. Когомологии - «мера несвязности» образа дифференциала в ядре следующего. Категория цепных комплексов Ch(A) - фундаментальный объект гомологической алгебры.
**«Инструмент XX века»:** Жан-Пьер Серр назвал когомологии «самым важным математическим инструментом XX века». Они классифицируют топологические пространства, векторные расслоения, алгебраические многообразия. Числа Бетти β_n = dim H^n - топологические инварианты.
Зачем в цепном комплексе требуется условие d² = 0?
Производные категории: локализация по квазиизоморфизмам
**Производная категория** D(A) получается из категории цепных комплексов Ch(A) обращением квазиизоморфизмов (морфизмов, индуцирующих изоморфизмы на когомологиях). Эта локализация - категориальное обобщение дробей: «комплексы с одинаковой когомологией = одно и то же».
**Гротендик и производные категории:** Александр Гротендик (вместе с Вердье) ввёл производные категории в 1960-х для формулировки RHom и RF в алгебраической геометрии. Сейчас производные категории появляются в физике струн (зеркальная симметрия), в теории представлений (производная эквивалентность), в D-модулях.
Что такое квазиизоморфизм в контексте цепных комплексов?
Когомологии пучков как производный функтор
**Когомологии пучков H^n(X, F)** - правый производный функтор функтора глобальных сечений Γ: Sh(X) → Ab. Это мощнейший инструмент: он связывает локальные данные (пучок) с глобальными (когомологии). Формулировка через производные категории делает многие теоремы прозрачными.
**Когомологии в числах:** Для проективного пространства ℙ^n: H^k(ℙ^n, ℤ) = ℤ при k чётном ≤ 2n, и 0 иначе. Числа Бетти β_k = 1, 0, 1, 0, ... - «чётное решето». Теорема Римана - Роха, теорема Серра о двойственности, формула Гирцебруха - всё формулируется через когомологии пучков.
Почему когомологии пучков H^n(X, F) определяются через правый производный функтор, а не сам функтор Γ?
Ключевые идеи
- Цепной комплекс: последовательность с d² = 0; когомологии H^n = ker/im
- Производная категория D(A): локализация Ch(A) по квазиизоморфизмам
- Производный функтор RF измеряет «дефект точности» исходного функтора F
- H^n(X, F) = R^nΓ(F): когомологии пучков через правый производный функтор Γ
- Длинная точная последовательность - следствие триангулированной структуры D(A)
Связанные темы
Когомологии связывают теорию категорий с геометрией и алгеброй.
- Теория топосов — Sh(X) - топос; его когомологии = R^nΓ
- Сопряжённые функторы — Правый производный функтор = правый присоединённый в производной категории
- Высшие категории — ∞-категории позволяют формулировать производные категории без потери данных о гомотопиях
Вопросы для размышления
- Почему точная последовательность 0 → ℤ →×2 ℤ → ℤ/2 → 0 даёт Ext¹(ℤ/2, ℤ) = ℤ/2? Вычислите явно.
- Что измеряет H¹(X, O*) для комплексного многообразия X? Почему группа линейных расслоений = когомология?
- Как идея производной категории объясняет, почему Ext и Tor - «хорошие» инварианты, а не просто технические артефакты?