We prove that no nilpotent Lie algebra admits an invariant generalized Kaehler structure. This is done by showing that a certain differential graded algebra associated to a generalized complex manifold is formal in the generalized Kaehler case, while it is never formal for a generalized complex structure on a nilpotent Lie algebra.
Formality of hypercommutative algebras of Kähler and Calabi-Yau manifolds
Universitat de Barcelona(巴塞罗那大学);Centre de Recerca Matemàtica(数学研究中心);Université Sorbonne Paris Nord, Laboratoire Analyse, Géométrie et Applications, CNRS (UMR 7539)(索邦巴黎北大学,分析、几何与应用实验室,法国国家科学研究中心)
We review topological properties of Kähler and symplectic manifolds, and of their odd-dimensional counterparts, coKähler and cosymplectic manifolds. We focus on formality, Lefschetz property and parity of Betti numbers, also distinguishing the simply-connected case (in the Kähler/symplectic situation) and the $b_1=1$ case (in the coKähler/cosymplectic situation).
One (actually, almost the only effective) way to prove formality of a differentiable manifold is to be able to produce a suitable derivation $δ$ such that $dδ$-lemma holds. We first show that such derivation $δ$ generates a (1,1)-tensor field (we denote it by $R$). Then, we show that the supercommutation of $d$ and $δ$ (which is a natural, essentially necessary condition to get a $dδ$-lemma) is equivalent to vanishing of the Nijenhujis torsion of $R$. Then, we are looking for sufficient conditions that ensure the $dδ$-lemma holds: we consider the cases when $R$ is self adjoint with respect to …
In the first part of this paper we study geometric formality for generalized flag manifolds, including full flag manifolds of exceptional Lie groups. In the second part we deal with the problem of the classification of invariant almost complex structures on generalized flag manifolds using topological methods.
In this paper we study the behaviour of the Lefschetz property under the blow-up construction. We show that it is possible to reduce the dimension of the kernel of the Lefschetz map if we blow up along a suitable submanifold satisfying the Lefschetz property. We use that, together with results about Massey products, to construct nonformal (simply connected) symplectic manifolds satisfying the Lefschetz property.
We introduce natural deformation classes of generalized Kähler structures using the Courant symmetry group. We show that these yield natural extensions of the notions of Kähler class and Kähler cone to generalized Kähler geometry. Lastly we show that the generalized Kähler-Ricci flow preserves this generalized Kähler cone, and the underlying real Poisson tensor.
In this paper, the notion of an almost contact Kählerian structure is introduced. The interior geometry of almost contact Kählerian spaces is investigated. On the zero-curvature distribution of an almost contact metric structure, as on the total space of a vector bundle, an almost contact Kählerian structure is obtained.
This is a survey article, based on the author's lectures in the 2015 AMS Summer Research Institute in Algebraic Geometry, and to appear in the Proceedings.
We present some fundamental facts about a class of generalized Kähler structures defined by invariant complex structures on compact Lie groups. The main computational tool is the BH-to-GK spectral sequences that relate the bi-Hermitian data to generalized geometry data. The relationship between generalized Hodge decomposition and generalized canonical bundles for generalized Kähler manifolds is also clarified.
This is an expository article. Among other topics, we discuss the existence of Kahler-Ricci soliton metrics on toric Fano manifolds, and Kahler-Einstein metrics on deformations of the Mukai-Umemura 3-fold
We study the geometry of PQKT-connections. We find conditions to the existence of a PQKT-connection and prove that if it exists it is unique. We show that PQKT geometry persist in a conformal class of metrics.
This is a survey article, based on the author's lectures in the 2015 Current developments in Mathematics meeting; published in "Current developments in Mathematics". Version 2, references corrected and added.
We prove that a Kahler metric in the anticanonical class which is a critical point of the functional E_k and has nonnegative Ricci curvature, is necessarily Kahler-Einstein. This partially answers a question of X.X.Chen.
We establish an equivalence between conformally Einstein--Maxwell Kahler 4-manifolds (recently studied in many works) and extremal Kahler 4-manifolds (in the sense of Calabi) with nowhere vanishing scalar curvature. The corresponding pairs of Kahler metrics arise as transversal Kahler structures of Sasaki metrics compatible with the same CR structure and having commuting Sasaki--Reeb vector fields. This correspondence extends to higher dimensions using the notion of a weighted extremal Kahler metric, illuminating and uniting several explicit constructions in Kahler and Sasaki geometry. It also…
It is known that the scalar curvature arises as the moment map in Kahler geometry. In pursuit of this analogy, we introduce the notion of a moment map in generalized Kahler geometry which gives the definition of a generalized scalar curvature on a generalized Kahler manifold. From the viewpoint of the moment map, we obtain the generalized Ricci form which is a representative of the first Chern class of the anticanonical line bundle. It turns out that infinitesimal deformations of generalized Kahler structures with constant generalized scalar curvature are finite dimensional on a compact manifo…
It is known, that if a 2m-dimensional Kahler manifold satisfies the axiom of holomorphic 2n-spheres (1<n<m) or the axiom of antiholomorphic n-spheres (2<n), it is of constant holomorphic sectional curvature. In this paper the same result is obtained under weaker assumptions.
We continue the study of blow-ups in generalized complex geometry with the blow-up theory for generalized Kähler manifolds. The natural candidates for submanifolds to be blown-up are those which are generalized Poisson for one of the two generalized complex structures and can be blown up in a generalized complex manner. We show that the bi-Hermitian structure underlying the generalized Kähler pair lifts to a degenerate bi-Hermitian structure on this blow-up. Then, using a deformation procedure based on potentials in Kähler geometry, we identify two concrete situations in which one can deform t…
We construct metrics with the holonomy group SU(2) on the tangent bundles of weighted complex projective lines and give a geometric description of the moduli space of special Kahler metrics on a K3-surface in the neighborhood of the flat orbifold $T^4/Z_3$.
The purpose of this paper is to establish a completely new partial regularity theory on certain homogeneous complex Monge-Ampere equations. Our partial regularity theory will be obtained by studying foliations by holomorphic curves and and their relations to homogeneous complex Monge-Ampere equations. As applications, we will prove the uniqueness of extremal Kähler metrics and give an necessary condition for existence of extremal Kähler metrics. Further applications will be discussed in our forthcoming papers.
In complex Finsler geometry, an open problem is: does there exist a weakly Kähler Finsler metric which is not Kähler? In this paper, we give an affirmative answer to this open problem. More precisely, we construct a family of the weakly Kähler Finsler metrics which are non-Kähler. The examples belong to the unitary invariant complex Randers metrics. Furthermore, a uniformization theorem of the unitary invariant complex Randers metrics with constant holomorphic curvature is proved under the weakly Kähler condition.
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 review results on and around the almost complex structure on $S^6$, both from a classical and a modern point of view. These notes have been prepared for the Workshop "(Non)-existence of complex structures on $S^6$" (\emph{Erste Marburger Arbeitsgemeinschaft Mathematik -- MAM-1}), held in Marburg in March 2017.
We prove long time existence and convergence results for the pluriclosed flow, which imply geometric and topological classification theorems for generalized Kähler structures. Our approach centers on the reduction of pluriclosed flow to a degenerate parabolic equation for a $(1,0)$-form, introduced in \cite{ST2}. We observe a number of differential inequalities satisfied by this system which lead to a priori $L^{\infty}$ estimates for the metric along the flow. Moreover we observe an unexpected connection to "Born-Infeld geometry" which leads to a sharp differential inequality which can be use…
We consider complete nearly Kähler manifolds with the canonical Hermitian connection. We prove some metric properties of strict nearly Kähler manifolds and give a sufficient condition for the reducibility of the canonical Hermitian connection. A holonomic condition for a nearly Kähler manifold to be a twistor space over a quaternionic Kähler manifold is given. This enables us to give classification results in 10-dimensions.
We consider a class of complete Kahler manifolds with a strictly pseudoconvex boundary at infinity. After studying its asymptotic geometry, we formulate a conjecture in the Kahler-Einstein case relating the bottom of spectrum to the CR geometry on the boundary. We prove some partial results.
We give conditions on the Lee vector field of an almost Hermitian manifold such that any holomorphic map from this manifold into a (1,2)-symplectic manifold must satisfy the fourth-order condition of being biharmonic, hence generalizing the Lichnerowicz theorem on harmonic maps. These third-order non-linear conditions are shown to greatly simplify on l.c.K. manifolds and construction methods and examples are given in all dimensions.
We show that any dimension $6$ nearly Kähler (or nearly para-Kähler) geometry arises as a projective manifold equipped with a $\textrm{G}_2^{(*)}$ holonomy reduction. In the converse direction we show that if a projective manifold is equipped with a parallel $7$-dimensional cross product on its standard tractor bundle then the manifold is: a Riemannian nearly Kähler manifold, if the cross product is definite, otherwise, if the cross product has the other algebraic type, the manifold is in general stratified with nearly Kähler and nearly para-Kähler parts separated by a hypersurface which canon…
Exponential families are a particular class of statistical manifolds which are particularly important in statistical inference, and which appear very frequently in statistics. For example, the set of normal distributions, with mean μ and deviation σ, form a 2-dimensional exponential family. In this paper, we show that the tangent bundle of an exponential family is naturally a Kahler manifold. This simple but crucial observation leads to the formalism of quantum mechanics in its geometrical form, i.e. based on the Kahler structure of the complex projective space, but generalizes also to more ge…
While the Anomaly flow was originally motivated by string theory, its zero slope case is potentially of considerable interest in non-Kahler geometry, as it is a flow of conformally balanced metrics whose stationary points are precisely Kahler metrics. We establish its convergence on Kahler manifolds for suitable initial data. We also discuss its relation to some current problems in complex geometry.
Let $G$ be a Lie group of even dimension and let $(g,J)$ be a left invariant anti-Kähler structure on $G$. In this article we study anti-Kähler structures considering the distinguished cases where the complex structure $J$ is abelian or bi-invariant. We find that if $G$ admits a left invariant anti-Kähler structure $(g,J)$ where $J$ is abelian then the Lie algebra of $G$ is unimodular and $(G,g)$ is a flat pseudo-Riemannian manifold. For the second case, we see that for any left invariant metric $g$ for which $J$ is an anti-isometry we obtain that the triple $(G, g, J)$ is an anti-Kähler manif…
We introduce and study the notion of a biholomorphic gerbe with connection. The biholomorphic gerbe provides a natural geometrical framework for generalized Kahler geometry in a manner analogous to the way a holomorphic line bundle is related to Kahler geometry. The relation between the gerbe and the generalized Kahler potential is discussed.
We give a mostly self-contained proof of the classification of non-Kahler surfaces based on Buchdahl-Lamari theorem. We also prove that all non-Kahler surfaces which are not of class VII are locally conformally Kahler.
In this paper we continue to study Gromov-Hausdorff limits of Kahler manifolds and algebraic geometry. Our main focus is on the algebro-geometric meaning of Riemannian tangent cones and rescaled limits.
We study Kahler surfaces with harmonic anti-selfdual Weyl tensor. We provide an explicit local description, which we use to obtain the complete classification in the compact case. We give new examples of extremal Kahler metrics, including Kahler-Einstein metrics and conformally Einstein Kahler metrics. We also extend some of our results to almost Kahler 4-manifolds, providing new examples of Ricci-flat almost Kahler metrics which are not Kahler.
In the same way that a contact manifold determines and is determined by a symplectic cone, a Sasaki manifold determines and is determined by a suitable Kahler cone. Kahler-Sasaki geometry is the geometry of these cones. This paper presents a symplectic action-angle coordinates approach to toric Kahler geometry and how it was recently generalized, by Burns-Guillemin-Lerman and Martelli-Sparks-Yau, to toric Kahler-Sasaki geometry. It also describes, as an application, how this approach can be used to relate a recent new family of Sasaki-Einstein metrics constructed by Gauntlett-Martelli-Sparks-W…
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.
The geometry of the target space of an N=(2,2) supersymmetry sigma-model carries a generalized Kahler structure. There always exists a real function, the generalized Kahler potential K, that encodes all the relevant local differential geometry data: the metric, the B-field, etc. Generically this data is given by nonlinear functions of the second derivatives of K. We show that, at least locally, the nonlinearity on any generalized Kahler manifold can be explained as arising from a quotient of a space without this nonlinearity.
We study CR geometry in arbitrary codimension, and introduce a process, which we call the Levi-Kahler quotient, for constructing Kahler metrics from CR structures with a transverse torus action. Most of the paper is devoted to the study of Levi-Kahler quotients of toric CR manifolds, and in particular, products of odd dimensional spheres. We obtain explicit descriptions and characterizations of such quotients, and find Levi-Kahler quotients of products of 3-spheres which are extremal in a weighted sense introduced by G. Maschler and the first author.
We show that, locally, all geometric objects of Generalized Kahler Geometry can be derived from a function K, the "generalized Kahler potential''. The metric g and two-form B are determined as nonlinear functions of second derivatives of K. These nonlinearities are shown to arise via a quotient construction from an auxiliary local product (ALP) space.
We study hyperkahler cones and their corresponding quaternion-Kahler spaces. We present a classification of 4(n-1)-dimensional quaternion-Kahler spaces with n abelian quaternionic isometries, based on dualizing superconformal tensor multiplets. These manifolds characterize the geometry of the hypermultiplet sector of perturbative moduli spaces of type-II strings compactified on a Calabi-Yau manifold. As an example of our construction, we study the universal hypermultiplet in detail, and give three inequivalent tensor multiplet descriptions. We also comment on the construction of quaternion-Kah…
This work is based on the talk delivered at Poisson 2008. We review the recent advances in Generalized Kahler geometry while stressing the use of Poisson and symplectic geometry. The derivation of the generalized Kahler potential is sketched and the relevant global issues are discussed.
Let (X,L) be a polarized manifold. Assume that the automorphism group is finite. If the height discrepancy of (X,L) is O(d^2) then (X,L) admits a csck metric in the first chern class of L if and only if (X,L) is asymptotically stable.
$\newcommand{\poly}{_{\operatorname{poly}}^{\bullet}}\newcommand{\td}{(\operatorname{td}_{L/A}^{\nabla})^{\frac{1}{2}}}\newcommand{\cx}[1]{\operatorname{tot}\big(Γ(Λ^\bullet A^\vee)\otimes_R\mathcal{#1}\poly\big)}\newcommand{\cy}[1]{\mathbb{H}^\bullet_{\operatorname{CE}}(A,\mathcal{#1}\poly)}$Kontsevich's formality theorem states that there exists an $L_\infty$ quasi-isomorphism from the dgla $T\poly(M)$ of polyvector fields on a smooth manifold $M$ to the dgla $D\poly(M)$ of polydifferential operators on $M$, which extends the classical Hochschild--Kostant--Rosenberg map. In this paper, we ex…
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 ha…
Given a special Kahler manifold M, we give a new, direct proof of the relationship between the quaternionic structure on its cotangent bundle and the variation of Hodge structures on the complexification of TM.
We define the notion of a moment map and reduction in both generalized complex geometry and generalized Kähler geometry. As an application, we give very simple explicit constructions of bi-Hermitian structures on $\C¶^n$, Hirzebruch surfaces, the blow up of $\CP^2$ at arbitrarily many points, and other toric varieties, as well as complex Grassmannians.
We review how a reduction procedure along a principal fibration and an unfolding procedure associated to a suitable momentum map allow to describe the Kähler geometry of a finite dimensional complex projective spaces.
We use hyperbolic geometry to construct simply-connected symplectic or complex manifolds with trivial canonical bundle and with no compatible Kahler structure. We start with the desingularisations of the quadric cone in C^4: the smoothing is a natural S^3-bundle over H^3, its holomorphic geometry is determined by the hyperbolic metric; the small-resolution is a natural S^2-bundle over H^4 with symplectic geometry determined by the metric. Using hyperbolic geometry, we find orbifold quotients with trivial canonical bundle; smooth examples are produced via crepant resolutions. In particular, we …
We study how the existence of a negatively pinched Kähler metric on a domain in complex Euclidean space restricts the geometry of its boundary. In particular, we show that if a convex domain admits a complete Kähler metric, with pinched negative holomorphic bisectional curvature outside a compact set, then the boundary of the domain does not contain any complex subvariety of positive domain. Moreover, if the boundary of the domain is smooth, then it is of finite type in the sense of D'Angelo. We also use curvature to provide a characterization of strong pseudoconvexity amongst convex domains. …
We establish an integral formula on a smooth, precompact domain in a Kahler manifold. We apply this formula to study holomorphic extension of CR functions. Using this formula we prove an isoperimetric inequality in terms of a positive lower bound for the Hermitian curvature of the boundary. Combining with a Minkowski type formula on the complex hyperbolic space we prove that any closed, embedded hypersurface of constant mean curvature must be a geodesic sphere, provided the hypersurface is Hopf. A similar result is established on the complex projective space.
We study Riemannian geometry of canonical Kahler-Einstein currents on projective Calabi-Yau varieties and canonical models of general type with crepant singularities. We prove that the metric completion of the regular part of such a canonical current is a compact metric length space homeomorphic to the original projective variety, with well-defined tangent cones. We also prove a special degeneration for Kahler-Einstein manifolds of general type as an approach to establish the compactification of the moduli space of Kahler-Einstein manifolds of general type. A number of applications are given f…