This paper has been withdrawn in order to replace it by two separate submissions:
1. Hamiltonian 2-forms in Kahler geometry III: Extremal metrics and stability, math.DG/0511118;
2. Hamiltonian 2-forms in Kahler geometry IV: Weakly Bochner-flat Kahler manifolds, math.DG/0511119.
As the titles indicate, the first paper covers the parts of this withdrawn submission concerning extremal Kahler metrics, while the second one deals the weakly Bochner-flat Kahler metrics.
However, the material for the first paper has been substantially revised and extended with several new results.
1. The exposition has been expanded and clarified, and some technical errors and missing arguments have been corrected.
2. A new computation of the modified K-energy is used to obtain a characterization of the admissible Kahler classes which contain an extremal Kahler metric. In particular, these results complete the classification of extremal Kahler metrics on ruled surfaces.
3. The existence of extremal Kahler metrics is related to the notion of relative K-stability leading in particular to some examples of projective varieties which are destabilized by a non-algebraic degeneration.
We believe that these results add considerable interest to our work, and go far beyond the original paper, which is why we have chosen to withdraw this paper and post the replacements as new submissions.
This is the third and final paper in a series which establish results announced in arXiv:1210.7494. In this paper we consider the Gromov-Hausdorff limits of metrics with cone singularities in the case when the limiting cone angle approaches 2π. We also put all our technical results together to complete the proof of the main theorem that if a K-stable Fano manifold admits a Kahler-Einstein metric.
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…
In this paper, we first prove a folklore conjecture on a greatest lower bound of the Calabi energy in all Kähler manifold. Similar result in algebriac setting was obtained by S. K. Donaldson. Secondly, we give an upper/lower bound estimate of the K energy in terms of the geodesic distance and the Calabi energy. This is used to prove a theorem on convergence of Kähler metrics in holomorphic coordinates, with uniform bound on the Ricci curvature and the diameter. Thirdly, we set up a framework for the existence of geodesic rays when an asymptotic direction is given. I
Let $\mathcal{K}(n, V)$ be the set of $n$-dimensional compact Kahler-Einstein manifolds $(X, g)$ satisfying $Ric(g)= - g$ with volume bounded above by $V$. We prove that after passing to a subsequence, any sequence $\{ (X_j, g_j)\}_{j=1}^\infty$ in $\mathcal{K}(n, V)$ converges, in the pointed Gromov-Hausdorff topology, to a finite union of complete Kahler-Einstein metric spaces without loss of volume. The convergence is smooth off a closed singular set of Hausdorff dimension no greater than $2n-4$, and the limiting metric space is biholomorphic to an $n$-dimensional semi-log canonical model w…
We study the construction and classification of weakly Bochner-flat (WBF) metrics (i.e., Kahler metrics with coclosed Bochner tensor) on compact complex manifolds. A Kahler metric is WBF if and only if its `normalized' Ricci form is a hamiltonian 2-form: such 2-forms were introduced and studied in previous papers in the series. It follows that WBF Kahler metrics are extremal. We construct many new examples of WBF metrics on projective bundles and obtain a classification of compact WBF Kahler 6-manifolds, extending work by the first three authors on weakly selfdual Kahler 4-manifolds. The const…
We give a new characterization of generalized Kähler structures in terms of their corresponding complex Dirac structures. We then give an alternative proof of Hitchin's partial unobstructedness for holomorphic Poisson structures. Our main application is to show that there is a corresponding unobstructedness result for arbitrary generalized Kähler structures. That is, we show that any generalized Kähler structure may be deformed in such a way that one of its underlying holomorphic Poisson structures remains fixed, while the other deforms via Hitchin's deformation. Finally, we indicate a close r…
We show that the generalized Kähler-Ricci soliton equation on 4-dimensional toric Kähler orbifolds reduces to ODEs assuming there is a Hamiltonian 2-form. This leads to an explicit resolution of this equation on labeled triangles and convex labeled quadrilaterals. In particular, we give the explicit expression of the Kähler-Ricci solitons of weighted projective planes as well as new examples.
In the case of a compact real analytic symplectic manifold M we describe an approach to the complexification of Hamiltonian flows [Se, Do1, Th1] and corresponding geodesics on the space of Kahler metrics. In this approach, motivated by recent work on quantization, the complexified Hamiltonian flows act, through the Grobner theory of Lie series, on the sheaf of complex valued real analytic functions, changing the sheaves of holomorphic functions. This defines an action on the space of (equivalent) complex structures on M and also a direct action on M. This description is related to the approach…
We show that Tolman's example (of a six dimensional Hamiltonian $T^2$-space with isolated fixed points and no compatible Kähler structure) can be constructed from the flag variety $U(3)/U(1)^3$ by $U(2)$-equivariant symplectic surgery. This implies that Tolman's space has a ``transversal multiplicity-free'' action of $U(2)$ and that Delzant's theorem ``every compact multiplicity-free torus action is Kähler'' \cite{D1} does not generalize to non-abelian actions.
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…
We prove an equivariant deformation result for Hamiltonian stationary Lagrangian submanifolds of a Kahler manifold, with respect to deformations of its metric and almost complex structure that are compatible with an isometric Hamiltonian group action. This yields existence of Hamiltonian stationary Lagrangian submanifolds in possibly non-Kahler symplectic manifolds whose metric is arbitrarily close to a Kahler metric.
In this paper we construct six-dimensional compact non-Kähler Hamiltonian circle manifolds which satisfy the strong Lefschetz property themselves but nevertheless have a non-Lefschetz symplectic quotient. This provides the first known counter examples to the question whether the strong Lefschetz property descends to the symplectic quotient. We also give examples of Hamiltonian strong Lefschetz circle manifolds which have a non-Lefschetz fixed point submanifold. In addition, we establish a sufficient and necessary condition for a finitely presentable group to be the fundamental group of a stron…
Supergeneralization of $\DC P(N)$ provided by even and odd Kählerian structures from Hamiltonian reduction are construct.Operator $ Δ$ which used in Batalin-- Vilkovisky quantization formalism and mechanics which are bi-Hamiltonian under corresponding even and odd Poisson brackets are considered.
Hamiltonian stationary Lagrangians are Lagrangian submanifolds that are critical points of the volume functional under Hamiltonian deformations. They can be considered as a generalization of special Lagrangians or Lagrangian and minimal submanifolds. Joyce, Schoen and the author show that given any compact rigid Hamiltonian stationary Lagrangian in $\C^n$, one can always find a family of Hamiltonian stationary Lagrangians of the same type in any compact symplectic manifolds with a compatible metric. The advantage of this result is that it holds in very general classes. But the disadvantage is …
We study nearly-Kahler 6-manifolds equipped with a cohomogeneity-two Lie group action for which the principal orbits are coisotropic. If the metric is complete, then we show that this last condition is automatically satisfied, and both the acting Lie group and the principal orbits are finite quotients of $S^3 \times S^1$. We partition the class of such nearly-Ka}hler structures into three types (called I, II, III) and prove a local existence and generality result for each type. Metrics of Types I and II are shown to be incomplete. We also derive a quasilinear elliptic PDE system on the 2-dimen…
In the present paper and the companion paper [9] a probabilistic (statistical-mechanical) approach to the construction of canonical metrics on a complex algebraic varieties X is introduced, by sampling "temperature deformed" determinantal point processes. The main new ingredient is a large deviation principle for Gibbs measures with singular Hamiltonians, which is proved in the present paper. As an application we show that the unique Kahler-Einstein metric with negative Ricci curvature on a canonically polarized algebraic manifold X emerges in the many particle limit of the canonical point pro…
A theorem of Delzant states that any symplectic manifold $(M,\om)$ of dimension $2n$, equipped with an effective Hamiltonian action of the standard $n$-torus $\T^n = \R^{n}/2π\Z^n$, is a smooth projective toric variety completely determined (as a Hamiltonian $\T^n$-space) by the image of the moment map $ϕ:M\to\R^n$, a convex polytope $P=ϕ(M)\subset\R^n$. In this paper we show, using symplectic (action-angle) coordinates on $P\times \T^n$, how all $\om$-compatible toric complex structures on $M$ can be effectively parametrized by smooth functions on $P$. We also discuss some topics suited for a…
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…
Let $M$ be a compact complex manifold admitting a Kähler structure. A conformally Kähler, Einstein-Maxwell metric (cKEM metric for short) is a Hermitian metric $\tilde{g}$ on $M$ with constant scalar curvature such that there is a positive smooth function $f$ with $g = f^2 \tilde{g}$ being a Kähler metric and $f$ being a Killing Hamiltonian potential with respect to $g$. Fixing a Kähler class, we characterize such Killing vector fields whose Hamiltonian function $f$ with respect to some Kähler metric $g$ in the fixed Kähler class gives a cKEM metric $\tilde{g} = f^{-2}g$. The characterization …
We prove the equivariant holomorphic Morse inequalities for a holomorphic torus action on a holomorphic vector bundle over a compact Kahler manifold when the fixed-point set is not necessarily discrete. Such inequalities bound the twisted Dolbeault cohomologies of the Kahler manifold in terms of those of the fixed-point set. We apply the inequalities to obtain relations of Hodge numbers of the connected components of the fixed-point set and the whole manifold. We also investigate the consequences in geometric quantization, especially in the context of symplectic cutting.
The existence of Kahler-Einstein metrics on a Fano manifold is characterized in terms of a uniform gap between 0 and the first positive eigenvalue of the Cauchy-Riemann operator on smooth vector fields. It is also characterized by a similar gap between 0 and the first positive eigenvalue for Hamiltonian vector fields. The underlying tool is a compactness criterion for suitably bounded subsets of the space of Kahler potentials which implies a positive gap.
In this paper, we study the analytic continuation to complex time of the Hamiltonian flow of certain $G\times T$-invariant functions on the cotangent bundle of a compact connected Lie group $G$ with maximal torus $T$. Namely, we will take the Hamiltonian flows of one $G\times G$-invariant function, $h$, and one $G\times T$-invariant function, $f$. Acting with these complex time Hamiltonian flows on $G\times G$-invariant Kähler structures gives new $G\times T$-invariant, but not $G\times G$-invariant, Kähler structures on $T^*G$. We study the Hilbert spaces ${\mathcal H}_{τ,σ}$ corresponding to…
A classical theorem of Frankel for compact Kähler manifolds states that a Kähler S^1-action is Hamiltonian if and only if it has fixed points. We prove a metatheorem which says that when Hodge theory holds on non-compact manifolds, then Frankel's theorem still holds. Finally, we present several concrete situations in which the assumptions of the metatheorem hold.
We give a physical derivation of generalized Kahler geometry. Starting from a supersymmetric nonlinear sigma model, we rederive and explain the results of Gualtieri regarding the equivalence between generalized Kahler geometry and the bi-hermitean geometry of Gates-Hull-Rocek. When cast in the language of supersymmetric sigma models, this relation maps precisely to that between the Lagrangian and the Hamiltonian formalisms. We also discuss topological twist in this context.
We present explicit constructions of complete Ricci-flat Kahler metrics that are asymptotic to cones over non-regular Sasaki-Einstein manifolds. The metrics are constructed from a complete Kahler-Einstein manifold (V,g_V) of positive Ricci curvature and admit a Hamiltonian two-form of order two. We obtain Ricci-flat Kahler metrics on the total spaces of (i) holomorphic C^2/Z_p orbifold fibrations over V, (ii) holomorphic orbifold fibrations over weighted projective spaces WCP^1, with generic fibres being the canonical complex cone over V, and (iii) the canonical orbifold line bundle over a fam…
We prove that a topological contact isotopy uniquely defines a topological contact Hamiltonian. Combined with previous results from [MS11], this generalizes the classical one-to-one correspondence between smooth contact isotopies and their generating smooth contact Hamiltonians and conformal factors to the group of topological contact dynamical systems. Applications of this generalized correspondence include C^0-rigidity of smooth contact Hamiltonians, a transformation law for topological contact dynamical systems, and C^0-rigidity of the geodesic flows of Riemannian manifolds.
Let $(Z,ω)$ be a connected Kahler manifold with an holomorphic action of the complex reductive Lie group $U^{\mathbb C}$, where $U$ is a compact connected Lie group acting in a hamiltonian fashion. Let $G$ be a closed compatible Lie group of $U^{\mathbb C}$ and let $M$ be a $G$-invariant connected submanifold of $Z$. Let $x\in M$. If $G$ is a real form of $U^{\mathbb C}$, we investigate conditions such that $G\cdot x$ compact implies $U^{\mathbb C} \cdot x$ is compact as well. The vice-versa is also investigated. We also characterize $G$-invariant real submanifolds such that the norm square of…
Let (M,w) be a compact symplectic 2n-manifold, and g a Riemannian metric on M compatible with w. For instance, g could be Kahler, with Kahler form w. Consider compact Lagrangian submanifolds L of M. We call L Hamiltonian stationary, or H-minimal, if it is a critical point of the volume functional under Hamiltonian deformations. It is called Hamiltonian stable if in addition the second variation of volume under Hamiltonian deformations is nonnegative. Our main result is that if L is a compact, Hamiltonian stationary Lagrangian in C^n satisfying the extra condition of being Hamiltonian rigid, th…
We consider timelike and spacelike reductions of 4D, N = 2 Minkowskian and Euclidean vector multiplets coupled to supergravity and the maps induced on the scalar geometry. In particular, we investigate (i) the (standard) spatial c-map, (ii) the temporal c-map, which corresponds to the reduction of the Minkowskian theory over time, and (iii) the Euclidean c-map, which corresponds to the reduction of the Euclidean theory over space. In the last two cases we prove that the target manifold is para-quaternionic Kahler. In cases (i) and (ii) we construct two integrable complex structures on the targ…
We define the operations of conformal change and elementary deformation in the setting of generalized complex geometry. Then we apply Swann's twist construction to generalized (almost) complex and Hermitian structures obtained by these operations and establish necessary and sufficient conditions for the Courant integrability of the resulting twisted structures. In particular, we associate to any appropriate generalized Kahler manifold (M, G, \mathcal J ) with a Hamiltonian Killing vector field a new generalized Kahler manifold, depending on the choice of a pair of non-vanishing functions and c…
In the present paper we introduce the notion of complex asystatic Hamiltonian action on a Kähler manifold. In the algebraic setting we prove that if a complex linear group $G$ acts complex asystatically on a Kähler manifold then the $G$-orbits are spherical. Finally we give the complete classification of complex asystatic irreducible representations.
For a Hamiltonian action of a compact group $U$ of isometries on a compact Kähler manifold $Z$ and a compatible subgroup $G$ of $U^{\mathbb{C}}$, we prove that for any closed $G$--invariant subset $Y\subset Z$ the image of the gradient map $μ_{\mathfrak{p}}(Y)$ is independent of the choice of the invariant Kähler form $ω$ in its cohomology class $[ω]$.
By combining the join construction from Sasakian geometry with the Hamiltonian 2-form construction from Kähler geometry, we recover Sasaki-Einstein metrics discovered by physicists. Our geometrical approach allows us to give an algorithm for computing the topology of these Sasaki-Einstein manifolds. In particular, we explicitly compute the cohomology rings for several cases of interest and give a formula for homotopy equivalence in one particular 7-dimensional case. We also show that our construction gives at least a two dimensional cone of both Sasaki-Ricci solitons and extremal Sasaki metric…
This thesis studies the symplectic structure of holomorphic coadjoint orbits, and their projections. A holomorphic coadjoint orbit O is an elliptic coadjoint orbit which is endowed with a natural invariant Kählerian structure. These coadjoint orbits are defined for a real semi-simple connected non-compact Lie group G with finite center, such that G/K is a Hermitian symmetric space, where K is a maximal compact subgroup of G. Holomorphic coadjoint orbits are a generalization of the Hermitian symmetric space G/K. In this thesis, we prove that the McDuff's symplectomorphism on Hermitian symmetric…
For a closed Kähler manifold with a Hamiltonian action of a connected compact Lie group by holomorphic isometries, we construct a formal Frobenius manifold structure on the equivariant cohomology by exploiting a natural DGBV algebra structure on the Cartan model.
In the present paper and the companion paper [8] a probabilistic (statistical mechanical) approach to the study of canonical metrics and measures on a complex algebraic variety X is introduced. On any such variety with positive Kodaira dimension a canonical (birationally invariant) random point processes is defined and shown to converge in probability towards a canonical deterministic measure on X, coinciding with the canonical measure of Song-Tian and Tsuji. The proof is based on new large deviation principle for Gibbs measures with singular Hamiltonians which relies on an asymptotic submean …
In the present work the local form of certain Calabi-Yau metrics possessing a local Hamiltonian Killing vector is described in terms of a single non linear equation. The main assumptions are that the complex $(3,0)$-form is of the form $e^{ik}\widetildeΨ$, where $\widetildeΨ$ is preserved by the Killing vector, and that the space of the orbits of the Killing vector is, for fixed value of the momentum map coordinate, a complex 4-manifold, in such a way that the complex structure of the 4-manifold is part of the complex structure of the complex 3-fold. The link with the solution generating techn…
