Localization of a category

Localization of categories

The above examples of localization of R-modules is abstracted in the following definition. In this shape, it applies in many more examples, some of which are sketched below.

Given a category C and some class W of morphisms in C, the localization C[W⁻¹] is another category which is obtained by inverting all the morphisms in W. More formally, it is characterized by a universal property: there is a natural localization functor C → C[W⁻¹] and given another category D, a functor F: C → D factors uniquely over C[W⁻¹] if and only if F sends all arrows in W to isomorphisms.

Thus, the localization of the category is unique up to unique isomorphism of categories, provided that it exists. One construction of the localization is done by declaring that its objects are the same as those in C, but the morphisms are enhanced by adding a formal inverse for each morphism in W. Under suitable hypotheses on W, the morphisms from object X to object Y are given by roofs

${\displaystyle X\stackrel{f}{\leftarrow }{X}^{\prime }\to Y}$

(where X' is an arbitrary object of C and f is in the given class W of morphisms), modulo certain equivalence relations. These relations turn the map going in the "wrong" direction into an inverse of f. This "calculus of fractions" can be seen as a generalization of the construction of rational numbers as equivalence classes of pairs of integers.

This procedure, however, in general yields a proper class of morphisms between X and Y. Typically, the morphisms in a category are only allowed to form a set. Some authors simply ignore such set-theoretic issues.

Model categories

A rigorous construction of localization of categories, avoiding these set-theoretic issues, was one of the initial reasons for the development of the theory of model categories: a model category M is a category in which there are three classes of maps; one of these classes is the class of weak equivalences. The homotopy category Ho(M) is then the localization with respect to the weak equivalences. The axioms of a model category ensure that this localization can be defined without set-theoretical difficulties.

Alternative definition

Some authors also define a localization of a category C to be an idempotent and coaugmented functor. A coaugmented functor is a pair (L,l) where L:C → C is an endofunctor and l:Id → L is a natural transformation from the identity functor to L (called the coaugmentation). A coaugmented functor is idempotent if, for every X, both maps L(l_X),l_L(X):L(X) → LL(X) are isomorphisms. It can be proven that in this case, both maps are equal.

This definition is related to the one given above as follows: applying the first definition, there is, in many situations, not only a canonical functor ${\displaystyle C\to C[W^{-1}]}$, but also a functor in the opposite direction,

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

For example, modules over the localization ${\displaystyle R[S^{-1}]}$ of a ring are also modules over R itself, giving a functor

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

In this case, the composition

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

is a localization of C in the sense of an idempotent and coaugmented functor.

Examples

Serre's C-theory

Serre introduced the idea of working in homotopy theory modulo some class C of abelian groups. This meant that groups A and B were treated as isomorphic, if for example A/B lay in C.

Module theory

In the theory of modules over a commutative ring R, when R has Krull dimension ≥ 2, it can be useful to treat modules M and N as pseudo-isomorphic if M/N has support of codimension at least two. This idea is much used in Iwasawa theory.

Derived categories

The derived category of an abelian category is much used in homological algebra. It is the localization of the category of chain complexes (up to homotopy) with respect to the quasi-isomorphisms.

Quotients of abelian categories

Given an abelian category A and a Serre subcategory B, one can define the quotient category A/B, which is an abelian category equipped with an exact functor from A to A/B that is essentially surjective and has kernel B. This quotient category can be constructed as a localization of A by the class of morphisms whose kernel and cokernel are both in B.

Abelian varieties up to isogeny

An isogeny from an abelian variety A to another one B is a surjective morphism with finite kernel. Some theorems on abelian varieties require the idea of abelian variety up to isogeny for their convenient statement. For example, given an abelian subvariety A₁ of A, there is another subvariety A₂ of A such that

A₁ × A₂

is isogenous to A (Poincaré's reducibility theorem: see for example Abelian Varieties by David Mumford). To call this a direct sum decomposition, we should work in the category of abelian varieties up to isogeny.

Related concepts

The localization of a topological space, introduced by Dennis Sullivan, produces another topological space whose homology is a localization of the homology of the original space.

A much more general concept from homotopical algebra, including as special cases both the localization of spaces and of categories, is the Bousfield localization of a model category. Bousfield localization forces certain maps to become weak equivalences, which is in general weaker than forcing them to become isomorphisms.