The Stacks project

56.2 Functors on module categories

For a ring $A$ let us denote $\text{Mod}^{fp}_ A$ the category of finitely presented $A$-modules.

Lemma 56.2.1. Let $A$ be a ring. Let $\mathcal{B}$ be a category having filtered colimits. Let $F : \text{Mod}^{fp}_ A \to \mathcal{B}$ be a functor. Then $F$ extends uniquely to a functor $F' : \text{Mod}_ A \to \mathcal{B}$ which commutes with filtered colimits.

Proof. This follows from Categories, Lemma 4.26.2. To see that the lemma applies observe that finitely presented $A$-modules are categorically compact objects of $\text{Mod}_ A$ by Algebra, Lemma 10.11.4. Also, every $A$-module is a filtered colimit of finitely presented $A$-modules by Algebra, Lemma 10.11.3. $\square$

If a category $\mathcal{B}$ is additive and has filtered colimits, then $\mathcal{B}$ has arbitrary direct sums: any direct sum can be written as a filtered colimit of finite direct sums.

Lemma 56.2.2. Let $A$, $\mathcal{B}$, $F$ be as in Lemma 56.2.1. Assume $\mathcal{B}$ is additive and $F$ is additive. Then $F'$ is additive and commutes with arbitrary direct sums.

Proof. To show that $F'$ is additive it suffices to show that $F'(M) \oplus F'(M') \to F'(M \oplus M')$ is an isomorphism for any $A$-modules $M$, $M'$, see Homology, Lemma 12.7.1. Write $M = \mathop{\mathrm{colim}}\nolimits _ i M_ i$ and $M' = \mathop{\mathrm{colim}}\nolimits _ j M'_ j$ as filtered colimits of finitely presented $A$-modules $M_ i$. Then $F'(M) = \mathop{\mathrm{colim}}\nolimits _ i F(M_ i)$, $F'(M') = \mathop{\mathrm{colim}}\nolimits _ j F(M'_ j)$, and

\begin{align*} F'(M \oplus M') & = F'(\mathop{\mathrm{colim}}\nolimits _{i, j} M_ i \oplus M'_ j) \\ & = \mathop{\mathrm{colim}}\nolimits _{i, j} F(M_ i \oplus M'_ j) \\ & = \mathop{\mathrm{colim}}\nolimits _{i, j} F(M_ i) \oplus F(M'_ j) \\ & = F'(M) \oplus F'(M') \end{align*}

as desired. To show that $F'$ commutes with direct sums, assume we have $M = \bigoplus _{i \in I} M_ i$. Then $M = \mathop{\mathrm{colim}}\nolimits _{I' \subset I\text{ finite}} \bigoplus _{i \in I'} M_ i$ is a filtered colimit. We obtain

\begin{align*} F'(M) & = \mathop{\mathrm{colim}}\nolimits _{I' \subset I\text{ finite}} F'(\bigoplus \nolimits _{i \in I'} M_ i) \\ & = \mathop{\mathrm{colim}}\nolimits _{I' \subset I\text{ finite}} \bigoplus \nolimits _{i \in I'} F'(M_ i) \\ & = \bigoplus \nolimits _{i \in I} F'(M_ i) \end{align*}

The second equality holds by the additivity of $F'$ already shown. $\square$

If a category $\mathcal{B}$ is additive, has filtered colimits, and has cokernels, then $\mathcal{B}$ has arbitrary colimits, see discussion above and Categories, Lemma 4.14.12.

Lemma 56.2.3. Let $A$, $\mathcal{B}$, $F$ be as in Lemma 56.2.1. Assume $\mathcal{B}$ is additive, has cokernels, and $F$ is right exact. Then $F'$ is additive, right exact, and commutes with arbitrary direct sums.

Proof. Since $F$ is right exact, $F$ commutes with coproducts of pairs, which are represented by direct sums. Hence $F$ is additive by Homology, Lemma 12.7.1. Hence $F'$ is additive and commutes with direct sums by Lemma 56.2.2. We urge the reader to prove that $F'$ is right exact themselves instead of reading the proof below.

To show that $F'$ is right exact, it suffices to show that $F'$ commutes with coequalizers, see Categories, Lemma 4.23.3. Now, if $a, b : K \to L$ are maps of $A$-modules, then the coequalizer of $a$ and $b$ is the cokernel of $a - b : K \to L$. Thus let $K \to L \to M \to 0$ be an exact sequence of $A$-modules. We have to show that in

\[ F'(K) \to F'(L) \to F'(M) \to 0 \]

the second arrow is a cokernel for the first arrow in $\mathcal{B}$ (if $\mathcal{B}$ were abelian we would say that the displayed sequence is exact). Write $M = \mathop{\mathrm{colim}}\nolimits _{i \in I} M_ i$ as a filtered colimit of finitely presented $A$-modules, see Algebra, Lemma 10.11.3. Let $L_ i = L \times _ M M_ i$. We obtain a system of exact sequences $K \to L_ i \to M_ i \to 0$ over $I$. Since colimits commute with colimits by Categories, Lemma 4.14.10 and since cokernels are a type of coequalizer, it suffices to show that $F'(L_ i) \to F(M_ i)$ is a cokernel of $F'(K) \to F'(L_ i)$ in $\mathcal{B}$ for all $i \in I$. In other words, we may assume $M$ is finitely presented. Write $L = \mathop{\mathrm{colim}}\nolimits _{i \in I} L_ i$ as a filtered colimit of finitely presented $A$-modules with the property that each $L_ i$ surjects onto $M$. Let $K_ i = K \times _ L L_ i$. We obtain a system of short exact sequences $K_ i \to L_ i \to M \to 0$ over $I$. Repeating the argument already given, we reduce to showing $F(L_ i) \to F(M_ i)$ is a cokernel of $F'(K) \to F(L_ i)$ in $\mathcal{B}$ for all $i \in I$. In other words, we may assume both $L$ and $M$ are finitely presented $A$-modules. In this case the module $\mathop{\mathrm{Ker}}(L \to M)$ is finite (Algebra, Lemma 10.5.3). Thus we can write $K = \mathop{\mathrm{colim}}\nolimits _{i \in I} K_ i$ as a filtered colimit of finitely presented $A$-modules each surjecting onto $\mathop{\mathrm{Ker}}(L \to M)$. We obtain a system of short exact sequences $K_ i \to L \to M \to 0$ over $I$. Repeating the argument already given, we reduce to showing $F(L) \to F(M)$ is a cokernel of $F(K_ i) \to F(L)$ in $\mathcal{B}$ for all $i \in I$. In other words, we may assume $K$, $L$, and $M$ are finitely presented $A$-modules. This final case follows from the assumption that $F$ is right exact. $\square$

If a category $\mathcal{B}$ is additive and has kernels, then $\mathcal{B}$ has finite limits. Namely, finite products are direct sums which exist and the equalizer of $a, b : L \to M$ is the kernel of $a - b : K \to L$ which exists. Thus all finite limits exist by Categories, Lemma 4.18.4.

Lemma 56.2.4. Let $A$, $\mathcal{B}$, $F$ be as in Lemma 56.2.1. Assume $A$ is a coherent ring (Algebra, Definition 10.90.1), $\mathcal{B}$ is additive, has kernels, filtered colimits commute with taking kernels, and $F$ is left exact. Then $F'$ is additive, left exact, and commutes with arbitrary direct sums.

Proof. Since $A$ is coherent, the category $\text{Mod}^{fp}_ A$ is abelian with same kernels and cokernels as in $\text{Mod}_ A$, see Algebra, Lemmas 10.90.4 and 10.90.3. Hence all finite limits exist in $\text{Mod}^{fp}_ A$ and Categories, Definition 4.23.1 applies. Since $F$ is left exact, $F$ commutes with products of pairs, which are represented by direct sums. Hence $F$ is additive by Homology, Lemma 12.7.1. Hence $F'$ is additive and commutes with direct sums by Lemma 56.2.2. We urge the reader to prove that $F'$ is left exact themselves instead of reading the proof below.

To show that $F'$ is left exact, it suffices to show that $F'$ commutes with equalizers, see Categories, Lemma 4.23.2. Now, if $a, b : L \to M$ are maps of $A$-modules, then the equalizer of $a$ and $b$ is the kernel of $a - b : L \to M$. Thus let $0 \to K \to L \to M$ be an exact sequence of $A$-modules. We have to show that in

\[ 0 \to F'(K) \to F'(L) \to F'(M) \]

the arrow $F'(K) \to F'(L)$ is a kernel for $F'(L) \to F'(M)$ in $\mathcal{B}$ (if $\mathcal{B}$ were abelian we would say that the displayed sequence is exact). Write $M = \mathop{\mathrm{colim}}\nolimits _{i \in I} M_ i$ as a filtered colimit of finitely presented $A$-modules, see Algebra, Lemma 10.11.3. Let $L_ i = L \times _ M M_ i$. We obtain a system of exact sequences $0 \to K \to L_ i \to M_ i$ over $I$. Since filtered colimits commute with taking kernels in $\mathcal{B}$ by assumption, it suffices to show that $F'(K) \to F'(L_ i)$ is a kernel of $F'(L_ i) \to F(M_ i)$ in $\mathcal{B}$ for all $i \in I$. In other words, we may assume $M$ is finitely presented. Write $L = \mathop{\mathrm{colim}}\nolimits _{i \in I} L_ i$ as a filtered colimit of finitely presented $A$-modules. Let $K_ i = K \times _ L L_ i$. We obtain a system of short exact sequences $0 \to K_ i \to L_ i \to M$ over $I$. Repeating the argument already given, we reduce to showing $F'(K_ i) \to F(L_ i)$ is a kernel of $F(L_ i) \to F(M)$ in $\mathcal{B}$ for all $i \in I$. In other words, we may assume both $L$ and $M$ are finitely presented $A$-modules. Since $A$ is coherent, the $A$-module $K = \mathop{\mathrm{Ker}}(L \to M)$ is of finite presentation as the category of finitely presented $A$-modules is abelian (see references given above). In other words, all three modules $K$, $L$, and $M$ are finitely presented $A$-modules. This final case follows from the assumption that $F$ is left exact. $\square$

If a category $\mathcal{B}$ is additive and has cokernels, then $\mathcal{B}$ has finite colimits. Namely, finite coproducts are direct sums which exist and the coequalizer of $a, b : K \to L$ is the cokernel of $a - b : K \to L$ which exists. Thus all finite colimits exist by Categories, Lemma 4.18.7.

Lemma 56.2.5. Let $A$ be a ring. Let $\mathcal{B}$ be an additive category with cokernels. There is an equivalence of categories between

  1. the category of functors $F : \text{Mod}^{fp}_ A \to \mathcal{B}$ which are right exact, and

  2. the category of pairs $(K, \kappa )$ where $K \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{B})$ and $\kappa : A \to \text{End}_\mathcal {B}(K)$ is a ring homomorphism

given by the rule sending $F$ to $F(A)$ with its natural $A$-action.

Proof. Let $(K, \kappa )$ be as in (2). We will construct a functor $F : \text{Mod}^{fp}_ A \to \mathcal{B}$ such that $F(A) = K$ endowed with the given $A$-action $\kappa $. Namely, given an integer $n \geq 0$ let us set

\[ F(A^{\oplus n}) = K^{\oplus n} \]

Given an $A$-linear map $\varphi : A^{\oplus m} \to A^{\oplus n}$ with matrix $(a_{ij}) \in \text{Mat}(n \times m, A)$ we define

\[ F(\varphi ) : F(A^{\oplus m}) = K^{\oplus m} \longrightarrow K^{\oplus n} = F(A^{\oplus n}) \]

to be the map with matrix $(\kappa (a_{ij}))$. This defines an additive functor $F$ from the full subcategory of $\text{Mod}^{fp}_ A$ with objects $0$, $A$, $A^{\oplus 2}$, $\ldots $ to $\mathcal{B}$; we omit the verification.

For each object $M$ of $\text{Mod}^{fp}_ A$ choose a presentation

\[ A^{\oplus m_ M} \xrightarrow {\varphi _ M} A^{\oplus n_ M} \to M \to 0 \]

of $M$ as an $A$-module. Let us use the trivial presentation $0 \to A^{\oplus n} \xrightarrow {1} A^{\oplus n} \to 0$ if $M = A^{\oplus n}$ (this isn't necessary but simplifies the exposition). For each morphism $f : M \to N$ of $\text{Mod}^{fp}_ A$ we can choose a commutative diagram

56.2.5.1
\begin{equation} \label{functors-equation-map} \vcenter { \xymatrix{ A^{\oplus m_ M} \ar[r]_{\varphi _ M} \ar[d]_{\psi _ f} & A^{\oplus n_ M} \ar[r] \ar[d]_{\chi _ f} & M \ar[r] \ar[d]_ f & 0 \\ A^{\oplus m_ N} \ar[r]^{\varphi _ N} & A^{\oplus n_ N} \ar[r] & N \ar[r] & 0 } } \end{equation}

Having made these choices we can define: for an object $M$ of $\text{Mod}^{fp}_ A$ we set

\[ F(M) = \mathop{\mathrm{Coker}}(F(\varphi _ M) : F(A^{\oplus m_ M}) \to F(A^{\oplus n_ M})) \]

and for a morphism $f : M \to N$ of $\text{Mod}^{fp}_ A$ we set

\[ F(f) = \text{the map }F(M) \to F(N)\text{ induced by } F(\psi _ f)\text{ and }F(\chi _ f)\text{ on cokernels} \]

Note that this rule extends the given functor $F$ on the full subcategory consisting of the free modules $A^{\oplus n}$. We still have to show that $F$ is a functor, that $F$ is additive, and that $F$ is right exact.

Let $f : M \to N$ be a morphism $\text{Mod}^{fp}_ A$. We claim that the map $F(f)$ defined above is independent of the choices of $\psi _ f$ and $\chi _ f$ in (56.2.5.1). Namely, say

\[ \xymatrix{ A^{\oplus m_ M} \ar[r]_{\varphi _ M} \ar[d]_\psi & A^{\oplus n_ M} \ar[r] \ar[d]_\chi & M \ar[r] \ar[d]_ f & 0 \\ A^{\oplus m_ N} \ar[r]^{\varphi _ N} & A^{\oplus n_ N} \ar[r] & N \ar[r] & 0 } \]

is also commutative. Denote $F(f)' : F(M) \to F(N)$ the map induced by $F(\psi )$ and $F(\chi )$. Looking at the commutative diagrams, by elementary commutative algebra there exists a map $\omega : A^{\oplus n_ M} \to A^{\oplus m_ N}$ such that $\chi = \chi _ f + \varphi _ N \circ \omega $. Applying $F$ we find that $F(\chi ) = F(\chi _ f) + F(\varphi _ N) \circ F(\omega )$. As $F(N)$ is the cokernel of $F(\varphi _ N)$ we find that the map $F(A^{\oplus n_ M}) \to F(M)$ equalizes $F(f)$ and $F(f)'$. Since a cokernel is an epimorphism, we conclude that $F(f) = F(f)'$.

Let us prove $F$ is a functor. First, observe that $F(\text{id}_ M) = \text{id}_{F(M)}$ because we may pick the identities for $\psi _ f$ and $\chi _ f$ in the diagram above in case $f = \text{id}_ M$. Second, suppose we have $f : M \to N$ and $g : L \to M$. Then we see that $\psi = \psi _ f \circ \psi _ g$ and $\chi = \chi _ f \circ \chi _ g$ fit into (56.2.5.1) for $f \circ g$. Hence these induce the correct map which exactly says that $F(f) \circ F(g) = F(f \circ g)$.

Let us prove that $F$ is additive. Namely, suppose we have $f, g : M \to N$. Then we see that $\psi = \psi _ f + \psi _ g$ and $\chi = \chi _ f + \chi _ g$ fit into (56.2.5.1) for $f + g$. Hence these induce the correct map which exactly says that $F(f) + F(g) = F(f + g)$.

Finally, let us prove that $F$ is right exact. It suffices to show that $F$ commutes with coequalizers, see Categories, Lemma 4.23.3. For this, it suffices to prove that $F$ commutes with cokernels. Let $K \to L \to M \to 0$ be an exact sequence of $A$-modules with $K$, $L$, $M$ finitely presented. Since $F$ is an additive functor, this certainly gives a complex

\[ F(K) \to F(L) \to F(M) \to 0 \]

and we have to show that the second arrow is the cokernel of the first in $\mathcal{B}$. In any case, we obtain a map $\mathop{\mathrm{Coker}}(F(K) \to F(L)) \to F(M)$. By elementary commutative algebra there exists a commutative diagram

\[ \xymatrix{ A^{\oplus m_ M} \ar[r]_{\varphi _ M} \ar[d]_\psi & A^{\oplus n_ M} \ar[r] \ar[d]_\chi & M \ar[r] \ar[d]_1 & 0 \\ K \ar[r] & L \ar[r] & M \ar[r] & 0 } \]

Applying $F$ to this diagram and using the construction of $F(M)$ as the cokernel of $F(\varphi _ M)$ we find there exists a map $F(M) \to \mathop{\mathrm{Coker}}(F(K) \to F(L))$ which is a right inverse to the map $\mathop{\mathrm{Coker}}(F(K) \to F(L)) \to F(M)$. This first implies that $F(L) \to F(M)$ is an epimorphism always. Next, the above shows we have

\[ \mathop{\mathrm{Coker}}(F(K) \to F(L)) = F(M) \oplus E \]

where the direct sum decomposition is compatible with both $F(M) \to \mathop{\mathrm{Coker}}(F(K) \to F(L))$ and $\mathop{\mathrm{Coker}}(F(K) \to F(L)) \to F(M)$. However, then the epimorphism $p : F(L) \to E$ becomes zero both after composition with $F(K) \to F(L)$ and after composition with $F(A^{n_ M}) \to F(L)$. However, since $K \oplus A^{n_ M} \to L$ is surjective (algebra argument omitted), we conclude that $F(K \oplus A^{n_ M}) \to F(L)$ is an epimorphism (by the above) whence $E = 0$. This finishes the proof. $\square$

Lemma 56.2.6. Let $A$ be a ring. Let $\mathcal{B}$ be an additive category with arbitrary direct sums and cokernels. There is an equivalence of categories between

  1. the category of functors $F : \text{Mod}_ A \to \mathcal{B}$ which are right exact and commute with arbitrary direct sums, and

  2. the category of pairs $(K, \kappa )$ where $K \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{B})$ and $\kappa : A \to \text{End}_\mathcal {B}(K)$ is a ring homomorphism

given by the rule sending $F$ to $F(A)$ with its natural $A$-action.


Comments (0)


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