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
If the almost complex structures are instead not assumed to be integrable, the manifold is called quaternionic, or almost hypercomplex.[1]
Every hyperkähler manifold is also hypercomplex.The converse is not true. The Hopf surface
({H}\backslash0)/{Z}
{Z}
q
|q|>1
S1 x S3,
b2p+1\equiv0 mod 4
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
i
It is remarkable that any compact Lie group becomeshypercomplex after it is multiplied by a sufficientlybig torus.
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
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
There is a 2-dimensional sphere of quaternions
L\in{H}
L2=-1
M x S2
{C}P1=S2
(M,L)
M
{H}
{C}P3\backslash{C}P1