Hypercomplex varieties

From MaRDI portal



Abstract: We give a number of equivalent definitions of hypercomplex varieties and construct a twistor space for a hypercomplex variety. We prove that our definition of a hypercomplex variety (used, e. g., in alg-geom/9612013) is equivalent to a definition proposed by Deligne and Simpson, who used twistor spaces. This gives a way to define hypercomplex spaces (to allow nilpotents in the structure sheaf). We give a self-contained proof of desingularization theorem for hypercomplex varieties: a normalization of a hypercomplex variety is smooth and hypercomplex.


A real analytic variety equipped with almost complex structures \(I,J,K\) such that \(I\circ J=-J\circ I=K\) is called an almost hypercomplex variety. It is called hypercomplex variety if there exist a pair \(I_1\), \(I_2\in\mathbb{H}\), the quaternion algebra, of inducing complex structures such that \(I_1\neq\pm I_2\) and \(I_1,I_2\) are integrable. Equivalent definitions are given and discussed. The twistor space of a hypercomplex variety is constructed. It is proved that the normalisation of a hypercomplex variety is smooth and hypercomplex. Some applications (hypercomplex spaces, stable bundles over hyperkähler manifolds, quotients of hypercomplex varieties under finite group actions) are given.











This page was built for publication: Hypercomplex varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1293495)