We define the C^*-action on moduli spaces of reductive representations of fundamental groups of quasi-compact Kaehler manifolds by solving Hermitian-Yang-Mills equation. As applications in algebraic geometry we show a non-abelian Hodge (p,q)-type theorem for families of quasi-projective manifolds. We also prove that any discrete sub group of a Lie group of rank >1 that is not of Hodge type can't be the fundamental group of a quasi-compact Kaehler manifold.
We characterize those unipotent representations of the fundamental group $π_1(X,x)$ of a compact Kaehler manifold $X$, which correspond to a Higgs bundle whose underlying Higgs field is equal to zero. The characterization is parallel to the one that R. Hain gave of those unipotent representations of $π_1(X,x)$ that can be realized as the monodromy of a flat connection on the holomorphically trivial vector bundle. We see that Hain's result and ours follow from a careful study of Simpson's correspondence between Higgs bundles and local systems.
We consider the moduli space MN of flat unitary connections on an open Kaehler manifold U (complement of a divisor with normal crossings) with restrictions on their monodromy transformations. Using intersection and L2 cohomologies with degenerating coefficients we construct a natural symplectic form F on MN. When U is quasi-projective we prove that F is actually a Kaehler form.
We study the asymptotics of Fubini-Study currents and zeros of random holomorphic sections associated to a sequence of singular Hermitian line bundles on a compact normal Kaehler complex space.
Let $X$ be a compact connected Kähler manifold equipped with an anti-holomorphic involution which is compatible with the Kähler structure. Let $G$ be a connected complex reductive affine algebraic group equipped with a real form $σ_G$. We define pseudo-real principal $G$--bundles on $X$; these are generalizations of real algebraic principal $G$--bundles over a real algebraic variety. Next we define stable, semistable and polystable pseudo-real principal $G$--bundles. Their relationships with the usual stable, semistable and polystable principal $G$--bundles are investigated. We then prove that…
We study complex compact Kaehler manifolds $X$ carrying a contact structure. If $X$ is almost homogeneous and $b_2(X) \geq 2$, then $X$ is a projectivised tangent bundle (this was known in the projective case even without assumption on the existence of vector fields). We further show that a global projective deformation of the projectivised tangent bundle over a projective space is again of this type unless it is the projectivisation of a special unstable bundle over a projective space. Examples for these bundles are given in any dimension.
Let X be a compact Kaehler manifold. We expect that any direct sum decomposition of the tangent bundle T(X) comes from a splitting of the universal covering space of X as a product of manifolds, in such a way that the given decomposition of T(X) lifts to the canonical decomposition of the tangent bundle of a product. We prove this assertion when X is a Kaehler-Einstein manifold or a Kaehler surface. Simple examples show that the Kaehler hypothesis is necessary.
Let $E\to M$ be a holomorphic vector bundle over a compact Kaehler manifold $(M, ω)$. We prove that if $E$ admits a $ω$-balanced metric (in X. Wang's terminology) then it is unique. This result together with a result of L. Biliotti and A. Ghigi implies the existence and uniqueness of $ω$-balanced metrics of certain direct sums of irreducible homogeneous vector bundles over rational homogeneous varieties. We finally apply our result to show the rigidity of $ω$-balanced Kaehler maps into Grassmannians.
This paper concerns the explicit construction of extremal Kaehler metrics on total spaces of projective bundles, which have been studied in many places. We present a unified approach, motivated by the theory of hamiltonian 2-forms (as introduced and studied in previous papers in the series) but this paper is largely independent of that theory. We obtain a characterization, on a large family of projective bundles, of those `admissible' Kaehler classes (i.e., the ones compatible with the bundle structure in a way we make precise) which contain an extremal Kaehler metric. In many cases, such as o…
Given a compact Kaehler manifold X, it is shown that pairs of the form (E, D), where E is a trivial holomorphic vector bundle on X, and D is an integrable holomorphic connection on $E$, produce a neutral Tannakian category. The corresponding pro-algebraic affine group scheme is studied. In particular, it is shown that this pro-algebraic affine group scheme for a compact Riemann surface determines uniquely the isomorphism class of the Riemann surface.
Based on work of R. Lazarsfeld and M. Popa, we use the derivative complex associated to the bundle of the holomorphic p-forms to provide inequalities for all the Hodge numbers of a special class of irregular compact Kaehler manifolds. For 3-folds and 4-folds we give an asymptotic bound for all the Hodge numbers in terms of the irregularity. As a byproduct, via the BGG correspondence, we also bound the regularity of the exterior cohomology modules of bundles of holomorphic p-forms.
Let $E\rightarrow M$ be a holomorphic vector bundle over a compact Kaehler manifold $(M, ω)$ and let $E=E_1\oplus... \oplus E_m\rightarrow M$ be its decomposition into irreducible factors. Suppose that each $E_j$ admits a $ω$-balanced metric in Donaldson-Wang terminology. In this paper we prove that $E$ admits a unique $ω$-balanced metric if and only if $\frac{r_j}{N_j}=\frac{r_k}{N_k}$ for all $j, k=1, ..., m$, where $r_j$ denotes the rank of $E_j$ and $N_j=\dim H^0(M, E_j)$. We apply our result to the case of homogeneous vector bundles over a rational homogeneous variety $(M, ω)$ and we show…
This paper studies the infinitesimal variation of the Lefschetz decomposition associated with a compatible sl_2-representation on a graded algebra. This allows to prove that the Jordan-Lefschetz property holds infinitesimally for the Kaehler Lie algebra (introduced by Looijenga and Lunts) of any compact Kaehler manifold. As a second application we describe how the space of harmonic forms changes when a Ricci-flat Kaehler form is deformed infinitesimally.
We introduce the notion of a hamiltonian 2-form on a Kaehler manifold and obtain a complete local classification. This notion appears to play a pivotal role in several aspects of Kaehler geometry. In particular, on any Kaehler manifold with co-closed Bochner tensor, the (suitably normalized) Ricci form is hamiltonian, and this leads to an explicit description of these Kaehler metrics, which we call weakly Bochner-flat. Hamiltonian 2-forms draw attention to a general construction of Kaehler metrics which interpolates between toric geometry and Calabi-like constructions of metrics on (projective…
This expository paper details the theory of rank one Higgs bundles over a closed Riemann surface X and their relationship to representations of the fundamental group of X. We construct an equivalence between the deformation theories of flat connections and Higgs pairs. This provides an identification of moduli spaces arising in different contexts. The moduli spaces are real Lie groups. From each context arises a complex structure, and the different complex structures define a hyper-Kaehlerstructure. The twistor space, real forms, and various group actions are computed explicitly in terms of th…
We prove the existence of a Mori contraction on a compact Kaehler threefold whose canonical bundle is (analytically) not nef if the threefold can be approximated by projective threefolds or if the algebraic dimension is 2.
We prove abundance for a minimal Kaehler threefold which is not both simple and non-Kummer. Recall that a variety is simple if there is no compact subvariety of positive dimension through a sufficiently general point . Furthermore we prove that a smooth compact Kaehler threefold whose canonical bundle is not nef, carries a contraction unless (possibly) the manifold is simple non-Kummer. It is generally conjectured that simple threefolds must be Kummer.
We present a classification of compact Kaehler manifolds admitting a hamiltonian 2-form (which were classified locally in part I of this work). This involves two components of independent interest. The first is the notion of a rigid hamiltonian torus action. This natural condition, for torus actions on a Kaehler manifold, was introduced locally in part I, but such actions turn out to be remarkably well behaved globally, leading to a fairly explicit classification: up to a blow-up, compact Kaehler manifolds with a rigid hamiltonian torus action are bundles of toric Kaehler manifolds. The second…
Given a complex manifold $X$, a normal crossing divisor $D\subset X$ whose irreducible components $D_1,...,D_s$ are smooth, and a choice of natural numbers $r=(r_1,...,r_s)$, we construct a manifold $X(D,\ur)$ with an action of a torus $Γ$ and we prove that some full subcategory of the category of $Γ$-equivariant vector bundles on $X(D,r)$ is equivalent to the category of parabolic vector bundles on $(X,D)$ in which the lengths of the filtrations over each irreducible component of $X$ are given by $r$. When $X$ is Kaehler, we study the Kaehler cone of $X(D,r)$ and the relation between the corr…
Let $X$ be a compact connected Riemann surface of genus $g$, with $g \geq 2$. For each $d <η(X)$, where $η(X)$ is the gonality of $X$, the symmetric product $\text{Sym}^d(X)$ embeds into $\text{Pic}^d(X)$ by sending an effective divisor of degree $d$ to the corresponding holomorphic line bundle. Therefore, the restriction of the flat Kähler metric on $\text{Pic}^d(X)$ is a Kähler metric on $\text{Sym}^d(X)$. We investigate this Kähler metric on $\text{Sym}^d(X)$. In particular, we estimate it's Bergman kernel. We also prove that any holomorphic automorphism of $\text{Sym}^d(X)$ is an isometry.
In general, the product of harmonic forms is not harmonic. We study the top exterior power of harmonic two-forms on compact Kaehler manifolds. Often, it is not harmonic. This phenomenon is related to the geometry of the manifold and to the existence of rational curves in particular. K3 surfaces and hyperkaehler manifolds are discussed in detail.
We show the vanishing of the log-term in the Fefferman expansion of the Bergman kernel of the disk bundle over a compact simply-connected homogeneous Kaehler--Einstein manifold of classical type.
Let $L$ be a holomorphic line bundle over a compact Kähler manifold $X$ endowed with a singular Hermitian metric $h$ with curvature current $c_1(L,h)\geq0$. In certain cases when the wedge product $c_1(L,h)^k$ is a well defined current for some positive integer $k\leq\dim X$, we prove that $c_1(L,h)^k$ can be approximated by averages of currents of integration over the common zero sets of $k$-tuples of holomorphic sections over $X$ of the high powers $L^p:=L^{\otimes p}$. In the second part of the paper we study the convergence of the Fubini-Study currents and the equidistribution of zeros of …
We consider a compact Kaehler manifold whose dual Kaehler cone contains a rational interior point. The general problem we have in mind is how far the manifold is from being projective; i.e. we ask for the algebraic dimension. We prove e.g. that if the interior point is represented by an effective curve in dimension 3, then the manifold has algebraic dimension at least 2 unless the variety is a so-called simple non-Kummer 3-fold. We also investigate 3-folds containing curves with ample normal bundle. It seems likely that examples with algebraic dimension 2 really exist.
We obtain estimates on the character of the cohomology of an $S^1$-equivariant holomorphic vector bundle over a Kaehler manifold $M$ in terms of the cohomology of the Lerman symplectic cuts and the symplectic reduction of $M$. In particular, we prove and extend inequalities conjectured by Wu and Zhang. The proof is based on constructing a flat family of complex spaces $M_t$ such that $M_t$ is isomorphic to $M$ for $t\not=0$, while $M_0$ is a singular reducible complex space, whose irreducible components are the Lerman symplectic cuts.
Let $M$ be a Kaehler manifold, and consider the total space $T^*M$ of the cotangent bundle to $M$. We show that in the formal neighborhood of the zero section $M \subset T^*M$ the space $T^*M$ admits a canonical hyperkaehler structure, compatible with the complex and holomorphic symplectic structures on $T^*M$. The associated hyperkaehler metric $h$ coincides with the given Kaehler metric on the zero section $M \subset T^*M$. Moreover, $h$ is invariant under the canonical circle action on $T^*M$ by dilatations along the fibers of $T^*M$ over $M$. We show that a hyperkaehler structure with thes…
We characterize Kaehler manifolds with trivial logarithmic tangent bundle (with respect to a divisor D) as a class of certain compatifications of complex semi-tori.
Let $X$ be a compact Kaehler manifold and $E\to X$ a principal $K$ bundle, where $K$ is a compact connected Lie group. Let ${\cal A}^{1,1}$ be the set of connections on $E$ whose curvature lies in $Ω^{1,1}(E\times_{Ad} {\frak k})$, where ${\frak k}$ is the Lie algebra of $K$. Endow $\frak k$ with a nondegenerate biinvariant bilinear pairing. This allows to identify $\{\frak k}\simeq{\frak k}^*$. Let $F$ be a Kaehler left $K$-manifold and suppose that there exists a moment map $μ$ for the action of $K$ on $F$. Let ${\cal S}=Γ(E\times_K F)$. In this paper we study the equation $$ΛF_A+μ(Φ)=c$$ fo…
Phenomenological implications of the volume of the Calabi-Yau threefolds on the hidden and observable M-theory boundaries, together with slope stability of their corresponding vector bundles, constrain the set of Kaehler moduli which give rise to realistic compactifications of the strongly coupled heterotic string. When vector bundles are constructed using extensions, we provide simple rules to determine lower and upper bounds to the region of the Kaehler moduli space where such compactifications can exist. We show how small these regions can be, working out in full detail the case of the rece…
We prove the Kobayashi-Hitchin correspondence between good wild harmonic bundles and polystable good filtered $λ$-flat bundles satisfying a vanishing condition. We also study the correspondence for good wild harmonic bundles with the homogeneity with respect to a group action, which is expected to provide another way to construct Frobenius manifolds.
Let (M,I, ω, Ω) be a nearly Kaehler 6-manifold, that is, an SU(3)-manifold with the (3,0)-form Ωand the Hermitian form ωwhich satisfies $dω=3λ\ReΩ, d\ImΩ=-2λω^2$, for a non-zero real constant λ. We develop an analogue of Kaehler relations on M, proving several useful identities for various intrinsic Laplacians on M. When M is compact, these identities bring powerful results about cohomology of M. We show that harmonic forms on M admit the Hodge decomposition, and prove that H^{p,q}(M)=0 unless p=q or (p=1, q=2) or (p=2, q=1).
The consequences of the splitting of higher jet sequences of vector bundles on a compact complex (Kaehler) manifold are studied, proving an infinitesimal convers to a result of I.Biswas.
We define the notion of a loop Hodge structure -- an infinite dimensional generalization of a Hodge structure -- and prove that a suitable variation of this object over a complex manifold is equivalent to the datum of a harmonic bundle. Hence one can study harmonic bundles using classical tools of Hodge theory, especially the existence of a period map (with values in an infinite dimensional period domain). Among other applications, we prove an integrality result for the Hitchin energy class of a harmonic bundle.
We study (i) asymptotic behaviour of wild harmonic bundles, (ii) the relation between semisimple meromorphic flat connections and wild harmonic bundles, (iii) the relation between wild harmonic bundles and polarized wild pure twistor $D$-modules. As an application, we show the hard Lefschetz theorem for algebraic semisimple holonomic $D$-modules, conjectured by M. Kashiwara.
Let $M\stackrelπ\arrow X$ be a principal elliptic fibration over a Kaehler base $X$. We assume that the Kaehler form on $X$ is lifted to an exact form on $M$ (such fibrations are called positive). Examples of these are regular Vaisman manifolds (in particular, the regular Hopf manifolds) and Calabi-Eckmann manifolds. Assume that $\dim M > 2$. Using the Kobayashi-Hitchin correspondence, we prove that all stable bundles on $M$ are flat on the fibers of the elliptic fibration. This is used to show that all stable vector bundles on $M$ take form $L\otimes π^* B_0$, where $B_0$ is a stable bundle o…
Let $X$ be a smooth projective complex variety with an ample line bundle $L$, and let $D$ be a simple normal crossing divisor. We establish the Kobayashi-Hitchin correspondence between tame harmonic bundles on $X-D$ and $μ_L$-stable parabolic $λ$-flat bundles with trivial characteristic numbers on $(X,D)$. Especially, we obtain the quasiprojective version of the Corlette-Simpson correspondence between flat bundles and Higgs bundles.
We consider the problem of existence of constant scalar curvature Kaehler metrics on complete intersections of sections of vector bundles. In particular we give general formulas relating the Futaki invariant of such a manifold to the weight of sections defining it and to the Futaki invariant of the ambient manifold. As applications we give a new Mukai-Umemura-Tian like example of Fano 5-fold admitting no Kaehler-Einstein metric and a strong evidence of K-stability of complete intersections on Grassmannians.
A famous conjecture attributed to Kodaira asks whether any compact Kaehler manifold can be approximated by projective manifolds. We confirm this conjecture on projectivized direct sums of three line bundles on three-dimensional complex tori which appears rather surprising in view of expected dimensions of certain families of tori. We also discuss possible counter examples.
We prove that a compact contact threefold which is bimeromorphically equivalent to a Kaehler manifold and not rationally connected is the projectivised tangent bundle of a Kaehler surface.
Let $E$ be a holomorphic vector bundle. Let $θ$ be a Higgs field, that is a holomorphic section of $End(E)\otimesΩ^{1,0}_X$ satisfying $θ^2=0$. Let $h$ be a pluriharmonic metric of the Higgs bundle $(E,θ)$. The tuple $(E,θ,h)$ is called a harmonic bundle. Let $X$ be a complex manifold, and $D$ be a normal crossing divisor of $X$. In this paper, we study the harmonic bundle $(E,θ,h)$ over $X-D$. We regard $D$ as the singularity of $(E,θ,h)$, and we are particularly interested in the asymptotic behaviour of the harmonic bundle around $D$. We will see that it is similar to the asymptotic behaviou…
Let $M$ be a compact, holomorphic symplectic Kaehler manifold, and $L$ a non-trivial line bundle admitting a metric of semi-positive curvature. We show that some power of $L$ is effective. This result is related to the hyperkaehler SYZ conjecture, which states that such a manifold admits a holomorphic Lagrangian fibration, if $L$ is not big.
We compute the Szego kernel of the unit circle bundle of a negative line bundle dual to a regular quantum line bundle over a compact Kaehler manifold. As a corollary we provide an infinite family of smoothly bounded strictly pseudoconvex domains on complex manifolds (disk bundles over homogeneous Hodge manifolds) for which the log-terms in the Fefferman expansion of the Szego kernel vanish and which are not locally CR-equivalent to the sphere. We also give a proof of the fact that, for homogeneous Hodge manifolds, the existence of a locally spherical CR-structure on the unit circle bundle alon…
We define and construct the real analytic moduli stack of pluriharmonic bundles on a compact Kaehler manifold X, and show how this is equipped with Hodge and quaternionic structures. This stack maps to the de Rham moduli stack, giving rise to preferred sections of the Deligne-Hitchin twistor stack. We then show how the non-abelian mixed Hodge structures on Malcev homotopy types X can be extended to objects over the pluriharmonic moduli stack.
The Hitchin-Kobayashi correspondence for vector bundles, established by Donaldson, Kobayashi, Luebke, Uhlenbeck and Yau, states that an indecomposable holomorphic vector bundle over a compact Kaehler manifold is stable in the sense of Takemoto-Mumford if and only if the vector bundle admits a Hermitian-Einstein metric. Its manifold analogue known as Yau's conjecture, which originated from Calabi's conjecture, asks whether ``stability'' and ``existence of extremal metrics'' for polarized manifolds are equivalent. In this note, the recent progress of this subject, by Donaldson, Tian and our grou…
Let $M$ be a compact complex manifold equipped with a Gauduchon metric. If $TM$ is holomorphically trivial, and (V, θ) is a stable SL(r,{\mathbb C})-Higgs bundle on $M$, then we show that $θ= 0$. We show that the correspondence between Higgs bundles and representations of the fundamental group for a compact Kaehler manifold does not extend to compact Gauduchon manifolds. This is done by applying the above result to G/Γ, where $Γ$ is a discrete torsionfree cocompact subgroup of a complex semisimple group $G$.
We study the asymptotic behaviour of tame harmonic bundles. First of all, we prove a local freeness of the prolongation by an increasing order. Then we obtain the polarized mixed twistor structure. As one of the applications, we obtain the norm estimate of holomorphic or flat sections by weight filtrations of the monodromies. As other application, we establish the correspondence of semisimple regular holonomic $D$-modules and polarizable pure imaginary pure twistor $D$-modules through a tame pure imaginary harmonic bundles, which is a conjecture of Sabbah. Then the regular holonomic version of…
We study a class of supersymmetric spinning particle models derived from the radial quantization of stationary, spherically symmetric black holes of four dimensional N= 2 supergravities. By virtue of the c-map, these spinning particles move in quaternionic Kaehler manifolds. Their spinning degrees of freedom describe mini-superspace-reduced supergravity fermions. We quantize these models using BRST detour complex technology. The construction of a nilpotent BRST charge is achieved by using local (worldline) supersymmetry ghosts to generating special holonomy transformations. (An interesting byp…
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.
Given an effectively parameterized family of canonically polarized manifolds the Kaehler-Einstein metrics on the fibers induce a hermitian metric on the relative canonical bundle. We use a global elliptic equation to show that this metric is strictly positive. For degenerating families we obtain a singular hermitian metric. Main application is an analytic proof of the quasi-projectivity of the moduli space of canonically polarized manifolds. Further applications in arXiv:1002.4858v2.
This survey studies equivariant harmonic maps arising from Higgs bundles. We explain the non-abelian Hodge correspondence and focus on the role of equivariant harmonic maps in the correspondence. With the preparation, we review current progress towards some open problems in the study of equivariant harmonic maps.
Let $E$ be a holomorphic vector bundle endowed with a singular Hermitian metric $H$. In this paper, we develop the harmonic theory on $(E,H)$. Then we extend several canonical results of J. Kollár and K. Takegoshi to this situation. In the end, we generalise Nakano's vanishing theorem.
We establish the correspondence between tame harmonic bundles and $μ_L$-stable parabolic Higgs bundles with trivial characteristic numbers. We also show the Bogomolov-Gieseker type inequality for $μ_L$-stable parabolic Higgs bundles. Then we show that any local system on a smooth quasi projective variety can be deformed to a variation of polarized Hodge structure. As a consequence, we can conclude that some kind of discrete groups cannot be a split quotient of the fundamental group of a smooth quasi projective variety.
A twisted quiver bundle is a set of holomorphic vector bundles over a complex manifold, labelled by the vertices of a quiver, linked by a set of morphisms twisted by a fixed collection of holomorphic vector bundles, labelled by the arrows. When the manifold is Kaelher, quiver bundles admit natural gauge-theoretic equations, which unify many known equations for bundles with extra structure. In this paper we prove a Hitchin--Kobayashi correspondence for twisted quiver bundles over a compact Kaehler manifold, relating the existence of solutions to the gauge equations to a stability criterion, and…
