Bourbaki

Exercise 5, § 2

Algebra, X, p. 173

Let C be a complex, s a splitting of C, δ:C→C\delta : C \to C a graded homomorphism of degree – 1, such that (d+δ)∘(d+δ)=0(d + \delta) \circ (d + \delta) = 0. We denote by C’ the complex (C,d+δ)(C, d + \delta). We suppose that the a-linear map θ\theta of C into C defined by θ=1C+δs\theta = 1_C + \delta s is bijective. (a) In order that sθ−1s \theta^{-1} be a splitting of C’, it is necessary and sufficient that δ(Z(C))⊂θ(B(C))\delta(Z(C)) \subset \theta(B(C)). (b) Suppose the conditions of (a) are satisfied. Now prove that there exist direct sum decompositions: C=B(C)⊕Ker (ds)=B(C′)⊕Ker (ds)C = B(C) \oplus \mathrm{Ker}\,(ds) = B(C') \oplus \mathrm{Ker}\,(ds). If pp (resp. p′p') is the projector with image Ker (ds)\mathrm{Ker}\,(ds) and kernel B(C)B(C) (resp. B(C′)B(C')), we have p′=pθ−1p' = p \theta^{-1}. (c) Suppose moreover that the a-linear map λ\lambda of C into C defined by λ=1C+sδ\lambda = 1_C + s \delta is bijective. Now prove that Z(C′)=λ−1(Z(C))Z(C') = \lambda^{-1}(Z(C)) and C=Z(C)⊕Im (sd)=Z(C′)⊕Im (sd)C = Z(C) \oplus \mathrm{Im}\,(sd) = Z(C') \oplus \mathrm{Im}\,(sd). If qq (resp. q′q') is the projector with image Z(C)Z(C) (resp. Z(C′)Z(C')) and kernel Im (sd)\mathrm{Im}\,(sd), we have q′=λ−1qq' = \lambda^{-1} q.

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.