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!