Спектральная последовательность Адамса - Adams spectral sequence

В математика, то Спектральная последовательность Адамса это спектральная последовательность представлен Дж. Фрэнк Адамс  (1958 ). Как и все спектральные последовательности, это вычислительный инструмент; это относится гомология теория к тому, что сейчас называется теория стабильной гомотопии. Это переформулировка с использованием гомологическая алгебра, а также расширение техники под названием «убийство гомотопических групп», применяемой французской школой Анри Картан и Жан-Пьер Серр.

Мотивация

Для всего, что ниже, раз и навсегда фиксируем штрих п. Предполагается, что все пробелы Комплексы CW. В обычный группы когомологий ${\displaystyle H^{*}(X)}$ понимаются как означающие ${\displaystyle H^{*}(X;\mathbb {Z} /p\mathbb {Z} )}$.

Основная цель алгебраической топологии - попытаться понять совокупность всех отображений, с точностью до гомотопии, между произвольными пространствами. Икс и Y. Это чрезвычайно амбициозно: в частности, когда Икс является ${\displaystyle S^{n}}$эти карты образуют пth гомотопическая группа из Y. Более разумная (но все же очень трудная!) Цель - разобраться в множестве ${\displaystyle [X,Y]}$ отображений (с точностью до гомотопии), оставшихся после применения подвесной функтор большое количество раз. Мы называем это набором стабильных отображений из Икс к Y. (Это отправная точка теория стабильной гомотопии; более современные трактовки этой темы начинаются с концепции спектр. В оригинальной работе Адамса спектры не использовались, и мы избегаем дальнейшего упоминания о них в этом разделе, чтобы содержание здесь было как можно более элементарным.)

Набор ${\displaystyle [X,Y]}$ оказывается абелевой группой, и если Икс и Y являются разумными пространствами, эта группа конечно порождена. Чтобы понять, что это за группа, сначала выделяем простое число. п. В попытке вычислить п-кручение [Икс, Y], мы смотрим на когомологии: send [Икс, Y] в Hom (ЧАС^*(Y), ЧАС^*(Икс)). Это хорошая идея, потому что группы когомологий обычно легко вычислить.

Ключевая идея заключается в том, что ЧАС^*(Икс) - это больше, чем просто оцененный абелева группа, и более того, чем оцененный звенеть (через чашка продукта ). Представимость функтора когомологий делает ЧАС^*(Икс) а модуль над алгеброй своей стабильной когомологические операции, то Алгебра Стинрода А. Думать о ЧАС^*(Икс) как А-модуль забывает структуру продукта чашки, но выигрыш огромен: Hom (ЧАС^*(Y), ЧАС^*(Икс)) теперь можно принять за А-линейный! Априори А-module больше не видит [Икс, Y], чем когда мы рассматривали его как карту векторных пространств над F_п. Но теперь мы можем рассмотреть производные функторы Hom в категории А-модули, Ext_А^р(ЧАС^*(Y), ЧАС^*(Икс)). Они получают вторую оценку после выставления оценок на ЧАС^*(Y), так что мы получаем двумерную «страницу» алгебраических данных. Группы Ext предназначены для измерения несохранения алгебраической структуры Hom, так что это разумный шаг.

Суть всего в том, что А настолько велик, что приведенный выше лист когомологических данных содержит всю информацию, необходимую для восстановления п-первичная часть [Икс, Y], который является гомотопическими данными. Это важное достижение, потому что когомологии были рассчитаны на вычислимость, а гомотопия - на мощные. Это содержание спектральной последовательности Адамса.

Классическая формулировка

За Икс и Y пространства конечного типа с Икс конечномерном CW-комплексе существует спектральная последовательность, называемая классическая спектральная последовательность Адамса, сходящиеся к п-кручение в [Икс, Y], с E₂-термин, данный

E₂^т,s = Ext_А^т,s(ЧАС^*(Y), ЧАС^*(Икс)),

и дифференциалы бистепени (р, р − 1).

Расчеты

Последовательность сама по себе не является алгоритмическим устройством, но позволяет решать проблемы в определенных случаях.

Первоначальное использование Адамсом своей спектральной последовательности было первым доказательством Инвариант Хопфа 1 проблема: ${\displaystyle \mathbb {R} ^{n}}$ допускает структуру алгебры с делением только для п = 1, 2, 4 или 8. Впоследствии он нашел гораздо более короткое доказательство, используя операции когомологий в K-теория.

В Теорема Тома об изоморфизме связывает дифференциальную топологию с теорией стабильной гомотопии, и именно здесь спектральная последовательность Адамса нашла свое первое крупное применение: в 1960 г. Джон Милнор и Сергей Новиков использовали спектральную последовательность Адамса для вычисления кольца коэффициентов сложный кобордизм. Далее, Милнор и К. Т. К. Уолл использовал спектральную последовательность, чтобы доказать гипотезу Тома о структуре ориентированного кобордизм кольцо: два ориентированных многообразия кобордантны тогда и только тогда, когда их Понтрягин и Числа Штифеля – Уитни согласны.

Обобщения

Спектральная последовательность Адамса – Новикова является обобщением спектральной последовательности Адамса, введенной Новиков (1967) где обычные когомологии заменены на обобщенная теория когомологий, довольно часто сложный бордизм или же Когомологии Брауна – Петерсона. Это требует знания алгебры стабильных операций когомологий для рассматриваемой теории когомологий, но позволяет проводить вычисления, которые совершенно невозможно выполнить с классической спектральной последовательностью Адамса.

Смотрите также

• Система Постникова
• Алгебра Стинрода
• Спектр (топология)

Рекомендации

• Адамс, Дж. Франк (1958), «О структуре и приложениях алгебры Стинрода», Комментарии Mathematici Helvetici, 32 (1): 180–214, Дои:10.1007 / BF02564578, ISSN  0010-2571, МИСТЕР  0096219
• Адамс, Дж. Франк (2013) [1964], Стабильная теория гомотопии, Конспект лекций по математике, 3, Springer-Verlag, ISBN  9783662159422, МИСТЕР  0185597
• Ботвинник, Борис (1992), Многообразия с особенностями и спектральная последовательность Адамса – Новикова., Серия лекций Лондонского математического общества, Издательство Кембриджского университета, ISBN  0-521-42608-1
• Макклири, Джон (февраль 2001 г.), Руководство пользователя по спектральным последовательностям, Кембриджские исследования по высшей математике, 58 (2-е изд.), Издательство Кембриджского университета, Дои:10.2277/0521567599, ISBN  978-0-521-56759-6, МИСТЕР  1793722
• Новиков, Сергей (1967), «Методы алгебраической топологии с точки зрения теории кобордизмов», Известия Академии Наук СССР. Серия Математическая (на русском), 31: 855–951
• Равенел, Дуглас С. (1978), «Руководство для новичков по спектральной последовательности Адамса – Новикова», в Barratt, M.G .; Маховальд, Марк Э. (ред.), Геометрические приложения теории гомотопий (Proc. Conf., Evanston, Ill., 1977), II, Конспект лекций по математике, 658, Springer-Verlag, стр. 404–475, Дои:10.1007 / BFb0068728, ISBN  978-3-540-08859-2, МИСТЕР  0513586
• Равенел, Дуглас С. (2003), Комплексные кобордизмы и стабильные гомотопические группы сфер (2-е изд.), AMS Chelsea, ISBN  978-0-8218-2967-7, МИСТЕР  0860042.

внешняя ссылка

• Брунер (2009), Праймер для спектральной последовательности Адамса
• Хэтчер, Аллен, Глава книги (PDF) (PDF)