(Weibel's Introduction to Homological Algebra, Exercise 5.7.4,2) Let $\mathbf{Ch}_{\ge0}(\mathcal A)$ be the subcategory of complexes $A$ with $A_p=0$ for $p<0$. Then the hyper-derived functors $\mathbb L_iF$ retricted to $\mathbf{Ch}_{\ge0}$ are the left derived functors of the right exact functor $H_0F$.


First the $F$ in $H_0F$ should be the functor $\mathcal B=\mathbf{Ch}_{\ge0}(\mathcal A)\to\mathcal B$ induced by $F$, I think. We know that the projective objects in $\mathcal B$ are just almost-acyclic ($H_n=0$ for $n\neq0$) chain complexes of projective objects in $\mathcal A$. However, it's quite hard for me to connect it with Cartan-Eilenberg resolutions. On the other hand, $\mathbb L_iF(A)$, by definition, is $H_i\operatorname{Tot}(F(P))$ where $P\to A$ is a Cartan-Eilenberg resolution. In order to assimilate this with the expression of derived functor of $H_0F$, it seems to me that the projective resolution of $A$ should be chosen from $\operatorname{Tot}(P)$, but I have no idea how to proceed.

Any idea? Thanks!


It's solved now.

Suppose that $P\to A$ is a projective resolution in $\mathbf{Ch}_{\ge0}(\mathcal A)$, and $P_{\bullet,\bullet}$ is the associated double complex (with a sign convention). Take $Q_i=\operatorname{coker}d_{i,1}^h$, then $Q_\bullet$ is a chain complex of projective objects in $\mathcal A$. The first and second spectral sequence associated with $P_{\bullet,\bullet}$ converges to $H_\bullet(\operatorname{Tot}(P_{\bullet,\bullet}))$, therefore $Q_\bullet$ is quasi-isomorphic to $A_\bullet$. Now it follows that $\mathbb L_iF(A)=H_i(FQ_\bullet)=H_i(H_0FP)=L_i(H_0F)(A)$.

A lemma is used here: Suppose $Q_\bullet$ is a chain complex of projective objects quasi-isomorphic to $A_\bullet$, then $\mathbb L_iFA=H_i(FQ_\bullet)$. A general reference for this is Iversen's Cohomology of Sheaves, Chapter 1, Theorem 6.2.

  • $\begingroup$ This lemma was very helpful! I am wondering if Prof. Weibel had a different proof in his mind avoiding this lemma. It seems that if one starts with Cartan-Eilenberg double complex P.,. for A. and applies F to it, then the II spectral sequence would imply the result, if one can show (H_n F) (P.,k)=0 for n>0. I guess that should follow from the projectivity of P.,. ... $\endgroup$ – Bananeen Sep 27 '17 at 14:16
  • $\begingroup$ Why $P_\bullet$ is quasi-isomorphic to $A_\bullet$? We know isomorphisms between homologies, but what is the chain map which induces these isomorphisms? $\endgroup$ – Rafael Holanda Dec 1 '17 at 20:24
  • $\begingroup$ @RafaelHolanda I don't have Weibel at hand. I think that what I obtained is that $P_\bullet$ and $A_\bullet$ are both quasi-isomorphic to $\operatorname{Tot}(P_{\bullet,\bullet})$, therefore they are quasi-isomorphic. To be more precise, if there is a chain map $f\colon C_\bullet\to P_\bullet$, where $P_\bullet$ is made up of projective objects, which induces isomorphisms on homologies, then there is also a chain map $P_\bullet\to C_\bullet$ which induces isomorphisms, by considering the isomorphism $[P_\bullet,f]\colon[P_\bullet,C_\bullet]\to[P_\bullet,P_\bullet]$. $\endgroup$ – Yai0Phah Dec 2 '17 at 21:43
  • $\begingroup$ How is the last equality obtained? $\endgroup$ – davik Jan 28 at 18:10

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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