Алгебраическая топология
Алгебраическая топология сопоставляет топологическим пространствам алгебраические инварианты — группы, кольца и модули — таким образом, что пространства, которые не могут быть непрерывно деформированы друг в друга, различаются с помощью вычислимой алгебры.
Definition
Алгебраическая топология — это изучение топологических пространств посредством алгебраических инвариантов — наиболее важными из которых являются гомотопические группы, гомологии и когомологии, — которые сохраняются при непрерывной деформации и которые превращают топологические задачи в вычисления в алгебре.
Scope
Эта область охватывает функториальные инварианты, которые классифицируют пространства с точностью до гомотопии: фундаментальную группу и высшие гомотопические группы, теорию накрывающих пространств, сингулярные и симплициальные гомологии, когомологии с их кольцевой структурой кап-произведения, а также аппарат точных последовательностей и CW-комплексов, используемый для их вычисления. Она акцентирует внимание на переводе топологических вопросов в алгебраические и исключает теоретико-множественные основы (общую топологию) и гладкие или метрические уточнения, рассматриваемые в дифференциальной и римановой геометрии.
Sub-topics
Core questions
- Как алгебраические инварианты могут различать пространства, которые не являются гомеоморфными или не являются гомотопически эквивалентными?
- Какие инварианты вычислимы, и как точные последовательности и CW-структуры делают их таковыми?
- Чем отличаются гомологии и когомологии, и какую дополнительную структуру (произведения, двойственность) несут когомологии?
- Какова связь между легко определяемой фундаментальной группой и гораздо более тонкими высшими гомотопическими группами?
Key concepts
- Гомотопия и гомотопическая эквивалентность отображений и пространств
- Фундаментальная группа и накрывающие пространства
- Сингулярные и симплициальные гомологии
- Когомологии, кап-произведения и двойственность Пуанкаре
- CW-комплексы и функториальность инвариантов
Clinical relevance
Алгебраическая топология предоставляет инструменты для обнаружения препятствий и классификации, используемые повсеместно в геометрии и анализе — теоремы о неподвижной точке, классификация поверхностей и векторных расслоений, индексная теория и характеристические классы — а ее категориальный и гомологический язык пронизывает современную алгебру и математическую физику.
History
Предмет возник в работе Пуанкаре «Analysis Situs» (1895), которая ввела гомологии и фундаментальную группу; переформулирование гомологий Эмми Нётер в теоретико-групповых терминах в 1920-х годах и развитие теории категорий и гомологической алгебры в середине века превратили ее в функториальную дисциплину, преподаваемую сегодня.
Key figures
- Henri Poincaré
- Emmy Noether
- Allen Hatcher
Related topics
Seminal works
- hatcher2002
- bredon1993
Frequently asked questions
- Что значит сопоставить алгебраический инвариант пространству?
- Инвариант — это функтор, сопоставляющий каждому пространству группу или кольцо, а каждому непрерывному отображению — гомоморфизм, таким образом, что гомотопные отображения индуцируют один и тот же гомоморфизм — поэтому гомотопически эквивалентные пространства получают изоморфные инварианты.
- Почему высшие гомотопические группы намного сложнее гомологий?
- Гомотопические группы очень чувствительны и трудно поддаются вычислению — даже гомотопические группы сфер в значительной степени неизвестны — тогда как гомологии удовлетворяют свойству вырезания и длинным точным последовательностям, что делает их систематически вычислимыми.