Локализация категории - Localization of a category

В математика, локализация категории состоит из добавления к категория обратный морфизмы для некоторого набора морфизмов, заставляя их стать изоморфизмы. Формально это похоже на процесс локализация кольца; он вообще делает объекты изоморфными, чего не было раньше. В теория гомотопии, например, существует множество примеров обратимых отображений. вплоть до гомотопия; и так большие классы гомотопический эквивалент пробелы^{[требуется разъяснение ]}. Исчисление дробей другое название для работы в локализованной категории.

Введение и мотивация

А категория C состоит из объектов и морфизмы между этими объектами. Морфизмы отражают отношения между объектами. Во многих ситуациях имеет смысл заменить C по другой категории C ' в котором некоторые морфизмы вынуждены быть изоморфизмами. Этот процесс называется локализацией.

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

${\displaystyle M\to M\quad m\mapsto r\cdot m.}$

Категория, наиболее близкая к р-модули, а где эта карта является изоморфизм оказывается категорией ${\displaystyle R[S^{-1}]}$-модули. Здесь ${\displaystyle R[S^{-1}]}$ это локализация из р относительно (мультипликативно замкнутого) подмножества S состоящий из всех полномочий р,${\displaystyle S=\{1,r,r^{2},r^{3},\dots \}}$Выражение «наиболее тесно связанный» формализуется двумя условиями: во-первых, существует функтор

${\displaystyle \varphi :{\text{Mod}}_{R}\to {\text{Mod}}_{R[S^{-1}]}\quad M\mapsto M[S^{-1}]}$

отправка любого р-модуль к своему локализация относительно S. Причем, учитывая любую категорию C и любой функтор

${\displaystyle F:{\text{Mod}}_{R}\to C}$

отправив карту умножения р на любом р-модуля (см. выше) к изоморфизму C, существует уникальный функтор

${\displaystyle G:{\text{Mod}}_{R[S^{-1}]}\to C}$

такой, что ${\displaystyle F=G\circ \varphi }$.

Локализация категорий

Приведенные выше примеры локализации р-modules абстрагируется в следующем определении. В этой форме он применяется во многих других примерах, некоторые из которых показаны ниже.

Учитывая категория C и какой-то класс W из морфизмы в C, локализация C[W⁻¹] - еще одна категория, которая получается обращением всех морфизмов в W. Более формально он характеризуется универсальная собственность: существует функтор естественной локализации C → C[W⁻¹] и получил другую категорию D, функтор F: C → D факторы однозначно более C[W⁻¹] если и только если F посылает все стрелки в W к изоморфизмам.

Таким образом, локализация категории уникальна с точностью до единственного изоморфизма категорий, если он существует. Одна конструкция локализации выполняется путем объявления ее объектов такими же, как и в C, но морфизмы усиливаются путем добавления формального обратного для каждого морфизма в W. При подходящих гипотезах о W, морфизмы между двумя объектами Икс, Y даны крыши

${\displaystyle X{\stackrel {f}{\leftarrow }}X'\rightarrow Y}$

(куда ИКС' это произвольный объект C и ж находится в данном классе W морфизмов) по модулю некоторых отношений эквивалентности. Эти отношения превращают карту, идущую в «неправильном» направлении, в обратную ж. Однако эта процедура обычно дает правильный класс морфизмов между Икс и Y. Обычно морфизмы в категории могут образовывать только набор. Некоторые авторы просто игнорируют подобные теоретико-множественные вопросы.

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

Строгая конструкция локализации категорий, избегающая этих теоретико-множественных проблем, была одной из первых причин для развития теории категории моделей: категория модели M категория, в которой есть три класса карт; один из этих классов - класс слабые эквиваленты. В гомотопическая категория Хо (M) тогда является локализацией относительно слабых эквивалентностей. Аксиомы модельной категории гарантируют, что эта локализация может быть определена без теоретико-множественных трудностей.

Альтернативное определение

Некоторые авторы также определяют локализация категории C быть идемпотент и коаугментированный функтор. Коаугментированный функтор - это пара (L, l) куда L: C → C является эндофунктор и l: Id → L является естественным преобразованием тождественного функтора в L (называется коаугментацией). Коаугментированный функтор идемпотентен, если для каждого Икс, обе карты L (l_Икс), l_{L (X)}: L (X) → LL (X) являются изоморфизмами. Можно доказать, что в этом случае обе карты равны.^[1]

Это определение связано с приведенным выше следующим образом: применяя первое определение, во многих ситуациях существует не только канонический функтор ${\displaystyle C\to C[W^{-1}]}$, но также и функтор в обратном направлении,

${\displaystyle C[W^{-1}]\to C}$

Например, модули над локализацией ${\displaystyle R[S^{-1}]}$ кольца также являются модулями над р сам, дающий функтор

${\displaystyle R[S^{-1}]-Mod\to R-Mod.}$

В этом случае состав

${\displaystyle L:C\to C[W^{-1}]\to C}$

это локализация C в смысле идемпотентного и коаугментированного функтора.

Примеры

Серра C-теория

Серр представил идею работы в теория гомотопии по модулю какой-то класс C из абелевы группы. Это означало, что группы А и B считались изоморфными, если, например, А / Б лежал в C. Потом Деннис Салливан имел смелую идею вместо использования локализация топологического пространства, что повлияло на топологические пространства.

Теория модулей

В теории модули через коммутативное кольцо р, когда р имеет Измерение Крулля ≥ 2, может быть полезно лечить модули M и N в качестве псевдоизоморфный если M / N имеет поддерживать коразмерности не менее двух. Эта идея широко используется в Теория Ивасавы.

Производные категории

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

Абелевы разновидности до изогении

An изогения из абелева разновидность А к другому B является сюръективным морфизмом с конечным ядро. Некоторые теоремы об абелевых многообразиях требуют идеи абелева разновидность до изогении за их удобную постановку. Например, для абелевого подмногообразия А₁ из А, есть еще одно подмногообразие А₂ из А такой, что

А₁ × А₂

является изогенный к А (Теорема Пуанкаре о сводимости: см., Например, Абелевы многообразия к Дэвид Мамфорд ). Чтобы назвать это прямая сумма декомпозиции, мы должны работать в категории абелевых многообразий до изогении.

Связанные понятия

В локализация топологического пространства порождает другое топологическое пространство, гомологии которого являются локализацией гомологий исходного пространства.

Гораздо более общая концепция из гомотопическая алгебра, включая в качестве частных случаев локализацию пространств и категорий, является Локализация Боусфилда из категория модели. Локализация Баусфилда заставляет определенные карты становиться слабые эквиваленты, что в общем случае слабее, чем принуждение их к изоморфизму.^[2]

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

• Симплициальная локализация

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

1. Идемпотенты в моноидальных категориях
2. Филип С. Хиршхорн: Категории моделей и их локализации, 2003, ISBN  0-8218-3279-4., Определение 3.3.1.

Габриэль, Пьер; Зисман, Мишель (1967). Исчисление дробей и теория гомотопий. Ergebnisse der Mathematik и ихрер Гренцгебиете, Band 35. Нью-Йорк: Springer-Verlag. ISBN  978-0-387-03777-6. МИСТЕР  0210125.