Self-dual primitive of an exact three-form

ID: self-dual-primitive-of-an-exact-three-form

On a compact oriented Riemannian manifold of dimension four without boundary, every exact three-form has a self-dual two-form primitive. Write and use the Hodge decomposition theorem to split . Then . For , the codifferential identity and the fact on two-forms give , so . Thus satisfies and . It is twice the self-dual projection of , rather than the projection itself.

New to topics? Read the docs here!