Quaternion-Kahler spaces, hyperkahler cones, and the c-map
Martin Rocek, Cumrun Vafa, Stefan Vandoren
备注:
12 pages, Submitted to the "Handbook of pseudo-Riemannian geometry and supersymmetry", IRMA Lectures in Mathematical Physics; references and typos corrected; published version
Under the action of the c-map, special Kahler manifolds are mapped into a class of quaternion-Kahler spaces. We explicitly construct the corresponding Swann bundle or hyperkahler cone, and determine the hyperkahler potential in terms of the prepotential of the special Kahler geometry.
We study hyperkahler cones and their corresponding quaternion-Kahler spaces. We present a classification of 4(n-1)-dimensional quaternion-Kahler spaces with n abelian quaternionic isometries, based on dualizing superconformal tensor multiplets. These manifolds characterize the geometry of the hypermultiplet sector of perturbative moduli spaces of type-II strings compactified on a Calabi-Yau manifold. As an example of our construction, we study the universal hypermultiplet in detail, and give three inequivalent tensor multiplet descriptions. We also comment on the construction of quaternion-Kah…
We consider the generalized Kahler structures (g,J_+,J_-) that arise on a hyperkahler manifold (M,g,I,J,K) when we choose J_+ and J_- from the twistor space of M. We find a relation between semichiral and arctic superfields which can be used to determine the generalized Kahler potential for hyperkahler manifolds whose description in projective superspace is fully understood. We use this relation to determine an S^2-family of generalized Kahler potentials for Euclidean space and for the Eguchi-Hanson geometry. Cotangent bundles of Hermitian symmetric spaces constitute a class of hyperkahler man…
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.
The target space of a (4,0) supersymmetric two-dimensional sigma model with Wess-Zumino term has a connection with totally skew-symmetric torsion and holonomy contained in Sp(n)Sp(1) (resp. Sp(n)), QKT (resp. HKT)-spaces. We study the geometry of QKT, HKT manifold and their twistor spaces. We show that the Swann bundle of a QKT manifold admits a HKT structure with special symmetry if and only if the twistor space of the QKT manifold admits an almost hermitian structure with totally skew-symmetric Nijenhuis tensor, thus connecting two structures arising from quantum field theories and supersymm…
We study relations between quaternionic Riemannian manifolds admitting different types of symmetries. We show that any hyperKahler manifold admitting hyperKahler potential and triholomorphic action of S^1 can be constructed from another hyperKahler manifold (of lower dimention) with an action of S^1 which fixes one complex structure and rotates the other two and vice versa. We also study corresponding quaternionic Kahler manifolds equipped with a quaternionic Kahler action of the circle. In particular we show that any positive quaternionic Kahler manifold with S^1 symmetry admits a Kahler metr…
We discuss the conditions for additional supersymmetry and twisted supersymmetry in N = (2, 2) supersymmetric non-linear sigma models described by one left and one right semi-chiral superfield and carrying a pair of non-commuting complex structures. Focus is on linear non-manifest transformations of these fields that have an algebra that closes off-shell. We find that additional linear supersymmetry has no interesting solution, whereas additional linear twisted supersymmetry has solutions with interesting geometrical properties. We solve the conditions for invariance of the action and show tha…
A non-linear generalization of the Dirac operator in 4-dimensions, obtained by replacing the spinor representation with a hyperKahler manifold admitting certain symmetries, is considered. We show that the existence of a covariantly constant, generalized spinor defines a Kahler structure on the base 4-dimensional manifold. For a class of hyperKahler manifolds obtained via hyperKahler reduction, we also show that a harmonic spinor, under mild conditions, defines a symplectic structure. Finally, we show that if a covariantly constant, generalized spinor satisfies generalized Seiberg-Witten equati…
In the present paper we prove that, on a hyperkähler manifold, walls of the kähler cone and extremal rays of the Mori cone are determined by all divisors satisfying certain numerical conditions.
We give an explicit formula for the quaternionic Kähler metrics obtained by the HK/QK correspondence. As an application, we give a new proof of the fact that the Ferrara-Sabharwal metric as well as its one-loop deformation is quaternionic Kähler. A similar explicit formula is given for the analogous (K/K) correspondence between Kähler manifolds endowed with a Hamiltonian Killing vector field. As an example, we apply this formula in the case of an arbitrary conical Kähler manifold.
We construct a quaternionic-Kähler manifold from a conical special Kähler manifold with a certain type of mutually-local variation of BPS structures. We give global and local explicit formulas for the quaternionic-Kähler metric, and specify under which conditions it is positive-definite. Locally, the metric is a deformation of the 1-loop corrected Ferrara-Sabharval metric obtained via the supergravity c-map. The type of quaternionic-Kähler metrics we obtain are related to work in the physics literature by S. Alexandrov and S. Banerjee, where they discuss the hypermultiplet moduli space metric …
We prove that, given a certain isometric action of a two-dimensional Abelian group A on a quaternionic Kähler manifold M which preserves a submanifold N\subset M, the quotient M'=N/A has a natural Kähler structure. We verify that the assumptions on the group action and on the submanifold N\subset M are satisfied for a large class of examples obtained from the supergravity c-map. In particular, we find that all quaternionic Kähler manifolds M in the image of the c-map admit an integrable complex structure compatible with the quaternionic structure, such that N\subset M is a complex submanifold.…
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…
Let (M,I,J,K) be a hyperkahler manifold of real dimension 4n, and L a non-trivial holomorphic line bundle on (M,I). Using the quaternionic Dolbeault complex, we prove the following vanishing theorem for holomorphic cohomology of L. If the Chern class c_1(L) lies in the closure $\hat K$ of the dual Kahler cone, then $H^i(L)=0$ for i>n. If c_1(L) lies in the opposite cone $-\hat K$, then $H^i(L)=0$ for i<n. Finally, if $c_1(L)$ is neither in $\hat K$ nor in $-\hat K$, then $H^i(L)=0$ for $i\neq n$.
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…
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 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…
We analyze degenerate homogeneous structures of linear type in the pseudo-Kähler and para-Kähler cases. The local form and the holonomy of pseudo-Kähler or para-Kähler manifolds admitting such structure are obtained. In addition the associated homogeneous models are studied exhibiting their relation with the incompleteness of the metric. The same questions are tackled in the pseudo-quaternion Kähler and para-quaternion Kähler cases. These results complete the study of homogeneous structures of linear type in pseudo-Kähler, para-Kähler, pseudo-quaternion Kähler and para-quaternion Kähler cases.
Let X be a Kahler manifold that is presented as a Kahler quotient of C^n by the linear action of a compact group G. We define the hyperkahler analogue M of X as a hyperkahler quotient of the cotangent bundle T^*C^n by the induced G-action. Special instances of this construction include hypertoric varieties and quiver varieties. Our aim is to provide a unified treatment of these two previously studied examples, with specific attention to the geometry and topology of the circle action on M that descends from the scalar action on the fibers of the cotangent bundle. We provide a detailed study of …
We study general linear perturbations of a class of 4d real-dimensional hyperkahler manifolds obtainable by the (generalized) Legendre transform method. Using twistor methods, we show that deformations can be encoded in a set of holomorphic functions of 2d+1 variables, as opposed to the functions of d+1 variables controlling the unperturbed metric. Such deformations generically break all tri-holomorphic isometries of the unperturbed metric. Geometrically, these functions generate the symplectomorphisms which relate local complex Darboux coordinate systems in different patches of the twistor sp…
Using quaternionic Feix--Kaledin construction we provide a local classification of quaternion-Kähler metrics with a rotating $S^1$-symmetry with the fixed point set submanifold $S$ of maximal possible dimension. For any Kähler manifold $S$ equipped with a line bundle with a unitary connection of curvature proportional to the Kähler form we explicitly construct a holomorphic contact distribution on the twistor space obtained by the quaternionic Feix-Kaledin construction from this data. Conversely, we show that quaternion-Kähler metrics with a rotating $S^1$-symmetry induce on the fixed point se…
We define the orthogonal Bakry-Émery tensor as a generalization of the orthogonal Ricci curvature, and then study diameter theorems on Kähler and quaternionic Kähler manifolds under positivity assumption on the orthogonal Bakry-Émery tensor. Moreover, under such assumptions on the orthogonal Bakry-Émery tensor and the holomorphic or quaternionic sectional curvature on a Kähler manifold or a quaternionic Kähler manifold respectively, the Bonnet-Myers type diameter bounds are sharper than in the Riemannian case.
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$.
Let M be a closed symplectic manifold of volume V. We say that the symplectic packings of M by ellipsoids are unobstructed if any collection of disjoint symplectic ellipsoids (possibly of different sizes) of total volume less than V admits a symplectic embedding to M. We show that the symplectic packings by ellipsoids are unobstructed for all even-dimensional tori equipped with Kahler symplectic forms and all closed hyperkahler manifolds of maximal holonomy, or, more generally, for closed Campana simple manifolds (that is, Kahler manifolds that are not unions of their complex subvarieties), as…
In this paper, we give an optimal lower bound for the eigenvalues of the basic Dirac operator on a quaternion-Kahler foliation. The limiting case is characterized by the existence of quaternion-Kahler Killing spinors. We end this paper by giving some examples.
We prove that every projective special Kähler manifold with \emph{regular boundary behaviour} is complete and defines a family of complete quaternionic Kähler manifolds depending on a parameter $c\ge 0$. We also show that, irrespective of its boundary behaviour, every complete projective special Kähler manifold with \emph{cubic prepotential} gives rise to such a family. Examples include non-trivial deformations of non-compact symmetric quaternionic Kähler manifolds.
We show that a 1-parameter family Ricci flow ancient solutions arises from the natural collapsings of the twistor space of positive quaternion Kähler manifolds. We use these ancient solutions to show that a positive quaternion Kähler manifold is isometric to one of the Wolf spaces.
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.
In this short note, using the Kendall-Cranston coupling, we study on Kähler (resp. quaternion Kähler) manifolds first eigenvalue estimates in terms of dimension, diameter, and lower bounds on the holomorphic (resp. quaternionic) sectional curvature.
In the present work the local form of certain Calabi-Yau metrics possessing a local Hamiltonian Killing vector is described in terms of a single non linear equation. The main assumptions are that the complex $(3,0)$-form is of the form $e^{ik}\widetildeΨ$, where $\widetildeΨ$ is preserved by the Killing vector, and that the space of the orbits of the Killing vector is, for fixed value of the momentum map coordinate, a complex 4-manifold, in such a way that the complex structure of the 4-manifold is part of the complex structure of the complex 3-fold. The link with the solution generating techn…
We study the radial parts of the Brownian motions on Kähler and quaternion Kähler manifolds. Thanks to sharp Laplacian comparison theorems, we deduce as a consequence a sharp Cheeger-Yau type lower bound for the heat kernels of such manifolds and also sharp Cheng's type estimates for the Dirichlet eigenvalues of metric balls.
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 describe an action of $U(1)\times Sp(1)$ on $HP^7$ that allows to obtain a $Z_2$-quotient of CAYLEY (the Grassmannian of oriented 4-planes in $R^8$ closed under the three-fold cross product) by quaternionic Kähler reduction.
It is shown that on a compact spin symmetric space with a Kähler or Quaternion-Kähler structure, the first eigenvalue of the Dirac operator is linked to a ''{lowest}'' action of the holonomy, given by the fiberwise action on spinors of the canonical forms characterized by this holonomy. The result is also verified for the symmetric space $\mathrm{F}_4/\mathrm{Spin}_9$, proving that it is valid for all the ''{possible}'' holonomies in the Berger's list occurring in that context. The proof requires a characterization of the first eigenvalue of the Dirac operator which was given in Commun. Math. …
This is a survey on quaternion Hermitian Weyl (locally conformally quaternion Kähler) and hyperhermitian Weyl (locally conformally hyperkähler) manifolds. These geometries appear by requesting the compatibility of some quaternion Hermitian or hyperhermitian structure with a Weyl structure. The motivation for such a study is two-fold: it comes from the constantly growing interest in Weyl (and Einstein-Weyl) geometry and, on the other hand, from the necessity of understanding the existing classes of quaternion Hermitian manifolds.
Let M be a closed symplectic manifold of volume V. We say that M admits an unobstructed symplectic packing by balls if any collection of symplectic balls (of possibly different radii) of total volume less than V admits a symplectic embedding to M. In 1994 McDuff and Polterovich proved that symplectic packings of Kahler manifolds can be characterized in terms of the Kahler cones of their blow-ups. When M is a Kahler manifold which is not a union of its proper subvarieties (such a manifold is called Campana simple) these Kahler cones can be described explicitly using the Demailly and Paun struct…
A 2-form on a quaternionic-Kahler manifold (M, g) is called compatible (with the quaternionic structure) if it is a section of the direct sum bundle S^2(H) \oplus S^2(E). We construct a connection D on S^2(H) \oplus S^2(E)\oplus TM, which is a prolongation of the conformal-Killing operator acting on compatible 2-forms. We show that D is flat if and only if the quaternionic-Weyl tensor of (M,g) is zero. Consequences of this result are developed. We construct a skew-symmetric multiplication on the space of conformal-Killing 2-forms on (M,g) and we study its properties in connection with the subs…
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.
We prove that a compact quaternionic-Kähler manifold of dimension $4n\geq 8$ admitting a conformal-Killing 2-form which is not Killing, is isomorphic to the quaternionic projective space, with its standard quaternionic-Kähler structure.
We prove some basic properties of Donaldson's flow of surfaces in a hyperkahler 4-manifold. When the initial submanifold is symplectic with respect to one Kähler form and Lagrangian with respect to another, we show that certain kinds of singularities cannot form, and we prove a convergence result under a condition related to one considered by M.-T. Wang for the mean curvature flow.
We give an overview of some recent results in hypersymplectic and para-quaternionic Kahler geometry, and introduce the notion of split three-Sasakian manifold. In particular, we discuss the twistor spaces and Swann bundles of para-quaternionic Kahler manifolds. These are used to classify examples with a fully homogeneous action of a semi-simple Lie group, and to construct distinct para-quaternionic Kahler metrics from indefinite real analytic conformal manifolds. We also indicate how the theory of toric varieties gives rise to constructions of hypersymplectic manifolds.
We analyze polar actions on Hermitian and quaternion-Kähler symmetric spaces of compact type. For complex integrable polar actions on Hermitian symmetric spaces of compact type we prove a reduction theorem and several corollaries concerning the geometry of these actions. The results are independent of the classification of polar actions on Hermitian symmetric spaces. In the second part we prove that polar actions on Wolf spaces are quaternion-coisotropic and that isometric actions on these spaces admit an orbit of special type, analogous to the existence of a complex orbit for an isometric act…
We classify non-polar irreducible representations of connected compact Lie groups whose orbit space is isometric to that of a representation of a finite extension of $Sp(1)^k$ for some $k>0$. It follows that they are obtained from isotropy representations of certain quaternion-Kähler symmetric spaces by restricting to the "non-$Sp(1)$-factor".
We prove that compact quaternionic-Kähler manifolds of positive scalar curvature admit no almost complex structure, even in the weak sense, except for the complex Grassmannians $Gr_2(C^{n+2})$. We also prove that irreducible inner symmetric spaces $M^{4n}$ of compact type are not weakly complex, except for spheres and Hermitian symmetric spaces.
Let $M^{4n}$ be a complete quaternionic Kähler manifold with scalar curvature bounded below by $-16n(n+2)$. We get a sharp estimate for the first eigenvalue $λ_1(M)$ of the Laplacian which is $λ_1(M)\le (2n+1)^2$. If the equality holds, then either $M$ has only one end, or $M$ is diffeomorphic to $\mathbb{R}\times N$ with N given by a compact manifold. Moreover, if $M$ is of bounded curvature, $M$ is covered by the quaterionic hyperbolic space $\mathbb{QH}^n$ and $N$ is a compact quotient of the generalized Heisenberg group. When $λ_1(M)\ge \frac{8(n+2)}3$, we also prove that $M$ must have onl…
Let $M$ be a simple holomorphically symplectic manifold, that is, a simply connected holomorphically symplectic manifold of Kahler type with $h^{2,0}=1$. We prove that the group of holomorphic automorphisms of $M$ acts on the set of faces of its Kahler cone with finitely many orbits, whenever $b_2(M)\neq 5$. This is a version of the Morrison-Kawamata cone conjecture for hyperkahler manifolds. The proof is based on the following observation, proven with ergodic theory. Let $M$ be a complete Riemannian orbifold of dimension at least three, constant negative curvature and finite volume, and $\{S_…
We prove lower bound for the first closed or Neumann nonzero eigenvalue of the Laplacian on a compact quaternion-Kähler manifold in terms of dimension, diameter, and scalar curvature lower bound. It is derived as large time implication of the modulus of continuity estimates for solutions of the heat equation. We also establish lower bound for the first Dirichlet eigenvalue in terms of geometric data, via a Laplace comparison theorem for the distance to the boundary function.
For the sake of hyperk{ä}hler SYZ conjecture, finding holomorphic Lagrangian fibrations becomes an important issue. Toric hyperk{ä}hler manifolds are real dimension $4n$ non-compact hyperk{ä}hler manifolds which are quaternion analog of toric varieties. The $n$ dimensional residue circle action on it admitting a hyperk{ä}hler moment map. We use the complex part of this moment map to construct a holomorphic Lagrangian fibration with generic fiber diffeomorphic to $(\mathbb{C}^*)^n$, and study the singular fibers.
We first make a little survey of the twistor theory for hypercomplex, generalized hypercomplex, quaternionic or generalized quaternionic manifolds. This last theory was iniated by Pantilie, who shows that any generalized almost quaternionic manifold equipped with an appropriate connection admit a twistor space with an almost generalized complex structure. The aim of this article is to give an integrability criterion for this generalized almost complex structure and to give some examples especially in the case of generalized hyperkähler manifolds using the generalized Bismut connection, introdu…