Теория гомотопии - Homotopy theory

В математике , теория гомотопий является систематическим изучением ситуаций , в которых карты приходят с гомотопиями между ними. Она возникла как тема алгебраической топологии, но в настоящее время изучается как самостоятельная дисциплина. Помимо алгебраической топологии, теория также использовалась в других областях математики, таких как алгебраическая геометрия (например, теория гомотопии A¹ ) и теория категорий (в частности, изучение высших категорий ).

Концепции

Пространства и карты

В теории гомотопий и алгебраической топологии слово «пространство» обозначает топологическое пространство . Во избежание патологий редко работают с произвольными пробелами; вместо этого требуются пробелы, чтобы соответствовать дополнительным ограничениям, таким как компактная генерация , или Хаусдорф , или комплекс CW .

В том же ключе, что и выше, « карта » - это непрерывная функция, возможно, с некоторыми дополнительными ограничениями.

Часто работают с заостренным пространством, то есть пространством с «выделенной точкой», называемой базовой точкой. Тогда остроконечная карта - это карта, которая сохраняет базовые точки; то есть он отправляет базовую точку домена в базовую точку кодомена. Напротив, бесплатная карта - это карта, на которой не нужно сохранять базовые точки.

Гомотопия

Обозначим I единичный интервал. Семейство отображений, индексированных I , называется гомотопией от до, если это отображение (например, оно должно быть непрерывной функцией ). Когда X , Y являются заостренными пробелами, они необходимы для сохранения базовых точек. Можно показать, что гомотопия является отношением эквивалентности . Учитывая заостренное пространство X и целое число , пусть будут гомотопические классы карт на основе из а (заостренный) п -сферы к X . Как выясняется, это группы ; в частности, называется фундаментальной группой из X .

Если кто-то предпочитает работать с пространством, а не с заостренным пространством, существует понятие фундаментального группоида (и более высоких вариантов): по определению фундаментальный группоид пространства X - это категория, в которой объекты являются точками X и в морфизмах являются путями.

Кофибрация и расслоение

Отображение называется корасслоением, если дано (1) отображение и (2) гомотопия , существует гомотопия, которая расширяется и такая, что . В некотором смысле это аналог определяющей диаграммы инъективного модуля в абстрактной алгебре . Самый простой пример - пара CW ; поскольку многие работают только с комплексами CW, понятие кофибрации часто неявно.

Расслоением в смысле Серра является сопряженным понятие корасслоения: то есть, отображение является расслоением , если дано (1) отображение и (2) гомотопия , существует гомотопическая таким образом, что это дано одно и . Базовый пример - это покрывающая карта (на самом деле расслоение - это обобщение покрывающей карты). Если - главное G -расслоение , то есть пространство со свободным и транзитивным (топологическим) групповым действием ( топологической ) группы, то отображение проекции является примером расслоения.

Классифицирующие пространства и гомотопические операции

С учетом топологической группы G , то классифицирующее пространство для основной G -расслоений ( далее «» с точностью до эквивалентности) является пространством , что для каждого пространства X ,

{основное G- расслоение на X  } / ~

где

  • левая часть - множество гомотопических классов отображений ,
  • ~ относится к изоморфизму связок, а
  • = задается вытягиванием выделенного расслоения на (называемом универсальным расслоением) вдоль карты .

Теорема Брауна о представимости гарантирует существование классифицирующих пространств.

Спектр и обобщенные когомологии

Идея о том, что классифицирующее пространство классифицирует основные связки, может быть продвинута дальше. Например, можно попытаться классифицировать классы когомологий: учитывая абелеву группу A (такую ​​как ),

где - пространство Эйленберга – Маклейна . Приведенное выше уравнение приводит к понятию обобщенной теории когомологий; т. е. контравариантный функтор из категории пространств в категорию абелевых групп , удовлетворяющий аксиомам, обобщающим теорию обычных когомологий. Оказывается, такой функтор может не быть представлен пространством, но он всегда может быть представлен последовательностью (точечных) пространств со структурными картами, называемыми спектром. Другими словами, дать обобщенную теорию когомологий - значит дать спектр.

Базовым примером спектра является сферический спектр :

Ключевые теоремы

Теория препятствий и характеристический класс

См. Также: Характеристический класс , Башня Постникова , Кручение Уайтхеда.

Локализация и доработка пространства

Конкретные теории

Есть несколько конкретных теорий

Гипотеза гомотопии

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

Абстрактная теория гомотопии

Концепции

Категории моделей

Симплициальная теория гомотопий

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

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

  • Мэй Дж . Краткий курс алгебраической топологии
  • Джордж Уильям Уайтхед (1978). Элементы теории гомотопии . Тексты для выпускников по математике. 61 (3-е изд.). Нью-Йорк-Берлин: Springer-Verlag. стр. xxi + 744. ISBN   978-0-387-90336-1 . Руководство по ремонту   0516508 . Проверено 6 сентября 2011 года .
  • Рональд Браун, Топология и группоиды (2006) Booksurge LLC ISBN   1-4196-2722-8 .

дальнейшее чтение

Внешние ссылки