Топология
Спектральные последовательности
рассмотрим машину, которая итеративно «уточняет» своё знание о пространстве, страница за страницей, пока не вычислит точный ответ. Это и есть спектральная последовательность, универсальный вычислительный инструмент алгебраической топологии.
- **Вычисление гомотопических групп сфер:** Адамс использовал спектральную последовательность Адамса для систематического вычисления π*(S), стабильных гомотопических групп сфер
- **Алгебраическая K-теория:** Спектральная последовательность Блох-Личтенбаума связывает мотивную когомологию с алгебраической K-теорией
- **Теория деформаций:** В алгебраической геометрии (deformation theory) спектральные последовательности считают деформации комплексных многообразий
Предварительные знания
Зачем нужны спектральные последовательности?
Спектральная последовательность Серра (1951) вычислила гомотопические группы, применяемые в теории струн: Адамс нашёл все πₙˢ для n ≤ 13. **Спектральная последовательность**, машина для вычисления гомологий (или когомологий) сложного пространства через гомологии его «частей». При наличии фильтрации комплекса или расслоения спектральная последовательность автоматически организует вычисление.
Мотивация: дано расслоение F → E → B. Как связаны H*(E), H*(F) и H*(B)? Точная последовательность Майера-Вьеторис не подходит. Спектральная последовательность Серра даёт полный ответ.
Спектральные последовательности изобрёл Жан Лере в 1940-х годах, находясь в немецком лагере для военнопленных. Он развил теорию шивов и спектральные последовательности, скрывая от охранников, что занимается «чистой» (а не применимой к войне) математикой.
Для чего используется спектральная последовательность Serre расслоения F → E → B?
Страницы и дифференциалы
Спектральная последовательность, это последовательность «страниц» (pages) E_r, r = 0, 1, 2, ..., где каждая страница, биградуированная абелева группа, оснащённая дифференциалом d_r.
Ключевой факт: если все дифференциалы d_r нулевые начиная с r=2 (последовательность **вырождается** на E₂), то E₂ = E_∞ и вычисление значительно упрощается.
Что получается как E_{r+1}^{p,q} в спектральной последовательности?
Сходимость и E_∞
Спектральная последовательность **сходится** к H*(E), если E_∞, страница, на которой все дифференциалы обнулились. Тогда существует фильтрация на H_n(E), и грассмановы факторы равны E_∞^{p,q} при p+q=n.
Если коэффициенты в поле (Q, Fp) и расслоение имеет «хорошие» свойства (например, H*(B) или H*(F) сосредоточены в чётных степенях), то часто E₂ = E_∞. Для расслоений над просто связными пространствами это бывает автоматически.
Почему знание E_∞ не всегда позволяет восстановить H*(E) однозначно?
Пример: расслоение Хопфа
Применим спектральную последовательность Serre к расслоению Хопфа S¹ → S³ → S². Это покажет, как конкретно работает машина.
Нетривиальный d₂ в расслоении Хопфа отражает непростость самого расслоения! Если бы расслоение было нулевым (S¹ × S²), все дифференциалы были бы нулевыми, и мы получили бы H*(S¹ × S²) = H*(S¹) ⊗ H*(S²), что совсем не то, что H*(S³).
В спектральной последовательности расслоения Хопфа S¹ → S³ → S² нетривиальный дифференциал d₂: E₂^{2,0} → E₂^{0,1} является изоморфизмом. Что это означает топологически?
Ключевые идеи
- **Спектральная последовательность**, последовательность страниц E_r с дифференциалами, E_{r+1} = H(E_r, d_r)
- **E₂^{p,q} = Hₚ(B; Hq(F))**, начальная страница для расслоений (Serre SS)
- **Вырождение на E₂**, если все d_r = 0 для r ≥ 2, то E₂ = E_∞
- **Проблема расширений**, E_∞ определяет H*(E) только до расширений групп
Связанные темы
Спектральные последовательности, вычислительный инструмент для многих теорий:
- Расслоения — Спектральная последовательность Серра, главный инструмент для расслоений
- Гомологии — Спектральные последовательности вычисляют гомологии сложных пространств через простые части
- K-теория — Теорема Атья-Хирцебруха использует спектральную последовательность для связи K-теории с когомологиями
Вопросы для размышления
- Почему спектральная последовательность «не даёт» H*(E) напрямую, а только с точностью до расширений?
- Как нетривиальный дифференциал d₂ отражает непростость самого расслоения?
- Что значит, что спектральная последовательность «вырождается» на второй странице?