Hyper-Kähler and quaternionic Kähler manifolds with \(S^{1}\)-symmetries (Q2479317)

The influence of \(S^1\)-symmetry on relations between different types of quaternionic Riemannian geometries is studied. Hyper-Kähler manifolds \(M\) endowed with a hyper-Kähler potential and an additional triholomorphic and isometric action of \(S^1\) are considered. It is shown that such manifolds can be reconstructed from their hyper-Kähler reductions \(\overline M\) with respect to a nonzero value of the momentum map. The main result of the article is the following Theorem: Assume that the group \(S^1_r\) acts isometrically on a hyper-Kähler manifold \(\overline M\) such that \((L_z)^*\overline\omega= z\overline\omega\overline z\). Let \(P\to \overline M\) be an \(S^1_0\)-principal bundle with a connection \(\xi\in \Omega^1(P)\). Suppose that the function \(v\) defined by \[ v= {\omega+ 2\overline p\over 4} \] is everywhere positive (here \(\omega\) denotes the squared norm of the Killing vector field \(K_r\) of the group \(S^1_r\) and \(\overline p\) is its momentum map). Extend the action of \(S^1_r\) to \(P\) such that it commutes with the action of \(S_0'\). Then the formulae \[ f^* g= (4v+\omega)\text{Re\,}dx\otimes d\overline x- \text{Re}(\overline x dxi\odot (2\xi+ \eta))+ |x|^2\cdot(\overline g+ v^{-1}\xi^2), \] \[ \varphi= {4v+\omega\over 2} dx\wedge d\overline x+ x\overline\omega\overline x- 2\text{\,Im}(dxi\overline x)\wedge\xi- \text{Im}(dxi\wedge \eta\overline x) \] define a hyper-Kähler structure on \(M_0= H(\overline M)= H^*\times_{S^1_r}P\) if and only if \[ F_\xi= i\partial_1\overline\partial_1\overline p- \overline\omega_1. \] Furthermore, the left action of \(H^*\) induces a transitive action on the 2-sphere of complex structures and therefore \(H(\overline M)\) has a hyper-Kähler potential \[ p=- {4v+\omega\over 2}|x|^2. \] Finally, for any hyper-Kähler manifold \(M\) with permuting action of \(H^*\) and triholomorphic one of \(S^1\), the open everywhere dense submanifold \(M_0\setminus \mu^{-1}(0)\) can be obtained as \(H(\overline M)\).