3
$\begingroup$

If $\alpha\colon C \to C'$ is a map of chain complexes (of free abelian groups) that induces an isomorphism on homology $a_{*} \colon H_n(C) \simeq H_n(C')$, then I know that $\alpha$ induces an isomorphism on cohomology $a^{*} \colon H^n(C;G) \simeq H^n(C';G)$ with coefficients in any abelian group $G$. But is it also true that $\alpha$ induces an isomorphism on homology $a_{*} \colon H_n(C;G) \simeq H_n(C';G)$ with coefficients in any abelian group $G$ or (more likely) is there some counterexample?

$\endgroup$
5
  • $\begingroup$ Does The Universal Coefficient Theorem cover what you want? $\endgroup$ Nov 12, 2013 at 19:25
  • 1
    $\begingroup$ But how would you construct such a map? You are changing your coefficients. In the cohomology case you just use the $\text{Hom}(-, G)$ functor. $\endgroup$
    – M.B.
    Nov 12, 2013 at 19:29
  • $\begingroup$ Are you assuming that your map of chain complexes is also a chain map? Then, indeed, the UCT does the job (since it defines a natural exact sequence). $\endgroup$ Nov 12, 2013 at 20:56
  • $\begingroup$ math.toronto.edu/~mat1300/oldnotes/homology-coefficients.pdf is Proposition 9.11.3 the thing you're looking for? $\endgroup$
    – Dan Rust
    Nov 12, 2013 at 21:51
  • 1
    $\begingroup$ @M.B.: $- \otimes G$ is also a functor. $\endgroup$ Nov 12, 2013 at 22:09

1 Answer 1

3
$\begingroup$

Here is an answer assuming that $\alpha$ is a chain map; without this assumption I do not see how you can talk about induced maps of integer homology groups. Then the answer to your question is positive and follows from the Universal coefficient Theorem (UCT). Indeed, since $\alpha$ is a chain map, it induces maps $\alpha_{i*}: H_i(C; G)\to H_i(C'; G)$ for arbitrary abelian groups $G$. Since the statement of the UCT provides a natural short exact sequence, we get isomorphisms $$ \beta_i: H_i(C)\otimes G \to H_i(C')\otimes G $$ $$ \gamma_i: Tor(H_{i-1}(C), G)\to Tor(H_{i-1}(C'), G) $$ which (together with $\alpha_{i*}$) make a commutative diagram with UCT sequences for $C, C'$ on the top and on the bottom. (Sorry, I am not very good at drawing diagrams in the version of TeX used at MSE.) Now, the fact that $\alpha_{i*}$ is an isomorphism follows from the diagram chasing in this commutative diagram. For instance, to see injectivity, note that an element $x$ of the kernel has to project to zero in $Tor(H_{i-1}(C), G)$. Hence, it belongs to $H_i(C; {\mathbb Z})\otimes G$, but then injectivity of $\beta_i$ implies that $x=0$.

$\endgroup$
2
  • $\begingroup$ The phrase "a map of chain complexes" would normally mean "chain map." $\endgroup$ Nov 12, 2013 at 22:11
  • 1
    $\begingroup$ @Grumpy Parsnip: Very true, but after seeing so many badly phrased questions here, at MSE, I no longer take anything for granted. $\endgroup$ Nov 12, 2013 at 22:39

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .