4-dimensional almost Kähler manifolds and \(L^2\)-scalar curvature functional (Q2567133)

Let \((M,g,J)\) be an almost Hermitian manifold with Kähler form \(\omega\). \(M\) is said to be almost Kählerian if \(\omega\) is closed. This class of manifolds contains that of the Kähler manifolds (i.e., \(J\) is parallel) as a proper subclass. The Goldberg conjecture states that any compact almost Kähler Einstein manifold must be Kählerian, i.e., \(J\) is integrable. It has been proved by K. Sekigawa that it holds for the 4-dimensional case when the scalar curvature \(s\) is non-negative. For negative scalar curvature this problem is still open and only partial results are known. Using Seiberg-Witten theory, M. Itoh proved that the conjecture holds for connected 4-manifolds \(M\) if \(\int_M s^2_g dv_g = 32 \pi^2 (2 \chi + 3 \tau)(M)\) where \(\chi\) and \(\tau\) denote the Euler characteristic and the signature, respectively. C. Lebrun proved a similar result without using the Seiberg-Witten theory. This condition on the scalar curvature always holds for 4-dimensional Kähler-Einstein spaces. In this paper the author extends Itoh's result by replacing the Einstein condition by the condition \(p(\delta W) = 0\) where \(\delta W\) denotes the divergence of the Weyl conformal curvature tensor \(W\) and \(p\) is the projection of \(\Lambda^2 M\) on \(LM\) where \(LM =(\Lambda^{2,0}M \oplus \Lambda^{0,2}M)_{\mathbb R}\). Note that the class of manifolds with \(\delta W = 0\) contains the Einstein and the locally symmetric spaces and more generally, those with parallel Ricci tensor.