Bourbaki

Exercise 6, § 5

Algebra, X, p. 187

Let A,BA, B be two kk-algebras (associative and with a unit), MM a left AA-module, PP a left BB-module, NN a (B,A)(B, A)-bimodule. (a) Prove that there exist two spectral sequences (X, pp. 175-177, exercises 14 to 17) of kk-modules 1E^1E and 2E^2E, converging to the same graded kk-module, such that

1E2pq=ExtAp(M,ExtBq(N,P));2E2pq=ExtBp(TorqA(N,M),P). ^1E_2^{pq} = \mathrm{Ext}_A^p(M, \mathrm{Ext}_B^q(N, P)) ; \quad ^2E_2^{pq} = \mathrm{Ext}_B^p(\mathrm{Tor}_q^A(N, M), P) .
(b) By composition of the homomorphisms γ\gamma and δ\delta of exercise 15, p. 176, define a kk-homomorphism
μ:ExtA(M,HomB(N,P))→HomB(TorA(N,M),P). \mu : \mathrm{Ext}_A(M, \mathrm{Hom}_B(N, P)) \to \mathrm{Hom}_B(\mathrm{Tor}^A(N, M), P) .
If PP is injective, prove that μ\mu is an isomorphism. (c) If NN is a flat AA-module, show that the sequence 1E^1E converges to ExtB(N⊗AM,P)\mathrm{Ext}_B(N \otimes_A M, P); if NN is a projective BB-module, the sequence 2E^2E converges to ExtA(M,HomB(N,P))\mathrm{Ext}_A(M, \mathrm{Hom}_B(N, P)). (d) Let ρ:A→B\rho : A \to B be a homomorphism of kk-algebras. Show that there exists a spectral sequence EE, such that E2pq=ExtBp(TorqA(B,M),P)E_2^{pq} = \mathrm{Ext}_B^p(\mathrm{Tor}_q^A(B, M), P), converging to ExtA(M,P)\mathrm{Ext}_A(M, P), and a spectral sequence ′E'E, such that
′E2pq=ExtBp(P,ExtAq(B,M)), 'E_2^{pq} = \mathrm{Ext}_B^p(P, \mathrm{Ext}_A^q(B, M)) ,
converging to ExtA(P,M)\mathrm{Ext}_A(P, M).

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.