3
$\begingroup$

Is anyone aware of a comprehensible example of a topological space $X$ with $\pi_1(X) \neq 0$ and $H_1(X)=0$? We could always build a space with a perfect fundamental group, such as $A_5$, and so arrive at an example, but perhaps it would be very difficult to understand. I'm hoping someone could help me understand how a space can have nonzero fundamental group but zero homology group.

I guess the Poincare Homology Sphere has fundamental group $A_5$ (although some sources seem to claim the group is of order 120...maybe there is differing terminology going on here). Maybe that's a start.

$\endgroup$
  • $\begingroup$ My sources tell me that the fundamental group of the Poincaré homology sphere is the binary icosahedral group of order $120$, but note that this is also a perfect group. $\endgroup$ – Slade Oct 25 '15 at 20:16
  • 1
    $\begingroup$ It's not a start, it's an end: the Poincare homology sphere has fundamental group $\widetilde{A}_5$ (not $A_5$ but a particular central extension of it), which is perfect. You're already done now. $\endgroup$ – Qiaochu Yuan Oct 25 '15 at 20:50
1
$\begingroup$

$H^1(X)$ is $\pi_1(X)/[\pi_1(X),\pi_1(X)]$, you can take a non abelian simple discrete group $G$ and $X$, $K(G,1)$ the $1$-Eilenberg-McLane space.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ $G$ must be non-abelian, right? $\endgroup$ – M.U. Oct 25 '15 at 20:11

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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