Plurisubharmonic functions on hypercomplex manifolds and HKT-geometry

Canonical bundles of complex nilmanifolds, with applications to hypercomplex geometry

A nilmanifold is a quotient of a nilpotent group $G$ by a co-compact discrete subgroup. A complex nilmanifold is one which is equipped with a $G$-invariant complex structure. We prove that a complex nilmanifold has trivial canonical bundle. This is used to study hypercomplex nilmanifolds (nilmanifolds with a triple of $G$-invariant complex structures which satisfy quaternionic relations). We prove that a hypercomplex nilmanifold admits an HKT (hyperkahler with torsion) metric if and only if the underlying hypercomplex structure is abelian. Moreover, any $G$-invariant HKT-metric on a nilmanifol…

Hypercomplex structures on Kaehler manifolds

Let (M,I) be a compact Kaehler manifold admitting a hypercomplex structure. We show that (M, I) admits a natural HKT-metric. This is used to construct a holomorphic symplectic form on (M,I).

Quaternionic Monge-Ampere equation and Calabi problem for HKT-manifolds

A quaternionic version of the Calabi problem on Monge-Ampere equation is introduced. It is a quaternionic Monge-Ampere equation on a compact hypercomplex manifold with an HKT-metric. The equation is non-linear elliptic of second order. For a hypercomplex manifold with holonomy in SL(n;H), uniqueness (up to a constant) of a solution is proven, as well as the zero order a priori estimate. The existence of solution is conjectured, similar to Calabi-Yau theorem. We reformulate this quaternionic equation as a special case of a complex Hessian equation, making sense on any complex manifold.

超复几何中的特殊度量

Special metrics in hypercomplex geometry

本文研究特殊超复度量的存在性和几何性质，探讨了四元数Gauduchon度量与超复上同调不变量消失的条件，证明了强HKT与平衡超复度量的不相容性，并引入了一种爱因斯坦型条件。

Subvarieties of hypercomplex manifolds with holonomy in SL(n,H)

A hypercomplex manifold M is a manifold with a triple I,J,K of complex structure operators satisfying quaternionic relations. For each quaternion L=aI +bJ+cK, L^2=-1, L is also a complex structure operator on M, called an induced complex structure. We are studying compact complex subvarieties of (M,L), when L is a generic induced complex structure. Under additional assumptions (Obata holonomy contained in SL(n,H), existence of an HKT metric), we prove that (M,L) contains no divisors, and all complex subvarieties of codimension 2 are trianalytic (that is, also hypercomplex).

Quaternionic plurisubharmonic functions and their applications to convexity

The goal of this article is to present a survey of the recent theory of plurisubharmonic functions of quaternionic variables, and its applications to theory of valuations on convex sets and HKT-geometry (HyperKähler with Torsion). The exposition follows the articles math.CV/0104209, math.CV/0208005, math.MG/0401219 by the author and math.CV/0510140 by M. Verbitsky and the author.