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 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.
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 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 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.
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.
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 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 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 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 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 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.
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 give a classification of the matrices in the unitary group U(1,1;H),where H is the division ring of the real quaternions. To this end, we consider the complex representation phi(P) for P in U(1,1;H). Next, we compute the characteristic polynomial f of the 4x4 complex matrix phi(P) and then study the sign of the resultant of f and its derivative f'.
Minimal Submanifolds of The Complex and Quaternionic Projective and Hyperbolic Spaces $\cn P^{2n-1}$, $\hn P^{2n-1}$, $\cn H^{2n-1}$, $\hn H^{2n-1}$ via Harmonic Morphisms
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…
We classify, up to orbit equivalence, all cohomogeneity one actions on the hyperbolic planes over the complex, quaternionic and Cayley numbers, and on the complex hyperbolic spaces of dimension greater than two. For the quaternionic hyperbolic spaces of dimension greater than two we reduce the classification problem to a problem in quaternionic linear algebra and obtain partial results. For real hyperbolic spaces, this classification problem was essentially solved by Elie Cartan.
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.
An important problem in quaternionic hyperbolic geometry is to classify ordered $m$-tuples of pairwise distinct points in the closure of quaternionic hyperbolic n-space, $\overline{{\bf H}_\bh^n}$, up to congruence in the holomorphic isometry group ${\rm PSp}(n,1)$ of ${\bf H}_\bh^n$. In this paper we concentrate on two cases: $m=3$ in $\overline{{\bf H}_\bh^n}$ and $m=4$ on $\partial{\bf H}_\bh^n$ for $n\geq 2$. New geometric invariants and several distance formulas in quaternionic hyperbolic geometry are introduced and studied for this problem. The congruence classes are completely described…
Let $Γ\stackrel{i}{\hookrightarrow} L$ be a lattice in the real simple Lie group $L$. If $L$ is of rank at least 2 (respectively locally isomorphic to $Sp(n,1)$) any unbounded morphism $ρ: Γ\longrightarrow G$ into a simple real Lie group $G$ essentially extends to a Lie morphism $ρ_L: L \longrightarrow G$ (Margulis's superrigidity theorem, respectively Corlette's theorem). In particular any such morphism is infinitesimally, thus locally, rigid. On the other hand, for $L=SU(n,1)$, even morphisms of the form $ρ: Γ\stackrel{i}{\hookrightarrow} L \longrightarrow G$ are not infinitesimally rigid in…
Using the rings of Lipschitz and Hurwitz integers $\mathbb{H}(\mathbb{Z})$ and $\mathbb{H}ur(\mathbb{Z})$ in the quaternion division algebra $\mathbb{H}$, we define several Kleinian discrete subgroups of $PSL(2,\mathbb{H})$
We show that the real-valued function $S_α$ on the moduli space $\mathcal{M}_{0,n}$ of pointed rational curves, defined as the critical value of the Liouville action functional on a hyperbolic 2-sphere with $n\geq 3$ conical singularities of arbitrary orders $α=\{α_1,...,α_n\}$, generates accessory parameters of the associated Fuchsian differential equation as their common antiderivative. We introduce a family of Kaehler metrics on $\mathcal{M}_{0,n}$ parameterized by the set of orders $α$, explictly relate accessory parameters to these metrics, and prove that the functions $S_α$ are their Kae…
In this paper we analyze and classify the totally geodesic subspaces of finite volume quaternionic hyperbolic orbifolds and their generalizations, locally symmetric orbifolds arising from irreducible lattices in Lie groups of the form $(\mathbf{Sp}_{2n}(\mathbb{R}))^q \times \prod_{i=1}^r \mathbf{Sp}(p_i,n-p_i) \times (\mathbf{Sp}_{2n}(\mathbb{C}))^s$. We give criteria for when the totally geodesic subspaces of such an orbifold determine its commensurability class. We give a parametrization of the commensurability classes of finite volume quaternionic hyperbolic orbifolds in terms of arithmeti…
The conformal infinity of a quaternionic-Kahler metric on a 4n-manifold with boundary is a codimension 3-distribution on the boundary called quaternionic contact. In dimensions 4n-1 greater than 7, a quaternionic contact structure is always the conformal infinity of a quaternionic-Kahler metric. On the contrary, in dimension 7, we prove a criterion for quaternionic contact structures to be the conformal infinity of a quaternionic- Kahler metric. This allows us to find the quaternionic-contact structures on the 7-sphere close to the conformal infinity of the quaternionic hyperbolic metric and w…
We develop the relationship between quaternionic hyperbolic geometry and arithmetic counting or equidistribution applications, that arises from the action of arithmetic groups on quaternionic hyperbolic spaces, especially in dimension $2$. We prove a Mertens counting formula for the rational points over a definite quaternion algebra $A$ over $\mathbb Q$ in the light cone of quaternionic Hermitian forms, as well as a Neville equidistribution theorem of the set of rational points over $A$ in quaternionic Heisenberg groups.
We classify the effective and transitive actions of a Lie group $G$ on an n-dimensional non-degenerate hyperboloid (also called real pseudo-hyperbolic space), under the assumption that $G$ is a closed, connected Lie subgroup of $SO_0(n-r,r+1)$, the connected component of the indefinite special orthogonal group. Assuming additionally that $G$ acts completely reducible on $\mathbb R^{n+1}$, we also obtain that any $G$-homogeneous Einstein pseudo-Riemannian metric on a real, complex or quaternionic pseudo-hyperbolic space, or on a para-complex or para-quaternionic projective space is homothetic t…
In this paper we study the homogeneous Kaehler manifolds (h.K.m.) which can be Kaehler immersed into finite or infinite dimensional complex space forms. On one hand we completely classify the h.K.m. which can be Kaehler immersed into a finite or infinite dimensional complex Euclidean or hyperbolic space. Moreover, we extend known results about Kaehler immersions into the finite dimensional complex projective space to the infinite dimensional setting.
We conclude the classification of cohomogeneity one actions on symmetric spaces of rank one by classifying cohomogeneity one actions on quaternionic hyperbolic spaces up to orbit equivalence. As a by-product of our proof, we produce uncountably many examples of inhomogeneous isoparametric families of hypersurfaces with constant principal curvatures in quaternionic hyperbolic spaces.
Any Kaehler metric on the ball which is strongly asymptotic to complex hyperbolic space and whose scalar curvature is no less than the one of the complex hyperbolic space must be isometrically biholomorphic to it. This result has been known for some time in odd complex dimension and we provide here a proof in even dimension.
Though Adams and Hardy-Adams inequalities can be extended to general symmetric spaces of noncompact type fairly straightforwardly by following closely the systematic approach developed in our early works on real and complex hyperbolic spaces, higher order Poincaré-Sobolev and Hardy-Sobolev-Maz'ya inequalities are more difficult to establish. The main purpose of this goal is to establish the Poincaré-Sobolev and Hardy-Sobolev-Maz'ya inequalities on quaternionic hyperbolic spaces and the Cayley hyperbolic plane. A crucial part of our work is to establish appropriate factorization theorems on the…
We give a new construction of Einstein and Kaehler-Einstein manifolds which are asymptotically complex hyperbolic, inspired by the work of Mazzeo-Pacard in the real hyperbolic case. The idea is to develop a gluing theorem for 1-handle surgery at infinity, which generalizes the Klein construction for the complex hyperbolic metric.
In this article, we construct a new para-Kähler structure $({\mathcal G},{\mathcal J},Ω)$ in the space of oriented geodesics ${\mathbb L}(M)$ in a non-flat, real space form $M$. We first show that the para-Kähler metric ${\mathcal G}$ is scalar flat and when $M$ is a 3-dimensional real space form, ${\mathcal G}$ is locally conformally flat. Furthermore, we prove that the space of oriented geodesics in hyperbolic $n$-space, equipped with the constructed metric ${\mathcal G}$, is minimally isometric embedded in the tangent bundle of the hyperbolic $n$-space. We then study the submanifold theory,…
We study the neutral Kähler metric on the space of time-like lines in Lorentzian ${\Bbb{E}}^3_1$, which we identify with the total space of the tangent bundle to the hyperbolic plane. We find all of the infinitesimal isometries of this metric, as well as the geodesics, and interpret them in terms of the Lorentzian metric on ${\Bbb{E}}^3_1$. In addition, we give a new characterisation of Weingarten surfaces in Euclidean ${\Bbb{E}}^3$ and Lorentzian ${\Bbb{E}}^3_1$ as the vanishing of the scalar curvature of the associated normal congruence in the space of oriented lines. Finally, we relate our …
In contrast to the classical twistor spaces whose fibres are 2-spheres, we introduce twistor spaces over manifolds with almost quaternionic structures of the second kind in the sense of P. Libermann whose fibres are hyperbolic planes. We discuss two natural almost complex structures on such a twistor space and their holomorphic functions.
The space forms, the complex hyperbolic spaces and the quaternionic hyperbolic spaces are characterized as the harmonic manifolds with specific radial eigenfunctions of the Laplacian.
