Complete hyperkähler \(4n\)-manifolds with a local tri-Hamiltonian \(\mathbb{R}^n\)-action (Q1298167)

Hyper-Kähler metrics in dimension \(4n\) with \(n\) commuting tri-holomorphic Killing vector fields form a large class of explicitly Ricci-flat metrics. A powerful method of constructing such metrics was given by \textit{U. Lindström} and \textit{M. Roček} [Nucl. Phys. 2223, 285-308 (1983)]. The main result of this paper is Theorem 1: Let \(M^{4n}\) be a connected complete hyper-Kähler manifold of finite topological type with an effective tri-Hamiltonian action of \(G= \mathbb{R}^p\times T^{n- p}\). Then: (i) If \(M\) is simply connected and \(p= 0\), then \(M\) is isomorphic, as a tri-Hamiltonian hyper-Kähler \(T^n\)-manifold, to a hyper-Kähler quotient of some flat \(\mathbb{H}^d\times \mathbb{H}^m\), \(m\leq n\), by \(T^{d-n}\times \mathbb{R}^m\). (ii) If \(M\) is simply connected and \(p>0\), then \(M\) is isomorphic, as a tri-Hamiltonian hyper-Kähler \(G\)-manifold, to the product of a flat \(\mathbb{H}^p\) and \(4(n- p)\)-dimensional manifold described in part (i). (iii) If \(M\) is not simply connected, then \(M\) is the product of a flat \((S^1\times \mathbb{R}^3)^\ell\), \(1\leq \ell\leq n\), and a \(4(n-\ell)\)-dimensional manifold described in part (ii). In the following, the author gives a hyper-Kähler analogue of Delzant's theorem and proves two results on compact Einstein manifolds admitting some sort of quaternionic structure.