Абстрактная алгебра
Спектральные последовательности
Жан-Пьер Серр в 1951 году с помощью спектральных последовательностей вычислил бесконечно много ненулевых групп гомотопий сфер - результат, опрокинувший интуицию эпохи. Спектральная последовательность - машина вычисления гомологий через итерированные приближения.
- Алгебраическая топология: вычисление H*(E) для расслоений - основа теории характеристических классов
- Алгебраическая геометрия: спектральная последовательность Лере вычисляет когомологии расслоения пучков
- Гомологическая алгебра: спектральная последовательность Адамса - инструмент стабильной гомотопической теории
Предварительные знания
Спектральная последовательность: определение
Жан-Пьер Серр в 1951 году вычислил группы гомотопий H*(K(Z,n)) с помощью спектральной последовательности, получив бесконечно много ненулевых групп π_n(S²) - результат, который считался невозможным. Спектральная последовательность - это последовательность страниц (E_r, d_r), r ≥ 2, где каждая страница - бикомплекс с дифференциалом d_r: E_r^{p,q} → E_r^{p+r,q-r+1}, и E_{r+1} = H(E_r, d_r).
В спектральной последовательности Серра для расслоения F→E→B дифференциал d_r имеет бидегрий (r, 1-r). Что это означает для d_2?
Сходимость и теорема сравнения
Адамс в 1958 году с помощью спектральной последовательности Адамса доказал, что н-инвариант Хопфа 1 существует лишь для n = 1,2,4,8 - то есть нормированные алгебры деления над R существуют только в этих размерностях. Спектральная последовательность сходится, если фильтрация конечна или через некоторый r все дифференциалы d_r = 0 и E_{r+1} = E_r =: E_∞.
Адамс использовал спектральную последовательность, чтобы доказать: нормированные алгебры деления над ℝ существуют только в размерностях 1, 2, 4, 8. Какая ключевая спектральная последовательность для этого использовалась?
Ключевые идеи
- Спектральная последовательность: страницы (E_r, d_r), d_r: E_r^{p,q} → E_r^{p+r,q-r+1}
- E_∞ = ассоциированный градуированный фильтрации на H*(C)
- Спектральная последовательность Серра: E_2 = H^p(B; H^q(F)) ⟹ H*(E)
- Теорема сравнения: изоморфизм на E_2 ⟹ изоморфизм на всех страницах
- χ(E) = χ(F)·χ(B) - мультипликативность характеристики Эйлера
Дальнейшие пути
Изученные концепции открывают дорогу к более глубоким разделам математики.
- aa-28-alg-topology — extends
Вопросы для размышления
- Приведите пример конкретного вычисления, используя изученный метод.
- Как изученные концепции связаны с другими разделами математики?