2
$\begingroup$

Can anyone show me a simple example of a manifold such that $H_{1}(\mathcal{X})=0$ but $\mathcal{X}$ is not orientable? We know the contention hold for $\pi_{1}$, I am not sure if it holds for $H_{1}$.

  • 0
    In what sense do you mean orientable? You could ask for manifolds...2012-11-04
  • 0
    I guess I should ask for manifolds.2012-11-04
  • 0
    If you're talking about manifolds and orientation in the usual sense, then the first thing to look for is a group $G$ to play the role of $\pi_1(X)$ whose abelianization is trivial (i.e., $[G,G]=G$) and such that $G$ contains a 2-torsion element. (Or maybe any $n$-torsion? I forget, it's been a long time since I've read Hatcher, and I'm not big into lens spaces and things...)2012-11-04
  • 0
    This is enough; I shall try to find one myself. Thanks.2012-11-04

1 Answers 1

4

There are no such manifolds.

Obstruction to orientability is given by first Stiefel-Whitney class $w_1\in H^1(X;\mathbb Z/2\mathbb Z)$. So if $H^1(X;\mathbb Z/2\mathbb Z)=0$ manifold $X$ is always orientable.

In other words. If loop $\gamma$ is trivial as an element of $H_1$ it is always orientation-preserving.