2
$\begingroup$

I'm somewhat confused about the definitions of Betti numbers for Riemannian manifolds. Working with the first Betti number as an example, I have usually taken the definition to be the rank of the homology group $H_1(M)$, where $M$ is the manifold in question. I'm also aware that through a Hodge-theoretic argument, we have that the first Betti number is equal to the dimension of the space of harmonic 1-forms on $M$, and that in fact this space is isomorphic to $H^1(M; \mathbb{R})$.

So my question is essentially: How do we get an isomorphism $H_1(M)\cong H^1(M; \mathbb{R})$?

I know that through Poincaré duality we have the isomorphism $H_1(M) \cong H^{n-1}(M; \mathbb{Z})$ but I can't see how this helps.

$\endgroup$
2
  • 3
    $\begingroup$ It's not true that $H_1(M)\cong H^1(M;\mathbb R)$, but the ranks are the same. $H_1(M)\otimes\mathbb R\cong H_1(M;\mathbb R),$ and $H^1(M;\mathbb R)\cong H_1(M;\mathbb R)$ by a non-canonical isomorphism. $\endgroup$
    – Jim Conant
    Dec 16, 2010 at 16:17
  • 7
    $\begingroup$ They are not naturally isomorphic, but rather are naturally dual, via universal coefficients. (Of course, since any finite dimensional vector space is non-naturally isomorphic to its dual, it follows that they are non-naturally isomorphic, as Jim Conant notes in his comment above, and Steve Gubkin notes in his answer below.) $\endgroup$
    – Emerton
    Dec 16, 2010 at 16:22

1 Answer 1

7
$\begingroup$

$H_1(M,\mathbb{R}) \cong H^1(M, \mathbb{R})$ follows from the universal coefficients theorem for cohomology.

$\endgroup$
2
  • 4
    $\begingroup$ This is only true under some finiteness assumptions on $H_*(M)$, which hold e.g. if $M$ is a compact manifold, or if more generally, $H_*(M)$ is finitely generated. In general, $H^p(M;\mathbb R)$ is isomorphic to $Hom(H_p(M), \mathbb R)$, and $Hom$ turns sums into products, so e.g. if $M$ is the connected sum of infinitely many real projective spaces of dimension $>2$, the $H_1(M;\mathbb R)$ is a direct sum, and $H^1(M;\mathbb R)$ is the direct product of infinitely many copies of $R$. $\endgroup$ Dec 16, 2010 at 23:43
  • $\begingroup$ I should have used tori instead of projective spaces. $\endgroup$ Dec 17, 2010 at 13:07

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.