Compact Oriented Manifolds without Boundary have Nontrivial Homology
If we take 
to be a manifold equipped with an orientation given by an orientation form 
. Then is nowhere zero, and 
for any positively oriented basis 
of 
at any point 
.
Next we take ![c:[0,1]^n\to M](https://s0.wp.com/latex.php?latex=c%3A%5B0%2C1%5D%5En%5Cto+M&bg=e6e6e6&fg=333333&s=0 "c:[0,1]^n\to M")
to be an orientation-preserving embedding — a singular cube of top dimension. Then the pullback 
for some strictly-positive function 
. We conclude that
![\displaystyle\int\limits_c\omega=\int\limits_{[0,1]^n}fdu^1\wedge\dots\wedge du^n=\int\limits_{[0,1]^n}f(u^1,\dots,u^n)\,d(u^1,\dots,u^n)>0](https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%5Cint%5Climits_c%5Comega%3D%5Cint%5Climits_%7B%5B0%2C1%5D%5En%7Dfdu%5E1%5Cwedge%5Cdots%5Cwedge+du%5En%3D%5Cint%5Climits_%7B%5B0%2C1%5D%5En%7Df%28u%5E1%2C%5Cdots%2Cu%5En%29%5C%2Cd%28u%5E1%2C%5Cdots%2Cu%5En%29%3E0&bg=e6e6e6&fg=333333&s=0 "\displaystyle\int\limits_c\omega=\int\limits_{[0,1]^n}fdu^1\wedge\dots\wedge du^n=\int\limits_{[0,1]^n}f(u^1,\dots,u^n)\,d(u^1,\dots,u^n)>0")
The integral of over all of must surely be even greater than the integral over the image of 
, since we can cover by orientation-preserving singular 
-cubes, and none of them can ever contribute a negative to the integral.
If we further suppose that is compact, we can cover by finitely many such singular cubes, and the integral on each is well-defined. Using a partition of unity as usual this shows us that the integral over all of exists and, further, must be strictly positive. In particular it’s not zero.
But now suppose that also has an empty boundary. Since is a top form, we know that 
— it’s closed in the de Rham cohomology. But we know that it cannot also be exact, for if 
for some 
-form 
then Stokes’ theorem would tell us that
since 
is empty.
And so if is a compact, oriented -manifold without boundary, then there must be some -forms which do not arise from taking the exterior derivatives of -forms. If is pseudo-Riemannian, so we have a Hodge star to work with, this tells us that we always have some functions on which are not the divergence of any vector field on .
Like this:
Like Loading...
Related
November 24, 2011 -
Posted by John Armstrong |
Differential Topology, Topology
[…] — we see that any compact, oriented manifold without boundary cannot be contractible, since we know that they have some nontrivial homology! LD_AddCustomAttr("AdOpt", "1"); […]
Pingback by Homotopic Maps Induce Identical Maps On Homology « The Unapologetic Mathematician | December 6, 2011 |