On a compact oriented smooth manifold of dimension four without boundary, set for closed real two-forms. The Stokes theorem makes the expression independent of representatives, and the even degrees make it symmetric. It is the real de Rham cohomology version of the intersection form. The Hodge decomposition theorem and Hodge star operator express it as on harmonic representatives.
On a closed oriented Riemannian manifold of dimension four, the Hodge star operator preserves harmonic two-forms and splits them into orthogonal spaces and with eigenvalues and . The real de Rham intersection form in dimension four equals the positive inner product on and its negative on . It is nondegenerate, since . Its signature pair is .
Articles by others on the same topic
There are currently no matching articles.