3
$\begingroup$

Let $I$ be a directed category and let $A$ be the category of $R$-modules ($R$ any ring). I'm trying to understand why the direct limit functor $$ \varinjlim_{I}: A^I \to A $$ is exact. Since it has a right adjoint it's sufficient to show that it preserves monomorphisms. Let $\alpha: F \to G$ be a monomorphism in $A^I$. The proofs in the literature I know of (Weibel: "Introduction to homological algebra", 2.6.15 or Eisenbud: "Commutative Algebra", A6.4) seem to use the following as definition for $\alpha$ being mono:

$\alpha(i): F(i) \to G(i)$ is a monomorphism in $A$ for each $i \in obj(I).$ $\hspace{27pt}$ $\hspace{27pt}$ $(*)$

It's easy to see that $(*)$ implies that $\alpha$ is mono in the usual sense (e.g. if $\beta: H \to F$ is a homomorphism in $A^I$ such that $\alpha \beta = 0$ then $\beta = 0$).

Does anyone know if $(*)$ is equivalent to this definition of a monomorphism ?

I was only able to settle the following special case:

Let $A$ be an abelian category and $I$ a small category such that for all $i, j \in obj(I)$:

  • $Hom_I(i,i) = \lbrace id_i \rbrace $
  • $Hom_I(i,j) \neq \emptyset \implies Hom_I(j,i) = \emptyset \hspace{5pt} (i \neq j)$
Then $\alpha$ above is mono iff $(*)$ holds.

$\endgroup$
4
  • $\begingroup$ Showing that taking direct limit is exact is exercise 19 in chapter 2 of Atiyah-Macdonald (there's a hint there). $\endgroup$ Jan 10, 2011 at 13:03
  • $\begingroup$ @Lukasz: Thanks for the reference. But they also take (*) as definition for being mono. $\endgroup$
    – Ralph
    Jan 10, 2011 at 13:18
  • $\begingroup$ @Ralph: To show that mono implies (*) at a given i \in I consider a system over I which is non-zero only at i. $\endgroup$ Jan 10, 2011 at 13:34
  • $\begingroup$ The point Sergio is making in his answer is a very good one -- it concerns your initial motivation that you want to show that filtered colimits of $R$-modules are exact. This is a special property of module categories and it is important to notice that the dual is wrong. Filtered limits of short exact sequences need not be exact, see en.wikipedia.org/wiki/Mittag-Leffler_condition $\endgroup$ Jan 10, 2011 at 14:40

3 Answers 3

4
$\begingroup$

An Abelian category where filtrant colimts are exats is called a (abelian) Grothendieck category, no all Abelan categories are Grothendieck. Of course R-Mod is Grothendieck, because the forgetful functors U: R-Mod -> Set create limits (then preserve and reflexct Monomorphisms) and U create filtrant colimits, just because these (in Set) are coherent with finite products and algebraic structures.

$\endgroup$
2
$\begingroup$

$A^I$ is an abelian category. Namely, the direct sums, kernels and cokernels may be constructed pointwise. In particular, $\alpha$ is mono iff $\ker(\alpha)=0$. But a functor $I \to A$ vanishes iff it vanishes pointwise. Thus $\alpha$ mono iff all $\alpha(i)$ mono.

$\endgroup$
1
  • $\begingroup$ Why the downvote? $\endgroup$ Mar 15, 2012 at 8:32
2
$\begingroup$

The answer is yes if $A=R\mbox{-Mod}$ has pullbacks (which I'm pretty sure it does). See Tom Leinster's answer to a similar question.

$\endgroup$
1

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.