I have heard that the rational homology of a covering space is easy to compute, compared with the ordinary homology. However, I don't know any details about that. Can anyone help me? Any reference will be greatly appreciated.



Rational Homology of a Covering Space
There are several reasons why this is true. Here's one: For a finite cover $p:\tilde X\to X$, there is a *transfer map*
$t:H\_i(X)\to H\_i(\tilde X)$ which, on the chain level, takes a chain $\sum a\_i \sigma\_i$ to $\sum a\_i \sum g\sigma\_i$, where the inner sum is over all lifts of $\sigma\_i$. This holds with any coefficients, but over the rationals, $p\circ t$ is multiplication by the index of the cover, an isomorphism. Hence the transfer is injective, and so the homology of $\tilde X$ contains a copy of the homology of $X$.


