Summary
In differential geometry, a hyperkähler manifold is a Riemannian manifold endowed with three integrable almost complex structures that are Kähler with respect to the Riemannian metric and satisfy the quaternionic relations . In particular, it is a hypercomplex manifold. All hyperkähler manifolds are Ricci-flat and are thus Calabi–Yau manifolds. Hyperkähler manifolds were defined by Eugenio Calabi in 1979. Equivalently, a hyperkähler manifold is a Riemannian manifold of dimension whose holonomy group is contained in the compact symplectic group Sp(n). Indeed, if is a hyperkähler manifold, then the tangent space TxM is a quaternionic vector space for each point x of M, i.e. it is isomorphic to for some integer , where is the algebra of quaternions. The compact symplectic group Sp(n) can be considered as the group of orthogonal transformations of which are linear with respect to I, J and K. From this, it follows that the holonomy group of the Riemannian manifold is contained in Sp(n). Conversely, if the holonomy group of a Riemannian manifold of dimension is contained in Sp(n), choose complex structures Ix, Jx and Kx on TxM which make TxM into a quaternionic vector space. Parallel transport of these complex structures gives the required complex structures on M making into a hyperkähler manifold. Every hyperkähler manifold has a 2-sphere of complex structures with respect to which the metric is Kähler. Indeed, for any real numbers such that the linear combination is a complex structures that is Kähler with respect to . If denotes the Kähler forms of , respectively, then the Kähler form of is A hyperkähler manifold , considered as a complex manifold , is holomorphically symplectic (equipped with a holomorphic, non-degenerate, closed 2-form). More precisely, if denotes the Kähler forms of , respectively, then is holomorphic symplectic with respect to . Conversely, Shing-Tung Yau's proof of the Calabi conjecture implies that a compact, Kähler, holomorphically symplectic manifold is always equipped with a compatible hyperkähler metric.
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Ontological neighbourhood
Related courses (11)
MATH-512: Optimization on manifolds
We develop, analyze and implement numerical algorithms to solve optimization problems of the form: min f(x) where x is a point on a smooth manifold. To this end, we first study differential and Rieman
MATH-410: Riemann surfaces
This course is an introduction to the theory of Riemann surfaces. Riemann surfaces naturally appear is mathematics in many different ways: as a result of analytic continuation, as quotients of complex
MATH-731: Topics in geometric analysis I
The subject deals with differential geometry and its relation to global analysis, partial differential equations, geometric measure theory and variational principles to name a few.
Show more