Is there a topological space $X$ such that $H^i(X; \mathbb{Z}) = 0$ for all $i > 0$, but $H_n(X; \mathbb{Z}) \neq 0$ for some $n > 0$?

In his answer to the question Is homology determined by cohomology?, Qiaochu Yuan points out that for a Moore space $X = M(A, n)$,

$$\begin{align*} H^n(X; \mathbb{Z}) &\cong \operatorname{Hom}(A, \mathbb{Z})\\ H^{n+1}(X; \mathbb{Z}) &\cong \operatorname{Ext}^1(A, \mathbb{Z}) \end{align*}$$

and $H^i(X; \mathbb{Z}) = 0$ for all $i > 0$. As $\operatorname{Hom}(\mathbb{Q}, \mathbb{Z}) = \operatorname{Hom}(\mathbb{Q}\oplus\mathbb{Q}, \mathbb{Z}) = 0$ and $\operatorname{Ext}^1(\mathbb{Q}, \mathbb{Z}) \cong \mathbb{R} \cong \mathbb{R}\oplus\mathbb{R} \cong \operatorname{Ext}^1(\mathbb{Q}\oplus\mathbb{Q}, \mathbb{Z})$, we see that $M(\mathbb{Q}, n)$ and $M(\mathbb{Q}\oplus\mathbb{Q}, n)$ have the same cohomology, but different homology because $\mathbb{Q} \not\cong \mathbb{Q}\oplus\mathbb{Q}$.

The above shows that, in general, cohomology does not determine homology, but my question is about the specific case where the cohomology is trivial.

Note, if there is an example of a topological space $X$ with trivial cohomology but non-trivial homology, then there is also an example among the Moore spaces. More precisely, if $H_n(X; \mathbb{Z}) \cong A \neq 0$, then $M(A, n)$ also has trivial cohomology but non-trivial homology. Therefore, my initial question is equivalent to the following algebraic question:

Is there a non-trivial abelian group $A$ such that $\operatorname{Hom}(A, \mathbb{Z}) = 0$ and $\operatorname{Ext}^1(A, \mathbb{Z}) = 0$?

If an example of such a group exists, it must not be finitely generated. As such, if there is an $X$ with trivial cohomology but non-trivial homology, it cannot be homotopy equivalent to a compact manifold.

  • $\begingroup$ So far I can show that we can assume WLOG that $A$ is torsion-free, and from here $A$ must also be reduced (have no nontrivial divisible subgroups). $\endgroup$ Apr 9 '16 at 5:33

No such groups exist.

Suppose $\operatorname{Ext}(A,\mathbb{Z})=\operatorname{Hom}(A,\mathbb{Z})=0$. First, note that the functor $\operatorname{Ext}(-,\mathbb{Z})$ turns injections into surjections (this follows from the long exact sequence and the fact that $\operatorname{Ext}^2$ always vanishes for abelian groups). So we must have $\operatorname{Ext}(B,\mathbb{Z})=0$ for all subgroups $B\subseteq A$. In particular, this means every finitely generated subgroup of $A$ is free, so $A$ is torsion-free.

Now fix a prime $p$ and consider the short exact sequence $0\to pA\to A\to A/pA\to 0$. Since $A$ is torsion-free, $pA\cong A$. The Ext exact sequence $$\operatorname{Hom}(pA,\mathbb{Z})\to \operatorname{Ext}(A/pA,\mathbb{Z})\to \operatorname{Ext}(A,\mathbb{Z})$$ now tells us that $\operatorname{Ext}(A/pA,\mathbb{Z})=0$. But $A/pA$ is just a direct sum of copies of $\mathbb{Z}/p$, so this implies $A/pA=0$. Thus $pA=A$ for all primes $p$.

This means that $A$ is a divisible torsion-free group, and hence actually a $\mathbb{Q}$-vector space. Since $\operatorname{Ext}(\mathbb{Q},\mathbb{Z})\neq 0$, this implies $A=0$.

  • 1
    $\begingroup$ Do you know if there is such a group $A$ if we drop the abelian hypothesis? $\endgroup$ Apr 10 '16 at 2:22
  • 2
    $\begingroup$ What do you mean by $\operatorname{Ext}(A,\mathbb{Z})$ if $A$ is nonabelian? $\endgroup$ Apr 10 '16 at 2:34
  • 1
    $\begingroup$ Maybe @MichaelAlbanese meant modules over a ring in place of Abelian groups? By the way, just to make sure I got this straight, if we apply the long exact sequence of homology/cohomology and the mapping cylinder construction, is it true we can conclude that a map $f:X\rightarrow Y$ induces isomorphisms on $H_\bullet(-,\mathbb Z)$ iff it does so on $H^\bullet(-,\mathbb Z)$? $\endgroup$
    – user46652
    Apr 10 '16 at 23:11
  • 1
    $\begingroup$ @EricWofsey: Ah, completely forgot $A$ needs to be a $\mathbb{Z}$-module. Thanks. $\endgroup$ Apr 11 '16 at 1:46
  • 1
    $\begingroup$ @math: I guess this is not quite obvious if there are infinitely many summands. Here's another way to think about it. A map $X\to M$ is the same thing as an $H\mathbb{F}_p$-module map $H\mathbb{F}_p\wedge X\to M$. So we wish to show that if there are no nonzero $H\mathbb{F}_p$-module maps $H\mathbb{F}_p\wedge X\to \Sigma^i H\mathbb{F}_p$ for all $i$, there are also no nonzero $H\mathbb{F}_p$-module maps $H\mathbb{F}_p\wedge X\to M$ for any $M$. $\endgroup$ Feb 1 '19 at 6:49

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.