A hypercomplex manifold is a manifold equipped with three complex structures I, J, K satisfying the quaternionic relations. Let M be a 4-dimensional compact smooth manifold equipped with a hypercomplex structure, and E be a vector bundle on M. We show that the moduli space of anti-self-dual connections on E is also hypercomplex, and admits a strong HKT metric. We also study manifolds with (4,4)-supersymmetry, that is, Riemannian manifolds equipped with a pair of strong HKT-structures that have opposite torsion. In the language of Hitchin's and Gualtieri's generalized complex geometry, (4,4)-manifolds are called ``generalized hyperkaehler manifolds''. We show that the moduli space of anti-self-dual connections on M is a (4,4)-manifold if M is equipped with a (4,4)-structure.
Let (M,I,J,K) be a compact hypercomplex manifold admitting an HKT-metric. Assume that the canonical bundle of (M,I) is trivial as a holomorphic line bundle. We show that the holonomy of Obata connection on M is contained in SL(n,H). In Appendix we apply these arguments to compact nilmanifolds equipped with abelian hypercomplex structures, showing that such manifolds have holonomy in SL(n,H).
A nilmanifold is a quotient of a nilpotent group $G$ by a co-compact discrete subgroup. A complex nilmanifold is one which is equipped with a $G$-invariant complex structure. We prove that a complex nilmanifold has trivial canonical bundle. This is used to study hypercomplex nilmanifolds (nilmanifolds with a triple of $G$-invariant complex structures which satisfy quaternionic relations). We prove that a hypercomplex nilmanifold admits an HKT (hyperkahler with torsion) metric if and only if the underlying hypercomplex structure is abelian. Moreover, any $G$-invariant HKT-metric on a nilmanifol…
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.
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.
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…
In this paper we show how hypercomplex function theoretical objects can be used to construct explicitly self-dual SU(2)-Yang-Mills instanton solutions on certain classes of conformally flat 4-manifolds. We use a hypercomplex argument principle to establish a natural link between the fundamental solutions of $D Δf = 0$ and the second Chern class of the SU(2) principal bundles over these manifolds. The considered base manifolds of the bundles are not simply-connected, in general. Actually, this paper summarizes an extension of the corresponding results of Gürsey and Tze on a hyper-complex analyt…
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…
We investigate the geometry of the Kodaira moduli space $M$ of sections of $π:Z\to {\mathbb P}^1$, the normal bundle of which is allowed to jump from ${\mathcal O}(1)^{n}$ to ${\mathcal O}(1)^{n-2m}\oplus {\mathcal O}(2)^{m}\oplus {\mathcal O}^{m}$. In particular, we identify the natural assumptions which guarantee that the Obata connection of the hypercomplex part of $M$ extends to a logarithmic connection on $M$.
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…
An associated Nijenhuis tensor of endomorphisms in the tangent bundle is introduced. Special attention is paid to such tensors for an almost hypercomplex structure and the metric of Hermitian-Norden type. There are studied relations between the six associated Nijenhuis tensors as well as their vanishing. It is given a geometric interpretation of the vanishing of these tensors as a necessary and sufficient condition for the existence of a unique connection with totally skew-symmetric torsion tensor. Similar idea is used in the paper of T. Friedrich and S. Ivanov in Asian J. Math. (2002) for som…
We construct examples of compact hyperkaehler manifolds with torsion (HKT manifolds) which are not homogeneous and not locally conformal hyperkaehler. Consider a total space T of a tangent bundle over a hyperkaehler manifold M. The manifold T is hypercomplex, but it is never hyperkaehler, unless M is flat. We show that T admits an HKT-structure. We also prove that a quotient of T by a $\Z$-action $v \arrow q^n v$ is HKT, for any real number $q\in \R$, $q>1$. This quotient is compact, if M is compact. A more general version of this construction holds for all hyperholomorphic bundles with holono…
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…
The investigation of strings and M-theory involves the understanding of various BPS solitons which in a certain approximation can be thought of as solutions of ten- and eleven-dimensional supergravity theories. These solitons have a brane or a intersecting brane interpretation, saturate a bound and are associated with parallel spinors with respect to a connection of the spin bundle of spacetime. A class of intersecting brane configurations is examined and it is shown that the geometry of spacetime is hyper-Kähler with torsion. A relation between these hyper-Kähler geometries with torsion and q…
We describe a diagram containing the zero sets of the moment maps associated to the diagonal U(1) and Sp(1) actions on the quaternionic projective space HP^n. These sets are related both to focal sets of submanifolds and to Sasakian-Einstein structures on induced Hopf bundles. As an application, we construct a complex structure on the Stiefel manifolds V_2 (C^{n+1}) and V_4 (R^{n+1}), the one on the former manifold not being compatible with its known hypercomplex structure.
Let $G/K$ be an irreducible Hermitian symmetric spaces of compact type with the standard homogeneous complex structure. Then the real symplectic manifold $(T^*(G/K),Ω)$ has the natural complex structure $J^-$. We construct all $G$-invariant Kähler structures $(J,Ω)$ on homogeneous domains in $T^*(G/K)$ anticommuting with $J^-$. Each such a hypercomplex structure, together with a suitable metric, defines a hyperkähler structure. As an application, we obtain a new proof of the Harish-Chandra and Moore theorem.
In this paper, we prove that the tangent bundle of the moduli space $\cSU_C(r,d)$ of stable bundles of rank $r>2$ and of fixed determinant of degree $d$ (such that $(r,d)=1$), on a smooth projective curve $C$ is always stable, in the sense of Mumford-Takemoto. This verifies a well-known conjecture, and is related to a conjectural existence of a Kähler-Einstein metric on Fano varieties with Picard number one.
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 offer a new approach to proving the Chen-Donaldson-Sun theorem which we demonstrate with a series of examples. We discuss the existence of a construction of a special metric on stable vector bundles over the surfaces formed by a families of curves and its relation to the one-dimensional cycles in the moduli space of stable bundles on curves.
We define and study the existence of very stable Higgs bundles on Riemann surfaces, how it implies a precise formula for the multiplicity of the very stable components of the global nilpotent cone and its relationship to mirror symmetry. The main ingredients are the Bialynicki-Birula theory of ${\mathbb C}^*$-actions on semiprojective varieties, ${\mathbb C}^*$ characters of indices of ${\mathbb C}^*$-equivariant coherent sheaves, Hecke transformation for Higgs bundles, relative Fourier-Mukai transform along the Hitchin fibration, hyperholomorphic structures on universal bundles and cominuscul…
We construct an explicit example of a stable bundle on the twistor space $\mathrm{Tw}(M)$ of a hyperkähler manifold $M$ whose restrictions to all the fibres of the natural twistor projection $π: \mathrm{Tw}(M) \to \mathbb{CP}^1$ are nonstable. We also describe the relationship between bundles on $\mathrm{Tw}(M)$ that do not have subsheaves of strictly lower rank and bundles that stably restrict to the fibres of $π$, and announce a result whose proof will appear in a forthcoming paper.
We study natural families of d-bar operators on the moduli space of stable parabolic vector bundles. Applying a families index theorem for hyperbolic cusp operators from our previous work, we find formulae for the Chern characters of the associated index bundles. The contributions from the cusps are explicitly expressed in terms of the Chern characters of natural vector bundles related to the parabolic structure. We show that our result implies formulae for the Chern classes of the associated determinant bundles consistent with a result of Takhtajan and Zograf.
The Chow-Mumford (CM) line bundle is a functorial line bundle on the base of any family of klt Fano varieties. It is conjectured that it yields a polarization on the moduli space of K-poly-stable klt Fano varieties. Proving ampleness of the CM line bundle boils down to showing semi-positivity/positivity statements about the CM-line bundle for families with K-semi-stable/K-polystable fibers. We prove the necessary semi-positivity statements in the K-semi-stable situation, and the necessary positivity statements in the uniform K-stable situation, including in both cases variants assuming K-stabi…
Using gauge theory for Spin(7)-manifolds of dimension 8, we develop a procedure, called Spin-rotation, which transforms a (stable) holomorphic structure on a vector bundle over a complex torus of dimension 4 into a new holomorphic structure over a different complex torus. We show non-trivial examples of this procedure by rotating a decomposable Weil abelian variety into a non-decomposable one. As a byproduct, we obtain a Bogomolov type inequality, which gives restrictions for the existence of stable bundles on an abelian variety of dimension 4, and show examples in which this is stronger than …
Given a holomorphic vector bundle $E$ on the twistor space $\mathrm{Tw}(M)$ of a simple hyperkähler manifold $M$, we view it as a family of bundles $\left\{E_I\right\}$ on the fibres $π^{-1}(I)$ of the twistor projection $π: \mathrm{Tw}(M) \to \mathbb{CP}^1$, and study the relationship between stability of $E$ and its fibrewise stability. We verify that the argument of Teleman establishing the Zariski openness of stability and semi-stability in families of bundles applies in the case of the family $\left\{E_I\right\}$. We prove a partial converse to a result of Kaledin and Verbitsky, showing t…
We prove a case of the conjecture of Douglas, Reinbacher and Yau about the existence of stable vector bundles with prescribed Chern classes on a Calabi-Yau threefold. For this purpose we prove the existence of certain stable vector bundle extensions over elliptically fibered Calabi-Yau threefolds.
In this paper we present a construction of stable bundles on Calabi-Yau threefolds using the method of bundle extensions. This construction applies to any given Calabi-Yau threefold with h^{1,1}>1. We give examples of stable bundles of rank 2 and 4 constructed out of pure geometric data of the given Calabi-Yau space. As an application, we find that some of these bundles satisfy the physical constraint imposed by heterotic string anomaly cancellation.
We investigate Chow stability of projective bundles P(E) where E is a strictly Gieseker stable bundle over a base manifold that has constant scalar curvature. We show that, for suitable polarisations L, the pair (P(E),L) is Chow stable and give examples for which it is not asymptotically Chow stable.
We prove that a given Calabi-Yau threefold with a stable holomorphic vector bundle can be perturbed to a solution of the Strominger system provided that the second Chern class of the vector bundle is equal to the second Chern class of the tangent bundle. If the Calabi-Yau threefold has strict SU(3) holonomy then the equations of motion derived from the heterotic string effective action are also satisfied by the solutions we obtain.
We consider the notion of stable isomorphism of bundle gerbes. It has the consequence that the stable isomorphism classes of bundle gerbes over a manifold M are in bijective correspondence with H^3(M, Z). Stable isomorphism sheds light on the local theory of bundle gerbes and enables us to develop a classifying theory for bundle gerbes using results of Gajer on BC^x bundles.
In this paper, we study Higgs bundles on non-compact Hermitian manifolds. Under some assumptions for the underlying Hermitian manifolds which are not necessarily Kähler, we solve the Hermitian-Einstein equation on analytically stable Higgs bundles.
Let Sigma be a smooth complex curve, and let S be the product ruled surface Sigma \times CP^1. We prove a correspondence conjectured by Donaldson between finite energy U(2)-instantons over the cylinder Sigma \times S^1 \times R, and rank 2 holomorphic bundles over S whose restrictions to the divisors at infinity are stable.
In this paper, we study the semi-stable twisted holomorphic vector bundles over compact Gauduchon manifolds. By using Uhlenbeck--Yau's continuity method, we show that the existence of approximate Hermitian--Einstein structure and the semi-stability of twisted holomorphic vector bundles are equivalent over compact Gauduchon manifolds. As its application, we show that the Bogomolov type inequality is also valid for a semi-stable twisted holomorphic vector bundle.
In this paper, using Donaldson's heat flow, we show that the semi-stability of a Higgs bundle over a compact Kähler manifold implies the existence of approximate Hermitian-Einstein structure on the Higgs bundle.
We give a method to construct stable vector bundles whose rank divides the degree over curves of genus bigger than one. The method complements the one given by Newstead. Finally, we make some systematic remarks and observations in connection with rationality of moduli spaces of stable vector bundles.
The Corlette-Donaldson-Hitchin-Simpson's correspondence states that, on a compact Kähler manifold $(X, ω)$, there is a one-to-one correspondence between the moduli space of semisimple flat complex vector bundles and the moduli space of poly-stable Higgs bundles with vanishing Chern numbers. In this paper, we extend this correspondence to the projectively flat bundles case. We prove that there is an equivalence of categories between the category of $ω$-semi-stable (poly-stable) Higgs bundles $(E, \overline{\partial}_{E}, ϕ)$ with $(2rc_{2}(E)-(r-1)c_{1}^{2}(E))\cdot [ω]^{n-2}=0 $ and the catego…
We discuss conditions for the integrability of an almost complex structure defined on the total space of an induced Hopf S^3-bundle over a Sasakian manifold . As an application, we obtain an uncountable family of inequivalent complex structures on the Stiefel manifolds of orthonormal 2-frames in C^{n+1}, non compatible with its standard hypercomplex structure. Similar families of complex structures are constructed on the Stiefel manifold of oriented orthonormal 4-frames in R^{n+1}, as well as on some special Stiefel manifolds related to the groups G_2 and Spin(7).
The moduli space of holomorphic fiber bundles ${\cal M}_n(\Si)$ over a compact Riemann surface $\Si$ is considered. A formula for the regularised determinant and an other for the symplectic form at trivial bundle are proposed.
In this note we show that every (real or complex) vector bundle over a compact rank one symmetric space carries, after taking the Whitney sum with a trivial bundle of sufficiently large rank, a metric with nonnegative sectional curvature. We also examine the case of complex vector bundles over other manifolds, and give upper bounds for the rank of the trivial bundle that is necessary to add when the base is a sphere.
In this paper we provide examples of hypercomplex manifolds which do not carry HKT structure. We also prove that the existence of HKT structure is not stable under small deformations. Similarly we provide examples of compact complex manifolds with vanishing first Chern class which do not admit a Hermitian structure with restricted holonomy of its Bismut connection in SU(n). Again we prove that such property is not stable under small deformations.
By the work of Hong and Tian it is known that given a holomorphic vector bundle E over a compact Kahler manifold X, the Yang-Mills flow converges away from an analytic singular set. If E is semi-stable, then the limiting metric is Hermitian-Einstein and will decompose the limiting bundle into a direct sum of stable bundles. Bando and Siu prove this limiting bundle can be extended to a reflexive sheaf E' on all of X. In this paper, we construct an isomorphism between E' and the double dual of the stable quotients of the graded Seshadri filtration of E.
We determine the quantum cohomology of the moduli space of odd degree rank two stable vector bundles over a Riemann surface $Σ$ of any genus. This work together with dg-ga/9710029 prove that this quantum cohomology is isomorphic to the instanton Floer cohomology of the three manifold $Σ\times S^1$. (Note: There is some overlap with the previous paper: alg-geom/9711013).
The purpose of this paper is to investigate canonical metrics on a semi-stable vector bundle E over a compact Kahler manifold X. It is shown that, if E is semi-stable, then Donaldson's functional is bounded from below. This implies that E admits an approximate Hermitian-Einstein structure, generalizing a classic result of Kobayashi for projective manifolds to the Kahler case. As an application some basic properties of semi-stable vector bundles over compact Kahler manifolds are established, such as the fact that semi-stability is preserved under tensor product and certain exterior and symmetri…
Let $M$ be a compact complex manifold of dimension at least three and $Π: M\rightarrow X$ a positive principal elliptic fibration, where $X$ is a compact Kähler orbifold. Fix a preferred Hermitian metric on $M$. In \cite{V}, the third author proved that every stable vector bundle on $M$ is of the form $L\otimes Π^*B_0$, where $B_0$ is a stable vector bundle on $X$, and $L$ is a holomorphic line bundle on $M$. Here we prove that every stable Higgs bundle on $M$ is of the form $(L\otimes Π^*B_0,Π^*Φ_X)$, where $(B_0, Φ_X)$ is a stable Higgs bundle on $X$ and $L$ is a holomorphic line bundle on $…
In this paper, we consider the exact triangles consisting of stable vector bundles on one-dimensional complex tori, and give a geometric interpretation of them in terms of the corresponding Fukaya category via the homological mirror symmetry.
For a holomorphic vector bundle over a compact Kähler orbifold, the slope stability of the bundle is shown to be equivalent to the existence of a Hermitian-Einstein metric or to the properness of a certain functional introduced by Donaldson.
We prove that the Teichmüller space $\mathcal{T}^{<0}(M)$ of negatively curved metrics on a hyperbolic manifold $M$ has nontrivial $i$-th rational homotopy groups for some $i> \dim M$. Moreover, some elements of infinite order in $π_i B\mbox{Diff}(M)$ can be represented by bundles over $S^i$ with fiberwise negatively curved metrics.
We use classical results in smoothing theory to extract information about the rational homotopy groups of the space of negatively curved metrics on a high dimensional manifold. It is also shown that smooth M-bundles over spheres equipped with fiberwise negatively curved metrics, represent elements of finite order in the homotopy groups of the classifying space for smooth M-bundles, provided the dimension of M is large enough.
