Namespaces
Variants
Actions

Difference between revisions of "Localization in categories"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
A construction associated with special radical subcategories; it first appeared in Abelian categories in the description of the so-called Grothendieck categories in terms of categories of modules over rings (cf. [[Grothendieck category|Grothendieck category]]). Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l0602901.png" /> be an [[Abelian category|Abelian category]]. A full subcategory <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l0602902.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l0602903.png" /> is said to be thick if it contains all subobjects and quotient objects of its objects and is closed with respect to extension, that is, in an exact sequence
+
<!--
 +
l0602901.png
 +
$#A+1 = 52 n = 0
 +
$#C+1 = 52 : ~/encyclopedia/old_files/data/L060/L.0600290 Localization in categories
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l0602904.png" /></td> </tr></table>
+
{{TEX|auto}}
 +
{{TEX|done}}
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l0602905.png" /> if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l0602906.png" />. The quotient category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l0602907.png" /> is constructed in the following way. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l0602908.png" /> be a subobject of the direct sum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l0602909.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029010.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029011.png" /> are projections, and suppose that the square
+
A construction associated with special radical subcategories; it first appeared in Abelian categories in the description of the so-called Grothendieck categories in terms of categories of modules over rings (cf. [[Grothendieck category|Grothendieck category]]). Let  $  \mathfrak A $
 +
be an [[Abelian category|Abelian category]]. A full subcategory  $  {\mathfrak A  ^  \prime  } $
 +
of  $  \mathfrak A $
 +
is said to be thick if it contains all subobjects and quotient objects of its objects and is closed with respect to extension, that is, in an exact sequence
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029012.png" /></td> </tr></table>
+
$$
 +
0 \rightarrow  A  \rightarrow  B  \rightarrow  C  \rightarrow  0 ,
 +
$$
  
is a pushout. The subobject <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029013.png" /> is called an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029014.png" />-subobject if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029015.png" />. Two <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029016.png" />-subobjects are equivalent if they contain an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029017.png" />-subobject. By definition, the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029018.png" /> consists of equivalence classes of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029019.png" />-subobjects of the direct sum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029020.png" />. Ordinary composition of binary relations in an Abelian category is compatible with the equivalence introduced, which makes it possible to define the quotient category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029021.png" />. This quotient category turns out to be an Abelian category. An exact functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029022.png" /> can be defined by associating with each morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029023.png" /> its graph in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029024.png" />. A thick subcategory <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029025.png" /> is called a localizing subcategory if the functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029026.png" /> has a full and faithful right adjoint <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029027.png" />. A localizing subcategory is always the subcategory of all radical objects for some hereditary radical.
+
$  B \in  \mathop{\rm Ob}  {\mathfrak A  ^  \prime  } $
 +
if and only if  $  A , C \in  \mathop{\rm Ob}  {\mathfrak A  ^  \prime  } $.
 +
The quotient category  $  \mathfrak A / {\mathfrak A  ^  \prime  } $
 +
is constructed in the following way. Let  $  ( R , \mu ] $
 +
be a subobject of the direct sum  $  A \oplus B ( \pi _ {1} , \pi _ {2} ) $,
 +
where  $  \pi _ {1} $
 +
and  $  \pi _ {2} $
 +
are projections, and suppose that the square
 +
 
 +
$$
 +
 
 +
\begin{array}{rcl}
 +
R  &\rightarrow ^ { {\pi _ 2} \mu }  & B  \\
 +
size - 3 {\pi _ {1} \mu } \downarrow  &{}  &\downarrow size - 3 \beta  \\
 +
A  & \mathop \rightarrow \limits _  \alpha    & C  \\
 +
\end{array}
 +
 
 +
$$
 +
 
 +
is a pushout. The subobject $  ( R , \mu ] $
 +
is called an $  {\mathfrak A  ^  \prime  } $-
 +
subobject if $  \mathop{\rm Coker}  \pi _ {1} \mu ,  \mathop{\rm Ker}  \beta \in  \mathop{\rm Ob}  {\mathfrak A  ^  \prime  } $.  
 +
Two $  {\mathfrak A  ^  \prime  } $-
 +
subobjects are equivalent if they contain an $  {\mathfrak A  ^  \prime  } $-
 +
subobject. By definition, the set $  H _ {\mathfrak A / {\mathfrak A  ^  \prime  } } ( A , B ) $
 +
consists of equivalence classes of $  {\mathfrak A  ^  \prime  } $-
 +
subobjects of the direct sum $  A \oplus B $.  
 +
Ordinary composition of binary relations in an Abelian category is compatible with the equivalence introduced, which makes it possible to define the quotient category $  \mathfrak A / {\mathfrak A  ^  \prime  } $.  
 +
This quotient category turns out to be an Abelian category. An exact functor $  T : \mathfrak A \rightarrow \mathfrak A / {\mathfrak A  ^  \prime  } $
 +
can be defined by associating with each morphism $  \alpha : A \rightarrow B $
 +
its graph in $  A \oplus B $.  
 +
A thick subcategory $  {\mathfrak A  ^  \prime  } $
 +
is called a localizing subcategory if the functor $  T $
 +
has a full and faithful right adjoint $  S : \mathfrak A / {\mathfrak A  ^  \prime  } \rightarrow \mathfrak A $.  
 +
A localizing subcategory is always the subcategory of all radical objects for some hereditary radical.
  
 
In the category of Abelian groups the subcategory of all torsion groups is a localizing subcategory. The quotient category of any category of modules with respect to a localizing subcategory is a Grothendieck category. Conversely, any Grothendieck category is equivalent to a quotient category of a suitable category of modules.
 
In the category of Abelian groups the subcategory of all torsion groups is a localizing subcategory. The quotient category of any category of modules with respect to a localizing subcategory is a Grothendieck category. Conversely, any Grothendieck category is equivalent to a quotient category of a suitable category of modules.
Line 14: Line 61:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> I. Bucur,   A. Deleanu,   "Introduction to the theory of categories and functors" , Wiley (1968)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> P. Gabriel,   "Des catégories abéliennes" ''Bull. Soc. Math. France'' , '''90''' (1962) pp. 323–448</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> E.G. Shul'geifer,   "Localizations and strongly hereditary strict radicals in categories" ''Trans. Moscow Math. Soc.'' , '''19''' (1969) pp. 299–331 ''Trudy Moskov. Mat. Obshch.'' , '''19''' (1968) pp. 271–301</TD></TR></table>
+
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> I. Bucur, A. Deleanu, "Introduction to the theory of categories and functors" , Wiley (1968) {{MR|0236236}} {{ZBL|0197.29205}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> P. Gabriel, "Des catégories abéliennes" ''Bull. Soc. Math. France'' , '''90''' (1962) pp. 323–448 {{MR|0232821}} {{ZBL|0201.35602}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> E.G. Shul'geifer, "Localizations and strongly hereditary strict radicals in categories" ''Trans. Moscow Math. Soc.'' , '''19''' (1969) pp. 299–331 ''Trudy Moskov. Mat. Obshch.'' , '''19''' (1968) pp. 271–301 {{MR|}} {{ZBL|0197.29301}} </TD></TR></table>
 
 
 
 
  
 
====Comments====
 
====Comments====
The term "dense subcategory" is sometimes used in place of "thick subcategory" ; but "dense subcategorydense subcategory" has another, conflicting, meaning. The term "Serre class18E40Serre class" is also used for this concept, particularly by algebraic topologists (cf. [[#References|[a1]]]). A thick subcategory <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029028.png" /> is a localizing subcategory if and only if: 1) every object of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029029.png" /> has a largest subobject in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029030.png" />; and 2) given an object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029031.png" /> for which this greatest subobject is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029032.png" />, there exists a monomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029033.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029034.png" /> has the property that each morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029035.png" /> in the quotient category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029036.png" /> derives from a unique morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029037.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029038.png" /> (see [[#References|[a2]]]). The quotient category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029039.png" /> may also be defined as a category of fractions (cf. [[#References|[a3]]]), in which one formally adjoins inverses for these morphisms in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029040.png" /> which are "isomorphisms modulo A'" in the sense that their kernels and cokernels both belong to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029041.png" />. The class of all isomorphisms modulo <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029042.png" /> admits both a calculus of left fractions and a calculus of right fractions; this corresponds to the fact that the canonical functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029043.png" /> is exact.
+
The term "dense subcategory" is sometimes used in place of "thick subcategory" ; but "dense subcategorydense subcategory" has another, conflicting, meaning. The term "Serre class18E40Serre class" is also used for this concept, particularly by algebraic topologists (cf. [[#References|[a1]]]). A thick subcategory $  \mathfrak A  ^  \prime  $
 +
is a localizing subcategory if and only if: 1) every object of $  \mathfrak A $
 +
has a largest subobject in $  \mathfrak A  ^  \prime  $;  
 +
and 2) given an object $  A $
 +
for which this greatest subobject is 0 $,  
 +
there exists a monomorphism $  A \rightarrow B $,  
 +
where $  B $
 +
has the property that each morphism $  C \rightarrow B $
 +
in the quotient category $  \mathfrak A / {\mathfrak A  ^  \prime  } $
 +
derives from a unique morphism $  C \rightarrow B $
 +
in $  \mathfrak A $(
 +
see [[#References|[a2]]]). The quotient category $  \mathfrak A / {\mathfrak A  ^  \prime  } $
 +
may also be defined as a category of fractions (cf. [[#References|[a3]]]), in which one formally adjoins inverses for these morphisms in $  \mathfrak A $
 +
which are "isomorphisms modulo A'" in the sense that their kernels and cokernels both belong to $  \mathfrak A  ^  \prime  $.  
 +
The class of all isomorphisms modulo $  \mathfrak A  ^  \prime  $
 +
admits both a calculus of left fractions and a calculus of right fractions; this corresponds to the fact that the canonical functor $  T : \mathfrak A \rightarrow \mathfrak A / {\mathfrak A  ^  \prime  } $
 +
is exact.
  
Localizations of module categories have been extensively used in non-commutative ring theory and in the attempts to develop a "non-commutative algebraic geometry" ; see [[#References|[a4]]], [[#References|[a5]]].
+
Localizations of module categories have been extensively used in non-commutative ring theory and in the attempts to develop a "non-commutative algebraic geometry" ; see [[#References|[a4]]], [[#References|[a5]]].
  
In the context of non-Abelian categories, a localization of a category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029044.png" /> is generally taken to mean a functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029045.png" /> which is exact (i.e. preserves finite limits and colimits) and has a full and faithful right adjoint <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029046.png" />; equivalently, the localization of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029047.png" /> may be identified with the (full, reflective) subcategories of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029048.png" /> which are the images of these right adjoints. Such localizations cannot be classified by localizing subcategories, as in the Abelian case, but various techniques have been developed for handling them in many particular cases of interest. For example, the "little Giraud theoremlittle Giraud theorem" classifies localizations of a functor category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029049.png" /> in terms of Grothendieck topologies on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029050.png" /> [[#References|[a6]]]; more generally, the localizations of an arbitrary (elementary) [[Topos|topos]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029051.png" /> are classified by Lawvere–Tierney topologies in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060290/l06029052.png" /> [[#References|[a7]]]. (See also [[#References|[a8]]] for a topos-theoretic analogue of the notion of Serre class.) For localizations of algebraic categories (and more generally of locally presentable categories), see [[#References|[a9]]] and [[#References|[a10]]]. [[#References|[a11]]] studies the ordered set of localizations of a given category; it turns out that under reasonable hypotheses this set is a [[Complete lattice|complete lattice]] satisfying an infinite distributive law.
+
In the context of non-Abelian categories, a localization of a category $  C $
 +
is generally taken to mean a functor $  T : C \rightarrow D $
 +
which is exact (i.e. preserves finite limits and colimits) and has a full and faithful right adjoint $  S $;  
 +
equivalently, the localization of $  C $
 +
may be identified with the (full, reflective) subcategories of $  C $
 +
which are the images of these right adjoints. Such localizations cannot be classified by localizing subcategories, as in the Abelian case, but various techniques have been developed for handling them in many particular cases of interest. For example, the "little Giraud theoremlittle Giraud theorem" classifies localizations of a functor category $  [ C  ^ {op} ,  \mathop{\rm Set} ] $
 +
in terms of Grothendieck topologies on $  C $[[#References|[a6]]]; more generally, the localizations of an arbitrary (elementary) [[Topos|topos]] $  E $
 +
are classified by Lawvere–Tierney topologies in $  E $[[#References|[a7]]]. (See also [[#References|[a8]]] for a topos-theoretic analogue of the notion of Serre class.) For localizations of algebraic categories (and more generally of locally presentable categories), see [[#References|[a9]]] and [[#References|[a10]]]. [[#References|[a11]]] studies the ordered set of localizations of a given category; it turns out that under reasonable hypotheses this set is a [[Complete lattice|complete lattice]] satisfying an infinite distributive law.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> J.-.P. Serre,   "Groupes d'homotopie et classes de groupes abéliens" ''Ann. of Math.'' , '''58''' : 2 (1953) pp. 258–294</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> N. Popescu,   "Abelian categories with applications to rings and modules" , Acad. Press (1973)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> P. Gabriel,   M. Zisman,   "Categories of fractions and homotopy theory" , Springer (1967)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> J.S. Golan,   "Localization of noncommutative rings" , M. Dekker (1975)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> J.S. Golan,   "Torsion theories" , Longman (1986)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> M. Artin (ed.) A. Grothendieck (ed.) J.-L. Verdier (ed.) , ''Théorie des topos (SGA 4, vol. I)'' , ''Lect. notes in math.'' , '''269''' , Springer (1972)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> P.T. Johnstone,   "Topos theory" , Acad. Press (1977)</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top"> M. Adelman,   P.T. Johnstone,   "Serre classes for toposes" ''Bull. Austral. Math. Soc.'' , '''25''' (1982) pp. 103–115</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top"> F. Borceux,   G. van den Bossche,   "Algebra in a localic topos with applications to ring theory" , ''Lect. notes in math.'' , '''1038''' , Springer (1983)</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top"> F. Borceux,   B. Veit,   "On the left exactness of orthogonal reflections" ''J. Pure Appl. Alg.'' , '''49''' (1987) pp. 33–42</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top"> F. Borceux,   G.M. Kelly,   "On locales of localizations" ''J. Pure Appl. Alg.'' , '''46''' (1987) pp. 1–34</TD></TR></table>
+
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> J.-.P. Serre, "Groupes d'homotopie et classes de groupes abéliens" ''Ann. of Math.'' , '''58''' : 2 (1953) pp. 258–294 {{MR|0059548}} {{ZBL|0052.19303}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> N. Popescu, "Abelian categories with applications to rings and modules" , Acad. Press (1973) {{MR|0340375}} {{ZBL|0271.18006}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> P. Gabriel, M. Zisman, "Categories of fractions and homotopy theory" , Springer (1967) {{MR|0353301}} {{ZBL|}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> J.S. Golan, "Localization of noncommutative rings" , M. Dekker (1975) {{MR|0366961}} {{ZBL|0302.16002}} </TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> J.S. Golan, "Torsion theories" , Longman (1986) {{MR|0880019}} {{MR|0848356}} {{ZBL|0657.16017}} {{ZBL|0587.16017}} </TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> M. Artin (ed.) A. Grothendieck (ed.) J.-L. Verdier (ed.) , ''Théorie des topos (SGA 4, vol. I)'' , ''Lect. notes in math.'' , '''269''' , Springer (1972) {{MR|1080173}} {{MR|1080172}} {{MR|0717602}} {{MR|0717586}} {{MR|0505104}} {{MR|0505101}} {{ZBL|}} </TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> P.T. Johnstone, "Topos theory" , Acad. Press (1977) {{MR|0470019}} {{ZBL|0368.18001}} </TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top"> M. Adelman, P.T. Johnstone, "Serre classes for toposes" ''Bull. Austral. Math. Soc.'' , '''25''' (1982) pp. 103–115 {{MR|0651424}} {{ZBL|0459.18005}} </TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top"> F. Borceux, G. van den Bossche, "Algebra in a localic topos with applications to ring theory" , ''Lect. notes in math.'' , '''1038''' , Springer (1983) {{MR|0724431}} {{ZBL|0522.18001}} </TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top"> F. Borceux, B. Veit, "On the left exactness of orthogonal reflections" ''J. Pure Appl. Alg.'' , '''49''' (1987) pp. 33–42 {{MR|0920514}} {{ZBL|0632.18002}} </TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top"> F. Borceux, G.M. Kelly, "On locales of localizations" ''J. Pure Appl. Alg.'' , '''46''' (1987) pp. 1–34 {{MR|0894389}} {{ZBL|0614.18005}} </TD></TR></table>

Latest revision as of 22:17, 5 June 2020


A construction associated with special radical subcategories; it first appeared in Abelian categories in the description of the so-called Grothendieck categories in terms of categories of modules over rings (cf. Grothendieck category). Let $ \mathfrak A $ be an Abelian category. A full subcategory $ {\mathfrak A ^ \prime } $ of $ \mathfrak A $ is said to be thick if it contains all subobjects and quotient objects of its objects and is closed with respect to extension, that is, in an exact sequence

$$ 0 \rightarrow A \rightarrow B \rightarrow C \rightarrow 0 , $$

$ B \in \mathop{\rm Ob} {\mathfrak A ^ \prime } $ if and only if $ A , C \in \mathop{\rm Ob} {\mathfrak A ^ \prime } $. The quotient category $ \mathfrak A / {\mathfrak A ^ \prime } $ is constructed in the following way. Let $ ( R , \mu ] $ be a subobject of the direct sum $ A \oplus B ( \pi _ {1} , \pi _ {2} ) $, where $ \pi _ {1} $ and $ \pi _ {2} $ are projections, and suppose that the square

$$ \begin{array}{rcl} R &\rightarrow ^ { {\pi _ 2} \mu } & B \\ size - 3 {\pi _ {1} \mu } \downarrow &{} &\downarrow size - 3 \beta \\ A & \mathop \rightarrow \limits _ \alpha & C \\ \end{array} $$

is a pushout. The subobject $ ( R , \mu ] $ is called an $ {\mathfrak A ^ \prime } $- subobject if $ \mathop{\rm Coker} \pi _ {1} \mu , \mathop{\rm Ker} \beta \in \mathop{\rm Ob} {\mathfrak A ^ \prime } $. Two $ {\mathfrak A ^ \prime } $- subobjects are equivalent if they contain an $ {\mathfrak A ^ \prime } $- subobject. By definition, the set $ H _ {\mathfrak A / {\mathfrak A ^ \prime } } ( A , B ) $ consists of equivalence classes of $ {\mathfrak A ^ \prime } $- subobjects of the direct sum $ A \oplus B $. Ordinary composition of binary relations in an Abelian category is compatible with the equivalence introduced, which makes it possible to define the quotient category $ \mathfrak A / {\mathfrak A ^ \prime } $. This quotient category turns out to be an Abelian category. An exact functor $ T : \mathfrak A \rightarrow \mathfrak A / {\mathfrak A ^ \prime } $ can be defined by associating with each morphism $ \alpha : A \rightarrow B $ its graph in $ A \oplus B $. A thick subcategory $ {\mathfrak A ^ \prime } $ is called a localizing subcategory if the functor $ T $ has a full and faithful right adjoint $ S : \mathfrak A / {\mathfrak A ^ \prime } \rightarrow \mathfrak A $. A localizing subcategory is always the subcategory of all radical objects for some hereditary radical.

In the category of Abelian groups the subcategory of all torsion groups is a localizing subcategory. The quotient category of any category of modules with respect to a localizing subcategory is a Grothendieck category. Conversely, any Grothendieck category is equivalent to a quotient category of a suitable category of modules.

The concept of a localizing subcategory can also be defined for non-Abelian categories [3]. However, in the non-Abelian case there usually are few such subcategories. For example, in the category of associative rings there are only the two trivial localizing subcategories, namely the whole category and the full subcategory of it that contains only trivial rings.

References

[1] I. Bucur, A. Deleanu, "Introduction to the theory of categories and functors" , Wiley (1968) MR0236236 Zbl 0197.29205
[2] P. Gabriel, "Des catégories abéliennes" Bull. Soc. Math. France , 90 (1962) pp. 323–448 MR0232821 Zbl 0201.35602
[3] E.G. Shul'geifer, "Localizations and strongly hereditary strict radicals in categories" Trans. Moscow Math. Soc. , 19 (1969) pp. 299–331 Trudy Moskov. Mat. Obshch. , 19 (1968) pp. 271–301 Zbl 0197.29301

Comments

The term "dense subcategory" is sometimes used in place of "thick subcategory" ; but "dense subcategorydense subcategory" has another, conflicting, meaning. The term "Serre class18E40Serre class" is also used for this concept, particularly by algebraic topologists (cf. [a1]). A thick subcategory $ \mathfrak A ^ \prime $ is a localizing subcategory if and only if: 1) every object of $ \mathfrak A $ has a largest subobject in $ \mathfrak A ^ \prime $; and 2) given an object $ A $ for which this greatest subobject is $ 0 $, there exists a monomorphism $ A \rightarrow B $, where $ B $ has the property that each morphism $ C \rightarrow B $ in the quotient category $ \mathfrak A / {\mathfrak A ^ \prime } $ derives from a unique morphism $ C \rightarrow B $ in $ \mathfrak A $( see [a2]). The quotient category $ \mathfrak A / {\mathfrak A ^ \prime } $ may also be defined as a category of fractions (cf. [a3]), in which one formally adjoins inverses for these morphisms in $ \mathfrak A $ which are "isomorphisms modulo A'" in the sense that their kernels and cokernels both belong to $ \mathfrak A ^ \prime $. The class of all isomorphisms modulo $ \mathfrak A ^ \prime $ admits both a calculus of left fractions and a calculus of right fractions; this corresponds to the fact that the canonical functor $ T : \mathfrak A \rightarrow \mathfrak A / {\mathfrak A ^ \prime } $ is exact.

Localizations of module categories have been extensively used in non-commutative ring theory and in the attempts to develop a "non-commutative algebraic geometry" ; see [a4], [a5].

In the context of non-Abelian categories, a localization of a category $ C $ is generally taken to mean a functor $ T : C \rightarrow D $ which is exact (i.e. preserves finite limits and colimits) and has a full and faithful right adjoint $ S $; equivalently, the localization of $ C $ may be identified with the (full, reflective) subcategories of $ C $ which are the images of these right adjoints. Such localizations cannot be classified by localizing subcategories, as in the Abelian case, but various techniques have been developed for handling them in many particular cases of interest. For example, the "little Giraud theoremlittle Giraud theorem" classifies localizations of a functor category $ [ C ^ {op} , \mathop{\rm Set} ] $ in terms of Grothendieck topologies on $ C $[a6]; more generally, the localizations of an arbitrary (elementary) topos $ E $ are classified by Lawvere–Tierney topologies in $ E $[a7]. (See also [a8] for a topos-theoretic analogue of the notion of Serre class.) For localizations of algebraic categories (and more generally of locally presentable categories), see [a9] and [a10]. [a11] studies the ordered set of localizations of a given category; it turns out that under reasonable hypotheses this set is a complete lattice satisfying an infinite distributive law.

References

[a1] J.-.P. Serre, "Groupes d'homotopie et classes de groupes abéliens" Ann. of Math. , 58 : 2 (1953) pp. 258–294 MR0059548 Zbl 0052.19303
[a2] N. Popescu, "Abelian categories with applications to rings and modules" , Acad. Press (1973) MR0340375 Zbl 0271.18006
[a3] P. Gabriel, M. Zisman, "Categories of fractions and homotopy theory" , Springer (1967) MR0353301
[a4] J.S. Golan, "Localization of noncommutative rings" , M. Dekker (1975) MR0366961 Zbl 0302.16002
[a5] J.S. Golan, "Torsion theories" , Longman (1986) MR0880019 MR0848356 Zbl 0657.16017 Zbl 0587.16017
[a6] M. Artin (ed.) A. Grothendieck (ed.) J.-L. Verdier (ed.) , Théorie des topos (SGA 4, vol. I) , Lect. notes in math. , 269 , Springer (1972) MR1080173 MR1080172 MR0717602 MR0717586 MR0505104 MR0505101
[a7] P.T. Johnstone, "Topos theory" , Acad. Press (1977) MR0470019 Zbl 0368.18001
[a8] M. Adelman, P.T. Johnstone, "Serre classes for toposes" Bull. Austral. Math. Soc. , 25 (1982) pp. 103–115 MR0651424 Zbl 0459.18005
[a9] F. Borceux, G. van den Bossche, "Algebra in a localic topos with applications to ring theory" , Lect. notes in math. , 1038 , Springer (1983) MR0724431 Zbl 0522.18001
[a10] F. Borceux, B. Veit, "On the left exactness of orthogonal reflections" J. Pure Appl. Alg. , 49 (1987) pp. 33–42 MR0920514 Zbl 0632.18002
[a11] F. Borceux, G.M. Kelly, "On locales of localizations" J. Pure Appl. Alg. , 46 (1987) pp. 1–34 MR0894389 Zbl 0614.18005
How to Cite This Entry:
Localization in categories. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Localization_in_categories&oldid=13960
This article was adapted from an original article by M.Sh. Tsalenko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article