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 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.
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.
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.
Let $(\tilde Q,g) $ be a para-quaternionic Hermitian structure on the real vector space $V$. By referring to the tensorial presentation $(V, \tilde{Q},g) \simeq (H^2 \otimes E^{2n}, \mathfrak{sl}(H),ω^H \otimes ω^E)$, we give an explicit description, from an affine and metric point of view, of main classes of subspaces of $V$ which are invariantly defined with respect to the structure group of $\tilde{Q}$ and $(\tilde{Q},g)$ respectively.
As a generalization of anti-invariant Riemannian submersions and Lagrangian Riemannian submersions, we introduce the notions of h-anti-invariant submersions and h-Lagrangian submersions from almost quaternionic Hermitian manifolds onto Riemannian manifolds. We obtain characterizations and investigate some properties: the integrability of distributions, the geometry of foliations, and the harmonicity of such maps. We also find a condition for such maps to be totally geodesic and give some examples of such maps. Finally, we obtain some types of decomposition theorems.
Gray & Hervella gave a classification of almost Hermitian structures (g,I) into 16 classes. We systematically study the interaction between these classes when one has an almost hyper-Hermitian structure (g,I,J,K). In general dimension we find at most 167 different almost hyper-Hermitian structures. In particular, we obtain a number of relations that give hyperKäher or locally conformal hyperKähler structures, thus generalising a result of Hitchin. We also study the types of almost quaternion-Hermitian geometries that arise and tabulate the results.
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.
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…
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.
We determine the invariants characterizing the $Sp(n)$-orbits in the real Grassmannian $Gr^\R(2k,4n)$ of the $2k$-dimensional complex and $Σ$-complex subspaces of a $4n$-dimensional Hermitian quaternionic vector space. A $Σ$-complex subspace is the orthogonal sum of complex subspaces by different, up to sign, compatible complex structure. The result is obtained by considering two main features of such subspaces. The first is that any such subspace admits a decomposition into an Hermitian orthogonal sum of 4-dimensional complex addends plus a 2-dimensional totally complex subspace if $k$ is odd…
On a para-quaternionic Kähler manifold $(\widetilde M^{4n},Q,\widetilde g)$, which is first of all a pseudo-Riemannian manifold, a natural definition of (almost) Kähler and (almost) para-Kähler submanifold $(M^{2m},\mathcal{J},g)$ can be given where $\mathcal{J}=J_1|_M$ is a (para-)complex structure on $M$ which is the restriction of a section $J_1$ of the para-quaternionic bundle $Q$. In this paper, we extend to such a submanifold $M$ most of the results proved by Alekseevsky and Marchiafava, 2001, where Hermitian and Kähler submanifolds of a quaternionic Kähler manifold have been studied. Co…
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.
A manifold (M,I,J,K) is called hypercomplex if I,J,K are complex structures satisfying quaternionic relations. A quaternionic Hermitian metric is called HKT (hyperkaehler with torsion) if $Idω_I = Jd ω_J=Kdω_K$, where $ω_I,ω_J, ω_K$ are Hermitian forms associated with I, J, K. A Hermitian metric $ω$ on a complex manifold is called balanced if $d^*ω=0$. We show that balanced HKT metrics are precisely the quaternionic Calabi-Yau metrics defined in terms of the quaternionic Monge-Ampere equation. In particular, a balanced HKT-metric is unique in its cohomology class, and it always exists if the q…
It is well-known that if a curve is a geodesic line of the tangent (sphere) bundle with Sasaki metric of a locally symmetric Riemannian manifold then the projected curve has all its geodesic curvatures constant. In this paper we consider the case of tangent (sphere) bundle over the real, complex and quaternionic space form and give a unified proof of the following property: all geodesic curvatures of projected curve are zero starting from k_3,k_6 and k_{10} for the real, complex and quaternionic space formes respectively.
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 give a simple direct proof of uniqueness of tangent cones for singular projectively Hermitian Yang-Mills connections on reflexive sheaves at isolated singularities modelled on $μ$-polystable holomorphic bundles over $\mathbf{P}^{n-1}$.
The tangent bundle of an almost Norden manifold and the complete lift of the Norden metric is considered as a 4n-manifold. It is equipped with an almost hypercomplex Hermitian-Norden structure. It is characterized geometrically. The case when the base manifold is an h-sphere is considered.
In this paper we study the analytic tangent cones of admissible Hermitian-Yang-Mills connections near a homogeneous singularity of a reflexive sheaf, and relate it to the Harder-Narasimhan-Seshadri filtration. We also give an algebro-geometric characterization of the bubbling set. This strengthens our previous result.
We continue the study of the anti-Hermitian structures of general natural lift type on the tangent bundles. We get the conditions under which these structures are in the eight classes obtained by Ganchev and Borisov. We complete the characterization of the general natural anti-Kahlerian structures on the tangent bundles with necessary and sufficient conditions, then we present some results concerning the remaining classes.
The tangent bundle as a $4n$-manifold is equipped with an almost hypercomplex pseudo-Hermitian structure and it is characterized with respect to the relevant classifications. A number of 8-dimensional examples of the considered type of manifold are received from the known explicit examples in that manner.
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 article we discuss the interaction between the geometry of a quaternion-Kahler manifold M and that of the Grassmannian G(3,g) of oriented 3-dimensional subspaces of a compact Lie algebra g. This interplay is described mainly through the moment mapping induced by the action of a group G of quaternionic isometries on M. We give an alternative expression for the endomorphisms I_{1},I_{2},I_{3}, both in terms of the holonomy representation of M and the structure of the Grassmannian's tangent space. A correspondence between the solutions of respective twistor-type equations on M and G(3,g) …
We provide a local classification of self-dual Einstein Riemannian four manifolds admitting a positively oriented Hermitian structure and characterize those which carry a hyperhermitian, non-hyperkählerian structure compatible with the negative orientation. We finally show that self-dual Einstein 4-manifolds obtained as quaternionic quotients of the Wolf spaces ${\mathbb H}P^2$, ${\mathbb H}H^2$, $SU(4)/S(U(2)U(2))$, and $SU(2,2)/S(U(2)U(2))$ are always Hermitian.
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 propose a special deformation of the Sasaki metric on tangent and unit tangent bundle of a Hermitian locally symmetric manifold. Geodesics of this deformed metric have different projections on a base manifold for tangent or unit tangent bundle cases in contrast to usual Sasaki metric. Nevertheless, the projections of geodesics of the unit tangent bundle still preserve the property to have all geodesic curvatures constant.
In this paper we give a complete algebro-geometric characterization of analytic tangent cones of admissible Hermitian-Yang-Mills connections over any reflexive sheaves.
We study a pair (\mathcal{S}_0,\mathcal{S}) of irreducible Hermitian Symmetric Spaces of compact type (cHSS) in this paper, with the first aim being classifying all the admissible pairs (\mathcal{S}_0,\mathcal{S})). This notion is a natural generalization of the pairs of sub-diagram type originated by Jaehyun Hong and Ngaiming Mok ([HoM 10]). Based on this classification, we partially solve the rigidity problem for the admissible pairs (\mathcal{S}_0,\mathcal{S}) which was raised by Mok and Zhang (2014) ([MoZ 14]), culminating in determining a sufficient condition for the pairs being non-rigid…
This is the first of a series of papers where we relate tangent cones of Hermitian-Yang-Mills connections at an isolated singularity to the complex algebraic geometry of the underlying reflexive sheaf, when the sheaf is locally modelled on the pull-back of a holomorphic vector bundle from the projective space. In this paper we shall impose an extra assumption that the graded sheaf determined by the Harder-Narasimhan-Seshadri filtrations of the vector bundle is reflexive. In general we conjecture that the tangent cone is uniquely determined by the double dual of the associated graded object of …
Unit tangent bundles $UM$ of semi-Riemannian manifolds $M$ are shown to be examples of dynamical Legendrian contact structures, which were defined in recent work [25] of Sykes-Zelenko to generalize leaf spaces of 2-nondegenerate CR manifolds. In doing so, Sykes-Zelenko extended the classification in Porter-Zelenko [20] of regular, 2-nondegenerate CR structures to those that can be recovered from their leaf space. The present paper treats dynamical Legendrian contact structures associated with 2-nondegenerate CR structures which were called "strongly regular" in Porter-Zelenko, named "L-contact…
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.
The Riemannian symmetric space SU_{2,m}/S(U_2U_m) is both Hermitian symmetric and quaternionic Kahler symmetric. Let M be a hypersurface in SU_{2,m}/S(U_2U_m) and denote by TM its tangent bundle. The complex structure of SU_{2,m}/S(U_2U_m) determines a maximal complex subbundle C of TM, and the quaternionic structure of SU_{2,m}/S(U_2U_m) determines a maximal quaternionic subbundle Q of TM. In this article we investigate hypersurfaces in SU_{2,m}/S(U_2U_m) for which C and Q are closely related to the shape of M.
Given a hypercomplex manifold with a rotating vector field (and additional data), we construct a conical hypercomplex manifold. As a consequence, we associate a quaternionic manifold to a hypercomplex manifold of the same dimension with a rotating vector field. This is a generalization of the HK/QK-correspondence. As an application, we show that a quaternionic manifold can be associated to a conical special complex manifold of half its dimension. Furthermore, a projective special complex manifold (with a canonical c-projective structure) associates with a quaternionic manifold. The latter is a…
This paper demonstrates the power of the calculus developed in the two previous parts of the series for all real forms of the almost Hermitian symmetric structures on smooth manifolds, including e.g. conformal Riemannian and almost quaternionic geometries. Exploiting some finite dimensional representation theory of simple Lie algebras, we give explicit formulae for distinguished invariant curved analogues of the standard operators in terms of the linear connections belonging to the structures in question, so in particular we prove their existence. Moreover, we prove that these formulae for k-t…
Let E be a Real or Quaternionic Hermitian vector bundle over a Klein surface M. We study the action of the gauge group of E on the space of Galois-invariant unitary connections and we show that the closure of a semi-stable orbit contains a unique unitary orbit of projectively flat, Galois-invariant connections. We then use this invariant-theoretic perspective to prove a version of the Narasimhan-Seshadri correspondence in this context: S-equivalence classes of semi-stable Real and Quaternionic vector bundes are in bijective correspondence with equivalence classes of certain appropriate represe…
We find a new class of invariant metrics existing on the tangent bundle of any given almost-Hermitian manifold. We focus here on the case of Riemannian surfaces, which yield new examples of Kählerian Ricci-flat manifolds in four real dimensions.
Tubular neighborhoods play an important role in differential topology. We have applied these constructions to geometry of almost Hermitian manifolds. At first, we consider deformations of tensor structures on a normal tubular neighborhood of a submanifold in a Riemannian manifold.Further, an almost hyperHermitian structure has been constructed on the tangent bundle TM with help of the Riemannian connection of an almost Hermitian structure on a manifold M then, we consider an embedding of the almost Hermitian manifold M in the corresponding normal tubular neighborhood of the null section in the…
In the theory of so called "Covariant Quantum Mechanics" a basic role is played by Hermitian vector fields on a complex line bundle in the frameworks of Galilei and Einstein spacetimes. In fact, it has been proved that the Lie algebra of Hermitian vector fields is naturally isomorphic to a Lie algebra of "special functions" of the phase space. Indeed, this is the source of the covariant quantisation of the above special functions. In the original version of the theory, this result was formulated and proved in a rather involved way; now, we have achieved a more direct and simple approach to the…
Noting that the complete lift of a Rimannian metric defined on a differentiable manifold is not 0-homogeneous on the fibers of the tangent bundle . In this paper we introduce a new lift which is 0-homogeneous. It determines on slit tangent bundle a pseudo-Riemannian metric, which depends only on the metric . We study some of the geometrical properties of this pseudo-Riemannian space and define the natural almost complex structure and natural almost product structure which preserve the property of homogeneity and find some new results.
We consider the unique Hermitian connection with totally skew-symmetric torsion on a Hermitian manifold. We prove that if the torsion is parallel and the holonomy is Sp(n)U(1), considered as a subgroup of U(2n) x U(1), then the manifold is locally isomorphic to the twistor space of a quaternionic Kaehler manifold with positive scalar curvature. If the manifold is complete, then it is globally isomorphic to such a twistor space.
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 study Riemannian 8-manifolds with an infinitesimal action of SO(3) by which each tangent space breaks into irreducible spaces of dimensions 3 and 5. The relationship with quaternionic, almost product- and PSU-geometry is thoroughly explained using representation-theoretical arguments.
Let $M=G/K$ be a Hermitian symmetric space of noncompact type. We provide a way of constructing $K$-equivariant embeddings from $M$ to its tangent space $T_oM$ at the origin by using the polarity of the $K$-action. As an application, we reconstruct the $K$-equivariant holomorphic embedding so called the Harish-Chandra realization and the $K$-equivariant symplectomorphism constructed by Di Scala-Loi and Roos under appropriate identifications of spaces. Moreover, we characterize the holomorphic/symplectic embedding of $M$ by means of the polarity of the $K$-action. Furthermore, we show a special…
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…
A positive answer is given to the existence of Sasakian structures on the tangent sphere bundle of some Riemannian manifold whose sectional curvature is not constant. Among other results, it is proved that the tangent sphere bundle Tr(G/K), for any r > 0, of a compact rank-one symmetric space G/K, not necessarily of constant sectional curvature, admits a unique K-contact structure whose characteristic vector field is the standard field of T(G/K). Such a structure is in fact Sasakian and it can be expressed as an induced structure from an almost Hermitian structure on the punctured tangent bund…
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…
An $F$-manifold is complex manifold with a multiplication on the holomorphic tangent bundle with a certain integrability condition. Important examples are Frobenius manifolds and especially base spaces of universal unfoldings of isolated hypersurface singularities. This paper reviews the construction of hermitian metrics on $F$-manifolds from $tt^*$ geometry. It clarifies the logic between several notions. It also introduces a new {\it canonical} hermitian metric. Near irreducible points it makes the manifold almost hyperbolic. This holds for the singularity case and will hopefully lead to app…
Natural metric structures on the tangent bundle and tangent sphere bundles $S_rM$ of a Riemannian manifold $M$ with radius function $r$ enclose many important unsolved problems. Admitting metric connections on $M$ with torsion, we deduce the equations of induced metric connections on those bundles. Then the equations of reducibility of $TM$ to the almost Hermitian category. Our purpose is the study of the natural contact structure on $S_rM$ and the $G_2$-twistor space of any oriented Riemannian 4-manifold.
Let J be a unitary almost complex structure on a Riemannian manifold (M,g). If x is a unit tangent vector, let P be the associated complex line spanned by x and by Jx. We show that if (M,g) is Hermitian or if (M,g) is nearly Kaehler, then either the complex Jacobi operator (JC(P)y=R(y,x)x+R(y,Jx)Jx) or the complex curvature operator (RC(P)y=R(x,Jx)y) completely determine the full curvature operator; this generalizes a well known result in the real setting to the complex setting. We also show this result fails for general almost Hermitian manifold.
