
> 
> Let $C$ be an abelian category. Suppose that $(N\_i)\_{i\in I}$ is an inverse system of objects in $C$. Under which conditions does the hypothesis that $$\operatorname{Ext}\_C^1(M,N\_i)=0\quad\forall i\in I\tag{1}$$ imply $$\operatorname{Ext}\_C^1\left(M,\lim\limits\_\longleftarrow N\_i\right)=0?\tag{2}$$
> 
> 
> 


The functor $\operatorname{Ext}^1\_C$ is the Yoneda $\operatorname{Ext}^1$-functor. So we don't have to worry whether $C$ has enough injectives/projectives. However, I would be satisfied if there are some results when $C$ is the category of (unitary) left modules over a ring $R$ with unity.


In the case that $C$ is the category of (unitary) left modules over a ring $R$ with unity, every object in $C$ is an inverse limit of injective modules due to [this paper](https://arxiv.org/abs/1104.3173). Therefore, an object $M\in C$ satisfies $$\operatorname{Ext}\_C^1\left(M,\lim\limits\_\longleftarrow N\_i\right)=\lim\limits\_\longleftarrow \operatorname{Ext}\_C^1(M,N\_i)\tag{3}$$
for any inverse system $(N\_i)\_{i\in I}$ in $C$ iff $\operatorname{Ext}^1\_C(M,N)=0$ for all $N\in C$ iff $M$ is projective.


However, I'm not imposing that $(3)$ should be true. I only suppose that $(1)$ is true, and I'd like to know when $(2)$ is also true. Counterexamples in which $(1)$ is true but $(2)$ is false will also be very helpful. Thank you in advance.




---


An answer to the dual problem below will also be greatly appreciated. If there are cases where $(1')$ is true but $(2')$ is not, I would also like to see examples.



> 
> Let $C$ be an abelian category. Suppose that $(N\_i)\_{i\in I}$ is an directed system of objects in $C$. Under which conditions does the hypothesis that $$\operatorname{Ext}\_C^1(N\_i,M)=0\quad\forall i\in I\tag{$1'$}$$ imply $$\operatorname{Ext}\_C^1\left(\lim\limits\_\longrightarrow N\_i,M\right)=0?\tag{$2'$}$$
> 
> 
> 



When does $\operatorname{Ext}_C^1(M,N_i)=0$ imply $\operatorname{Ext}_C^1\left(M,\lim\limits_\longleftarrow N_i\right)=0$?
The standard result in this direction is the dual Eklof lemma (for your first problem) or the Eklof lemma (for your dual problem). Any version of the Eklof lemma presumes that your direct/inverse system is indexed by a well-ordered set. For an inverse system, it should be a smooth chain of epimorphisms with the kernels which also satisfy the $\operatorname{Ext}^1\_C(M,-)$ vanishing. For a direct system, it should be a smooth chain of monomorphisms with the cokernels which also satisfy the $\operatorname{Ext}^1\_C(-,M)$ vanishing. Then the answer to your question is positive.


References:


1. P.C. Eklof, J. Trlifaj, "How to make Ext vanish", Bull. London Math. Soc. 33, #1, p. 41-51, 2001, <https://doi.org/10.1112/blms/33.1.41> . Lemma 1 is the Eklof lemma (for a direct system), Proposition 18 is the dual Eklof lemma (for an inverse system). This is a paper about modules over associative rings.
2. L. Positselski, J. Rosický, "Covers, envelopes, and cotorsion theories in locally presentable abelian categories and contramodule categories", Journ. of Algebra 483, p. 83-128, 2017, <https://doi.org/10.1016/j.jalgebra.2017.03.029> , <https://arxiv.org/abs/1512.08119> . Lemma 4.5 is the Eklof lemma for abelian categories. This is for direct systems, but you can pass to the inverse systems by inverting the arrows.


