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.
The aim of this paper is to study the pro-algebraic fundamental group of a compact Kaehler manifold. Following work by Simpson, the structure of this group's pro-reductive quotient is already well understood. We show that Hodge-theoretic methods can also be used to establish that the pro-unipotent radical is quadratically presented. This generalises both Deligne et al.'s result on the de Rham fundamental group, and Goldman and Millson's result on deforming representations of Kaehler groups, and can be regarded as a consequence of formality of the schematic homotopy type. New examples are given…
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 $S$ be a Riemann surface obtained by deleting a finite number of points, called cusps, from a compact Riemann surface. Let $ρ: π_1(S)\to Sl(n, \mathbb{C})$ be a semisimple linear representation of $π_1(S)$ which is unipotent near the cusps. We investigate various cohomologies associated to $ρ$ of $\bar S$ with degenerating coefficients $L_ρ$ (considered as a local system -- a flat vector bundle, a Higgs bundle, or a $\mathcal{D}$-module, depending on the context): the Čech cohomology of $j_*L_ρ$, the $L^2$-cohomology, the $L^2$-Dolbeault cohomology, and the $L^2$-Higgs cohomology, and the …
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.
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 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.
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…
We study a natural map from representations of a free (resp. free abelian) group of rank g in GL_r(C), to holomorphic vector bundles of degree zero over a compact Riemann surface X of genus g (resp. complex torus X of dimension g). This map defines what is called a Schottky functor. Our main result is that this functor induces an equivalence between the category of unipotent representations of Schottky groups and the category of unipotent vector bundles on X. We also show that, over a complex torus, any vector or principal bundle with a flat holomorphic connection is Schottky.
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.
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.
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 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.
For an abeloid variety $A$ over a complete algebraically closed field extension $K$ of $\mathbb Q_p$, we construct a $p$-adic Corlette-Simpson correspondence, namely an equivalence between finite-dimensional continuous $K$-linear representations of the Tate module and a certain subcategory of the Higgs bundles on $A$. To do so, our central object of study is the category of vector bundles for the $v$-topology on the diamond associated to $A$. We prove that any pro-finite-étale $v$-vector bundle can be built from pro-finite-étale $v$-line bundles and unipotent $v$-bundles. To describe the latte…
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\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.
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.
Assume that the local universal deformation of a Calabi-Yau 3-manifold X has an automorphism which does not act by 1 or -1 on the third cohomology. We show that the $F^2$ bundle in the Variation of Hodge structures of each maximal family containing $X$ is constant in this case. Thus X cannot be a fiber of a maximal family with maximally unipotent monodromy, if such an automorphism exists. Moreover we classify the possible actions of such an automorphism on the third cohomology, construct examples and show that the period domain is a complex ball containing a dense set of complex multiplication…
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.
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.
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…
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$.
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…
Let $X$ be a projective manifold, and $D$ be a normal crossing divisor of $X$. By Jost-Zuo's theorem that if we have a reductive representation $ρ$ of the fundamental group $π_{1}(X^{*})$ with unipotent local monodromy, where $X^*=X-D$, then there exists a tame pluriharmonic metric $h$ on the flat bundle $\mathcal V$ associated to the local system $\mathbb V$ obtain from $ρ$ over $X^*$. Therefore, we get a harmonic bundle $(E, θ, h)$, where $θ$ is the Higgs field, i.e. a holomorphic section of $End(E)\otimesΩ^{1,0}_{X^*}$ satisfying $θ^2=0$. In this paper, we study the harmonic bundle $(E,θ,h)…
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.
In our previous paper, we studied the category of semifinite bundles on a proper variety defined over a field of characteristic 0. As a result, we obtained the fact that for a smooth projective curve defined over an algebraically closed field of characteristic 0 with genus $g>1$, Nori fundamental group acts faithfully on the unipotent fundamental group of its universal covering. However, it was not mentioned about any explicit module structure. In this paper, we prove that the Chevalley-Weil formula gives a description of it.
Let $G$ be an algebraic group and let $X$ be a smooth $G$-variety with two orbits: an open orbit and a a closed orbit of codimension $1$. We give an algebraic description of the category of $G$-equivariant vector bundles on $X$ under a mild technical hypothesis. We deduce simpler classifications in the special cases of line bundles and vector bundles which are generically local systems. We apply our results to the study of admissible representations of semisimple Lie groups. Our main result gives a new set of constraints on the associated cycles of unipotent representations.
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…
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…
We study Nahm transformation for parabolic Higgs bundles on the projective line \PP^1, with logarithmic singularities on a finite set P. Such a Higgs bundle can be given by its spectral data: a Hirzebruch surface Z together with a coherent sheaf M on Z, supported in dimension 1 and away from infinity. We describe the transform in terms of these data. The main technical tool is the notion of proper transform of a coherent sheaf with respect to a blow-up. Finally, we prove the main properties of the induced map on moduli spaces: involutibility and preservation of the hyper-Kaehler structure.
A new construction is presented of scalar-flat Kaehler metrics on non-minimal ruled surfaces. The method is based on the resolution of singularities of orbifold ruled surfaces which are closely related to rank-2 parabolically stable holomorphic bundles. This rather general construction is shown also to give new examples of low genus: in particular, it is shown that CP^2 blown up at 10 suitably chosen points, admits a scalar-flat Kaehler metric; this answers a question raised by Claude LeBrun in 1986 in connection with the classification of compact self-dual 4-manifolds.
Let $U$ be a graded unipotent group over the complex numbers, in the sense that it has an extension $\hat{U}$ by the multiplicative group such that the action of the multiplicative group by conjugation on the Lie algebra of $U$ has all its weights strictly positive. Given any action of $U$ on a projective variety $X$ extending to an action of $\hat{U}$ which is linear with respect to an ample line bundle on $X$, then provided that one is willing to replace the line bundle with a tensor power and to twist the linearisation of the action of $\hat{U}$ by a suitable (rational) character, and provi…
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…
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…
Let $U$ be a unipotent group which is graded in the sense that it has an extension $H$ by the multiplicative group of the complex numbers such that all the weights of the adjoint action on the Lie algebra of $U$ are strictly positive. We study embeddings of $H$ in a general linear group $G$ which possess Grosshans-like properties. More precisely, suppose $H$ acts on a projective variety $X$ and its action extends to an action of $G$ which is linear with respect to an ample line bundle on $X$. Then, provided that we are willing to twist the linearisation of the action of $H$ by a suitable (rati…
We study quotients of quasi-affine schemes by unipotent groups over fields of characteristic 0. To do this, we introduce a notion of stability which allows us to characterize exactly when a principal bundle quotient exists and, together with a cohomological vanishing criterion, to characterize whether or not the resulting quasi-affine quotient scheme is affine. We completely analyze the case of G_a-invariant hypersurfaces in a linear G_a-representation W; here the above characterizations admit simple geometric and algebraic interpretations. As an application, we produce arbitrary dimensional f…
Let (X, ω) be a compact connected Kaehler manifold of complex dimension d and E_G a holomorphic principal G-bundle on X, where G is a connected reductive linear algebraic group defined over C. Let Z (G) denote the center of G. We prove that the following three statements are equivalent: (1) There is a parabolic subgroup P of G and a holomorphic reduction of the structure group of E_G to P (say, E_P) such that the bundle obtained by extending the structure group of E_P to L(P)/Z(G) (where L(P) is the Levi quotient of P) admits a flat connection; (2) The adjoint vector bundle ad(E_G) is numerica…
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.
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 …
Consider an algebraic action of a connected complex reductive algebraic group on a complex polarized projective variety. In this paper, we first introduce the nilpotent quotient, the quotient of the polarized projective variety by a maximal unipotent subgroup. Then, we introduce and investigate three induced actions: one by the reductive group, one by a Borel subgroup, and one by a maximal torus, respectively. Our main result is that there are natural correspondences among quotients of these three actions. In the end, we mention a possible application to the moduli spaces of parabolic bundles …
We study the moduli stack of degree $0$ semistable $G$-bundles on an irreducible curve $E$ of arithmetic genus $1$, where $G$ is a connected reductive group. Our main result describes a partition of this stack indexed by a certain family of connected reductive subgroups $H$ of $G$ (the $E$-pseudo-Levi subgroups), where each stratum is computed in terms of $H$-bundles together with the action of the relative Weyl group. We show that this result is equivalent to a Jordan--Chevalley theorem for such bundles equipped with a framing at a fixed basepoint. In the case where $E$ has a single cusp (res…
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.
The goal of this note is to exhibit the integrability properties (in the sense of the Frobenius theorem) of holomorphic p-forms with values in certain line bundles with seminegative curvature on a compact Kaehler manifold. There are in fact very strong restrictions, both on the holomorphic form and on the curvature of the seminegative line bundle. As a consequence, these observations provide interesting information on the structure of projective manifolds which admit a contact structure: either they are Fano manifolds or, thanks to results of Kebekus-Peternell-Sommese-Wisniewski, they are biho…
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.
We place the representation variety in the broader context of abelian and nonabelian cohomology. We outline the equivalent constructions of the moduli spaces of flat bundles, of smooth integrable connections, and of holomorphic integrable connections over a compact Kaehler manifold. In addition, we describe the moduli space of Higgs bundles and how it relates to the representation variety. We attempt to avoid abstraction, but strive to present and clarify the unifying ideas underlying the theory.
Let G be a split connected reductive group over a finite field F_q, and N its maximal unipotent subgroup. V. Drinfeld has introduced a remarkable partial compactification of the moduli stack of N-bundles on a smooth projective curve X over F_q. In this paper we study Drinfeld's moduli space and a certain category of perverse sheaves on it. The definition of this category is motivated by the study of the Whittaker functions on the group G(K), where K=F_q((t)). We prove that our category is semi-simple, and that irreducible objects of this category are "clean", i.e., they are extenstions by 0 of…
