When is a closed differential form harmonic relative to some metric?

A closed $k$-form is called intrinsically harmonic if there is some Riemannian metric with respect to which it is harmonic. E. Calabi (Calabi, Eugenio, An intrinsic characterization of harmonic one-forms, Global Analysis, Papers in Honor of K. Kodaira 101-117 (1969). ZBL0194.24701.) showed that a one-form having non-degenerate zeros on a compact manifold without boundary is intrinsically harmonic if and only if it satisfies a property called transitivity. The precise statement and proof can be found in chapter 9 of M. Farber's book "Topology of closed one-forms". In what comes I am following Farber. That a closed one-form $\omega$ have non-degenerate zeros means that near each zero it can be written in the form $\omega = df$ with $f$ a Morse function. For such a one-form, the additional assumption of harmonicity means that the Morse index of a zero cannot be $0$ or $n$ (write $\omega = df$ near the zero; because $\omega$ is co-closed, $f$ is harmonic, so by the maximum principle cannot have a max or min at the zero). That $\omega$ be transitive means that for any point $p$ of $M$ which is not a zero of $\omega$ there is a smooth $\omega$-positive loop $\gamma: [0, 1] \to M$; that is, $\gamma(0) = p = \gamma(1)$, and $\omega(\dot{\gamma}(t)) > 0$ for $t \in [0, 1]$. Then Calabi's theorem states that a closed one-form with non-degenerate zeros is intrinsically harmonic if and only if it is transitive. Near a non-degenerate index $0$ zero of a closed one-form the one-form can be written in the form $\delta_{ij}x^{i}dx^{j}$, for which it can be checked there are no positive loops beginning sufficiently near the origin.

(If one can handle $k$-forms then by Hodge duality one expects to be able to get somewhere with $(n-k)$-forms. The intrinsic harmonicity of $(n-1)$-forms was characterized in terms of transitivity in the thesis of Ko Honda, available on his web page). Evgeny Volkov (Volkov, Evgeny, Characterization of intrinsically harmonic forms, J. Topol. 1, No. 3, 643-650 (2008). ZBL1148.57036.) weakens the non-degeneracy condition, replacing it with the condition that the closed one-form be locally intrinsically harmonic - that is, the restriction of the form to a suitable open neighborhood of its zero set is intrinsically harmonic.

As far as I know, for higher degree forms nothing much is known at all, though for some special cases, like $2$-forms on $4$-manifolds, something more has been said. One imagines that with further assumptions on the form, perhaps more can be said - for example a symplectic form is always intrinsically harmonic (use the metric determined by a compatible almost complex structure). On the other hand, Volkov's paper exhibits a closed $2$-form of rank $2$ on a $4$-manifold which is transitive but not intrinsically harmonic.


This question is quite subtle, I don't believe the answer is known in the general situation. But if you consider the case of $1$-forms on surfaces, one can completely characterise those that are harmonic. They form a "space" of finite dimension modulo self-diffeos of the surface. They are called minimal, and they can all be represented as real parts of some holomorphic $1$-forms. Minimal 1-forms on a surface $S$ are characterised by the property that for each point $x\in S$, where the one-form is non-vanishing there exists a circle $S^1$ on $S$ such that the one-form restricted to $S^1$ has not zeros while $x\in S^1$.

For example, in the case of a $T^2$ a one-form is harmonic for some metric iff it has no zeros at all.


1 - Eugenio Calabi affirms that every closed non singular 1-forms in closed manifolds are intrinsecally harmonic ("An instrinsic characterization of harmonic 1-forms", 1969). This is easy proved observing first that such forms are transitive. The dual case is a open problem, but I believe that is true. A closed $(n-1)$-form non singular and non null in cohomology is intrinsecally harmonic iff the voluming-preserving flow induced by this form admit cross section (closed comdimension one submanifold cutting every orbit of the flow) or iff admit complementar foliation (foliation transversal to the flow; at leas $C^2$). Is possible proof this fact in the spirit of Calabi's work. This problem have consequences in flat characterization of circle bundles.

2 - In the case of closed $p$-forms of the rank $p$, the problem have a translate for foliation theory. Is possible to show that if a closed $p$ form $\omega$ of the rank $p$ is transitive, then exists complementar form $\eta$, that is, $\eta$ is a closed form such that $\omega\wedge\eta$ is volume form. This is proved using the theory of foliations cycles (see the Sullivan's paper "Cycles for the dynamical study of foliated manifolds and complex manifolds"). However, in a fiber bundle $\xi=(\pi,F,E,M)$ with symple connected base, compact total space, if $\Omega_M$ is any volume form in $M$, the form $\pi^*\Omega$ is intrinsecally harmonic iff $\xi$ is trivial. We can run away from trivial cases showing that $[F]\neq 0\in H_{\dim F}(E;\mathbb{R})$ and exists exemples those bundles with section. This give us the examples cited by Dan Fox. The problem is the dimension of the kernel of $\eta$. In the cases $p=1$ or $p=n-1$ (without singularities), in the condition of transitivity, the dimension of the kernel of $\eta$ is $n-1$ (case $p=1$) or 1 (case $p=n-1$), and the Calabi argument applies.

3 - Is too a open problem to show that harmonic forms are transitive, as observed by Katz ("Harmonic forms and near-minimal singular foliations"). We can to show that if $\omega$ is a harmonic $p$-form of rank $p$, then the have in $M$ two complementary $SL(*)$-foliations induced by $\ker\omega$ and $\ker *\omega$.

4 - I have studied the problem of decomposable forms. By the Tischler's argument (and others considerations; see "On fibering certain foliated manifolds over $\mathbb{S}^1$") is sufficient considering bundles $\xi=(F,\pi,E,\mathbb{T}^{p})$. If this bundle admit transversal foliation with holonomy group contained in $SL(*)$, then the form $\pi^*(\Omega_{\mathbb{T}^{p}})$ is intrinsecally harmonic. The ideia of study particular examples is know if we can rule out the hypothesis of transitivity. In any bundle $\xi=(\pi,F,E,M)$, with compact total space, $[F]\neq 0$ and $\pi_1(M)$ finite, the form $\pi^*(\Omega)$ is intrinsecally harmonic.

Ps. The above remarks is part of development of my doctoral project and are is under analysis.