The fundamental form of almost-quaternionic Hermitian manifolds (Q962042): Difference between revisions

A 4k-dimensional Riemannian manifold is said to be almost quaternion-Hermitian if its frame bundle admits a reduction of the structure group to \(\mathrm{Sp}(k)\mathrm{Sp}(1).\) This is equivalent to the existence of a globally defined 4-form \(\Omega\) defined by \textit{V. Y. Kraines} in [Trans. Am. Math. Soc. 122, 357--367 (1966; Zbl 0148.16101)] but now commonly referred simply as the fundamental 4-form [see \textit{F. Martín Cabrera}, Ann. Global Anal. Geom. 25, No.~3, 277--301 (2004; Zbl 1061.53030) for more details on almost quaternion-Hermitian geometry]. In dimension 12 or bigger (so, \(k\geq 3\)), it is known that, if \(\Omega\) is closed, then it is parallel with respect to the Levi-Civita connection and the \(\mathrm{Sp}(k)\mathrm{Sp}(1)\)-structure is integrable, so the Riemannian holonomy reduces to \(\mathrm{Sp}(k)\mathrm{Sp}(1)\) and the manifold is quaternion-Kähler. For \(k=2\), this condition is not true anymore and more restrictions are needed [\textit{A. Swann}, Math. Ann. 289, No.~3, 421--450 (1991; Zbl 0711.53051)] to cancel all components of \(\nabla\Omega\). The author's main theorem is that, for \(k\geq 2,\) if the fundamental 4-form satisfies the conformal Killing equation, then the almost quaternion-Hermitian manifold is automatically quaternion-Kähler.