Jump to content

Нерв (теория категорий)

(Перенаправлено с функтора «Нерв» )

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

Мотивация [ править ]

Нерв категории часто используется для построения топологических версий пространств модулей . Если X является объектом C , его пространство модулей должно каким-то образом кодировать все объекты, изоморфные X , и отслеживать различные изоморфизмы между всеми этими объектами в этой категории. Это может оказаться довольно сложным, особенно если объекты имеют множество нетождественных автоморфизмов. Нерв обеспечивает комбинаторный способ организации этих данных. Поскольку симплициальные множества имеют хорошую гомотопическую теорию, можно задать вопросы о значении различных гомотопических групп π n ( N ( C )). Можно надеяться, что ответы на такие вопросы дадут интересную информацию об исходной категории C или о связанных категориях.

Понятие нерва является прямым обобщением классического понятия классифицирующего пространства дискретной группы; подробности см. ниже.

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

Пусть C — малая категория. существует 0-симплекс N ( C Для каждого объекта C ) . существует 1-симплекс Для каждого морфизма f : x y в C . Теперь предположим, что : x y и g : y z морфизмы в C. f Тогда мы также имеем их композицию gf : x z .

2-симплекс.

Схема подсказывает наш образ действий: добавить к этому коммутативному треугольнику 2-симплекс. Таким образом, каждый 2-симплекс N ( C ) получается из пары составных морфизмов. Добавление этих 2-симплексов не стирает и не игнорирует морфизмы, полученные композицией, оно просто запоминает, как они возникают.

В общем случае N ( C ) k состоит из k -наборов составных морфизмов

С. ​Чтобы завершить определение N ( C ) как симплициального множества, мы также должны указать карты грани и вырождения. Их также предоставляет нам структура C как категории. Карты лица

задаются композицией морфизмов i- го объекта (или удалением i- го объекта из последовательности, когда i равно 0 или k ). [1] Это означает, что d i отправляет k -кортеж

к ( k − 1)-набору

То есть отображение d i компонует морфизмы A i −1 A i и A i A i +1 в морфизм A i −1 A i +1 , давая ( k − 1)-кортеж для каждого k -кортеж.

Аналогично, отображения вырождения

задаются путем вставки тождественного морфизма в объект A i .

Симплициальные множества также можно рассматривать как функторы на Set , где ∆ — категория полностью упорядоченных конечных множеств и морфизмов, сохраняющих порядок. Каждое частично упорядоченное множество P дает (маленькую) категорию i ( P ) с объектами, являющимися элементами P и с уникальным морфизмом из p в q всякий раз, когда p q в P. , Таким образом, мы получаем функтор i из категории ∆ в категорию малых категорий. Теперь мы можем описать нерв категории C как функтор ∆ на Установить

Такое описание нерва делает функториальность прозрачной; например, функтор между малыми категориями C и D индуцирует отображение симплициальных множеств N ( C ) → N ( D ). Более того, естественное преобразование между двумя такими функторами индуцирует гомотопию между индуцированными отображениями. Это наблюдение можно рассматривать как начало одного из принципов теории высших категорий . Отсюда следует, что сопряженные функторы индуцируют гомотопическую эквивалентность . В частности, если C имеет начальный или конечный объект , его нерв сократимся.

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

классифицирующее пространство дискретной группы G. Самый простой пример — Мы рассматриваем G как категорию с одним объектом, эндоморфизмы которого являются элементами G . Тогда k -симплексы N ( G ) — это просто - наборы элементов G. k Карты граней действуют путем умножения, а карты вырождения — путем вставки единичного элемента. Если G — группа с двумя элементами, то существует ровно один невырожденный k для каждого неотрицательного целого числа k -симплекс , соответствующий уникальному k -набору элементов G , не содержащему тождеств. После перехода к геометрической реализации этот k -кортеж можно отождествить с единственной k -клеткой в ​​обычной структуре CW на бесконечномерном реальном проективном пространстве . Последняя является наиболее популярной моделью классификации пространства группы с двумя элементами. См. (Segal 1968) более подробную информацию и связь вышеизложенного с объединенной конструкцией BG Милнора .

Большинство пространств являются классифицирующими пространствами [ править ]

Всякое «разумное» топологическое пространство гомеоморфно классифицирующему пространству малой категории. Здесь «разумный» означает, что рассматриваемое пространство является геометрической реализацией симплициального множества. Это, очевидно, необходимое условие; этого также достаточно. Действительно, пусть X геометрическая реализация симплициального множества K. — Множество симплексов в K частично упорядочено по отношению x y тогда и только тогда, когда x является гранью y . Мы можем рассматривать это частично упорядоченное множество как категорию с отношениями как морфизмами. Нерв этой категории является барицентрическим подразделением K X , и, следовательно, его реализация гомеоморфна , поскольку X является реализацией K по гипотезе, а барицентрическое подразделение не меняет тип гомеоморфизма реализации.

Нерв открытого покрова [ править ]

Если X — топологическое пространство с открытым покрытием U i , нерв покрытия получается из приведенных выше определений путем замены покрытия категорией, полученной путем рассмотрения покрытия как частично упорядоченного множества с включениями множеств в качестве отношений (и, следовательно, морфизмов) . Обратите внимание, что реализация этого нерва обычно не гомеоморфна X (или даже гомотопически эквивалентна): гомотопическая эквивалентность обычно будет иметь место только для хорошего покрытия стягиваемыми множествами, имеющими сжимаемые пересечения.

Пример модуля [ править ]

Можно использовать конструкцию нерва для восстановления пространств отображения и даже получить «высшую гомотопическую» информацию о картах. Пусть D категория, а X и Y — объекты D. — Часто интересно вычислить множество X Y. морфизмов Мы можем использовать нервную конструкцию, чтобы восстановить этот набор. Пусть C = C ( X , Y ) — категория, объектами которой являются диаграммы.

такие, что морфизмы U X и Y V являются изоморфизмами в D . Морфизмы в C ( X , Y ) — это диаграммы следующей формы:

Здесь указанные отображения должны быть изоморфизмами или тождествами. Нерв C ( X , Y ) — это пространство отображений X Y. модулей В соответствующей настройке модельной категории это пространство модулей является слабой гомотопически эквивалентной симплициальному набору морфизмов D из X в Y .

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

  1. ^ я грань Тогда i- симплекса — это грань, в которой отсутствует i- я вершина.
  • Блан Д., У.Г. Дуайер и П.Г. Герсс. «Пространство реализации -алгебра: проблема модулей в алгебраической топологии». Топология 43 (2004), № 4, 857–892.
  • Гёрсс, П.Г. и М.Дж. Хопкинс. « Пространства модулей коммутативных кольцевых спектров ». Структурированные кольцевые спектры , 151–200, London Math. Соц. Лекции, серия, 315, Кембриджский университет. Пресс, Кембридж, 2004.
  • Сигал, Грэм. «Классификация пространств и спектральных последовательностей». Инст. Hautes Études Sci. Опубл. Математика. № 34 (1968) 105–112.
  • Нерв в n Lab
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 8bd4c62337ed8ae75f12a37d5e67ab49__1715933760
URL1:https://arc.ask3.ru/arc/aa/8b/49/8bd4c62337ed8ae75f12a37d5e67ab49.html
Заголовок, (Title) документа по адресу, URL1:
Nerve (category theory) - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)