Bourbaki

Exercise 8, § 5

Algebra, X

Let P,QP, Q be two AA-complexes. Suppose either that PP is bounded below and QQ bounded above, or that there exists an integer dd such that every AA-module admits a projective resolution of length ≤d\leq d. a) Now prove that there exist two spectral sequences ′E'E and "E"E, converging to the same graded kk-module, such that

′E2pq=Hp(ExtAq(P,Q))"E2pq=⨁q′+q′′=qExtAp(Hq′(P),Hq′′(Q)) 'E_2^{pq} = H^p(\mathrm{Ext}_A^q(P, Q)) \quad "E_2^{pq} = \bigoplus_{q'+q''=q} \mathrm{Ext}_A^p(H_{q'}(P), H_{q''}(Q))
(where ExtAq(P,Q)\mathrm{Ext}_A^q(P, Q) denotes the complex associated with the bicomplex ⨁r,sExtAq(Pr,Qss)\bigoplus_{r,s} \mathrm{Ext}_A^q(P_r, Q_s^s)). b) If PP is projective or QQ injective, the spectral sequence "E"E converges to H(HomgrA(P,Q))H(\mathrm{Homgr}_A(P, Q)). If H(P)H(P) is projective or H(Q)H(Q) injective, the sequence ′E'E converges to HomgrA(H(P),H(Q))\mathrm{Homgr}_A(H(P), H(Q)).

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6. Not checked by a person.