Let $R$ be a Ring and $(C_k, d_k)_{k\geq0}$ an acyclic chain complex of free modules, meaning $im(d_{k+1})=\ker(d_k)$ for all $k$.
I want to show that there is a family of R-module homomorphisms $s_k: C_k \rightarrow C_{k+1}$ so that $$s_{k-1}d_k-d_{k+1}s_k=id_{C_k}.$$
I don't know how to get $s_k$. By definition $d_1$ is surjective and $C_0$ a free module, so I can find a R-module homomorphism $f_1:C_0 \rightarrow C_1$ so that $s_0f_1=id_{C_0}$ but this doesn't work in all the other cases. Thank you.
Best Answer
The $s_i$ are constructed by induction. You've already done the base case ($s_0$). Now assume you've constructed $s_0, \dots, s_{k-1}$ and you want to construct $s_k : C_k \to C_{k+1}$ such that: $$s_{k-1}d_k - d_{k+1}s_k = id_{C_k} \iff d_{k+1} s_k = s_{k-1}d_k - id_{C_k}.$$ The trick is to see that, while $d_{k+1}$ is not surjective, its image is equal to the image of $s_{k-1}d_k - id_{C_k}$. It's proven by proving both inclusions:
So now you can apply the fact that $C_k$ is free to define a lift $s_k : C_k \to C_{k+1}$ for the diagram: $$\require{AMScd} \begin{array}{lll} &&&& C_{k+1} \\ &&&& \downarrow d_{k+1} \\ C_k & \xrightarrow{s_{k-1}d_k - id} & \operatorname{im}(s_{k-1}d_k - id) &=& \operatorname{im}(d_{k+1}) \end{array}$$ such that $d_{k+1} s_k = s_{k-1} d_k - id_{C_k}$ ($d_k$ is a surjection onto its image, $C_k$ is free).