Top de Rham cohomology of a compact connected oriented manifold
ID: top-de-rham-cohomology-of-a-compact-connected-oriented-manifold
For a compact connected oriented boundaryless -dimensional smooth manifold, choose a Riemannian metric. Harmonic functions are constant because , and Hodge star commutes with the Hodge Laplacian. Thus the Hodge star operator identifies the constant functions with the harmonic differential forms of top degree, exactly . The Hodge decomposition theorem identifies these with the top de Rham cohomology. The metric volume form has nonzero class by Stokes theorem. The harmonic-representative theorem is stated in Denis Auroux's Hodge theory lecture.
New to topics? Read the docs here!