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

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

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

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

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

M\to M\quad m\mapsto r\cdot m.

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

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

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

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

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

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

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

Локализация категорий [ править ]

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

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

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

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

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

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

Категории моделей [ править ]

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

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

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

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

C[W^{-1}]\to C.

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

{\text{Mod}}_{R[S^{-1}]}\to {\text{Mod}}_{R}

В этом случае композиция

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

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

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

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

Серр ввел идею работы в теории гомотопий по модулю некоторого класса C абелевых групп . Это означало, что группы A и B считались изоморфными, если, например, /B лежит в C. A

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

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

Производные категории [ править ]

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

Частные абелевых категорий [ править ]

Учитывая абелеву категорию A и подкатегорию Серра B, можно определить фактор-категорию A/B, которая представляет собой абелеву категорию, снабженную точным функтором из A в A/B , который по существу сюръективен и имеет ядро B. Эта фактор-категория может быть построена как локализация A с помощью класса морфизмов, ядро и коядро которых оба находятся в B.

Абелевы многообразия с изогении точностью до

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

А1 х A_А2

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

Связанные понятия [ править ]

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

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

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

Упрощенная локализация

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

^ Габриэль, Пьер ; Зисман, Мишель (1967). Исчисление дробей и теория гомотопий (PDF) . Результаты математики и ее пограничных областей , Том 35. Нью-Йорк: Springer-Verlag. п. 12.
^ Идемпотенты в моноидальных категориях
^ Филип С. Хиршхорн: Категории моделей и их локализация , 2003, ISBN 0-8218-3279-4 ., Определение 3.3.1.

[1] Габриэль, Пьер ; Зисман, Мишель (1967). Исчисление дробей и теория гомотопий (PDF) . Результаты математики и ее пограничных областей , Том 35. Нью-Йорк: Springer-Verlag. п. 12.

[2] Идемпотенты в моноидальных категориях

[3] Филип С. Хиршхорн: Категории моделей и их локализация , 2003, ISBN 0-8218-3279-4 ., Определение 3.3.1.

[1]

[2]

[3]

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