Actions of vanishing homogeneity rank on quaternionic-Kaehler projective spaces
Lucio Bedulli, Anna Gori
备注:
18 pages. The present version corrects and improves the previous version of the paper entitled "3-coisotropic actions on positive quaternionic-Kaehler manifolds". A key example has been added
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 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 …
In this paper, we prove that, if a full irreducible infinite dimensional anti-Kaehler isoparametric submanifold of codimension greater than one has $J$-diagonalizable shape operators, then it is homogeneous.
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 this paper, we prove that, if a full irreducible infinite dimensional anti-Kaehler isoparametric submanifold of codimension greater than one has $J$-diagonalizable shape operators, then it is an orbit of the action of a Banach Lie group generated by one-parameter transformation groups induced by holomorphic Killing vector fields defined entirely on the ambient Hilbert space.
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 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 all complete projective special real manifolds with reducible cubic potential, obtaining four series. For two of the series the manifolds are homogeneous, for the two others the respective automorphism group acts with co-homogeneity one. Complete projective special real manifolds give rise to complete quaternionic Kähler manifolds via the supergravity q-map, which is the composition of the supergravity c-map and r-map. We develop curvature formulas for manifolds in the image of the q-map. Applying the q-map to one of the above series of projective special real manifolds, we obtain …
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…
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 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 prove that a maximal totally complex submanifold $N^{2n}$ of the quaternionic projective space $\mathbb{H}\mathbb{P}^n$ ($n\geq 2$) is a parallel submanifold, provided one of the following conditions is satisfied: (1) $N$ is the orbit of a compact Lie group of isometries, (2) the restricted normal holonomy is a proper subgroup of ${\rm U}(n)$.
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.
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…
We study riemannian coverings $φ: \widetilde{M} \to Γ\backslash \widetilde{M}$ where $\widetilde{M}$ is a normal homogeneous space $G/K_1$ fibered over another normal homogeneous space $M = G/K$ and $K$ is locally isomorphic to a nontrivial product $K_1\times K_2$. The most familiar such fibrations $π: \widetilde{M} \to M$ are the natural fibrations of Stieffel manifolds $SO(n_1 + n_2)/SO(n_1)$ over Grassmann manifolds $SO(n_1 + n_2)/[SO(n_1)\times SO(n_2)]$ and the twistor space bundles over quaternionic symmetric spaces (= quaternion-Kaehler symmetric spaces = Wolf spaces). The most familiar…
We classify those manifolds mentioned in the title which have finite topological type. Namely we show any such connected M is isomorphic to a hyperkaehler quotient of a flat quaternionic vector space by an abelian group. We also show that a compact connected and simply connected 3-Sasakian manifold of dimension 4n-1 whose isometry group has rank n+1 is isometric to a 3-Sasakian quotient of a sphere by a torus. As a corollary, a compact connected quaternion-Kaehler 4n-manifold with positive scalar curvature and isometry group of rank n+1 is isometric to the quaternionic projective space or the …
We extend the twistor methods developed in our earlier work on linear deformations of hyperkahler manifolds [arXiv:0806.4620] to the case of quaternionic-Kahler manifolds. Via Swann's construction, deformations of a 4d-dimensional quaternionic-Kahler manifold $M$ are in one-to-one correspondence with deformations of its $4d+4$-dimensional hyperkahler cone $S$. The latter can be encoded in variations of the complex symplectomorphisms which relate different locally flat patches of the twistor space $Z_S$, with a suitable homogeneity condition that ensures that the hyperkahler cone property is pr…