Hypercomplex almost abelian solvmanifolds

From MaRDI portal



Abstract: We give a characterization of almost abelian Lie groups carrying left invariant hypercomplex structures and we show that the corresponding Obata connection is always flat. We determine when such Lie groups admit HKT metrics and study the corresponding Bismut connection. We obtain the classification of hypercomplex almost abelian Lie groups in dimension 8 and determine which ones admit lattices. We show that the corresponding 8-dimensional solvmanifolds are nilmanifolds or admit a flat hyper-K"ahler metric. Furthermore, we prove that any 8-dimensional compact flat hyper-K"ahler manifold is a solvmanifold equipped with an invariant hyper-K"ahler structure. We also construct almost abelian hypercomplex nilmanifolds and solvmanifolds in higher dimensions.


A hypercomplex structure on a smooth manifold \(M\) is a triple \(J_1,J_2,J_3\in\Gamma(\mathrm{End}(TM))\) of complex structures satisfying the quaternionic relations. As with many geometric structures it is instructive to study homogeneous examples and more specifically left-invariant structures on Lie groups. In particular, hypercomplex nil- and solvmanifolds (i.e., quotients of nilpotent, or solvable Lie groups by a cocompact lattice) provide an interesting source of examples on the one hand and a testing ground for various conjectures on the other hand. The paper contributes to the understanding of invariant hypercomplex structures on solvmanifolds by providing a characterization of left-invariant hypercomplex structures on almost abelian Lie groups and associated solvmanifolds and giving a criterion for the existence of a compatible HKT metric. The authors go on to classify the hypercomplex almost abelian Lie groups in dimension \(8\), determine which of them admit lattices and show that in fact any flat compact hyper-Kähler manifold of dimension \(8\) is isometric to such a solvmanifold with an invariant hyper-Kähler structure. A Lie group \(G\) is called almost abelian if its Lie algebra \(g\) contains an abelian ideal of codimension one. One of the key technical ingredients of the paper is the observation that if \(n=\dim g\), then \(g\) is of the form \(\mathbb{R}e_0\ltimes \mathbb{R}^{n-1}\) and the Lie algebra structure is essentially determined by the matrix \(A\in gl(n-1,\mathbb R)\) corresponding to the linear map \(\mathrm{ad}_{e_0}\). The characterization and classification results are then given in terms of the matrix \(A\).



Cites work









This page was built for publication: Hypercomplex almost abelian solvmanifolds

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