The Hitchin functional is a mathematical concept with applications in string theory that was introduced by the British mathematician Nigel Hitchin. Hitchin (2000) and Hitchin (2001) are the original articles of the Hitchin functional. As with Hitchin's introduction of generalized complex manifolds, this is an example of a mathematical tool found useful in mathematical physics.
Formal definition This is the definition for 6-manifolds. The definition in Hitchin's article is more general, but more abstract. Let M {\displaystyle M} be a compact, oriented 6-manifold with trivial canonical bundle. Then the Hitchin functional is a functional on 3-forms defined by the formula:
Φ ( Ω ) = ∫ M Ω ∧ ∗ Ω , {\displaystyle \Phi (\Omega )=\int _{M}\Omega \wedge *\Omega ,}
where Ω {\displaystyle \Omega } is a 3-form and * denotes the Hodge star operator.
Properties The Hitchin functional is analogous for six-manifold to the Yang-Mills functional for the four-manifolds. The Hitchin functional is manifestly invariant under the action of the group of orientation-preserving diffeomorphisms. Theorem. Suppose that M {\displaystyle M} is a three-dimensional complex manifold and Ω {\displaystyle \Omega } is the real part of a non-vanishing holomorphic 3-form, then Ω {\displaystyle \Omega } is a critical point of the functional Φ {\displaystyle \Phi } restricted to the cohomology class [ Ω ] ∈ H 3 ( M , R ) {\displaystyle [\Omega ]\in H^{3}(M,R)} . Conversely, if Ω {\displaystyle \Omega } is a critical point of the functional Φ {\displaystyle \Phi } in a given comohology class and Ω ∧ ∗ Ω < 0 {\displaystyle \Omega \wedge *\Omega <0} , then Ω {\displaystyle \Omega } defines the structure of a complex manifold, such that Ω {\displaystyle \Omega } is the real part of a non-vanishing holomorphic 3-form on M {\displaystyle M} . The proof of the theorem in Hitchin's articles Hitchin (2000) and Hitchin (2001) is relatively straightforward. The power of this concept is in the converse statement: if the exact form Φ ( Ω ) {\displaystyle \Phi (\Omega )} is known, we only have to look at its critical points to find the possible complex structures.
Stable forms Action functionals often determine geometric structure on M {\displaystyle M} and geometric structure are often characterized by the existence of particular differential forms on M {\displaystyle M} that obey some integrable conditions. If an 2-form ω {\displaystyle \omega } can be written with local coordinates
ω = d p 1 ∧ d q 1 + ⋯ + d p m ∧ d q m {\displaystyle \omega =dp_{1}\wedge dq_{1}+\cdots +dp_{m}\wedge dq_{m}}
and
… excerpt ends here. Continue reading the full article.
