If M is a quaternionic manifold and P is an S 1-instanton over M, then Joyce constructed a hypercomplex manifold we call(M) over M. These hypercomplex manifolds admit a U (2)-action of a special type permuting the complex structures. We show that up to double covers, all such hypercomplex manifolds arise in this way. Examples, including that of a hypercomplex structure on SU (3), show the necessity of including double covers of(M).
We generalize the Kodaira Embedding Theorem and Chow's Theorem to the context of families of complex supermanifolds. In particular, we show that every family of super Riemann surfaces is a family of projective superalgebraic varieties.
A complex symplectic structure on a Lie algebra h is an integrable complex structure J with a closed non-degenerate (2, 0)-form. It is determined by J and the real part of the (2, 0)-form. Suppose that h is a semi-direct product g V, and both g and V are Lagrangian with respect to and totally real with respect to J. This note shows that g V is its own weak mirror image in the sense that the associated differential Gerstenhaber algebras controlling the extended deformations of and J are isomorphic. The geometry of (, J) on the semi-direct product g V is also shown to be equivalent to that of a torsion-free flat symplectic connection on the Lie algebra g. By further exploring a relation between (J, ) with hypersymplectic Lie algebras, we find an inductive process to build families of complex symplectic algebras of dimension 8 n from the data of the 4 n-dimensional ones.
The geometry arising from Michelson & Strominger's study of =4<i>B</i> supersymmetric quantum mechanics with superconformal <i>D</i>(2, 1; )-symmetry is a hyperKhler manifold with torsion (HKT) together with a special homothety. It is shown that different parameters are related via changes in potentials for the HKT target spaces. For 0, 1, we describe how each such HKT manifold <i>M</i> <sup> <i>4m</i> </sup> is derived from a space <i>N</i> <sup> <i>4m4</i> </sup> which is quaternionic Khler with torsion and carries an Abelian instanton.