Hypercomplex manifold explained

In differential geometry, a hypercomplex manifold is a manifold with the tangent bundleequipped with an action by the algebra of quaternionsin such a way that the quaternions

I,J,K

define integrable almost complex structures.

If the almost complex structures are instead not assumed to be integrable, the manifold is called quaternionic, or almost hypercomplex.[1]

Examples

Every hyperkähler manifold is also hypercomplex.The converse is not true. The Hopf surface

({H}\backslash0)/{Z}

(with

{Z}

actingas a multiplication by a quaternion

q

,

|q|>1

) ishypercomplex, but not Kähler,hence not hyperkähler either.To see that the Hopf surface is not Kähler,notice that it is diffeomorphic to a product

S1 x S3,

hence its odd cohomologygroup is odd-dimensional. By Hodge decomposition,odd cohomology of a compact Kähler manifoldare always even-dimensional. In fact Hidekiyo Wakakuwa proved[2] that on a compact hyperkähler manifold

b2p+1\equiv0mod 4

. Misha Verbitsky has shown that any compacthypercomplex manifold admitting a Kähler structure is also hyperkähler.

In 1988, left-invariant hypercomplex structures on some compact Lie groupswere constructed by the physicists Philippe Spindel, Alexander Sevrin, Walter Troost, and Antoine Van Proeyen. In 1992, Dominic Joyce rediscovered this construction, and gave a complete classification of left-invariant hypercomplex structures on compact Lie groups. Here is the complete list.

T4,SU(2l+1),T1 x SU(2l),Tl x SO(2l+1),

T2l x SO(4l),Tl x Sp(l),T2 x E6,

T7 x E7,T8 x E8,T4 x F4,T2 x G2

where

Ti

denotes an

i

-dimensional compact torus.

It is remarkable that any compact Lie group becomeshypercomplex after it is multiplied by a sufficientlybig torus.

Basic properties

Hypercomplex manifolds as such were studied by Charles Boyer in 1988. He also proved that in real dimension 4, the only compact hypercomplexmanifolds are the complex torus

T4

, the Hopf surface and the K3 surface.

Much earlier (in 1955) Morio Obata studied affine connection associated with almost hypercomplex structures (under the former terminology of Charles Ehresmann[3] of almost quaternionic structures). His construction leads to what Edmond Bonan called the Obata connection[4] which is torsion free, if and only if, "two" of the almost complex structures

I,J,K

are integrable and in this case the manifold is hypercomplex.

Twistor spaces

There is a 2-dimensional sphere of quaternions

L\in{H}

satisfying

L2=-1

.Each of these quaternions gives a complexstructure on a hypercomplex manifold M. Thisdefines an almost complex structure on the manifold

M x S2

, which is fibered over

{C}P1=S2

with fibers identified with

(M,L)

. This complex structure is integrable, as followsfrom Obata's theorem (this was first explicitly proved by Dmitry Kaledin[5]). This complex manifoldis called the twistor space of

M

.If M is

{H}

, then its twistor spaceis isomorphic to

{C}P3\backslash{C}P1

.

See also

References

Notes and References

  1. Book: 0804.2814. Manev. Mancho. Contemporary Aspects of Complex Analysis, Differential Geometry and Mathematical Physics. S. Dimiev and K. Sekigawa. World Sci. Publ.. Hackensack, NJ . 2005. 174–186. Sekigawa. Kouei. 10.1142/9789812701763_0016. Some Four-Dimensional Almost Hypercomplex Pseudo-Hermitian Manifolds. 2005 . 978-981-256-390-3.
  2. .
  3. .
  4. .
  5. Kaledin . Dmitry . Dmitry Kaledin . alg-geom/9612016 . Integrability of the twistor space for a hypercomplex manifold . 1996.