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.
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 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 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.
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 answer in the affirmative a question posed by Ivanov and Vassilev on the existence of a seven dimensional quaternionic contact manifold with closed fundamental 4-form and non-vanishing torsion endomorphism. Moreover, we show an approach to the classification of seven dimensional solvable Lie groups having an integrable left invariant quaternionic contact structure. In particular, we prove that the unique seven dimensional nilpotent Lie group admitting such a structure is the quaternionic Heisenberg group.
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…
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…
The classical theorem of Picard states that a non-constant holomorphic function $f:\mathbb{C}\to\mathbb{C}$ can avoid at most one value. We investigate how many values a non-constant slice regular function of a quaternionic variable $f:\mathbb{H}\to\mathbb{H}$ may avoid.
A conformal map from a Riemann surface to a Euclidean space of dimension greater than or equal to three is explained by using the Clifford algebra, in a similar fashion to quaternionic holomorphic geometry of surfaces in the Euclidean three- or four-space. The Weierstrass representation, the spin transform, the Darboux transforms, surfaces of parallel mean curvature vector, families of flat connections associated with a harmonic map from a Riemann surface to a sphere are explained. The degree of the spinor bundle associated with a conformal immersion is calculated. Analogues of a polar surface…
In this paper, we study numerically flat holomorphic vector bundles over a compact non-Kähler manifold $(X, ω)$ with the Hermitian metric $ω$ satisfying the Gauduchon and Astheno-Kähler conditions. We prove that numerically flatness is equivalent to numerically effectiveness with vanishing first Chern number, semistablity with vanishing first and second Chern numbers, approximate Hermitian flatness and the existence of a filtration whose quotients are Hermitian flat. This gives an affirmative answer to the question proposed by Demailly, Peternell and Schneider.
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…
For compact complex manifolds with vanishing first Chern class that are compact torus principal bundles over Kähler manifolds, we prove that all holomorphic geometric structures on them, of affine type, are locally homogeneous. For a compact simply connected complex manifold in Fujiki class $\mathcal C$, whose dimension is strictly larger than the algebraic dimension, we prove that it does not admit any holomorphic rigid geometric structure, and also it does not admit any holomorphic Cartan geometry of algebraic type. We prove that compact complex simply connected manifolds in Fujiki class $\m…
This is the very first paper to focus on the CR analogue of Yau's uniformization conjecture in a complete noncompact pseudohermitian $(2n+1)$-manifold of vanishing torsion (i.e. Sasakian manifold) which is an odd dimensional counterpart of Kähler geometry. In this paper, we mainly deal with the problem of the sharp dimension estimate of CR holomorphic functions in a complete noncompact pseudohermitian manifold of vanishing torsion with nonnegative pseudohermitian bisectional curvature.
We prove the classical Nakano vanishing theorem with Hörmander $L^2$-estimates on a compact Kähler manifold using Siu's so called $\partial\dbar$-Bochner-Kodaira method, thereby avoiding the Kähler identities completely. We then introduce singular hermitian metrics on holomorphic vector bundles, and proceed to prove a vanishing theorem of Demailly-Nadel type for these in the special case where the base manifold is a Riemann surface.
New smooth solutions of the Strominger system with non vanishing flux, non-trivial instanton and non-constant dilaton based on the quaternionic Heisenberg group are constructed. We show that through appropriate contractions the solutions found in the $G_2$-heterotic case converge to the heterotic solutions on 6-dimensional inner non-Kähler spaces previously found by the authors and, moreover, to new heterotic solutions with non-constant dilaton in dimension 5. All solutions satisfy the heterotic equations of motion up to the first order of $α^{\prime}$.
We prove a Bochner type vanishing theorem for compact complex manifolds $Y$ in Fujiki class $\mathcal C$, with vanishing first Chern class, that admit a cohomology class $[α] \in H^{1,1}(Y,\mathbb R)$ which is numerically effective (nef) and has positive self-intersection (meaning $\int_Y α^n \,>\, 0$, where $n\,=\,\dim_{\mathbb C} Y$). Using it, we prove that all holomorphic geometric structures of affine type on such a manifold $Y$ are locally homogeneous on a non-empty Zariski open subset. Consequently, if the geometric structure is rigid in the sense of Gromov, then the fundamental group o…
We study the tt*-geometry with vanishing endormorphism $\mathcal{U}$. Given an integrable harmonic Higgs bundle $(E, h, Φ, \mathcal{U},\mathcal{Q})$ on a complex manifold $M$, Firstly we prove that, under the \emph{IS} condition, vanishing $\mathcal{U}$ implies vanishing Higgs field $Φ$ and the Chern connection of the Hermitian Einstein metric $h$ is a holomorphic connection, so the metric $h$ and $\mathcal{Q}$ are invariant. Secondly, without the \emph{IS} condition, we show that vanishing $\mathcal{U}$ will imply vanishing Higgs field $Φ$ if we assume that the Chern connection of $h$ is a ho…
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.
On the seven dimensional Euclidean sphere $\mathbb{S}^7$ we compare two subriemannian structures with regards to various geometric and analytical properties. The first structure is called trivializable and the underlying distribution $\mathcal{H}_T$ is induced by a Clifford module structure of $\mathbb{R}^8$. More precisely, $\mathcal{H}_T$ is rank $4$, bracket generating of step two and generated by globally defined vector fields. The distribution $\mathcal{H}_{Q}$ of the second structure is of rank 4 and step two as well and obtained as the horizontal distribution in the quaternionic Hopf fi…
A hypercomplex manifold is a manifold equipped with a triple of complex structures satisfying the quaternionic relations. A holomorphic Lagrangian variety on a hypercomplex manifold with trivial canonical bundle is a holomorphic subvariety which is calibrated by a form associated with the holomorphic volume form; this notion is a generalization of the usual holomorphic Lagrangian subvarieties known in hyperkaehler geometry. An HKT (hyperkaehler with torsion) metric on a hypercomplex manifold is a metric determined by a local potential, in a similar way to the Kaehler metric. We prove that a ba…
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…
Let $M$ and $N$ be two compact complex manifolds. We show that if the tautological line bundle $\mathscr{O}_{T_M^*}(1)$ is not pseudo-effective and $\mathscr{O}_{T_N^*}(1)$ is nef, then there is no non-constant holomorphic map from $M$ to $N$. In particular, we prove that any holomorphic map from a compact complex manifold $M$ with RC-positive tangent bundle to a compact complex manifold $N$ with nef cotangent bundle must be a constant map. As an application, we obtain that there is no non-constant holomorphic map from a compact Hermitian manifold with positive holomorphic sectional curvature …
In this article we study compact Kähler manifolds $X$ admitting non-singular holomorphic vector fields with the aim of extending to this setting the classical birational classification of projective varieties with tangent vector fields. We prove that any such a Kähler manifold $X$ admits an arbitrarily small deformation of a particular type which is a suspension over a torus; that is, a quotient of $F\times \mbb C^s$ fibering over a torus $T=\mbb C^s/Λ$. We derive some results dealing with the structure of such manifolds. In particular, we prove an extension of Calabi's theorem describing the …
We prove that if $B$ is a $k$-positive holomorphic line bundle on a compact hyperkähler manifold $M,$ then $H^p (M,Ω^q\otimes B)=0$ for $p>n+[\frac{k}{2}]$ and any nonnegative integer $q.$ In a special case $k=0$ and $q=0$ we recover a vanishing theorem of Verbitsky's with a little stronger assumption.
In this paper, we consider orthogonal Ricci curvature $Ric^{\perp}$ for Kähler manifolds, which is a curvature condition closely related to Ricci curvature and holomorphic sectional curvature. We prove comparison theorems and a vanishing theorem related to these curvature conditions, and construct various examples to illustrate their subtle relationship.
Let $X$ be a compact normal complex space of dimension $n$, and $L$ be a holomorphic line bundle on $X$. Suppose $Σ=(Σ_1,\ldots,Σ_\ell)$ is an $\ell$-tuple of distinct irreducible proper analytic subsets of $X$, $τ=(τ_1,\ldots,τ_\ell)$ is an $\ell$-tuple of positive real numbers, and consider the space $H^0_0 (X, L^p)$ of global holomorphic sections of $L^p:=L^{\otimes p}$ that vanish to order at least $τ_{j}p$ along $Σ_{j}$, $1\leq j\leq\ell$. We find necessary and sufficient conditions which ensure that $\dim H^0_0(X,L^p)\sim p^n$, analogous to Ji-Shiffman's criterion for big line bundles. W…
n this paper we define an invariant of a pair of 6 dimensional symplectic %optional manifold with vanishing 1st Chern class and its Lagrangian submanifold with vanishing Maslov index. This invariant is a function on the set of the path connected components of the bounding cochains (solution of A infinity version of Maurer-Cartan equation of the filtered A infinity algebra associated to the Lagrangian submanifold). In the case when the Lagrangian submanifold is a rational homology sphere, it becomes a numerical invariant. This invariant depends on the choice of almost complex structure. The way…
We prove rigidity and vanishing theorems for several holomorphic Euler characteristics on complex contact manifolds admitting holomorphic circle actions preserving the contact structure. Such vanishings are reminiscent of those of LeBrun and Salamon on Fano contact manifolds but under a symmetry assumption instead of a curvature condition.
We study a singular Hermitian metric of a vector bundle. First, we prove the sheaf of locally square integrable holomorphic sections of a vector bundle with a singular Hermitian metric, which is a higher rank analogy of a multiplier ideal sheaf, is coherent under some assumptions. Second, we prove a Nadel-Nakano type vanishing theorem of a vector bundle with a singular Hermitian metric. We do not use an approximation technique of a singular Hermitian metric. We apply these theorems to a singular Hermitian metric induced by holomorphic sections and a big vector bundle, and we obtain a generaliz…
