Bourbaki

Exercise 8, § 4

Algebra, X, p. 186

Let AA, BB be two kk-algebras (associative and with unit), MM a right AA-module, PP a left BB-module, NN an (A,B)(A,B)-bimodule.

a) Prove that there exist two spectral sequences of kk-modules 1E{}^1E and 2E{}^2E, converging to the same graded kk-module, such that

1Epq2=Tor⁡pA(M,Tor⁡qB(N,P));2Epq2=Tor⁡pB(Tor⁡qA(M,N),P). {}^1E^2_{pq}=\operatorname{Tor}^A_p(M,\operatorname{Tor}^B_q(N,P)); \qquad {}^2E^2_{pq}=\operatorname{Tor}^B_p(\operatorname{Tor}^A_q(M,N),P).

(Consider the double complex L(M)⊗A(N⊗BL(P))L(M)\otimes_A(N\otimes_B L(P)).)

b) If NN is a flat BB-module, prove that the spectral sequence 2E{}^2E converges to Tor⁡A(M,N⊗BP)\operatorname{Tor}^A(M,N\otimes_B P). If NN is a flat AA-module, the spectral sequence 1E{}^1E converges to Tor⁡B(M⊗AN,P)\operatorname{Tor}^B(M\otimes_A N,P).

c) Let ρ:A→B\rho:A\to B be a homomorphism of kk-algebras. Deduce from b) a spectral sequence EE such that

Epq2=Tor⁡pB(Tor⁡qA(M,B),P), E^2_{pq}=\operatorname{Tor}^B_p(\operatorname{Tor}^A_q(M,B),P),

converging to Tor⁡A(M,P)\operatorname{Tor}^A(M,P).

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.