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

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

и

Категория морфизмов 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 относительно морфизмы объекта 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) являются изоморфизмами. Можно доказать, что в этом случае обе карты равны.

Это определение связано с данным выше следующим образом: применяя первое определение, во многих ситуациях существует не только канонический функтор $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 « (теорема Пуанкаре о сводимости: см., например, многообразия» Дэвида Мамфорда ). Чтобы назвать это разложением в прямую сумму , нам следует работать в категории абелевых многообразий с точностью до изогении.

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

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

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

См. также

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