The Stacks project

\begin{equation*} \DeclareMathOperator\Coim{Coim} \DeclareMathOperator\Coker{Coker} \DeclareMathOperator\Ext{Ext} \DeclareMathOperator\Hom{Hom} \DeclareMathOperator\Im{Im} \DeclareMathOperator\Ker{Ker} \DeclareMathOperator\Mor{Mor} \DeclareMathOperator\Ob{Ob} \DeclareMathOperator\Sh{Sh} \DeclareMathOperator\SheafExt{\mathcal{E}\mathit{xt}} \DeclareMathOperator\SheafHom{\mathcal{H}\mathit{om}} \DeclareMathOperator\Spec{Spec} \newcommand\colim{\mathop{\mathrm{colim}}\nolimits} \newcommand\lim{\mathop{\mathrm{lim}}\nolimits} \newcommand\Qcoh{\mathit{Qcoh}} \newcommand\Sch{\mathit{Sch}} \newcommand\QCohstack{\mathcal{QC}\!\mathit{oh}} \newcommand\Cohstack{\mathcal{C}\!\mathit{oh}} \newcommand\Spacesstack{\mathcal{S}\!\mathit{paces}} \newcommand\Quotfunctor{\mathrm{Quot}} \newcommand\Hilbfunctor{\mathrm{Hilb}} \newcommand\Curvesstack{\mathcal{C}\!\mathit{urves}} \newcommand\Polarizedstack{\mathcal{P}\!\mathit{olarized}} \newcommand\Complexesstack{\mathcal{C}\!\mathit{omplexes}} \newcommand\Pic{\mathop{\mathrm{Pic}}\nolimits} \newcommand\Picardstack{\mathcal{P}\!\mathit{ic}} \newcommand\Picardfunctor{\mathrm{Pic}} \newcommand\Deformationcategory{\mathcal{D}\!\mathit{ef}} \end{equation*}

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

\[ S = \{ f \in \text{Arrows}(\mathcal{A}) \mid \mathop{\mathrm{Ker}}(f), \mathop{\mathrm{Coker}}(f) \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C}) \} . \]

We claim that $S$ is a multiplicative system. To prove this we have to check MS1, MS2, MS3, see Categories, Definition 4.26.1.

It is clear that identities are elements of $S$. Suppose that $f : A \to B$ and $g : B \to C$ are elements of $S$. There are exact sequences

\[ \begin{matrix} 0 \to \mathop{\mathrm{Ker}}(f) \to \mathop{\mathrm{Ker}}(gf) \to \mathop{\mathrm{Ker}}(g) \\ \mathop{\mathrm{Coker}}(f) \to \mathop{\mathrm{Coker}}(gf) \to \mathop{\mathrm{Coker}}(g) \to 0 \end{matrix} \]

Hence it follows that $gf \in S$. This proves MS1. (In fact, a similar argument will show that $S$ is a saturated multiplicative system, see Categories, Definition 4.26.20.)

Consider a solid diagram

\[ \xymatrix{ A \ar[d]_ t \ar[r]_ g & B \ar@{..>}[d]^ s \\ C \ar@{..>}[r]^ f & C \amalg _ A B } \]

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.

Finally, consider morphisms $f, g : B \to C$ and a morphism $s : A \to B$ in $S$ such that $f \circ s = g \circ s$. This means that $(f - g) \circ s = 0$. In turn this means that $I = \mathop{\mathrm{Im}}(f - g) \subset C$ is a quotient of $\mathop{\mathrm{Coker}}(s)$ hence an object of $\mathcal{C}$. Thus $t : C \to C' = C/I$ is an element of $S$ such that $t \circ (f - g) = 0$, i.e., such that $t \circ f = t \circ g$. This proves LMS3 and the proof of RMS3 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$


Comments (3)

Comment #469 by Nuno on

(i) The sequence is not right exact and the sequence is not left exact. This will not affect the proof though. Also, I believe it would be instructive to point out that that S is a saturated multiplicative system. (ii) Just after the diagram, should be the cokernel of . (iii) Following this approach, is there an easy proof of the fact that if is a "big" well-powered category, then exists for any Serre subcategory ?

Comment #484 by on

Thanks for the fixes. You can find the corresponding edits here.

Unfortunately, I do not know the answer to your question at the moment. I have never worked with well powered categories.

Comment #525 by Nuno on

After some search, I've found a proof of (iii) in Popescu's Theory of Categories (theorem 7.8, chapter 4, page 312), but didn't check it yet.

There are also:

  • 3 comment(s) on Section 12.9: Serre subcategories

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.

All contributions are licensed under the GNU Free Documentation License.




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 02MS. Beware of the difference between the letter 'O' and the digit '0'.