We consider a general 4n-dimensional quaternionic Kahler geometry with a free action of the torus T^(n+1). The toric action lifts onto the Swann bundle of the quaternionic Kahler space to a tri-holomorphic action that commutes with the standard H* action on the bundle. By matching Pedersen and Poon's generalized Gibbons-Hawking Ansatz description of the total space with the Swann picture we extract the local geometry of the quaternionic Kahler base. Specifically, we obtain explicit expressions for the quaternionic Kahler metric and Sp(1) connection in terms of a set of reduced Higgs fields and connection 1-forms that satisfy a reduced Bogomol'nyi-type equation. We find, moreover, that these Higgs fields can be derived from a single function V satisfying a system of linear second-order partial differential constraints. In four dimensions, corresponding to the case of self-dual Einstein manifolds with two commuting Killing vector fields, our formulas coincide with those obtained through a different approach by Calderbank and Pedersen. Finally, we show how to construct explicit solutions to the reduced Bogomol'nyi and V equations by means of Lindstrom and Rocek's generalized Legendre transform construction for a large class of quaternionic Kahler manifolds related to the c-map.
We show that the geometry of $4n$-dimensional quaternionic Kähler spaces with a locally free $\mathbb{R}^{n+1}$-action admits a Gibbons-Hawking-like description based on the Galicki-Lawson notion of quaternionic Kähler moment map. This generalizes to higher dimensions a four-dimensional construction, due to Calderbank and Pedersen, of self-dual Einstein manifolds with two linearly independent commuting Killing vector fields. As an application, we use this new Ansatz to give an explicit equivariant completion of the twistor space construction of the local c-map proposed by Roček, Vafa and Vando…
In this paper, we define a differential operator as a modified Dirac operator. Using the operator, we introduce a quaternionic $k$-vector field on a quaternionic Kähler manifold and show that any quaternionic $k$-vector field corresponds to a holomorphic $k$-vector field on the twistor space. We calculate the dimension of the space of quaternionic $k$-vector fields on $\mathbb{H}P^n$.
We generalise the hyper-Kahler/quaternionic Kahler (HK/QK) correspondence to include para-geometries, and present a new concise proof that the target manifold of the HK/QK correspondence is quaternionic Kahler. As an application, we construct one-parameter deformations of the temporal and Euclidean supergravity c-map metrics and show that they are para-quaternionic Kahler.
We present a novel approach to the study of Yang-Mills instantons on quaternionic Kähler manifolds, based on an extension of the harmonic space method of constructing instantons on hyperkähler manifolds. Our results establish a bijection between local equivalence classes of instantons on quaternionic Kähler manifolds M and equivalence classes of certain holomorphic maps on an appropriate SL_2(C)-bundle over the Swann bundle of M.
We study the behavior of connections and curvature under the HK/QK correspondence, proving simple formulae expressing the Levi-Civita connection and Riemann curvature tensor on the quaternionic Kähler side in terms of the initial hyper-Kähler data. Our curvature formula refines a well-known decomposition theorem due to Alekseevsky. As an application, we compute the norm of the curvature tensor for a series of complete quaternionic Kähler manifolds arising from flat hyper-Kähler manifolds. We use this to deduce that these manifolds are of cohomogeneity one.
In the present paper we introduce and study a new notion of toric manifold in the quaternionic setting. We develop a construction with which, starting from appropriate $m$-dimensional Delzant polytopes, we obtain manifolds of real dimension $4m$, acted on by $m$ copies of the group ${\rm Sp}(1)$ of unit quaternions. These manifolds are quaternionic regular and can be endowed with a $4$-plectic structure and a generalized moment map. Convexity properties of the image of the moment map are studied. Quaternionic toric manifolds appear to be a large enough class of examples where one can test and …
We study symmetry properties of quaternionic Kähler manifolds obtained by the HK/QK correspondence. To any Lie algebra $\mathfrak{g}$ of infinitesimal automorphisms of the initial hyper-Kähler data we associate a central extension of $\mathfrak{g}$, acting by infinitesimal automorphisms of the resulting quaternionic Kähler manifold. More specifically, we study the metrics obtained by the one-loop deformation of the $c$-map construction, proving that the Lie algebra of infinitesimal automorphisms of the initial projective special Kähler manifold gives rise to a Lie algebra of Killing fields of …
We find a necessary condition for the existence of an action of a Lie group $G$ by quaternionic automorphisms on an integrable quaternionic manifold in terms of representations of $\mathfrak{g}$. We check this condition and prove that a Riemannian symmetric space of dimension $4n$ for $n\geq 2$ has an invariant integrable almost quaternionic structure if and only if it is quaternionic vector space, quaternionic hyperbolic space or quaternionic projective space.
Conformally Kähler, Einstein-Maxwell metrics and $f$-extremal metrics are generalization of canonical metrics in Kähler geometry. We introduce uniform K-stability for toric Kähler manifolds, and show that uniform K-stability is necessary condition for the existence of $f$-extremal metrics on toric manifolds. Furthermore, we show that uniform K-stability is equivalent to properness of relative K-energy.
We consider timelike and spacelike reductions of 4D, N = 2 Minkowskian and Euclidean vector multiplets coupled to supergravity and the maps induced on the scalar geometry. In particular, we investigate (i) the (standard) spatial c-map, (ii) the temporal c-map, which corresponds to the reduction of the Minkowskian theory over time, and (iii) the Euclidean c-map, which corresponds to the reduction of the Euclidean theory over space. In the last two cases we prove that the target manifold is para-quaternionic Kahler. In cases (i) and (ii) we construct two integrable complex structures on the targ…
We show that every $3$-$(α,δ)$-Sasaki manifold of dimension $4n + 3$ admits a locally defined Riemannian submersion over a quaternionic Kähler manifold of scalar curvature $16n(n+2)αδ$. In the non-degenerate case ($δ\neq 0$) we describe all homogeneous $3$-$(α,δ)$-Sasaki manifolds fibering over symmetric Wolf spaces (case $αδ> 0$) and over their the noncompact dual symmetric spaces (case $αδ< 0$). If $αδ> 0$, this yields a complete classification of homogeneous $3$-$(α,δ)$-Sasaki manifolds; for $αδ< 0$, we provide a general construction of homogeneous $3$-$(α,δ)$-Sasaki manifolds fibering over…
We show that 6-dimensional strict nearly Kähler manifolds admitting effective $\mathbb{T}^3$ actions by automorphisms are completely characterized in the neigbourhood of each point by a function on $\mathbb{R}^3$ satisfying a certain Monge-Ampère type equation.
In [LS], it is shown shown that the first eigenvalue of the Laplacian restricted to the space of invariant functions on a toric Kähler manifold (i.e. $λ_1^\mathbb{T}$, the invariant first eigenvalue) is an unbounded function of the toric Kähler metric. In this note we show that, seen as a function on the space of toric Kähler metrics on a fixed toric manifold, $λ_1^\mathbb{T}$ admits no analytic critical points. We also show that on $S^2$, the first eigenvalue of the Laplacian restricted to the space of $S^1$-equivariant functions of any given integer weight admits no critical points.
In this note we prove that toric Kähler metrics on complex projective space which are also $U(n)$-invariant are determined by their equivariant spectrum i.e. the list of eigenvalues of the Laplacian together with weights of the torus representation on the eigenspaces.
In this paper we study the gradient steady Kähler-Ricci soliton metrics on non-compact toric manifolds. We show that the orbit space of the free locus of such a manifold carries a natural Hessian structure with a nonnegative Bakry-Émery tensor. We generalize Calabi's classical rigidity result and use this to prove that any complete $\mathbf T^n$-invariant gradient steady Kähler-Ricci soliton with a free torus action must be a flat $(\mathbb C^*)^n$.
We study CR geometry in arbitrary codimension, and introduce a process, which we call the Levi-Kahler quotient, for constructing Kahler metrics from CR structures with a transverse torus action. Most of the paper is devoted to the study of Levi-Kahler quotients of toric CR manifolds, and in particular, products of odd dimensional spheres. We obtain explicit descriptions and characterizations of such quotients, and find Levi-Kahler quotients of products of 3-spheres which are extremal in a weighted sense introduced by G. Maschler and the first author.
We show that pseudo-Riemannian almost quaternionic homogeneous spaces with index 4 and an H-irreducible isotropy group are locally isometric to a pseudo-Riemannian quaternionic Kähler symmetric space if the dimension is at least 16. In dimension 12 we give a non-symmetric example.
We show that on a Kahler manifold whether the J-flow converges or not is independent of the chosen background metric in its Kahler class. On toric manifolds we give a numerical characterization of when the J-flow converges, verifying a conjecture of Lejmi and the second author in this case. We also strengthen existing results on more general inverse $σ_{k}$ equations on Kahler manifolds.
We generalize the ancient solutions of the Ricci flow on certain principal ${\rm SO}(3)$ bundles over compact quaternionic Kähler manifolds constructed by Bakas, Kong, and Ni to certain $RP^3$ fibre bundles over a product of two compact quaternionic Kähler manifolds. The ancient solutions are of Type I, $κ$-noncollapsed, and have positive Ricci curvature. Analogous solutions on even-dimensional non-Kählerian bundle spaces are also constructed.
Assume that $X$ is a homogeneous toric bundle of the form $G^{\mathbb{C}}\times_{P,τ} F$ and is Fano, where $G$ is a compact semisimple Lie group with complexification $G^\mathbb{C}$, $P$ a parabolic subgroup of $G^\mathbb{C}$, $τ:P\rightarrow (T^m)^\mathbb{C}$ is a surjective homomorphism from $P$ to the algebraic torus $(T^m)^\mathbb{C}$, and $F$ is a compact toric manifold of complex dimension $m$. In this note we show that the normalized Kähler-Ricci flow on $X$ with a $G\times T^m$-invariant initial Kähler form in $c_1(X)$ converges, modulo the algebraic torus action, to a Kähler-Ricci so…
We present a correspondence between real analytic Kähler toric manifolds and dually flat spaces, similar to Delzant correspondence in symplectic geometry. This correspondence gives rise to a lifting procedure: if $f:M\to M'$ is an affine isometric map between dually flat spaces and if $N$ and $N'$ are Kähler toric manifolds associated to $M$ and $M'$, respectively, then there is an equivariant Kähler immersion $N\to N'$. For example, we show that the Veronese and Segre embeddings are lifts of inclusion maps between appropriate statistical manifolds. We also discuss applications to Quantum Mech…
