Quaternion-Kähler manifold

In differential geometry, a quaternion-Kähler manifold (or quaternionic Kähler manifold) is a Riemannian 4n-manifold whose Riemannian holonomy group is a subgroup of Sp(n)·Sp(1) for some ${\displaystyle n\geq 2}$. Here Sp(n) is the sub-group of ${\displaystyle SO(4n)}$ consisting of those orthogonal transformations that arise by left-multiplication by some quaternionic ${\displaystyle n\times n}$ matrix, while the group ${\displaystyle Sp(1)\approx S^{3}}$ of unit-length quaternions instead acts on quaternionic ${\displaystyle n}$-space ${\displaystyle {\mathbb {H}}^{n}\cong {\mathbb {R}}^{4n}}$ by right scalar multiplication. The Lie group ${\displaystyle Sp(n)\cdot Sp(1)\subset SO(4n)}$ generated by combining these actions is then abstractly isomorphic to ${\displaystyle [Sp(n)\times Sp(1)]/{\mathbb {Z}}_{2}}$.

Although the above loose version of the definition includes hyperkähler manifolds, we will follow the standard convention of excluding these by also requiring that the scalar curvature be nonzero— as is automatically true if the holonomy group equals the entire group Sp(n)·Sp(1).

Early History

Marcel Berger's 1955 paper[1] on the classification of Riemannian holonomy groups first raised the issue of the existence of non-symmetric manifolds with holonomy Sp(n)·Sp(1), although no examples of such manifolds were constructed until the 1980s. However, despite the total absence of examples, certain interesting results were proved in the mid-1960s in the pioneering work of Edmond Bonan, Alfred Gray, and Vivian Kraines. Simultaneously and independently, Edmond Bonan[2] and Vivian Yoh Kraines[3] proved that such a manifold admits a parallel 4-form.

Quaternion-Kähler manifolds appear in Berger's list of Riemannian holonomies as the only class of irreducible, non-symmetric manifolds of special holonomy that are automatically Einstein, but not automatically Ricci-flat. If the Einstein constant of a simply connected manifold with holonomy in ${\displaystyle Sp(n)Sp(1)}$ is zero, where ${\displaystyle n\geq 2}$, then the holonomy is actually contained in ${\displaystyle Sp(n)}$, and the manifold is hyperkähler. We will exclude this case from the definition by declaring quaternion-Kähler to mean not only that the holonomy group is contained in ${\displaystyle Sp(n)Sp(1)}$, but also that the manifold has non-zero (constant) scalar curvature.

With this convention, quaternion-Kähler manifolds can thus be naturally divided into those for which the Ricci curvature is positive, and those for which it is instead negative.

Examples

There are no known examples of compact quaternion-Kähler manifolds that are not locally symmetric. (Note once again, however, that we have by fiat excluded hyperkähler manifolds from our discussion.) On the other hand, there are many symmetric quaternion-Kähler manifolds; these were first classified by Joseph A. Wolf,[4] and so are known as Wolf spaces. For any simple Lie group G, there is a unique Wolf space G/K obtained as a quotient of G by a subgroup ${\displaystyle K=K_{0}\cdot \operatorname {SU} (2)}$, where ${\displaystyle SU(2)}$ is the subgroup associated with the highest root of G, and K₀ is its centralizer in G. The Wolf spaces with positive Ricci curvature are compact and simply connected. For example, if ${\displaystyle G=Sp(n+1)}$, the corresponding Wolf space is the quaternionic projective space ${\displaystyle \mathbb {HP} _{n}}$ of (right) quaternionic lines through the origin in ${\displaystyle \mathbb {H} ^{n+1}}$.

A conjecture often attributed to LeBrun and Salamon (see below) asserts that all complete quaternion-Kähler manifolds of positive scalar curvature are symmetric. By contrast, however, constructions of Galicki-Lawson [5] and of LeBrun[6] show that complete, non-locally-symmetric quaternion-Kähler manifolds of negative scalar curvature exist in great profusion. The Galicki-Lawson construction just cited also gives rise to vast numbers of compact non-locally-symmetric orbifold examples with positive Einstein constant, and many of these in turn give rise[7] to compact, non-singular 3-Sasakian Einstein manifolds of dimension ${\displaystyle 4n+3}$.

Twistor spaces

Questions about quaternion-Kähler manifolds can be translated into the language of complex geometry using the methods of twistor theory; this fact is encapsulated in a theorem discovered independently by Salamon and Bérard-Bergery, and inspired by earlier work of Penrose. Let ${\displaystyle M}$ be a quaternion-Kähler manifold, and ${\displaystyle H}$ be the sub-bundle of ${\displaystyle End(TM)}$ arising from the holonomy action of ${\displaystyle {\mathfrak {sp}}(1)\subset {\mathfrak {sp}}(n)\oplus {\mathfrak {sp}}(1)}$. Then ${\displaystyle H}$ contains an ${\displaystyle S^{2}}$-bundle ${\displaystyle Z\to M}$ consisting of all ${\displaystyle j\in H}$ that satisfy ${\displaystyle j^{2}=-1}$. The points of ${\displaystyle Z}$ thus represent complex structures on tangent spaces of ${\displaystyle M}$. Using this, the total space ${\displaystyle Z}$ can then be equipped with a tautological almost complex structure. Salamon[8] (and, independently, Bérard-Bergery[9]) proved that this almost complex structure is integrable, thereby making ${\displaystyle Z}$ into a complex manifold.

When the Ricci curvature of M is positive, Z is a Fano manifold, and so, in particular, is a smooth projective algebraic complex variety. Moreover, it admits a Kähler-Einstein metric, and, more importantly, comes equipped with a holomorphic contact structure, corresponding to the horizontal spaces of the Riemannian connection on H. These facts were used by LeBrun and Salamon[10] to prove that, up to isometry and rescaling, there are only finitely many positive-scalar-curvature compact quaternion-Kähler manifolds in any given dimension. This same paper also shows that any such manifold is actually a symmetric space unless its second homology is a finite group with non-trivial 2-torsion. Related techniques had also been used previously by Poon and Salamon[11] to show that there are no non-symmetric examples at all in dimension 8.

In the converse direction, a result of LeBrun[12] shows that any Fano manifold that admits both a Kähler-Einstein metric and a holomorphic contact structure is actually the twistor space of a quaternion-Kähler manifold of positive scalar curvature, which is moreover unique up to isometries and rescalings.

References

1. Berger, Marcel . (1955) Sur les groups d'holonomie des variétés à connexion affine et des variétés riemanniennes Bull. Soc. Math. France 83v 279-330.
2. Bonan Edmond. (1965) Structure presque quaternale sur une variété differentiable, Comptes Rendus de l'Académie des Sciences, 261, 1965, 5445–5448.
3. Kraines,Vivian Yoh . (1965) Topology of quaternionic manifolds Bull. Amer. Math. Soc, 71,3, 1, 526-527.
4. Wolf, Joseph A. (1965)Complex homogeneous contact manifolds and quaternionic symmetric spaces. J. Math. Mech. 14, 1033–1047.
5. Galicki, K; Lawson, H. B., Jr. (1988) Quaternionic reduction and quaternionic orbifolds. Math. Ann. 282, 1–21.
6. LeBrun, Claude (1991),On complete quaternionic-Kähler manifolds, Duke Math. J. 63, 723–743.
7. Boyer, Charles P.; Galicki, Krzysztof (2008) Sasakian geometry. Oxford Mathematical Monographs. Oxford University Press.
8. Salamon, Simon (1982) Quaternionic Kähler manifolds. Invent. Math. 67, 143–171.
9. Besse, Arthur L. (1987) Einstein manifolds. Ergebnisse der Mathematik ind ihrer Grenzgebiete (3), 10. Springer-Verlag, Berlin.
10. LeBrun, Claude; and Salamon, Simon (1994) Strong rigidity of positive quaternion-Kähler manifolds, Invent. Math. 118, 109–132.
11. Poon, Y. S.; Salamon, S. M.(1991) Quaternionic Kähler 8-manifolds with positive scalar curvature. J. Differential Geom. 33, 363–378.
12. LeBrun, Claude (1995) Fano manifolds, contact structures, and quaternionic geometry, Internat. J. Math. 6, 419–437.

• Besse, Arthur Lancelot, Einstein Manifolds, Springer-Verlag, New York (1987)
• Salamon, Simon (1982). "Quaternionic Kähler manifolds". Invent. Math. 67: 143–171. doi:10.1007/bf01393378.
• Dominic Joyce, Compact manifolds with special holonomy, Oxford Mathematical Monographs. Oxford University Press, Oxford, 2000.