The hypercomplex quotient and the quaternionic quotient (Q756728)

Quotient constructions are defined for hypercomplex and quaternionic manifolds that are analogous to those given for hyperkähler manifolds by \textit{N. J. Hitchin}, \textit{A. Karlhede}, \textit{U. Lindström} and \textit{M. Roček} [Commun. Math. Phys. 108, 535-589 (1987; Zbl 0612.53043)] and for quaternionic Kähler manifolds by \textit{K. Galicki} and \textit{H. B. Lawson jun.} [Math. Ann. 282, No.1, 1-21 (1988; Zbl 0628.53060)]. Poon's metrics on \({\mathbb{C}}{\mathbb{P}}^ 2\#{\mathbb{C}}{\mathbb{P}}^ 2\) are an example of the latter. We define quaternionic complex manifolds to be manifolds with a torsion-free connection of holonomy SL(n,\({\mathbb{H}})U(1)\). In four dimensions the appropriate definition is that of a scalar-flat Kähler surface. Their basic properties are explored and a quotient construction and examples are given.