12.9 Serre subcategories

In [Chapter I, Section 1, Serre_homotopie_classes] a notion of a “class” of abelian groups is defined. This notion has been extended to abelian categories by many authors (in slightly different ways). We will use the following variant which is virtually identical to Serre's original definition.

A weak Serre subcategory of $\mathcal{A}$ is a nonempty full subcategory $\mathcal{C}$ of $\mathcal{A}$ such that given an exact sequence

\[ A_0 \to A_1 \to A_2 \to A_3 \to A_4 \]

with $A_0, A_1, A_3, A_4$ in $\mathcal{C}$, then also $A_2$ in $\mathcal{C}$.

In some references the second notion is called a “thick” subcategory and in other references the first notion is called a “thick” subcategory. However, it seems that the notion of a Serre subcategory is universally accepted to be the one defined above. Note that in both cases the category $\mathcal{C}$ is abelian and that the inclusion functor $\mathcal{C} \to \mathcal{A}$ is a fully faithful exact functor. Let's characterize these types of subcategories in more detail.

Lemma 12.9.2. Let $\mathcal{A}$ be an abelian category. Let $\mathcal{C}$ be a subcategory of $\mathcal{A}$. Then $\mathcal{C}$ is a Serre subcategory if and only if the following conditions are satisfied:

$0 \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$,

$\mathcal{C}$ is a strictly full subcategory of $\mathcal{A}$,

any subobject or quotient of an object of $\mathcal{C}$ is an object of $\mathcal{C}$,

if $A \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{A})$ is an extension of objects of $\mathcal{C}$ then also $A \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$.

Moreover, a Serre subcategory is an abelian category and the inclusion functor is exact.

Proof.
Omitted.
$\square$

Lemma 12.9.3. Let $\mathcal{A}$ be an abelian category. Let $\mathcal{C}$ be a subcategory of $\mathcal{A}$. Then $\mathcal{C}$ is a weak Serre subcategory if and only if the following conditions are satisfied:

$0 \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$,

$\mathcal{C}$ is a strictly full subcategory of $\mathcal{A}$,

kernels and cokernels in $\mathcal{A}$ of morphisms between objects of $\mathcal{C}$ are in $\mathcal{C}$,

if $A \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{A})$ is an extension of objects of $\mathcal{C}$ then also $A \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$.

Moreover, a weak Serre subcategory is an abelian category and the inclusion functor is exact.

Proof.
Omitted.
$\square$

Lemma 12.9.4. Let $\mathcal{A}$, $\mathcal{B}$ be abelian categories. Let $F : \mathcal{A} \to \mathcal{B}$ be an exact functor. Then the full subcategory of objects $C$ of $\mathcal{A}$ such that $F(C) = 0$ forms a Serre subcategory of $\mathcal{A}$.

Proof.
Omitted.
$\square$

Definition 12.9.5. Let $\mathcal{A}$, $\mathcal{B}$ be abelian categories. Let $F : \mathcal{A} \to \mathcal{B}$ be an exact functor. Then the full subcategory of objects $C$ of $\mathcal{A}$ such that $F(C) = 0$ is called the kernel of the functor $F$, and is sometimes denoted $\mathop{\mathrm{Ker}}(F)$.

Any Serre subcategory of an abelian category is the kernel of an exact functor. In Examples, Section 102.69 we discuss this for Serre's original example of torsion groups.

Lemma 12.9.6. Let $\mathcal{A}$ be an abelian category. Let $\mathcal{C} \subset \mathcal{A}$ be a Serre subcategory. There exists an abelian category $\mathcal{A}/\mathcal{C}$ and an exact functor

\[ F : \mathcal{A} \longrightarrow \mathcal{A}/\mathcal{C} \]

which is essentially surjective and whose kernel is $\mathcal{C}$. The category $\mathcal{A}/\mathcal{C}$ and the functor $F$ are characterized by the following universal property: For any exact functor $G : \mathcal{A} \to \mathcal{B}$ such that $\mathcal{C} \subset \mathop{\mathrm{Ker}}(G)$ there exists a factorization $G = H \circ F$ for a unique exact functor $H : \mathcal{A}/\mathcal{C} \to \mathcal{B}$.

Proof.
Consider the set of arrows of $\mathcal{A}$ defined by the following formula

with $t \in S$. Set $W = C \amalg _ A B = \mathop{\mathrm{Coker}}((t, -g) : A \to C \oplus B)$. Then $\mathop{\mathrm{Ker}}(t) \to \mathop{\mathrm{Ker}}(s)$ is surjective and $\mathop{\mathrm{Coker}}(t) \to \mathop{\mathrm{Coker}}(s)$ is an isomorphism. Hence $s$ is an element of $S$. This proves LMS2 and the proof of RMS2 is dual.

Having proved that $S$ is a multiplicative system we set $\mathcal{A}/\mathcal{C} = S^{-1}\mathcal{A}$, and we set $F$ equal to the localization functor $Q$. By Lemma 12.8.4 the category $\mathcal{A}/\mathcal{C}$ is abelian and $F$ is exact. If $X$ is in the kernel of $F = Q$, then by Lemma 12.8.3 we see that $0 : X \to Z$ is an element of $S$ and hence $X$ is an object of $\mathcal{C}$, i.e., the kernel of $F$ is $\mathcal{C}$. Finally, if $G$ is as in the statement of the lemma, then $G$ turns every element of $S$ into an isomorphism. Hence we obtain the functor $H : \mathcal{A}/\mathcal{C} \to \mathcal{B}$ from the universal property of localization, see Categories, Lemma 4.26.8.
$\square$

Proof.
The “only if” direction is true because the kernel of $\overline{F}$ is zero by construction. Namely, if $f : X \to Y$ is a morphism in $\mathcal{A}/\mathcal{C}$ such that $\overline{F}(f) = 0$, then $\overline{F}(\mathop{\mathrm{Im}}(f)) = \mathop{\mathrm{Im}}(\overline{F}(f)) = 0$, hence $\mathop{\mathrm{Im}}(f) = 0$ by the assumption on the kernel of $F$. Thus $f = 0$.

Yes. It's my mistake. At that time, I just learned this theory and I took it for granted that it is universal among all functors which annihilate . Then I realized that I is universal among exact functors which annihilate . And I don't know how to delete a 'stupid comment' as that.

Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 02MN. Beware of the difference between the letter 'O' and the digit '0'.

Tag:

The tag you filled in for the captcha is wrong. You need to write 02MN, in case you are confused.