HKT manifolds: Hodge theory, formality and balanced metrics

Let $(M,I,J,K,\mathrm{\Omega })$ be a compact HKT manifold and denote with $\mathrm{\partial }$ the conjugate Dolbeault operator with respect to $I$, ${\mathrm{\partial }}_J:=J^{-1}\bar{\mathrm{\partial }}J$, ${\mathrm{\partial }}^{\mathrm{\Lambda }}:=[\mathrm{\partial },\mathrm{\Lambda }]$ where $\mathrm{\Lambda }$ is the adjoint of $L:=\mathrm{\Omega }\wedge -$. Under suitable assumptions, we study Hodge theory for the complexes $(A^{\bullet ,0},\mathrm{\partial },{\mathrm{\partial }}_J)$ and $(A^{\bullet ,0},\mathrm{\partial },{\mathrm{\partial }}^{\mathrm{\Lambda }})$ showing a similar behavior to Kähler manifolds. In particular, several relations among the Laplacians, the spaces of harmonic forms and the associated cohomology groups, together with Hard Lefschetz properties, are proved. Moreover, we show that for a compact HKT $\mathrm{S}\mathrm{L}(n,\mathbb{H})$-manifold the differential graded algebra $(A^{\bullet ,0},\mathrm{\partial })$ is formal and this will lead to an obstruction for the existence of an HKT $\mathrm{S}\mathrm{L}(n,\mathbb{H})$-structure $(I,J,K,\mathrm{\Omega })$ on a compact complex manifold $(M,I)$. Finally, balanced HKT structures on solvmanifolds are studied.