n-th integral cohomology of a non-compact manifold of dimension n

Question

Let $M$ be a smooth connected oriented without boundary non-compact manifold of dimension n.

Let $k$ be a principal ideal, e. g. the integers $Z$

Let $H_n(M)$ and $H^n(M)$ be the homology and cohomology in degree n of $M$ with coefficients in $k$.

It is well-known that $H_n(M)=0$.

Is $H^n(M)$ also trivial ?

By the universal coefficient theorem for cohomology, $H^n(M)=Ext(H_{n-1}(M),k)$. Therefore if $k$ is a field, $H^n(M)=0$. I would like to know this answer over a principal ideal: $Z$.

It is also known (Bredon's book) that $H_{n-1}(M)$ is without torsion. But I believe that $H_{n-1}(M)$ in the non-compact case, is a not a finitely generated $k$-module. Therefore I don't know if $H_{n-1}(M)$ is free, i. e. projective. Since there exists abelians groups without torsion, non-free, e. g. the rationals $Q$

I suppose that this must be well-known. But I could not find a reference.

Answer 1

By a version of Poincaré duality, $\mathrm H^n(M, \mathbb Z)$ is isomorphic to the $0$-th Borel-Moore homology group $\mathrm H_0^{\mathrm{BM}}(M, \mathbb Z)$, (see, for example, IX-4 in Iversen's book on cohomology of sheaves). On the other hand $\mathrm H_0^{\mathrm{BM}}(M, \mathbb Z) = 0$; this can easily be seen considering the one-point compactification $\overline M$, and the exact sequence $$ 0 \longrightarrow \mathrm H_0^{\mathrm{BM}}(\overline M \smallsetminus M, \mathbb Z) \longrightarrow \mathrm H_0^{\mathrm{BM}}(\overline M, \mathbb Z) \longrightarrow \mathrm H_0^{\mathrm{BM}}(M, \mathbb Z) \longrightarrow \mathrm H_1^{\mathrm{BM}}(\overline M \smallsetminus M, \mathbb Z) = 0 $$ since $\mathrm H_0^{\mathrm{BM}}(\overline M, \mathbb Z) = \mathbb Z$.

Answer 2

Maybe too late, and close to the Fernando's argument. Let $c$ be an infinite path going through each center of the $n$-simplex of a triangulation. Let $U$ be a neighbourhood of $c$, we can assume $U$ has the homotopy type of $[0,+\infty[$ and $\partial U$ is homeomorphic to $\mathbb R^{n-1}$. Then $V= \overline{X\setminus U}$ retracts on the $n-1$-skeleton, so $H^{n-1}(V)=0$ and we conclude by Mayer Vietoris

$$H^{n-1}(U\cap V) \to H^n(X) \to H^n(U)\oplus H^n(V)$$

Answer 3

I may be mistaken, I speak from memory, but I think that $H^i(M,k)\cong H_{n-i}^\infty(M,k)$ is the homology of infinite chains, in particular $H^n(M,k)\cong H_0^\infty(M)$. This homology is computed from a (locally finite) triangulation replacing $\bigoplus$ in the usual definition of the simplicial chain complex by $\prod$, i.e. we allow infinite linear combinations of simplices. I think one can argue $H_0^\infty(M)=0$ in the following way, at least if $\dim M\geq 2$, subdividing, or whatever. Any infinite $0$-cycle is a possibly infinite linear combination of vertices. For each vertex in the linear combination take a divergent simplicial half line ending on it. Take all of them in such a way that no edge is contained in infinitely many half lines. Then take the $1$-chain formed by the sum of the edges of all half lines coherently oriented. The boundary of this $1$-chain should be the original $0$-cycle.