Hypercomplex almost abelian solvmanifolds

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.