We investigate the integrability of almost complex structures on the twistor space of an almost quaternionic manifold constructed with the help of a quaternionic connection. We show that if there is an integrable structure it is independent on the quaternionic connection. In dimension four, we express the anti-self-duality condition in terms of the Riemannian Ricci forms with respect to the associated quaternionic structure.
We investigate the integrability of natural almost complex structures on the twistor space of an almost para-quaternionic manifold as well as the integrability of natural almost paracomplex structures on the reflector space of an almost para-quaternionic manifold constructed with the help of a para-quaternionic connection. We show that if there is an integrable structure it is independent on the para-quaternionic connection. In dimension four, we express the anti-self-duality condition in terms of the Riemannian Ricci forms with respect to the associated para-quaternionic structure.
The geometry of the quaternionic anti-de Sitter fibration is studied in details. As a consequence, we obtain formulas for the horizontal Laplacian and subelliptic heat kernel of the fibration. The heat kernel formula is explicit enough to derive small time asymptotics. Related twistor spaces and corresponding heat kernels are also discussed and the connection to the quaternionic magnetic Laplacian is done.
We show that the CR structure on the twistor space of a quaternionic contact structure described by Biquard is normal if and only if the Ricci curvature of the Biquard connection commutes with the endomorphisms in the quaternionic structure of the contact distribution.
We introduce a natural notion of quaternionic map between almost quaternionic manifolds and we prove the following, for maps of rank at least one: 1) A map between quaternionic manifolds endowed with the integrable almost twistorial structures is twistorial if and only if it is quaternionic. 2) A map between quaternionic manifolds endowed with the nonintegrable almost twistorial structures is twistorial if and only if it is quaternionic and totally-geodesic. As an application, we describe the quaternionic maps between open sets of quaternionic projective spaces.
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.
In this note, we prove that the CR manifold which is induced from the canonical parabolic geometry of a quaternionic contact (qc) manifold via a Fefferman-type construction is equivalent to the CR twistor space of the qc manifold defined by O. Biquard.
We characterise, in the setting of the Kodaira-Spencer deformation theory, the twistor spaces of (co-)CR quaternionic manifolds. As an application, we prove that, locally, the leaf space of any nowhere zero quaternionic vector field on a quaternionic manifold is endowed with a natural co-CR quaternionic structure. Also, for any positive integers $k$ and $l$, with $kl$ even, we obtain the geometric objects whose twistorial counterparts are complex manifolds endowed with a conjugation without fixed points and which preserves an embedded Riemann sphere whose normal bundle is $l$ times the line bu…
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…
Motivated by the quaternionic geometry corresponding to the homogeneous complex manifolds endowed with (holomorphically) embedded spheres, we introduce and initiate the study of the `quaternionic-like manifolds'. These contain, as particular subclasses, the CR quaternionic and the $ρ$-quaternionic manifolds. Moreover, the notion of `heaven space' finds its adequate level of generality in this setting: (essentially) any real analytic quaternionic-like manifold admits a (germ) unique heaven space, which is a $ρ$-quaternionic manifold. We, also, give a natural construction of homogeneous complex …
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.
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…
In a general and non metrical framework, we introduce the class of CR quaternionic manifolds containing the class of quaternionic manifolds, whilst in dimension three it particularizes to, essentially, give the conformal manifolds. We show that these manifolds have a rich natural Twistor Theory and, along the way, we obtain a heaven space construction for quaternionic manifolds.
New universal invariant operators are introduced in a class of geometries which include the quaternionic structures and their generalisations as well as 4-dimensional conformal (spin) geometries. It is shown that, in a broad sense, all invariants and invariant operators arise from these universal operators and that they may be used to reduce all invariants problems to corresponding algebraic problems involving homomorphisms between modules of certain parabolic subgroups of Lie groups. Explicit application of the operators is illustrated by the construction of all non-standard operators between…
The theory of slice regular functions of a quaternion variable is applied to the study of orthogonal complex structures on domains Ω of R^4. When Ω is a symmetric slice domain, the twistor transform of such a function is a holomorphic curve in the Klein quadric. The case in which Ω is the complement of a parabola is studied in detail and described by a rational quartic surface in the twistor space CP^3.
We characterise the integrability of any co-CR quaternionic structure in terms of the curvature and a generalized torsion of the connection. Also, we apply this result to obtain, for example, the following. (1) New co-CR quaternionic structures built on vector bundles over a quaternionic manifold M, whose twistor spaces are holomorphic vector bundles over the twistor space Z of M. Moreover, all the holomorphic vector bundles over Z, which are positive and isotypic when restricted to the twistor lines, are obtained this way. (2) Under generic dimensional conditions, any manifold endowed with an…
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…
We introduce the notion of tame $ρ$-quaternionic manifold that permits the construction of a finite family of $ρ$-connections, significant for the geometry involved. This provides, for example, the following: (1) a new simple global characterisation of flat (complex-)quaternionic manifolds, and (2) a new simple construction of the metric and the corresponding Levi-Civita connection of a quaternionic-Kähler manifold by starting from its twistor space; moreover, our method provides a natural generalization of this correspondence. Also, a new construction of quaternionic manifolds is obtained, an…
We study the Penrose transform for the `quaternionic objects' whose twistor spaces are complex manifolds endowed with locally complete families of embedded Riemann spheres with positive normal bundles.
We compute the hessian of the natural Hermitian form successively on the Calabi family of a hyperkähler manifold, on the twistor space of a 4-dimensional anti-self-dual Riemannian manifold and on the twistor space of a quaternionic Kähler manifold. We show a strong convexity property of the cycle space of twistor lines on the Calabi family of a hyperkähler manifold. We also prove convexity properties of the 1-cycle space of the twistor space of a 4-dimensional anti-self-dual Einstein manifold of non-positive scalar curvature and of the 1-cycle space of the twistor space of a quaternionic Kähle…
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$.
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.
Motivated by black hole physics in N=2, D=4 supergravity, we study the geometry of quaternionic-Kahler manifolds M obtained by the c-map construction from projective special Kahler manifolds M_s. Improving on earlier treatments, we compute the Kahler potentials on the twistor space Z and Swann space S in the complex coordinates adapted to the Heisenberg symmetries. The results bear a simple relation to the Hesse potential Σof the special Kahler manifold M_s, and hence to the Bekenstein-Hawking entropy for BPS black holes. We explicitly construct the ``covariant c-map'' and the ``twistor map'',…
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.
A set of canonical parahermitian connections on an almost paraHermitian manifold is defined. ParaHermitian version of the Apostolov-Gauduchon generalization of the Goldberg-Sachs theorem in General Relativity is given. It is proved that the Nijenhuis tensor of a Nearly paraKähler manifolds is parallel with respect to the canonical connection. Salamon's twistor construction on quaternionic manifold is adapted to the paraquaternionic case. A hyper-paracomplex structure is constructed on Kodaira-Thurston (properly elliptic) surfaces as well as on the Inoe surfaces modeled on $Sol^4_1$. A locally …
We characterize HKT structure in terms of nondegenrate complex Poisson bivector on hypercomplex manifold. We extend the characterization to the twistor space. After considering the flat case in detail, we show that the twistor space of hyperkaehler manifold admits a holomorphic Poisson structure. We briefly mention the relation to quaternionic and hypercomplex deformations on tori and K3 surfaces
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.
Penrose's two-spinor notation for $4$-dimensional Lorentzian manifolds can be extended to two-component notation for quaternionic manifolds, which is a very useful tool for calculation. We construct a family of quaternionic complexes over unimodular quaternionic manifolds by elementary calculation. On complex quaternionic manifolds, which are essentially the complexification of real analytic quaternionic Kähler manifolds, the existence of these complexes was established by Baston by using twistor transformations and spectral sequences. Unimodular quaternionic manifolds constitute a nice and la…
Almost para-quaternionic structures on smooth manifolds of dimension $2n$ are equivalent to almost Grassmannian structures of type $(2,n)$. We remind the equivalence and exhibit some interrelations between subjects that were previously studied independently from the para-quaternionic and the Grassmannian point of view. In particular, we relate the respective normalization conditions, distinguished curves and twistor constructions.
We review the twistorial structures by providing a setting under which the corresponding (differential) geometry can be described, by involving the $ρ$-connections. This applies, for example, to give new proofs of the existence of the relevant connections for the projective and the quaternionic geometries. Along the way, we show that, in this setting, the Ward transformation is a consequence of the good behaviour of the $ρ$-connections, under pull back.
We show that, in quaternionic geometry, the Ward transform is a manifestation of the functoriality of the basic correspondence between the $ρ$-quaternionic manifolds and their twistor spaces. We apply this fact, together with the Penrose transform, to obtain existence results for hypercomplex manifolds and for harmonic morphisms from hyper-Kaehler manifolds.
We initiate the study of the generalized quaternionic manifolds by classifying the generalized quaternionic vector spaces, and by giving two classes of nonclassical examples of such manifolds. Thus, we show that any complex symplectic manifold is endowed with a natural (nonclassical) generalized quaternionic structure, and the same applies to the heaven space of any three-dimensional Einstein-Weyl space. In particular, on the product $Z$ of any complex symplectic manifold $M$ and the sphere there exists a natural generalized complex structure, with respect to which $Z$ is the twistor space of …
We classify the holomorphic structures of the tangent vertical bundle T of the twistor fibration of a quaternionic manifold (M,Q) of dimension bigger than four. In particular, we show that any self-dual quaternionic connection on (M, Q) induces an holomorphic structure on T. We prove that the positive tensor powers of T have no global holomorphic sections, when (M,Q) is compact and admits a compatible quaternionic-Kahler metric of negative (respectively, zero) scalar curvature and the holomorphic structure of T is induced by a closed (respectively, closed but not exact) quaternionic connection…
We provide a general criteria for the integrability of the almost para-quaternionic structure of an almost para-quaternionic manifold (M,P) of dimension bigger or equal to eight, in terms of the integrability of two or three sections of the defining rank three vector bundle P. We relate it with the integrability of the canonical almost complex structure of the twistor space and to the integrability of the canonical almost para-complex structure of the reflector space of (M,P). We show that (M, P) has plenty of locally defined, compatible, complex and para-complex structures, provided that P is…
We review the theory of quaternionic Kahler and hyperkahler structures. Then we consider the tangent bundle of a Riemannian manifold M with a metric connection D (with torsion) and with its well estabilished canonical complex structure. With an extra almost Hermitian structure on M it is possible to find a quaternionic Hermitian structure on TM, which is quaternionic Kahler if, and only if, D is flat and torsion free. We also review the symplectic nature of TM. Finally a proper S^3-bundle of complex structures is introduced, expanding to TM the well known twistor bundle of M.
We find that the target space of two-dimensional (4,0) supersymmetric sigma models with torsion coupled to (4,0) supergravity is a QKT manifold, that is, a quaternionic Kähler manifold with torsion. We give four examples of geodesically complete QKT manifolds one of which is a generalisation of the LeBrun geometry. We then construct the twistor space associated with a QKT manifold and show that under certain conditions it is a Kähler manifold with a complex contact structure. We also show that, for every 4k-dimensional QKT manifold, there is an associated 4(k+1)-dimensional hyper-Kähler one.
We give the necessary and sufficient conditions for the Penrose-Ward transformation to work on almost $G_2$-manifolds, endowed with natural almost twistorial structures.
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.
In this paper we determine the Gray-Hervella classes of the compatible almost complex structures on the twistor spaces of oriented Riemannian four-manifolds considered by G. Deschamps
To give an almost quaternionic structure on a 4n-manifold $M$ is equivalent to give its bundle of twistors $Z(Q)\longrightarrow M$. When $Q$ is invariant under a torsion free connection, $Z(Q) $ can be provided with an almost complex structure $ \mathbb J $. In the case $ n = 1 $ Atiyah, Hitchin and Singer have related the integrability of $ \mathbb J $ to the geometry of $ (M, Q) $. For $ n> 1 $ Salamon showed that the almost complex structure $ \mathbb J $ on $ Z (Q) $ is always integrable. The purpose of this article is to extend these results to the generalized complex geometry. We begin b…
As in the case of irreducible holomorphic symplectic manifolds, the period domain $Compl$ of compact complex tori of even dimension $2n$ contains twistor lines. These are special $2$-spheres parametrizing complex tori whose complex structures arise from a given quaternionic structure. In analogy with the case of irreducible holomorphic symplectic manifolds, we show that the periods of any two complex tori can be joined by a {\em generic} chain of twistor lines. We also prove a criterion of twistor path connectivity of loci in $Compl$ where a fixed second cohomology class stays of Hodge type (1…
We extend T. Y. Thomas's approach to the projective structures, over the complex analytic category, by involving the $ρ$-connections. This way, a better control of the projective flatness is obtained and, consequently, we have, for example, the following application: if the twistor space of a quaternionic manifold $P$ is endowed with a complex projective structure then $P$ can be locally identified, through quaternionic diffeomorphisms, with the quaternionic projective space.
We consider manifolds equipped with a foliation $\cal F$ of codimension $4q$, and an almost quaternionic structure $Q$ on the transversal bundle of ${\cal F}$. After discussing conditions of projectability and integrability of $Q$, we study the transversal twistor space $Z{\cal F}$ which, by definition, consists of the $Q$-compatible almost complex structures. We show that $Z{\cal F}$ can be endowed with a lifted foliation ${\hat {\cal F}}$ and two natural almost complex structures $J_1$, $J_2$ on the transversal bundle of $\hat{\cal F}$. We establish the conditions which ensure the projectabi…
Non-trivial examples of Riemannian almost product structures are constructed on the product bundle of the positive and negative twistor spaces of an oriented Riemannian four-manifold. The Gil-Medrano and Naveira types of these structures are determined and a geometric interpretation of the corresponding classes is given.
Let Z be a compact complex (2n+1)-manifold which carries a {\em complex contact structure}, meaning a codimension-1 holomorphic sub-bundle D of TZ which is maximally non-integrable. If Z admits a Kähler-Einstein metric of positive scalar curvature, we show that it is the Salamon twistor space of a quaternion-Kähler manifold (M^{4n}, g). If Z also admits a second complex contact structure, then Z= CP_{2n+1}. As an application, we give several new characterizations of the Riemannian manifold HP_n=Sp(n+1)/( Sp(n)\times Sp(1)).
In this paper, we provide a correspondence between certain 5-dimensional complex spacetimes and 4-dimensional twistor spaces. The spacetimes are almost contact manifolds whose curvature tensor satisfies certain conditions. By using the correspondence, we show that a 5-dimensional K-contact manifold can be obtained from the Ren-Wang twistor space, which is obtained from two copies of \C^4 identifying open subsets by a holomorphic map. From this result, the Ren-Wang twistor space can be interpreted in the framework of Itoh.
The fibre bundles adjoint to generalized almost quaternionic structures are studied. The most important classes of generalized almost quaternionic manifolds are considered.
A hypercomplex structure on a differentiable manifold consists of three integrable almost complex structures that satisfy quaternionic relations. If, in addition, there exists a metric on the manifold which is Hermitian with respect to the three structures, and such that the corresponding Hermitian forms are closed, the manifold is said to be hyperkaehler. In the paper "Non-Hermitian Yang-Mills connections", Kaledin and Verbitsky proved that the twistor space of a hyperkaehler manifold admits a balanced metric; these were first studied in the article "On the existence of special metrics in com…
The symmetry dimension of a geometric structure is the dimension of its symmetry algebra. We investigate symmetries of almost quaternionic structures of quaternionic dimension $n$. The maximal possible symmetry is realized by the quaternionic projective space $\mathbb{H}P^n$, which is flat and has the symmetry algebra $\mathfrak{sl}(n+1,\mathbb{H})$ of dimension $4n^2+8n+3$. For non-flat almost quaternionic manifolds we compute the next biggest (submaximal) symmetry dimension. We show that it is equal to $4n^2-4n+9$ for $n>1$ (it is equal to 8 for $n=1$). This is realized both by a quaternioni…
We define, on smooth manifolds, the notions of almost twistorial structure and twistorial map, thus providing a unified framework for all known examples of twistor spaces. The condition of being harmonic morphisms naturally appears among the geometric properties of submersive twistorial maps between low-dimensional Weyl spaces endowed with a nonintegrable almost twistorial structure due to Eells and Salamon. This leads to the twistorial characterisation of harmonic morphisms between Weyl spaces of dimensions four and three. Also, we give a thorough description of the twistorial maps with one-d…
We prove that if the fundamental 4-form of an almost-quaternionic Hermitian manifold (M, Q, g) of dimension at least eight satisfies the conformal-Killing equation, then (M, Q, g) is quaternionic-Kahler.
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 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 construct explicit left invariant quaternionic contact structures on Lie groups with zero and non-zero torsion, and with non-vanishing quaternionic contact conformal curvature tensor, thus showing the existence of quaternionic contact manifolds not locally quaternionic contact conformal to the quaternionic sphere. We present a left invariant quaternionic contact structure on a seven dimensional non-nilpotent Lie group, and show that this structure is locally quaternionic contact conformal to the flat quaternionic contact structure on the quaternionic Heisenberg group. On the product of a se…
We apply the general theory of codimension one integrability conditions for $G$-structures developed in arXiv:1306.6817v3 [math.DG] to the case of quaternionic CR geometry. We obtain necessary and sufficient conditions for an almost CR quaternionic manifold to admit local immersions as an hypersurface of the quaternionic projective space. We construct a deformation of the standard quaternionic contact structure on the quaternionic Heisenberg group which does not admit local immersions in any quaternionic manifold.
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…
