В математике , гомотопические группы используются в алгебраической топологии для классификации топологических пространств . Первая и простейшая гомотопическая группа - это фундаментальная группа , которая записывает информацию о петлях в пространстве . Интуитивно гомотопические группы записывают информацию об основной форме или отверстиях топологического пространства.
Для определения n -й гомотопической группы сохраняющие базовую точку отображения из n -мерной сферы (с базовой точкой ) в данное пространство (с базовой точкой) собираются в классы эквивалентности , называемые гомотопическими классами . Два отображения гомотопны, если одно можно непрерывно деформировать в другое. Эти гомотопические классы образуют группу , называемую n -й гомотопической группой , , данного пространства X с базовой точкой. Топологические пространства с различными гомотопическими группами никогда не эквивалентны ( гомеоморфны ), но топологические пространства, которые не являются гомеоморфными, могут иметь одни и те же гомотопические группы.
Понятие гомотопии путей было введено Камиллой Жордан . [1]
Вступление
В современной математике принято изучать категорию , ассоциируя с каждым объектом этой категории более простой объект, который все еще сохраняет достаточно информации об интересующем объекте. Гомотопические группы - это способ связывания групп с топологическими пространствами.
Эта связь между топологией и группами позволяет математикам применять идеи теории групп к топологии . Например, если два топологических объекта имеют разные гомотопические группы, они не могут иметь одинаковую топологическую структуру - факт, который может быть трудно доказать, используя только топологические средства. Например, тор отличается от сферы : тор имеет «дыру»; сфера нет. Однако, поскольку непрерывность (основное понятие топологии) имеет дело только с локальной структурой, может быть трудно формально определить очевидное глобальное различие. Однако гомотопические группы несут информацию о глобальной структуре.
Что касается примера: первая гомотопическая группа тора T есть
поскольку универсальная крышка тора - евклидова плоскость, отображение на тор . Фактор здесь находится в категории топологических пространств, а не групп или колец. С другой стороны, сфера удовлетворяет:
потому что каждая петля может быть свернута в постоянное отображение (см. гомотопические группы сфер для этого и более сложных примеров гомотопических групп).
Следовательно, тор не гомеоморфен сфере.
Определение
В н- сфере выбираем базовую точку a . Для пространства X с базовой точкой b определим быть множеством гомотопических классов отображений
которые отображают базовую точку a в базовую точку b . В частности, классы эквивалентности задаются гомотопиями, постоянными в базовой точке сферы. Эквивалентно, мы можем определить π n ( X ) как группу гомотопических классов отображенийот п -куба к X , что взять границу в п -куба к Ь .
Для , гомотопические классы образуют группу . Чтобы определить групповую операцию, напомним, что в фундаментальной группе произведение из двух петель определяется установкой
Идея композиции в фундаментальной группе состоит в том, чтобы последовательно перемещаться по первому и второму путям или, что то же самое, объединять их две области. Концепция композиции, которую мы хотим для n -й гомотопической группы, та же самая, за исключением того, что теперь области, которые мы склеиваем, представляют собой кубы, и мы должны склеить их вдоль грани. Поэтому мы определяем сумму отображений по формуле
Для соответствующего определения в терминах сфер определим сумму карт быть состоит из h , где это карта из к сумме клина двух n -сфер, которая схлопывает экватор, а h - отображение суммы клина двух n- сфер в X , которое определяется как f на первой сфере и g на второй.
Если , тогда является абелевой . [2] Далее, аналогично фундаментальной группе, для линейно-связного пространства любые два выбора базовой точки приводят к изоморфным . [3]
Заманчиво попытаться упростить определение гомотопических групп, опуская базовые точки, но это обычно не работает для пространств, которые не являются односвязными , даже для пространств с линейной связью. Множество гомотопических классов отображений из сферы в пространство линейной связности не является гомотопической группой, но по существу является множеством орбит фундаментальной группы на гомотопической группе и, вообще говоря, не имеет естественной групповой структуры.
Выход из этих трудностей был найден путем определения высших гомотопических группоидов фильтрованных пространств и n -кубов пространств. Они связаны с относительными гомотопическими группами и n -адическими гомотопическими группами соответственно. Затем высшая гомотопическая теорема ван Кампена позволяет получить некоторую новую информацию о гомотопических группах и даже о гомотопических типах. Для получения дополнительных сведений и ссылок см. «Теорию групп многомерных измерений» и приведенные ниже ссылки.
Длинная точная последовательность расслоения
Пусть p : E → B - сохраняющее базовую точку расслоение Серра со слоем F , т. Е. Отображение, обладающее свойством гомотопического подъема по отношению к комплексам CW . Предположим, что B линейно связен. Тогда существует длинная точная последовательность гомотопических групп
Здесь отображения, содержащие π 0 , не являются гомоморфизмами групп, потому что π 0 не являются группами, но они точны в том смысле, что образ равен ядру .
Пример: расслоение Хопфа . Пусть B равно S 2, а E равно S 3 . Пусть p - расслоение Хопфа , имеющее слой S 1 . Из длинной точной последовательности
и того факта, что π n ( S 1 ) = 0 для n ≥ 2, находим, что π n ( S 3 ) = π n ( S 2 ) для n ≥ 3. В частности,
В случае накрывающего пространства, когда слой дискретен, мы имеем, что π n ( E ) изоморфно π n ( B ) при n > 1, что π n ( E ) инъективно вкладывается в π n ( B ) для все положительные n , и что подгруппа π 1 ( B ), соответствующая вложению π 1 ( E ), имеет смежные классы в биекции с элементами слоя.
Когда расслоение является отображающим слоем , или, по сути, совместное расслоение является отображающим конусом , тогда результирующая точная (или двойственно совпадающая) последовательность задается последовательностью Puppe .
Однородные пространства и сферы
Существует множество реализаций сфер как однородных пространств , которые предоставляют хорошие инструменты для вычисления гомотопических групп групп Ли и классификации главных расслоений на пространствах, сделанных из сфер.
Специальная ортогональная группа
Есть расслоение [4]
давая длинную точную последовательность
который вычисляет гомотопические группы низкого порядка для , поскольку является -связанный. В частности, имеется расслоение
чьи нижние гомотопические группы вычисляются явно. С, и есть расслоение
у нас есть для . Используя это и тот факт, что, которую можно вычислить с помощью системы Постникова , имеем длинную точную последовательность
С у нас есть . Кроме того, средний ряд дает так как соединительная карта тривиально. Также мы можем знать имеет двухкручение.
Применение к связкам сфер
Милнор [5] использовал факт классифицировать 3-сферные расслоения над , в частности, он смог найти экзотические сферы, которые являются гладкими многообразиями, названными сферами Милнора, только гомеоморфными, не диффеоморфный . Обратите внимание, что любое расслоение сфер можно построить из- Векторный набор , который имеет структурную группу поскольку может иметь структуру ориентированного риманова многообразия .
Комплексное проективное пространство
Есть расслоение
где это единичная сфера в . Эта последовательность может использоваться, чтобы показать простую связность для всех .
Методы расчета
Вычисление гомотопических групп в целом намного сложнее, чем некоторые другие гомотопические инварианты, изученные в алгебраической топологии. В отличие от теоремы Зейферта – ван Кампена для фундаментальной группы и теоремы об вырезании для сингулярных гомологий и когомологий , не существует простого известного способа вычислить гомотопические группы пространства, разбивая его на меньшие пространства. Однако методы, разработанные в 1980-х годах с использованием теоремы типа Ван Кампена для высших гомотопических группоидов, позволили провести новые вычисления для гомотопических типов и т. Д. Гомотопических групп. См. Образец результата в статье Эллиса и Михайлова за 2010 год. [6]
Для некоторых пространств, таких как торы , все высшие гомотопические группы (то есть вторая и высшие гомотопические группы) тривиальны . Это так называемые асферические пространства . Однако, несмотря на интенсивные исследования по вычислению гомотопических групп сфер, даже в двух измерениях полный список не известен. Чтобы вычислить даже четвертую гомотопическую группу S 2, нужны гораздо более продвинутые методы, чем можно было бы предложить из определений. В частности, именно для этой цели была построена спектральная последовательность Серра .
Некоторые гомотопические группы n- связных пространств могут быть вычислены путем сравнения с группами гомологий с помощью теоремы Гуревича .
Список методов вычисления гомотопических групп
- Длинная точная последовательность гомотопических групп расслоения.
- Теорема Гуревича , имеющая несколько версий.
- Теорема Бейкера – Месси , также известная как вырезание для гомотопических групп.
- Теорема Фрейденталя о подвеске , следствие вырезания для гомотопических групп.
Относительные гомотопические группы
Существует также полезное обобщение гомотопических групп: , называемые относительными гомотопическими группами для пары , где A - подпространство в X.
Конструкция мотивирована тем, что для включения , на каждой гомотопической группе существует индуцированное отображение что в общем не является инъекцией. В самом деле, элементы ядра известны, если рассматривать репрезентативную и взяв основанную на гомотопии к постоянной карте , или другими словами , а ограничение на любую другую граничную составляющую тривиально. Отсюда получаем следующую конструкцию:
Элементами такой группы являются гомотопические классы базовых отображений несущие границу в A . Два отображения f, g называются гомотопными относительно A, если они гомотопны сохраняющей базовую точку гомотопии F : D n × [0, 1] → X такой, что для каждого p в S n −1 и t в [0, 1], элемент р ( р , т ) в A . Отметим, что обычные гомотопические группы восстанавливаются для частного случая, когда это базовая точка.
Эти группы абелевы при n ≥ 3, но при n = 2 образуют верхнюю группу скрещенного модуля с нижней группой π 1 ( A ).
Существует также длинная точная последовательность относительных гомотопических групп, которую можно получить с помощью последовательности Puppe :
Связанные понятия
Гомотопические группы являются фундаментальными для теории гомотопий , которая, в свою очередь, стимулировала развитие модельных категорий . Можно определить абстрактные гомотопические группы для симплициальных множеств .
Группы гомологий подобны гомотопическим группам в том, что они могут представлять «дыры» в топологическом пространстве. Однако гомотопические группы обычно не коммутативны и часто очень сложны и трудны для вычисления. Напротив, группы гомологий коммутативны (как и высшие гомотопические группы). Поэтому иногда говорят, что «гомологии - это коммутативная альтернатива гомотопии». [7] Для топологического пространства X его n -я гомотопическая группа обычно обозначается через, а ее n -я группа гомологий обычно обозначается через.
Смотрите также
- Фибрация
- Расслоение Хопфа
- Инвариант Хопфа
- Теория узлов
- Гомотопический класс
- Гомотопические группы сфер
- Топологический инвариант
- Гомотопическая группа с коэффициентами
- Остроконечный набор
Заметки
- ^ Мари Ennemond Жордан
- ^ Для доказательства этого заметьте, что в двух или более измерениях две гомотопии могут «вращаться» друг вокруг друга. См. Аргумент Экмана – Хилтона .
- ^ см. Аллен Хэтчер # Книги раздел 4.1.
- ^ Husemoller. Пучки волокон . п. 89.
- ^ Милнор, Джон (1956). «О многообразиях, гомеоморфных 7-сфере». Анналы математики . 64 : 399–405.
- ^ Эллис, Грэм Дж .; Михайлов, Роман (2010). «Копредел классифицирующих пространств» . Успехи в математике . 223 (6): 2097–2113. arXiv : 0804.3581 . DOI : 10.1016 / j.aim.2009.11.003 . Руководство по ремонту 2601009 .
- ^ Вильдбергер, штат Нью-Джерси (2012). «Введение в гомологию» .
Рекомендации
- Рональд Браун , "Группоиды и скрещенные объекты в алгебраической топологии", Гомологии, гомотопии и приложения , 1 (1999) 1–78.
- Рональд Браун , Филип Дж. Хиггинс, Рафаэль Сивера, Неабелева алгебраическая топология: фильтрованные пространства, скрещенные комплексы, кубические гомотопические группоиды , EMS Tracts in Mathematics Vol. 15, 703 стр., European Math. Общество, Цюрих, 2011. doi : 10.4171 / 083 MR2841564
- Чех, Эдуард (1932), "Höherdimensionale Homotopiegruppen", Verhandlungen des Internationalen Mathematikerkongress, Цюрих.
- Хэтчер, Аллен (2002), Алгебраическая топология , Cambridge University Press , ISBN 978-0-521-79540-1
- "Гомотопическая группа" , Математическая энциклопедия , EMS Press , 2001 [1994]
- Хопфа, Хайнц (1931), "Убер умереть Abbildungen дер dreidimensionalen Sphäre ауф умереть Kugelfläche" , Mathematische Annalen , 104 (1): 637-665, DOI : 10.1007 / BF01457962.
- Кампс, Клаус Х .; Портер, Тимоти (1997). Абстрактная гомотопия и простая теория гомотопий . Ривер Эдж, штат Нью-Джерси: World Scientific Publishing. DOI : 10,1142 / 9789812831989 . ISBN 981-02-1602-5. Руководство по ремонту 1464944 .
- Тода, Хироши (1962). Методы композиции в гомотопических группах сфер . Анналы математических исследований. 49 . Принстон, Нью-Джерси: Издательство Принстонского университета. ISBN 0-691-09586-8. Руководство по ремонту 0143217 .
- Уайтхед, Джордж Уильям (1978). Элементы теории гомотопии . Тексты для выпускников по математике. 61 (3-е изд.). Нью-Йорк-Берлин: Springer-Verlag. С. xxi + 744. ISBN 978-0-387-90336-1. Руководство по ремонту 0516508 .