Differential Topology – Top Homology of an Oriented, Compact, Connected Smooth Manifold with Boundary

differential-topology

Let $M$ be an oriented, compact, connected $n$-dimensional smooth manifold with boundary. Then, is it true that $n$-th singular homology of M, that is $H_n(M)$, is vanish? I can't make counterexamples for this statement, but I don't have the slightest idea for proof.

Best Answer

Just to complete the details of Dan's hint. The top homology of a non-compact manifold vanishes, e.g. by Poincare duality $H_n(M) \cong H^0_c(M)$ where $H^*_c(M)$ is cohomology with compact support. But $H^0_c(M)$ is just the kernel of $d : C^0_c(M) \to C^1_c(M)$. Therefore $C^0_c(M)$ consists of constant functions and because $M$ is non-compact the only such function is the zero function.

Alternatively, one can see the result directly from Lefschetz duality, a generalization of Poincare duality. This gives $H_n(M) \cong H^0(M,N)$ where $N$ is the boundary of $M$. But $H^0(M,N) \cong \tilde H^0(M/N) = 0$.

I'm sure there are many other and probably simpler ways to see this. But the upshot is that non-compact manifolds and manifolds with boundary are simpler from the point of view of homotopy theory than their closed cousins (just thinking of ${\bf R}^n$ which has homototy type of a point).