Jump to content

Гомотопический копредел и предел

(Перенаправлено с гомотопического копредела )

В математике , особенно в алгебраической топологии , гомотопический предел и копредел [1] стр. 52 являются вариантами понятий предела и копредела, расширенными до гомотопической категории . Основная идея такова: если у нас есть диаграмма

рассматривается как объект гомотопической категории диаграмм , (где гомотопическая эквивалентность диаграмм рассматривается поточечно), то гомотопический предел и копределы тогда соответствуют конусу и коконусу

которые являются объектами гомотопической категории , где — категория с одним объектом и одним морфизмом. Обратите внимание, что эта категория эквивалентна стандартной гомотопической категории. поскольку последняя категория гомотопических функторов имеет функторы, которые выбирают объект в а естественное преобразование соответствует непрерывной функции топологических пространств. Обратите внимание, что эту конструкцию можно обобщить на модельные категории , которые дают методы построения гомотопических пределов и копределов в терминах других гомотопических категорий, таких как производные категории . Другой подход, формализующий подобные конструкции, — это дериваторы. [2] стр. 193 которые являются новой основой гомотопической алгебры .

Вводные примеры [ править ]

Гомотопическое выталкивание [ править ]

Понятие гомотопического копредела [1] стр. 4–8 является обобщением гомотопических выталкиваний , таких как цилиндр отображения, используемый для определения корасслоения . Это понятие мотивировано следующим наблюдением: (обычное) выталкивание

— пространство, полученное сжатием n -1-сферы (которая является границей n -мерного диска) в одну точку. пространство гомеоморфно n Это -сфере S н . С другой стороны, выталкивание

это точка. Следовательно, хотя ( сжимаемый ) диск D н был заменен точкой (которая гомотопически эквивалентна диску), два выталкивания не гомотопически (или слабо ) эквивалентны.

Следовательно, выталкивание не совсем соответствует принципу гомотопической теории, согласно которой слабо эквивалентные пространства несут одну и ту же информацию: если одно (или несколько) пространств, используемых для формирования выталкивания, заменяется слабо эквивалентным пространством, pushout не гарантирует, что он останется слабо эквивалентным. Гомотопическое выталкивание исправляет этот недостаток.

Гомотопическое выталкивание двух карт топологических пространств определяется как

,

т. е. вместо склеивания B как в A, и в C , две копии цилиндра на B склеиваются вместе, а их концы приклеиваются к A и C. так Например, гомотопический копредел диаграммы (карты которой являются проекциями)

это соединение .

Можно показать, что гомотопическое выталкивание не имеет недостатка обычного выталкивания: заменяя A , B и/или C гомотопическим пространством, гомотопическое выталкивание также будет гомотопным. В этом смысле гомотопические выталкивания относятся к гомотопическим пространствам так же, как (обычные) выталкивания относятся к гомеоморфным пространствам.

Состав карт [ править ]

Еще одним полезным и мотивирующим примером гомотопического копредела является построение моделей гомотопического копредела диаграммы.

топологических пространств. Существует несколько способов смоделировать этот копредел: первый — рассмотреть пространство

где – это отношение эквивалентности, идентифицирующее

которое образно можно описать как картинку

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

дающий гомотопический копредел. Мы могли бы догадаться, что это выглядит так

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

дающая другую модель гомотопического копредела, гомотопически эквивалентную исходной диаграмме (без композиции ), приведенное выше.

Картографический телескоп [ править ]

Гомотопический копредел последовательности пространств

это картографический телескоп . [3] Одним из примеров вычислений является получение гомотопического копредела последовательности корасслоений . Копредел [1] стр. 62 эта диаграмма дает гомотопический копредел. Это означает, что мы можем вычислить гомотопический копредел любого картографического телескопа, заменив карты корасслоениями.

Общее определение [ править ]

Гомотопический предел [ править ]

Рассмотрения таких примеров, как картографический телескоп и выталкивание гомотопий, на равных можно добиться, рассматривая I -диаграмму пространств, где I — некоторая «индексирующая» категория . Это функтор

т. е. каждому объекту i в I присваивается пространство X i и отображаются между ними в соответствии с отображениями в I . Категория таких диаграмм обозначается Пространства. я .

Существует естественный функтор, называемый диагональю.

который отправляет любое пространство X в диаграмму, состоящую из X повсюду (и тождество X как отображение между ними). В (обычной) теории категорий правым сопряженным к этому функтору является предел . Гомотопический предел определяется изменением этой ситуации: он является правым сопряженным

который отправляет пробел X на I- диаграмму, которая на каком-то объекте i дает

Здесь I / i категория среза (ее объекты — стрелки j i , где j — любой объект I ), N нерв этой категории и |-| является топологической реализацией этого симплициального множества . [4]

Гомотопический копредел [ править ]

Аналогично можно определить копредел как левый сопряженный диагональному функтору 0 , указанному выше. гомотопический копредел, мы должны модифицировать 0 Чтобы определить другим способом. Гомотопический копредел можно определить как левый сопряженный функтору Δ: Пространства Пространства. я где

Δ( X )( i ) = Hom Spaces (| N ( I на / я ) |, X ) ,

где я на является противоположной I. категорией Хотя это не то же самое, что функтор Δ, указанный выше, он обладает тем свойством, что если геометрическая реализация категории нерва ( | N (-) | ) заменяется точечным пространством, мы восстанавливаем исходный функтор Δ 0 .

Примеры [ править ]

Гомотопический откат (или произведение гомотопического слоя ) — это двойственная концепция гомотопического выталкивания. Он удовлетворяет универсальному свойству возврата к гомотопии. [ нужна ссылка ] Конкретно, учитывая и , его можно построить как

[5]

Например, гомотопический слой над точкой y — это гомотопический возврат вдоль . [5] Гомотопический возврат вдоль идентичности есть не что иное, как путей отображения пространство .

Универсальное свойство гомотопического возврата дает естественное отображение , частный случай естественного отображения предела в гомотопический предел. В случае гомотопического слоя это отображение является включением слоя в гомотопический слой.

Построение копределов с симплициальными заменами [ править ]

Учитывая небольшую категорию и диаграмма , мы можем построить гомотопический копредел, используя симплициальную замену диаграммы. Это симплициальное пространство, дано по диаграмме [1] стр. 16-17

где

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

Обратите внимание, что это согласуется с изображением, приведенным выше для диаграммы состава .

Отношение к (обычному) копределу и пределу [ править ]

Всегда есть карта

Обычно это отображение не является слабой эквивалентностью. Например, гомотопическое выталкивание, встречающееся выше, всегда соответствует обычному выталкиванию. Это отображение обычно не является слабой эквивалентностью, например, соединение не является слабо эквивалентным вытеснению , это точка.

Дальнейшие примеры и приложения [ править ]

Точно так же, как предел используется для завершения кольца, холим используется для завершения спектра .

См. также [ править ]

Ссылки [ править ]

  1. Перейти обратно: Перейти обратно: а б с д Даггер, Дэниел. «Букварь по гомотопическим копределам» (PDF) . Архивировано (PDF) из оригинала 3 декабря 2020 г.
  2. ^ Гротендик. «В поисках стопок» . thescrivener.github.io . Архивировано (PDF) из оригинала 30 июля 2020 г. Проверено 17 сентября 2020 г.
  3. ^ Алгебраическая топология Хэтчера, 4.G.
  4. ^ Баусфилд и Кан: Гомотопические пределы, пополнения и локализации , Springer, LNM 304. Раздел XI.3.3
  5. Перейти обратно: Перейти обратно: а б Математика 527 - Гомотопическая теория Гомотопические откаты

Дальнейшее чтение [ править ]

Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: f0fc8e93b39bb06fb535ed00df722a8b__1716436260
URL1:https://arc.ask3.ru/arc/aa/f0/8b/f0fc8e93b39bb06fb535ed00df722a8b.html
Заголовок, (Title) документа по адресу, URL1:
Homotopy colimit and limit - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)