Differential Geometry – De Rham Cohomology of Compact Manifold Minus One Point

de-rham-cohomologydifferential-geometryhomology-cohomologymanifolds

Let $M$ be a compact, connected, oriented and without boundary $n$-manifold, and $N$ the manifold obtained by removing an arbitrary point $p\in M$ from $M.$
Show that the Betti numbers (i.e. the dimentions of the De Rham cohomology groups) are
$$b^i(N)=b^i(M) \quad i=0,\dots,n-1;$$
$$b^n(N)=b^n(M)-1.$$

My idea was to use the Mayer-Vietoris theorem by considering the open sets $U=N$ and $V,$ where $V$ is an arbitrary neighbourhood that is also the domain of a chart $\varphi:V\to\mathbb{R}^n.$

The resulting Mayer-Vietoris sequence is:
\begin{multline}
0\to H^0(M)\to H^0(N)\oplus\mathbb{R}\to\mathbb{R}\to H^1(M)\to H^1(N)\to 0\to \\ \to \cdots\to 0 \to H^{n-1}(M)\to H^{n-1}(N)\to\mathbb{R}\to H^n(M)\to H^n(N)\to 0;\end{multline}

due to the fact that the cohomology of $V\sim\mathbb{R}^n$ is $H^0(\mathbb{R}^n)=\mathbb{R}$ and $H^i(\mathbb{R}^n)=0$ for all $i\geq 1,$ and the cohomology of $V\cap U$ is the cohomology of $\mathbb{S}^{n-1},$ that is: $H^0(\mathbb{S}^{n-1})=H^{n-1}(\mathbb{S}^{n-1})=\mathbb{R}$ and $H^i(\mathbb{S}^{n-1})=0$ for all $i\ne0,n-1.$

The short sequences in the middle $0 \to H^i(M)\to H^i(N)\to 0, \ i=2,\dots,n-2$ let me say that $b^i(N)=b^i(M)$ for these $i$'s, but for the others I just have the sequences:
$$0\to H^0(M)\to H^0(N)\oplus\mathbb{R}\to\mathbb{R}\to H^1(M)\to H^1(N)\to 0,$$
$$0 \to H^{n-1}(M)\to H^{n-1}(N)\to\mathbb{R}\to H^n(M)\to H^n(N)\to 0;$$
that allow me to write the relations: $$b^0(M)-b^0(N)-b^1(M)+b^1(N)=0,$$ and $$b^{n-1}(M)-b^{n-1}(N)+1-b^n(M)+b^n(N)=0,$$
which are coherent with the thesis that I want to obtain but are not sufficient to conclude, and I can't say anything more (I'm not an expert in using arrows as mathematical objects).
Any help is really much appreciated. Thanks to everybody.

Best Answer

The trick is to look at the actual arrows involved. Also for convenience sake, I will assume $N$ is actually $M$ delete an open ball, since they're homotopy equivalent.

The $0$, $1$ exact sequence

Consider the exact sequence $$ 0 \to H^0(M)\to H^0(N)\oplus \Bbb{R}\to \Bbb{R}\to H^1(M)\to H^1(N)$$ The trick is to observe that $H^0(M)=\Bbb{R}$, since $M$ is connected. Thus we have $$ 0 \to \Bbb{R} \to H^0(N)\oplus \Bbb{R}\to \Bbb{R},$$ and since $N\ne \varnothing$, we see that the dimension of $H^0(N) \oplus \Bbb{R}$ is greater than or equal to 2, but it's also at most 2, since it fits into this exact sequence. Thus $H^0(N)=\Bbb{R}$ and the map $H^0(N)\oplus \Bbb{R}\to \Bbb{R}$ is surjective.

We could also show this geometrically ($N$ must be connected, so $H^0(N)=\Bbb{R}$ from that consideration alone, and surjectivity of the map is clear geometrically).

Regardless, surjectivity of this map allows us to split the exact sequence as $$ 0\to H^0(M)\to H^0(N)\oplus \Bbb{R} \to \Bbb{R} \to 0$$ and $$ 0\to H^1(M)\to H^1(N).$$ If $n> 2$, then this fits in as $0\to H^1(M)\to H^1(N)\to 0$, giving $H^1(M)\simeq H^1(N)$. Otherwise this is part of the other exact sequence we don't understand, so let's look at that one next.

The $n$, $n-1$ exact sequence

We have $$ 0 \to H^{n-1}(M) \to H^{n-1}(N) \to \Bbb{R} \to H^n(M)\to H^n(N) \to 0$$

Consider the map $H^{n-1}(N)\to \Bbb{R}$. This is induced by restricting a differential form $\omega$ representing some cohomology class $[\omega]$, defined on $N$ to the boundary sphere of $N$.

Then observe that $$\int_{\partial N} \omega = \int_N d\omega = \int_N 0 = 0,$$ by Stokes' theorem and that $\omega$ is closed.

Therefore the image of $[\omega]$ in $\Bbb{R} = H^{n-1}(\partial N)$ is $0$. Thus the map $H^{n-1}(N)\to \Bbb{R}$ is $0$.

Therefore we can split the exact sequence again into the pieces $$0\to H^{n-1}(M)\to H^{n-1}(N)\to 0$$ and $$0\to \Bbb{R}\to H^n(M)\to H^n(N)\to 0,$$ and using that $H^n(M)=\Bbb{R}$, since $M$ is connected, compact, and orientable, we see that $H^n(N)=0$, as desired.

Alternatively without using that $H^n(M)=\Bbb{R}$, we already have $b_n(N) = b_n(M)-1$.

Related Question