On certain Kähler quotients of quaternionic Kähler manifolds (Q1936414): Difference between revisions

Quaternionic Kähler manifolds of negative scalar curvature occur as scalar manifolds of \(\mathcal N=2\) supergravity, whereas \(\mathcal N=1\) supergravity requires the scalar manifolds to be Kähler [the authors, Commun. Math. Phys. 317, No. 3, 787--816 (2013; Zbl 1268.53057)]. In this paper, first the following general theorem related to this problem is proved. Theorem 1. Let \(M\) be a quaternionic Kähler manifold of nonzero scalar curvature, \(N\subset M\) a submanifold and \(\xi_1,\xi_2\) Killing vector fields of \(M\) such that \(\xi_1|N\) and \(\xi_2|N\) generate a free and proper action of a two-dimensional abelian Lie group \(A\) on \(N\). Then \(M'= N/A\) carries an induced Kähler structure. This theorem is proved in \S2 (Theorem 5 and Corollary 1). Then it is applied to quarternionic Kähler manifolds in the image of the \(c\)-map [\textit{S. Cecotti} et al., Int. J. Mod. Phys. A 4, No. 10, 2475--2529 (1989; Zbl 0681.58044)]. In this case, \(M= M_{sk}\times G\), where \(M_{sk}\) is a special Kähler manifold of dimension \(2n- 2\) \((\dim M= 4n)\) assumed to admit a global system of coordinates, \(G\) is the solvable Iwasawa subgroup of \(\mathrm{SU}(1, n+1)\) which is a semidirect product of a \((2n+1)\)-dimensional Heisenberg group with \(\mathbb{R}\). The quaternionic Kähler metric on \(M\) cannot be a product metric. The \(c\)-map is the construction of these manifolds out of a special Kähler base. Then it is shown that the quaternionic structure of \(M\) admits a global orthonormal frame \((J_1, J_2, J_3)\) such that the almost complex structure \(J_3\) is integrable. \((M, J_3)\) is the total space of a holomorphic submersion \(M\to M_{sk}\) with all fibers biholomorphic to the domain \(\mathbb{R}^{n+1}+ iV\subset\mathbb{C}^{n+1}\), with \[ V= \Biggl\{(x_0, x_1,\dots, x_n)\in \mathbb{R}^{n+1},\, x_0> \sum^{n-1}_{i=1} x^2_i- x^2_n\Biggr\} \] (Propositions 1 and 2). Then \(N\) is constructed ((3.18) and Proposition 4) and the authors show that \(\mathcal N\) is the total space of a holomorphic submersion \(N\to M^\wedge_{sk}\), where \(M^\wedge_{sk}\subset M_{sk}\) is a complex submanifold and the fibers are biholomorphic to \(B^{n_1}_{\mathbb{C}}\times \mathbb{C}\). Then it is shown that \(M'= N/A\) is the total space of a holomorphic submersion \(M'\to M^\wedge_{ak}\), where the fibres are isomorophic to the complex ball \(B^{n-1}_{\mathbb{C}}\cong\mathbb{C} H^{n-1}\) with its standard complex hyperbolic metric of constant holomorphic sectional curvature \(-4\). Moreover, the projection \(N\to M'\) maps the fibers of \(N\to M^\wedge_{ak}\) to the fibers of \(M'\to M^\wedge_{sk}\) (Theorem 6 in \S3). Further studies on the geometry of quaternionic Kähler manifolds in the image of a \(c\)-map are also given using geometric properties (prepotential) of the special Kähler manifolds (\S3, Theorem 7). These results are the main content of the paper. In \S4, physical meanings of these results are explained.