Bourbaki

Lemma 3

Tag 0DXG, permanent. Cite it as [Bourbaki, Tag 0DXG].

Algebra, chapter X, § 5. Modules d’extensions

If B(C) is projective and B_n(C') injective for each n, the canonical homomorphism λ(C,C′):H(HomgrA(C,C′))→HomgrA(H(C),H(C′))\lambda(C, C') : \mathrm{H}(\mathrm{Homgr}_A(C, C')) \to \mathrm{Homgr}_A(\mathrm{H}(C), \mathrm{H}(C')) has a linear section k.

Indeed, by X, p. 35, remarks a) and b), there exist homologisms

φ:C→H(C)andφ′:H(C′)→C′ \varphi : C \to \mathrm{H}(C) \quad \text{and} \quad \varphi' : \mathrm{H}(C') \to C'
such that H(φ)=1H(C)\mathrm{H}(\varphi) = 1_{\mathrm{H}(C)} and H(φ′)=1H(C′)\mathrm{H}(\varphi') = 1_{\mathrm{H}(C')}. In the commutative diagram
H(HomgrA(H(C),H(C′)))→H(Homgr(φ,φ′))H(HomgrA(C,C′))λ(H(C),H(C′))↓↓λ(C,C′)HomgrA(H(C),H(C′))→Homgr(H(φ),H(φ′))HomgrA(H(C),H(C′)), \begin{array}{ccc} \mathrm{H}(\mathrm{Homgr}_A(\mathrm{H}(C), \mathrm{H}(C'))) & \xrightarrow{\mathrm{H}(\mathrm{Homgr}(\varphi, \varphi'))} & \mathrm{H}(\mathrm{Homgr}_A(C, C')) \\ \lambda(\mathrm{H}(C), \mathrm{H}(C')) \downarrow & & \downarrow \lambda(C, C') \\ \mathrm{Homgr}_A(\mathrm{H}(C), \mathrm{H}(C')) & \xrightarrow{\mathrm{Homgr}(\mathrm{H}(\varphi), \mathrm{H}(\varphi'))} & \mathrm{Homgr}_A(\mathrm{H}(C), \mathrm{H}(C')) , \end{array}
λ(H(C),H(C′))\lambda(\mathrm{H}(C), \mathrm{H}(C')) is bijective and Homgr(H(φ),H(φ′))\mathrm{Homgr}(\mathrm{H}(\varphi), \mathrm{H}(\varphi')) is the identity, whence the assertion.

Homgr⁡An−1(Z,H′)→Homgr⁡n−1(i,1)Homgr⁡An−1(B,H′)→φn−1∏p+q=n−1Ext⁡1(Hp,Hq)⟶0↑λZn−1↑λBn−1Hn−1(Homgr⁡A(Z,C′))→Hn−1(Homgr⁡(i,1))Hn−1(Homgr⁡A(B,C′))→Hn(Homgr⁡(δ,1))Hn(Homgr⁡A(C,C′))→Hn(Homgr⁡(j,1))Hn(Homgr⁡A(Z,C′))→Hn(Homgr⁡(i,1))Hn(Homgr⁡A(B,C′))↑λCn↑λZn↑λBn0⟶Homgr⁡An(H,H′)→Homgr⁡n(j,1)Homgr⁡An(Z,H′)→Homgr⁡n(i,1)Homgr⁡An(B,H′) \begin{array}{ccccccccc} \operatorname{Homgr}_{A}^{n-1}(Z,H')& \xrightarrow{\operatorname{Homgr}^{n-1}(i,1)}& \operatorname{Homgr}_{A}^{n-1}(B,H')& \xrightarrow{\varphi^{n-1}}& \displaystyle\prod_{p+q=n-1}\operatorname{Ext}^{1}(H_p,H^q)& \longrightarrow&0 \\[2ex] \uparrow\scriptstyle{\lambda_Z^{n-1}}&& \uparrow\scriptstyle{\lambda_B^{n-1}}&&&& \\[-1ex] H^{n-1}(\operatorname{Homgr}_{A}(Z,C'))& \xrightarrow{H^{n-1}(\operatorname{Homgr}(i,1))}& H^{n-1}(\operatorname{Homgr}_{A}(B,C'))& \xrightarrow{H^n(\operatorname{Homgr}(\delta,1))}& H^n(\operatorname{Homgr}_{A}(C,C'))& \xrightarrow{H^n(\operatorname{Homgr}(j,1))}& H^n(\operatorname{Homgr}_{A}(Z,C'))& \xrightarrow{H^n(\operatorname{Homgr}(i,1))}& H^n(\operatorname{Homgr}_{A}(B,C')) \\[2ex] &&&& \uparrow\scriptstyle{\lambda_C^n}&& \uparrow\scriptstyle{\lambda_Z^n}&& \uparrow\scriptstyle{\lambda_B^n} \\[-1ex] &&& 0\longrightarrow& \operatorname{Homgr}_{A}^{n}(H,H')& \xrightarrow{\operatorname{Homgr}^{n}(j,1)}& \operatorname{Homgr}_{A}^{n}(Z,H')& \xrightarrow{\operatorname{Homgr}^{n}(i,1)}& \operatorname{Homgr}_{A}^{n}(B,H') \end{array}

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Translated with machine help, not yet reviewed by a person.