In this question: Constructing a cochain complex out of a chain complex , palio asked how to construct a co-chain complex when given a chain complex as well as how to go in the opposite direction, i.e., given a cochain complex, how to construct its dual chain complex. I am a bit confused about some of the details in the answer, and have some additional questions:
i) Do we just apply $M\rightarrow Hom(X,-)$ , to go in the opposite direction? If so, how do we get $\partial$ from the coboundary $\delta$; do we just use the fact that the two are adjoints as linear maps?
ii)Are we using the fact that $Hom(X,-)$ and $Hom(-, X)$ are contravariant and covariant (respectively) and right-exact (i.e., both preserve exactness of the respective long-exactsequences(co)homology (co)chain complexes )?
I am specifically interested in recovering the boundary operator in De Rham cohomology, given the exterior derivative on forms as the coboundary operator, so that the forms are the cochains ; in this case $\partial_{i+1}$ should satisfy the relation $\delta^i:f\rightarrow f\circ\partial_{i+1}$ , for any $f: C_i \rightarrow R$ , where $C_i$ is the graded subspace of i-forms (so that $\delta_i$ is the linear adjoint to $\partial _{i+1}$ ). Is this the right way of doing this?
In general, given a chain complex, you can take $Hom(X, -)$ to get a chain complex in which the maps go "in the other direction", which gets called a co-chain complex. If you apply $Hom(X, -)$ to that cochain complex, you again reverse the maps, and get a chain complex. Will it be (in some sense) the same as the one you started with? That depends on whether "double dual" is "the same as" identity in your category. For vector spaces, it is: $V^{**}$ is isomorphic to $V$ in general. For other categories...maybe not. Does that help any?