Let $X$ be a $C^\infty$ manifold, compact oriented and connected of dimension $n$. How do you prove that the integration map $\int_X: \omega \mapsto \int_X \omega $ from $H^n_{DR}(X)$ to $\mathbb{R}$ is an isomorphism? (Without using Poincare duality).
Highest DeRahm Cohomology
4
$\begingroup$
algebraic-topology
differential-topology
manifolds
homology-cohomology
differential-forms
1 Answers
1
Here are the steps to do this:
Show that the formula you gave is well-defined (that is, show that it doesn't depend on the class of $w$). This is just Stokes' Theorem, assuming your manifold has no boundary. Linearity is obvious.
For surjectivity, since $M$ is oriented there exists a $n$-form $\omega_0$ such that $\int_M \omega_0 = c > 0$. Now just multiply $\omega_0$ by the appropriate constant.
Now note that both spaces have the same dimension, so integration must be an isomorphism.
-
0I looked it up in Lee's book on Smooth Manifolds. There, it amounts to a standard-seeming argument, using partitions of unity to show that if a top form integrates to zero then it is exact. Is there any easier way? – 2012-09-17