This is the first comprehensive introduction to the authors' recent attempts toward a better understanding of the global concepts behind spinor representations of surfaces in 3-space. The important new aspect is a quaternionic-valued function theory, whose "meromorphic functions" are conformal maps into quaternions, which extends the classical complex function theory on Riemann surfaces. The first results along these lines were presented at the ICM 98 in Berlin. An important new invariant of the quaternionic holomorphic theory is the Willmore energy. For quaternionic holomorphic curves in the quaternionic projective line, i.e., the conformal 4-sphere, this energy is the classical Willmore energy of conformal surfaces. Using these new techniques, the article discusses the mean curvature sphere of conformal surfaces in the 4-sphere, Willmore surfaces in the 4-sphere, Baecklund tranformations of Willmore surfaces, super-conformal surfaces and twistor projections, and a duality between Willmore surfaces in the 3-sphere and minimal surfaces in hyperbolic 3-space. Finally, a new proof of Montiel's recent classification of Willmore 2-spheres in the 4-sphere is given.
The Willmore energy for Frenet curves in quaternionic projective space is the generalization of the Willmore functional for immersions into the 4-sphere. Critical points of the Willmore energy are called Willmore curves in quaternionic projective space. Using a Baecklund transformation on Willmore curves, we generalize Bryant's result on Willmore spheres in 3--space: a Willmore sphere in quaternionic projective space has integer Willmore energy, and is given by complex holomorphic data.
The purpose of the present paper is to study the differential geometric properties of a quaternion CR-submanifold in a locally conformal quaternion Kaehler manifold.
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.
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 …
We explicitly describe all SO(7)-invariant almost quaternion-Hermitian structures on the twistor space of the six sphere and determine the types of their intrinsic torsion.
A tensor invariant is defined on a quaternionic contact manifold in terms of the curvature and torsion of the Biquard connection involving derivatives up to third order of the contact form. This tensor, called quaternionic contact conformal curvature, is similar to the Weyl conformal curvature in Riemannian geometry and to the Chern-Moser tensor in CR geometry. It is shown that a quaternionic contact manifold is locally quaternionic contact conformal to the standard flat quaternionic contact structure on the quaternionic Heisenberg group, or equivalently, to the standard 3-sasakian structure o…
The purpose of this paper is to introduce a geometric structure called pseudo-conformal quaternionic CR structure on a (4n+3)-dimensional mamnifold and then exhibit a quaternionic analogue of Chern-Moser's CR structure and uniformization.
We introduce the notions of h-conformal slant submersions and almost h-conformal slant submersions from almost quaternionic Hermitian manifolds onto Riemannian manifolds as a generalization of Riemannian submersions, horizontally conformal submersions, slant submersions, h-slant submersions, almost h-slant submersion and conformal slant submersions. We investigate several properties of these including the integrability of distributions, the geometry of foliations and the conditions for such maps to be totally geodesic. Further we give some examples of such maps.
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…
As a generalization of Riemannian submersions, horizontally conformal submersions, semi-invariant submersions, h-semi-invariant submersions, almost h-semi-invariant submersions, conformal semi-invariant submersions, we introduce h-conformal semi-invariant submersions and almost h-conformal semi-invariant submersions from almost quaternionic Hermitian manifolds onto Riemannian manifolds. We study their properties: the geometry of foliations, the conditions for total manifolds to be locally product manifolds, the conditions for such maps to be totally geodesic, etc. Finally, we give some example…
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…
In this paper we completely classify the homogeneous two-spheres, especially, the minimal homogeneous ones in the quaternionic projective space $\textbf{HP}^n$. According to our classification, more minimal constant curved two-spheres in $\textbf{HP}^n$ are obtained than Ohnita conjectured in the paper "Homogeneous harmonic maps into projective space, Tokyo J Math, 1990, 13(1): 87-116".
We investigate the Fefferman spaces of conformal type which are induced, via parabolic geometry, by the quaternionic contact (qc) manifolds introduced by O.Biquard. Equivalent characterizations of these spaces are proved: as conformal manifolds with symplectic conformal holonomy of the appropriate signature; as pseudo-Riemannian manifolds admitting conformal Killing fields satisfying a conformally invariant system of conditions analog to G. Sparling's criteria; and as the total space of a SO(3)- or $S^3$-bundle over a qc manifold with the conformally equivalent metrics defined directly by Biqu…
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…
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 quaternionic contact versions of the Obata's sphere theorems. We show that if the first positive eigenvalue of the sub-Laplacian on a compact qc manifold of dimension bigger than seven takes the smallest possible value then, up to a homothety of the qc structure, the manifold is qc equivalent to the standard 3-Sasakian sphere. We also give a version of the theorem on non-compact qc manifold which is complete with respect to the associated Riemannian metric using the existence of a function with traceless horizontal Hessian. A qc version of the Liouville theorem is shown for qc-confo…
We view conformal surfaces in the 4--sphere as quaternionic holomorphic curves in quaternionic projective space. By constructing enveloping and osculating curves, we obtain new holomorphic curves in quaternionic projective space and thus new conformal surfaces. Applying these constructions to Willmore surfaces, we show that the osculating and enveloping curves of Willmore spheres remain Willmore.
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.
The quaternionic KP hierarchy is the integrable hierarchy of p.d.e obtained by replacing the complex numbers with the quaternions, mutatis mutandis, in the standard construction of the KP hierarchy equations and solutions; it is equivalent to what is often called the Davey-Stewartson II hierarchy. This article studies its relationship with the theory of quaternionic holomorphic 2-tori in HP^1 (which are equivalent to conformally immersed 2-tori in S^4). After describing how the Sato-Segal-Wilson construction of KP solutions (particularly solutions of finite type) carries over to this quaternio…
A partial solution of the quaternionic contact Yamabe problem on the quaternionic sphere is given. It is shown that the torsion of the Biquard connection vanishes exactly when the trace-free part of the horizontal Ricci tensor of the Biquard connection is zero and this occurs precisely on 3-Sasakian manifolods. All conformal deformations sending the standard flat torsion-free quaternionic contact structure on the quaternionic Heisenberg group to a quaternionic contact structure with vanishing torsion of the Biquard connection are explicitly described. A '3-Hamiltonian form' of infinitesimal co…
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 theory of Weyl structures for parabolic geometries developed by A. Cap and J. Slovak in to compute, for a quaternionic contact (qc) structure, the Weyl connection associated to a choice of scale, i.e. to a choice of Carnot-Carathéodory metric in the conformal class. The result of this computation has applications to the study of the conformal Fefferman space of a qc manifold. In addition to this application, we are also able to easily compute a tensorial formula for the qc analog of the Weyl curvature tensor in conformal geometry and the Chern-Moser tensor in CR geometry. This ten…
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.
The paper develops the fundamentals of quaternionic holomorphic curve theory. The holomorphic functions in this theory are conformal maps from a Riemann surface into the 4-sphere, i.e., the quaternionic projective line. Basic results such as the Riemann-Roch Theorem for quaternionic holomorphic vector bundles, the Kodaira embedding and the Pluecker relations for linear systems are proven. Interpretations of these results in terms of the differential geometry of surfaces in 3- and 4-space are hinted at throughout the paper. Applications to estimates of the Willmore functional on constant mean c…
The notion of a quaternionic gerbe is presented as a new way of bundling algebraic structures over a four manifold. The structure groupoid of this fibration is described in some detail. The Euclidean conformal group R*SO(4) appears naturally as a (non-commutative) monoidal structure on this groupoid. Using this monoidal structure we indicate the existence of a canonical quaternionic gerbe associated to a conformal structure on a four manifold.
A conformal immersion of a 2-torus into the 4-sphere is characterized by an auxiliary Riemann surface, its spectral curve. This complex curve encodes the monodromies of a certain Dirac type operator on a quaternionic line bundle associated to the immersion. The paper provides a detailed description of the geometry and asymptotic behavior of the spectral curve. If this curve has finite genus the Dirichlet energy of a map from a 2-torus to the 2-sphere or the Willmore energy of an immersion from a 2-torus into the 4-sphere is given by the residue of a specific meromorphic differential on the cur…
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 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 article we study an exact analogue of the cross-ratio for the algebra of quaternions H and use it to derive several interesting properties of quaternionic fractional linear transformations. In particular, we show that there exists a fractional linear transformation T on H mapping four distinct quaternions q_1, q_2, q_3 and q_4 into q'_1, q'_2, q'_3 and q'_4 respectively if and only if the quadruples (q_1, q_2, q_3, q_4) and (q'_1, q'_2, q'_3, q'_4) have the same cross-ratio. If such a fractional linear transformation T exists it is never unique. However, we prove that a fractional line…
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.
A complete solution to the quaternionic contact Yamabe equation on the qc sphere of dimension $4n+3$ as well as on the quaternionic Heisenberg group is given. A uniqueness theorem for the qc Yamabe problem in a compact locally 3-Sasakian manifold is shown.
The present paper starts with an introduction to quaternions and then defines the 3-dimmensional sphere as the set of quaternions of length one. The quaternion group induces on $\mathbb{S}^3$ a structure of noncommutative Lie group. This group is compact and the results obtained in this case are very different than those obtained in the case of the Heisenberg group, which is a noncompact Lie group. Like in the Heisenberg group case, we introduce a nonintegrable distribution on the sphere and a metric on it using two of the noncommutative left invariant vector fields. This way $\mathbb{S}^3$ be…
A complete solution to the quaternionic contact Yamabe problem on the seven dimensional sphere is given. Extremals for the Sobolev inequality on the seven dimensional Hesenberg group are explicitly described and the best constant in the $L^2$ Folland-Stein embedding theorem is determined.
A conformal metric on a 4-ball induces on the boundary 3-sphere a conformal metric and a trace-free second fundamental form. Conversely, such a data on the 3-sphere is the boundary of a unique selfdual conformal metric, defined in a neighborhood of the sphere. In this paper we characterize the conformal metrics and trace-free second fundamental forms on the 3-sphere (close to the standard round metric) which are boundaries of selfdual conformal metrics on the whole 4-ball. When the data on the boundary is reduced to a conformal metric (the trace-free part of the second fundamental form vanishe…
In this paper we prove that under a lower bound on the Ricci curvature and an asymptotic assumption on the scalar curvature, a complete conformally compact manifold $(M^{n+1},g)$, with a pole $p$ and with the conformal infinity in the conformal class of the round sphere, has to be the hyperbolic space.
A version of Lichnerowicz' theorem giving a lower bound of the eigenvalues of the sub-Laplacian under a lower bound on the Sp(1)Sp(1) component of the qc-Ricci curvature on a compact seven dimensional quaternionic contact manifold is established. It is shown that in the case of a seven dimensional compact 3-Sasakian manifold the lower bound is reached if and only if the quaternionic contact manifold is a round 3-Sasakian sphere.
Spectrum of a certain class of first order conformally invariant operators on the sphere is explicitly computed. The class contains the (elliptic verions of) Rarita-Schwinger operator and its higher spin analogues.
For all positive integers n we construct a 1-parameter family of conformal tori of revolution in the 3-sphere with n bulges. These tori arise by Darboux transformations of constant mean curvature tori but do not have constant mean curvature in the 3-sphere.
In this paper we give bounds for the first eigenvalue of the conformal Laplacian and the Yamabe invariant of a compact Riemannian manifold, by using conditions on the Ricci curvature and the diameter and deduce certain conditions on the manifold to be conformal to a sphere.
We show that a compact quaternionic contact manifold of dimension seven that satisfies a Lichnerowicz-type lower Ricci-type bound and has the $P$-function of any eigenfunction of the sub-Laplacian non-negative achieves its smallest possible eigenvalue only if the structure is qc-Einstein. In particular, under the stated conditions, the lowest eigenvalue is achieved if and only if the manifold is qc-equivalent to the standard $3$-Sasakian sphere.
For a surface in 3-sphere, by identifying the conformal round 3-sphere as the projectivized positive light cone in Minkowski 5-spacetime, we use the conformal Gauss map and the conformal transform to construct the associate homogeneous 4-surface in Minkowski 5-spacetime. We then derive the local fundamental theorem for a surface in conformal round 3-sphere from that of the associate 4-surface in Minkowski 5-spacetime. More importantly, following the idea of Fefferman and Graham, we construct local scalar invariants for a surface in conformal round 3-sphere. One distinct feature of our construc…
A theorem of Lawson and Simons states that the only stable minimal submanifolds in complex projective spaces are complex submanifolds. We generalize their result to the cases of quaternionic and octonionic projective spaces. Our approach gives a unified viewpoint towards conformal and projective geometries.
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.
We report on some aspects and recent progress in certain problems in the sub-Riemannian CR and quaternionic contact (QC) geometries. The focus are the corresponding Yamabe problems on the round spheres, the Lichnerowicz-Obata first eigenvalue estimates, and the relation between these two problems. A motivation from the Riemannian case highlights new and old ideas which are then developed in the settings of Iwasawa sub-Riemannian geometries.
The aim of this paper is to verify that the study of generic conformally flat hypersurfaces in 4-dimensional space forms is reduced to a surface theory in the standard 3-sphere. The conformal structure of generic conformally flat (local-)hypersurfaces is characterized as conformally flat (local-)3-metrics with the Guichard condition. Then, there is a certain class of orthogonal analytic (local-)Riemannian 2-metrics with constant Gauss curvature -1 such that any 2-metric of the class gives rise to a one-parameter family of conformally flat 3-metrics with the Guichard condition. In this paper, w…
We establish in this paper an upper bound on the second eigenvalue of n-dimensional spheres in the conformal class of the round sphere. This upper bound holds in all dimensions and is asymptotically sharp as the dimension increases.
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 …
A quaternionic calculus for surface pairs in the conformal 4-sphere is elaborated. This calculus is then used to discuss the relation between curved flats in the symmetric space of point pairs and Darboux and Christoffel pairs of isothermic surfaces. A new viewpoint on relations between surfaces of constant mean curvature in certain space forms is presented --- in particular, a new form of Bryant's Weierstrass type representation for surfaces of constant mean curvature 1 in hyperbolic 3-space is given.
