We call a quaternionic Kaehler manifold with non-zero scalar curvature, whose quaternionic structure is trivialized by a hypercomplex structure, a hyper-Hermitian quaternionic Kaehler manifold. We prove that every locally symmetric hyper-Hermitian quaternionic Kaehler manifold is locally isometric to the quaternionic projective space or to the quaternionic hyperbolic space. We describe locally the hyper-Hermitian quaternionic Kaehler manifolds with closed Lee form and show that the only complete simply connected such manifold is the quaternionic hyperbolic space.
In this paper we study 3-submersions from a QR-hypersurface of a quaternionic Kaehler manifold onto an almost quaternionic hermitian manifold. We also prove the non-existence of quaternionic submersions between quaternionic Kaehler manifolds which are not locally hyper-Kaehler.
Almost hypercomplex manifolds with Hermitian and Norden metrics and more specially the corresponding quaternionic Kaehler manifolds are considered. Some necessary and sufficient conditions the investigated manifolds be isotropic hyper-Kaehlerian and flat are found. It is proved that the quaternionic Kaehler manifolds with the considered metric structure are Einstein for dimension at least 8. The class of the non-hyper-Kaehler quaternionic Kaehler manifold of the considered type is determined.
An explicit classification of homogeneous quaternionic Kaehler structures by real tensors is derived and we relate this to the representation-theoretic description found by Fino. We then show how the quaternionic hyperbolic space HH(n) is characterised by admitting homogeneous structures of a particularly simple type. In the process we study the properties of different homogeneous models for HH(n).
We study the moduli space of quaternionic Kaehler structures on a compact manifold of dimension 4n (n>2) from a point of view of Riemannian geometry, not twistor theory. Then we obtain a rigidity theorem for quaternionic Kaehler structures of nonzero scalar curvature by observing the moduli space.
We construct left invariant quaternionic contact (qc) structures on Lie groups with zero and non-zero torsion and with non-vanishing quaternionic contact conformal curvature tensor, thus showing the existence of non-flat quaternionic contact manifolds. We prove that the product of the real line with a seven dimensional manifold, equipped with a certain qc structure, has a quaternionic Kaehler metric as well as a metric with holonomy contained in Spin(7). As a consequence we determine explicit quaternionic Kaehler metrics and Spin(7)-holonomy metrics which seem to be new. Moreover, we give expl…
In this paper, authors have established Chen's inequalities for the submanifolds of quaternionic Kaehler manifolds characterized by Ricci quarter-symmetric metric connection. Other than these inequalities, we have also derived generalized normalized Casorati curvature inequalities for the same submanifolds.
We discuss a peculiar interplay between the representation theory of the holonomy group of a Riemannian manifold, the Weitzenboeck formula for the Hodge-Laplace operator on forms and the Lichnerowicz formula for twisted Dirac operators. For quaternionic Kaehler manifolds this leads to simple proofs of eigenvalue estimates for Dirac and Laplace operators. Moreover it enables us to determine which representations can contribute to harmonic forms. As a corollary we prove the vanishing of certain odd Betti numbers on compact quaternionic Kaehler manifolds of negative scalar curvature. We simplify …
We classify isometric actions of compact Lie groups on quaternionic-Kähler projective spaces with vanishing homogeneity rank. We also show that they are not in general quaternion-coisotropic.
We consider the Dirac operator on compact quaternionic Kaehler manifolds and prove a lower bound for the spectrum. This estimate is sharp since it is the first eigenvalue of the Dirac operator on the quaternionic projective space.
We review the general properties of target spaces of hypermultiplets, which are quaternionic-like manifolds, and discuss the relations between these manifolds and their symmetry generators. We explicitly construct a one-to-one map between conformal hypercomplex manifolds (i.e. those that have a closed homothetic Killing vector) and quaternionic manifolds of one quaternionic dimension less. An important role is played by 'ξ-transformations', relating complex structures on conformal hypercomplex manifolds and connections on quaternionic manifolds. In this map, the subclass of conformal hyper-Kae…
Let M be a positive quaternionic Kaehler manifold of dimension 4m. If the isometry group Isom(M) has rank at least m/2 +3, then M is isometric to HP^m or Gr_2(C^{m+2}). The lower bound for the rank is optimal if m is even.
In a previous paper we proved a lower bound for the spectrum of the Dirac operator on quaternionic Kaehler manifolds. In the present article we show that the only manifolds in the limit case, i.e. the only manifolds where the lower bound is attained as an eigenvalue, are the quaternionic projective spaces. We use the equivalent formulation in terms of the quaternionic Killing equation and show that a nontrivial solution defines a parallel spinor on the associated hyperkaehler manifold.
A quaternionic Kähler manifold M is called {\it positive} if it has positive scalar curvature. The main purpose of this paper is to prove several connectedness theorems for quaternionic immersions in a quaternionic Kähler manifold, e.g. the Barth-Lefschetz type connectedness theorem for quaternionic submanifolds in a positive quaternionic Kähler manifold. As applications we prove that, among others, a 4m-dimensional positive quaternionic Kähler manifold with symmetry rank at least (m-2) must be either isometric to \Bbb HP^m or Gr_2(\Bbb C^{m+2}), if m\ge 10.
BPS solutions of 5-dimensional supergravity correspond to certain gradient flows on the product M x N of a quaternionic-Kaehler manifold M of negative scalar curvature and a very special real manifold N of dimension n >=0. Such gradient flows are generated by the `energy function' f = P^2, where P is a (bundle-valued) moment map associated to n+1 Killing vector fields on M. We calculate the Hessian of f at critical points and derive some properties of its spectrum for general quaternionic-Kaehler manifolds. For the homogeneous quaternionic-Kaehler manifolds we prove more specific results depen…
A universal lower bound for the first positive eigenvalue of the Dirac operator on a compact quaternionic Kaehler manifold M of positive scalar curvature is calculated. It is shown that it is equal to the first positive eigenvalue on the quaternionic projective space. For this, the horizontal tangent bundle on the canonical SO(3)-bundle over M is equipped with a hyperkaehlerian structure and the corresponding splitting of the horizontal spinor bundle is considered. The desired estimate is obtained by looking at hyperkaehlerian twistor operators on horizontal spinors.
Positive Quaternion Kaehler Manifolds are Riemannian manifolds with holonomy contained in Sp(n)Sp(1) and with positive scalar curvature. Conjecturally, they are symmetric spaces. We prove this conjecture in dimension 20 under additional assumptions and we provide recognition theorems for quaternionic projective spaces (in low dimensions) as well as the real Grassmanian (which is Positive Quaternion Kaehler).
In a previous article we proved a lower bound for the spectrum of the Dirac operator on quaternionic Kaehler manifolds. In the present article we study the limiting case, i. e. manifolds where the lower bound is attained as an eigenvalue. We give an equivalent formulation in terms of a quaternionic Killing equation and show that the only symmetric quaternionic Kaehler manifolds with smallest possible eigenvalue are the quaternionic projective spaces.
We study a class of supersymmetric spinning particle models derived from the radial quantization of stationary, spherically symmetric black holes of four dimensional N= 2 supergravities. By virtue of the c-map, these spinning particles move in quaternionic Kaehler manifolds. Their spinning degrees of freedom describe mini-superspace-reduced supergravity fermions. We quantize these models using BRST detour complex technology. The construction of a nilpotent BRST charge is achieved by using local (worldline) supersymmetry ghosts to generating special holonomy transformations. (An interesting byp…
In a general and non metrical framework, we introduce the class of co-CR quaternionic manifolds, which contains the class of quaternionic manifolds, whilst in dimension three it particularizes to give the Einstein-Weyl spaces. We show that these manifolds have a rich natural Twistor Theory and, along the way, we obtain a heaven space construction for quaternionic-Kaehler manifolds.
We consider strict and complete nearly Kaehler manifolds with the canonical Hermitian connection. The holonomy representation of the canonical Hermitian connection is studied. We show that a strict and complete nearly Kaehler is locally a Riemannian product of homogenous nearly Kaehler spaces, twistor spaces over quaternionic Kaehler manifolds and 6-dimensional nearly Kaehler manifolds. As an application we obtain structure results for totally geodesic Riemannian foliations admitting a compatible Kaehler structure. Finally, we obtain a classification result for the homogenous case, reducing a …
We describe the 8-dimensional Wolf spaces as cohomogeneity one SU(3)-manifolds, and discover perturbations of the quaternion-kaehler metric on the simply-connected 8-manifold G_2/SO(4) that carry a closed fundamental 4-form but are not Einstein.
In this article we prove an upper bound for a Hilbert polynomial on quaternionic Kaehler manifolds of positive scalar curvature. As corollaries we obtain bounds on the quaternionic volume and the degree of the associated twistor space. Moreover the article contains some details on differential equations of finite type. Part of it is used in the proof of the main theorem.
We consider complete nearly Kähler manifolds with the canonical Hermitian connection. We prove some metric properties of strict nearly Kähler manifolds and give a sufficient condition for the reducibility of the canonical Hermitian connection. A holonomic condition for a nearly Kähler manifold to be a twistor space over a quaternionic Kähler manifold is given. This enables us to give classification results in 10-dimensions.
We consider locally conformal Kaehler geometry as an equivariant (homothetic) Kaehler geometry: a locally conformal Kaehler manifold is, up to equivalence, a pair (K,Γ) where K is a Kaehler manifold and Γa discrete Lie group of biholomorphic homotheties acting freely and properly discontinuously. We define a new invariant of a locally conformal Kaehler manifold (K,Γ) as the rank of a natural quotient of Γ, and prove its invariance under reduction. This equivariant point of view leads to a proof that locally conformal Kaehler reduction of compact Vaisman manifolds produces Vaisman manifolds and…
We classify indefinite simply connected hyper-Kaehler symmetric spaces. Any such space without flat factor has commutative holonomy group and signature (4m,4m). We establish a natural 1-1 correspondence between simply connected hyper-Kaehler symmetric spaces of dimension 8m and orbits of the general linear group GL(m,H) over the quaternions on the space (S^4C^n)^τ of homogeneous quartic polynomials S in n = 2m complex variables satisfying the reality condition S = τS, where τis the real structure induced by the quaternionic structure of C^{2m} = H^m. We define and classify also complex hyper-K…
Notions of self-dual and anti self-dual almost quaternionic structures are introduced. The complete classification of self-dual and anti self-dual generalized Kaehler manifolds is obtained.
A hyperkaehler manifold with a circle action fixing just one complex structure admits a natural a hyperholomorphic line bundle. This forms the basis for the construction of a corresponding quaternionic Kaehler manifold in the work of A.Haydys. We construct in this paper the corresponding holomorphic line bundle on twistor space and compute many examples, including monopole and Higgs bundle moduli spaces. We also show that the bundle on twistor space has a natural meromorphic connection which realizes it as the quantum line bundle for the hyperkaehler family of holomorphic symplectic structures…
We review the map between hypercomplex manifolds that admit a closed homothetic Killing vector (i.e. `conformal hypercomplex' manifolds) and quaternionic manifolds of 1 dimension less. This map is related to a method for constructing supergravity theories using superconformal techniques. An explicit relation between the structure of these manifolds is presented, including curvatures and symmetries. An important role is played by `ξtransformations', relating connections on quaternionic manifolds, and a new type `\hatξtransformations' relating complex structures on conformal hypercomplex manifol…
We study the projective special Kaehler condition on groups, providing an intrinsic definition of homogeneous projective special Kaehler that includes the previously known examples. We give intrinsic defining equations that may be used without resorting to computations in the special cone, and emphasise certain associated integrability equations. The definition is shown to have the property that the image of such structures under the c-map is necessarily a left-invariant quaternionic Kaehler structure on a Lie group.
We discuss two kinds of almost contact metric structures on a one-parameter family of totally umbilical hyperspheres in the nearly Kaehler unit 6-sphere.
A contact hypersurface in a Kaehler manifold is a real hypersurface for which the induced almost contact metric structure determines a contact structure. We carry out a systematic study of contact hypersurfaces in Kaehler manifolds. We then apply these general results to obtain classifications of contact hypersurfaces with constant mean curvature in the complex quadric SO(n+2)/SO(n)SO(2) and its noncompact dual space SO(n,2)/SO(n)SO(2) for n > 2.
We prove that every Kaehler metric, whose potential is a function of the time-like distance in the flat Kaehler-Lorentz space, is of quasi-constant holomorphic sectional curvatures, satisfying certain conditions. This gives a local classification of the Kaehler manifolds with the above mentioned metrics. New examples of Sasakian space forms are obtained as real hypersurfaces of a Kaehler space form with special invariant distribution. We introduce three types of even dimensional rotational hypersurfaces in flat spaces and endow them with locally conformal Kaehler structures. We prove that thes…
We investigate the structure of real hypersurfaces with isometric Reeb flow in Kaehler manifolds. As an application we classify real hypersurfaces with isometric Reeb flow in irreducible Hermitian symmetric spaces of compact type.
We study Kaehlerian manifolds with Norden metric $g$ and develop the theory of their holomorphic hypersurfaces with constant totally real sectional curvatures. We prove a classification theorem for the holomorphic hypersurfaces of $(\mathbb{R}^{2n+2}, g, J)$ with constant totally real sectional curvatures.
We present several local and global results on isometric immersions of Kaehler manifolds $M^{2n}$ into hyperbolic space $\Hy^{2n+p}$. For instance, a classification is given in the case of dimension $n\geq 4$ and codimension $p=2$. Moreover, as corollaries of general results, we conclude that there are no isometric immersion in codimension $p\leq n-2$ if the Kaehler manifold is of dimension $n\geq 4$ and either has a point of positive holomorphic sectional curvature or is compact.
We show that the natural S^1-bundle over a projective special Kaehler manifold carries the geometry of a proper affine hypersphere endowed with a Sasakian structure. The construction generalizes the geometry of the Hopf-fibration $\Sr^{2n+1} \longrightarrow \CP^n$ in the context of projective special Kaehler manifolds. As an application we have that a natural circle bundle over the Kuranishi moduli space of a Calabi-Yau threefold is a Lorentzian proper affine hypersphere.
Let $M$ be a quaternionic manifold, $\dim M=4k$, whose twistor space is a Fano manifold. We prove the following: (a) $M$ admits a reduction to $Sp(1) \times GL(k,H)$ if and only if $M=HP^k$, (b) either $b_2(M)=0$ or $M=Gr_2(k+2,C)$. This generalizes results of S. Salamon and C.R. LeBrun, respectively, who obtained the same conclusions under the assumption that $M$ is a complete quaternionic-Kaehler manifold with positive scalar curvature.
We prove that every quaternionic-contact structure can be embedded in a quaternionic manifold and define a second fundamental form for a such embedding.
Given a quaternionic manifold $M$ with a certain $\mathrm{U}(1)$-symmetry, we construct a hypercomplex manifold $M'$ of the same dimension. This construction generalizes the quaternionic Kähler/hyper-Kähler-correspondence. As an example of this construction, we obtain a compact homogeneous hypercomplex manifold which does not admit any hyper-Kähler structure. Therefore our construction is a proper generalization of the quaternionic Kähler/hyper-Kähler-correspondence.
Starting from a complex manifold S with a real-analytic c-projective structure whose curvature has type (1,1), and a complex line bundle L with a connection whose curvature has type (1,1), we construct the twistor space Z of a quaternionic manifold M with a quaternionic circle action which contains S as a totally complex submanifold fixed by the action. This extends a construction of hypercomplex manifolds, including hyperkaehler metrics on cotangent bundles, obtained independently by B. Feix and D. Kaledin. When S is a Riemann surface, M is a self-dual conformal 4-manifold, and the quotient o…
In this note, we study deformations of quaternionic hyperbolic lattices in larger quaternionic hyperbolic spaces and prove local rigidity results. On the other hand, surface groups are shown to be more flexible in quaternionic hyperbolic plane than in complex hyperbolic plane.
A type of almost contact hypersurfaces with Norden metric of a Kaehler manifold with Norden metric is considered. The curvature tensor and the special sectional curvatures are characterized. The canonical connection on such manifolds is studied and the form of the corresponding Kaehler curvature tensor is obtained. Some curvature properties of the manifolds belonging to the widest integrable main class of the considered type of hypersurfaces are given.
We introduce curvature-adapted foliations of complex hyperbolic space and study some of their properties. Generalized pseudo-Einstein hypersurfaces of complex hyperbolic space are classified. Analogous results for curvature-adapted hypersurfaces of quaternionic hyperbolic space are also obtained.
We describe explicitly all quaternionic contact hypersurfaces (qc-hypersurfaces) in the flat quaternion space $\Hnn$ and the quaternion projective space. We show that up to a quaternionic affine transformation a qc-hypersurface in $\Hnn$ is contained in one of the three qc-hyperquadrics in $\Hnn$. Moreover, we show that an embedded qc-hypersurface in a hyper-Kähler manifold is qc-conformal to a qc-Einstein space and the Riemannian curvature tensor of the ambient hyper-Kähler metric is degenerate along the hypersurface.
We construct new examples of embedded, complete minimal hypersurfaces in quaternionc hyperbolic space and also some minimal foliations. We introduce fans an construct analytic deformations of bisectors.
We show that any compact quaternionic contact (qc) hypersurfaces in a hyper-Kähler manifold which is not totally umbilical has an induced qc structure, locally qc homothetic to the standard 3-Sasakian sphere. We also show that any nowhere umbilical qc hypersurface in a hyper-Kähler manifold is endowed with an involutive 7-dimensional distribution whose integral leafs are locally qc-conformal to the standard 3-Sasakian sphere.
We prove that any simply connected special Kaehler manifold admits a canonical immersion as a parabolic affine hypersphere. As an application, we associate a parabolic affine hypersphere to any nondegenerate holomorphic function. Also we show that a classical result of Calabi and Pogorelov on parabolic spheres implies Lu's theorem on complete special Kaehler manifolds with a positive definite metric.
We prove a Milnor-Wood inequality for representations of the fundamental group of a compact complex hyperbolic manifold in the group of isometries of quaternionic hyperbolic space. Of special interest is the case of equality, and its application to rigidity. We show that equality can only be achieved for totally geodesic representations, thereby establishing a global rigidity theorem for totally geodesic representations.
Following the approach to pseudo-Riemannian symmetric spaces developed in math.DG/0408249 we exhibit examples of indefinite hyper-Kaehler symmetric spaces with non-abelian holonomy. Moreover, we classify indecomposable hyper-Kaehler symmetric spaces whose metric has signature (4,4n). Such spaces exist if and only if n=0,1,3.
In this paper we complete the study started in [Pi2] of evolution by inverse mean curvature flow of star-shaped hypersurface in non-compact rank one symmetric spaces. We consider the evolution by inverse mean curvature flow of a closed, mean convex and star-shaped hypersurface in the quaternionic hyperbolic space. We prove that the flow is defined for any positive time, the evolving hypersurface stays star-shaped and mean convex. Moreover the induced metric converges, after rescaling, to a conformal multiple of the standard sub-Riemannian metric on the sphere defined on a codimension 3 distrib…
The pseudo-Riemannian manifold $M=(M^{4n},g), n \geq 2$ is para-quaternionic K\" ahler if $hol(M) \subset sp(n, \RR) \oplus sp(1, \RR).$ If $hol(M) \subset sp(n, \RR),$ than the manifold $M$ is called para-hyperK\" ahler. The other possible definitions of these manifolds use certain parallel para-quaternionic structures in $\End (TM),$ similarly to the quaternionic case. In order to relate these different definitions we study para-quaternionic algebras in details. We describe the reduction method for the para-quaternionic K\" ahler and para-hyperK\" ahler manifolds and give some examples. The …
We study quaternionic Bott-Chern cohomology on compact hypercomplex manifolds and adapt some results from complex geometry to the quaternionic setting. For instance, we prove a criterion for the existence of HKT metrics on compact hypercomplex manifolds of real dimension 8 analogous to the one given by Teleman [35] and Angella-Dloussky-Tomassini [3] for compact complex surfaces.
