Einstein-Hermitian connections on hyper-Kähler quotients (Q1187566)

A hyper-Kähler structure on a Riemannian manifold \((Y,h)\) is a set of three almost complex structures \((I,J,K)\) which are parallel with respect to the Levi-Civita connection and satisfy the quaternion relations \(IJ=- JI=K\). Let \(G\) be a compact Lie group acting on \(Y\), which preserves \(h\) and \((I,J,K)\), with \(g\) its Lie algebra and \(g^*\) the dual space of \(g\). Taking \(U\in \mathbb{R}^ 3\otimes Z\), where \(Z=\{U\in g^* | Ad^*_ x(U)=U\) for all \(x\in G\}\), it is assumed that \(\mu^{-1}(U)\) is a submanifold and the action of \(G\) on \(\mu^{-1}(U)\) is free with Hausdorff quotient, hence \(M=\mu^{-1}(U)/G\) is a smooth manifold. Let \(i:\mu^{-1}(U)\to Y\) be the inclusion map and \(\pi: \mu^{-1}(U)\to M\) the projection. It is proved that \(M\) has a natural metric and a hyper- Kähler structure \((I_ M,J_ M,K_ M)\) such that \(\pi^*\omega^ M_ A=i^*\omega^ Y_ A\), where \(\omega^ Y_ A\) (resp. \(\omega^ M_ A\)) is the Kähler form associated to the complex structure \(A=I,J,K\) on \(Y\) (resp. on \(M\)). Let \(D\) be a natural connection where the horizontal space is the orthogonal complement of the tangent space of the orbit in \(T_ y\mu^{-1}(U)\) \((y\in\mu^{-1}(U))\). Some examples are provided.