3
$\begingroup$

I am trying to show that the functor category $\operatorname{Func}(J,Ab)$ has enough injectives (meaning that for each $F\in \operatorname{Func}(J,Ab)$ there is an injective object $I\in \operatorname{Func}(J,Ab)$ and a monomorphism $F\to I$ in $\operatorname{Func}(J,Ab)$), where $Ab$ is the category of abelian groups and $J$ is the category

$$0\leftarrow 1 \leftarrow 2 \leftarrow \cdots$$

(so $J$ is the opposite of the category associated to the poset of non-negative integers).

($\operatorname{Func}(J,Ab)$ is the category of functors from $J$ to $Ab$, with arrows being natural transformations).

Here is what I was able to do:

I can show that $Ab$ has enough injectives.

I know that a natural transformation $\phi: F\to G$ is a monic arrow in $\operatorname{Func}(J,Ab)$ if and only if $\phi_i:F(i)\to G(i)$ is monic for all $i$.

Given $F\in \operatorname{Func}(J,Ab)$, I can find $I\in \operatorname{Func}(J,Ab)$ and a monomorphism $F\rightarrow I$, where $I(i)$ is injective for all $i$ (I just use the fact that $Ab$ has enough injectives to construct monomorphisms $\phi_i:F(i)\rightarrow I(i)$ with $I(i)$ injective and then use the fact that the $I(i)$ are injective to define $I$ on arrows so that $\phi$ becomes a natural transformation $F\to I$). The problem is that now I can't prove that $I$ is an injective object in $\operatorname{Func}(J,Ab)$:

  • Is it true that if all the $I(i)$ are injective in $Ab$ then $I$ is injective in $\operatorname{Func}(J,Ab)$?

    (I don't think so, but I didn't find any counterexamples).

I know that if I take an injective object $A\in Ab$ and consider the constant functor $F(i)=A$ for all $i$ and $F(\alpha)=\operatorname{id}_{A}$ for all arrows $\alpha$ in $J$, then $F$ is an injective object in $\operatorname{Func}(J,Ab)$.

I tried using limits:

I know that the functor $\lim:\operatorname{Func}(J,Ab)\to Ab$ is left exact and I used this to show that if $I\in \operatorname{Func}(J,Ab)$ is an injective object then $\lim I\in Ab$ is an injective object.

  • Is it true that if $\lim\;I$ is injective then $I$ is injective?

I would be very grateful for any hints.

  • 0
    One way to do this is to use the general theorem proved by Grothendieck in his Tôhoku paper. This is explained in Weibel's book on homological algebra, for example.2012-02-10
  • 0
    I think you will find a proof in the first chapters of Gabriel's thesis (Categories abeliennes).2012-03-02

2 Answers 2