This is a survey of old and new results on the problem when a compatible almost complex structure on a Riemannian manifold is a harmonic section or a harmonic map from the manifold into its twistor space. In this context, special attention is paid to the Atiyah-Hitchin-Singer and Eells-Salamon almost complex structures on the twistor space of an oriented Riemannian four-manifold.
JOHANN DAVIDOVIn general, these critical points are not harmonic maps, but, by analogy, in [36] they are referred to as "harmonic almost complex structures". They are also called "harmonic sections" [35], a term, which is more appropriate in the context of this article.Forgetting the bundle structure of T, we can consider almost Hermitian structures that are critical points of the energy functional under variations through all maps N → T. These structures are genuine harmonic maps from (N, h) into (T, h 1 ) and we refer to [15] for basic fact about such maps.The main goal of this paper is to survey results about the harmonicity (in both senses) of the Atiyah-Hitchin-Singer and Eells-Salamon almost Hermitian structures on the twistor space of an oriented four-dimensional Riemannian manifold, as well as almost Hermitian structures on such a manifold.In Section 2 we recall some basic facts about the twistor spaces of even-dimensional Riemannian manifolds. Special attention is paid to the twistor spaces of oriented four-dimensional manifolds. In Sections 3 and 4 we discuss the energy functional on sections of a twistor space, i.e. almost Hermitian structures on the base Riemannian manifold. We state the Euler-Lagrange equation for such a structure to be a critical point of the energy functional (a harmonic section) obtained by Wood [35,36]. Several examples of non-Kähler almost Hermitian structures, which are harmonic sections are given. Kähler structures are absolute minima of the energy functional. G. Bor, L. Hernández-Lamoneda and M. Salvai [4] have given sufficient conditions for an almost Hermitian structure to be a minimizer of the energy functional. Their result (in fact, part of it) is presented in Section 4 and is used to supply examples of non-Kähler minimizers based on works by C. LeBrun [27] and I. Kim [24]. Section 4 ends with a lemma from [9], which rephrases the Euler-Lagrange equation for an almost Hermitian structure (h, J) on a manifold N in terms of the fundamental 2-form of (h, J) and the curvature of (N, h). This lemma has been used in [9] to show that the Atiyah-Hitchin-Singer almost Hermitian structure J 1 on the negative twistor space Z of an oriented Riemannian 4-manifold (M, g) is a harmonic section if and only if the base manifold (M, g) is self-dual, while the Eells-Salamon structure J 2 is a harmonic section if and only (M, g) is self-dual and of constant scalar curvature. The main part of the proof of this result (slightly different from the proof in [9]) is presented in Section 5. In this context, it is natural to ask when J 1 and J 2 are harmonic maps into the twistor space of Z. Recall that a map between Riem...