3
$\begingroup$

Are all homology spheres compact? Are all generalized homology spheres compact? By a homology sphere I mean an $n$-manifold $X$ with same homology as the $n$-sphere. By a generalized homology sphere I mean the same with the assumption "$n$-manifold" replaced by "homology $n$-manifold".

If that helps, assume further that the spaces under consideration are simply connected.

$\endgroup$
0

3 Answers 3

9
$\begingroup$

If $M$ is a connected, non-compact $n$-manifold, then $H_i(M;R)=0$ for $i\geq n$. For a proof, see Proposition 3.29 in Hatcher's Algebraic Topology book.

So, if you are going to have $H_n(M;R)=R$, $M$ had better be compact.

EDIT (to answer about homology $n$-manifolds):

A homology $n$-manifold is a finite dimensional, locally contractible space $X$ whose local homology groups $H_*(X, X-\{x\})$ are the local homology groups for $\mathbb{R}^n$ for every $x\in X$. In particular, $\mathbb{R}^n$ is a non-compact homology $n$-manifold.

$\endgroup$
9
  • $\begingroup$ Thanks! How about generalized homology spheres? $\endgroup$ Commented Apr 21, 2010 at 13:25
  • $\begingroup$ I edited to include a response to the second question. Does it help? $\endgroup$ Commented Apr 21, 2010 at 15:07
  • $\begingroup$ $R^n$ is non-compact but it does not have same homology as the $n$-sphere. $\endgroup$ Commented Apr 21, 2010 at 20:08
  • $\begingroup$ So, do you want a homology $n$-manifold with the same local homology as $S^n$ or the same (non-local) homology as $S^n$? $\endgroup$ Commented Apr 21, 2010 at 20:51
  • $\begingroup$ Are you sure that finite dimensional and locally contractible is part of the definition of homology manifold? What notion of dimension is being used here? I vaguely recall that the definition only required $H_i(X,X-x)=H_i(R^n,R^n-0)$ for all $x$, and that most non-manifold examples were not locally compact. $\endgroup$
    – Paul
    Commented Apr 21, 2010 at 23:49
4
$\begingroup$

The top dimensional cohomology of a connected manifold is non-zero if and only if the manifold is compact, so the answer is "yes" for homology spheres.

EDIT: As Mariano remarks below, "compact" should read "compact and orientable".

$\endgroup$
2
  • $\begingroup$ iff the manifold is compact and orientable, no? $\endgroup$ Commented Apr 20, 2010 at 16:24
  • $\begingroup$ Yes, thanks! (So the homology sphere is also orientable.) $\endgroup$
    – Emerton
    Commented Apr 20, 2010 at 16:39
2
$\begingroup$

By a paper of Martio and Ryazanov, every connected, compact and simply connected homology $n$-sphere is homeomorphic to $S^n$, if $ \ n \geqslant 4$. By the affirmative answer to the Poincaré conjecture, this follows on dimension $3$ as well.

$\endgroup$

You must log in to answer this question.

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