Motivated by understanding the limiting case of a certain systolic inequality we study compact Riemannian manifolds having all harmonic 1-forms of constant length. We give complete characterizations as far as Kähler and hyperbolic geometries are concerned. In the second part of the paper, we give algebraic and topological obstructions to the existence of a geometrically 2-formal Kähler metric, at the level of the second cohomology group. A strong interaction with almost Kähler geometry is to be noted. In complex dimension 3, we list all the possible values of the second Betti number of a geometrically 2-formal Kähler metric.
We give an analog of triangle comparison for Kaehler manifolds with a lower bound on the holomorphic bisectional curvature. We show that the condition passes to noncollapsed Gromov-Hausdorff limits. We discuss tangent cones and singular Kaehler spaces.
The author has elsewhere given a complete classification of those compact oriented Einstein 4-manifolds on which the self-dual Weyl curvature is everywhere positive in the direction of some self-dual harmonic 2-form. In this article, similar results are obtained when the self-dual Weyl curvature is everywhere non-negative in the direction of a self-dual harmonic 2-form that is transverse to the zero section of the bundle of self-dual 2-forms. However, this transversality condition plays an essential role in the story; dropping it leads one into wildly different territory where entirely differe…
In this paper, we study the existence of various harmonic maps from Hermitian manifolds to Kaehler, Hermitian and Riemannian manifolds respectively. By using refined Bochner formulas on Hermitian (possibly non-Kaehler) manifolds, we derive new rigidity results on Hermitian harmonic maps from compact Hermitian manifolds to Riemannian manifolds, and we also obtain the complex analyticity of pluri-harmonic maps from compact complex manifolds to compact Kaehler manifolds (and Riemannian manifolds) with non-degenerate curvatures, which are analogous to several fundamental results in [28,Siu], [14,J…
The purpose of this paper is to establish a partial regularity theory on certain homogeneous complex Monge-Ampere equations. As consequences of this new theory, we prove the uniqueness of extremal Kaehler metrics and give an necessary condition for existence of extremal Kaehler metrics.
We consider strict and complete nearly Kaehler manifolds with the canonical Hermitian connection. The holonomy representation of the canonical Hermitian connection is studied. We show that a strict and complete nearly Kaehler is locally a Riemannian product of homogenous nearly Kaehler spaces, twistor spaces over quaternionic Kaehler manifolds and 6-dimensional nearly Kaehler manifolds. As an application we obtain structure results for totally geodesic Riemannian foliations admitting a compatible Kaehler structure. Finally, we obtain a classification result for the homogenous case, reducing a …
In this paper, we study the geometry of pointwise semi-slant warped products in a locally conformal Kaehler manifold. In particular, we obtain several results which extend Chen's inequality for CR-warped product submanifolds in Kaehler manifolds. Also, we study the corresponding equality cases. Several related results on pointwise semi-slant warped products are also proved in this paper.
The basic class of the non-integrable almost complex manifolds with Norden metric is considered. Its curvature properties are studied. The isotropic Kaehler type of investigated manifolds is introduced and characterized geometrically.
Let $M$ be a projective toric manifold. We prove two results concerning respectively Kaehler-Einstein submanifolds of M and symplectic embeddings of the standard euclidean ball in M. Both results use the well-known fact that M contains an open dense subset biholomorphic to C^n.
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.
Any constant-scalar-curvature Kaehler (cscK) metric on a complex surface may be viewed as a solution of the Einstein-Maxwell equations, and this allows one to produce solutions of these equations on any 4-manifold that arises as a compact complex surface with b_1 even. It is shown, however, that not all solutions of the Einstein-Maxwell equations on such manifolds arise in this way; new examples can be constructed by means of conformally Kaehler geometry.
We study almost Hermitian structures admitting a Hermitian connexion with totally skew-symmetric torsion or equivalently, those almost Hermitian structures with totally skew-symmetric Nijenhuis tensor. We investigate up to what extent the Nijenhuis tensor fails to be parallel with respect to the characteristic connexion. This is naturally described by means of an extension of the notion of Killing form to almost Hermitian geometry. In this context, we also make an essentially self-contained survey of nearly-Kaehler geometry, but from the perspective of non-integrable holonomy systems.
If a smooth compact 4-manifold M admits a Kaehler-Einstein metric g of positive scalar curvature, Gursky showed that its conformal class [g] is an absolute minimizer of the Weyl functional among all conformal classes with positive Yamabe constant. Here we prove that, with the same hypotheses, [g] also minimizes of the Weyl functional on a different open set of conformal classes, most of which have negative Yamabe constant. An analogous minimization result is then proved for Einstein metrics g which are Hermitian, but not Kaehler.
Page's Einstein metric on CP_2 # (-CP_2) is conformally related to an extremal Kaehler metric. Here we construct a family of conformally Kähler solutions of the Einstein-Maxwell equations that deforms the Page metric, while sweeping out the entire Kaehler cone of CP_2 # (-CP_2).The same method also yields analogous solutions on every Hirzebruch surface. This allows us to display infinitely many geometrically distinct families of solutions of the Einstein-Maxwell equations on the smooth 4-manifolds S^2 x S^2 and CP_2 # (-CP_2).
In this note, we propose an approach to the study of the analogue for unipotent harmonic bundles of Schmid's Nilpotent Orbit Theorem. Using this approach, we construct harmonic metrics on unipotent bundles over quasi-compact Kähler manifolds with carefully controlled asymptotics near the compactifying divisor; such a metric is unique up to some isometry. Such an asymptotic behavior is canonical in some sense.
Two Kaehler metrics on one complex manifold are said to be c-projectively equivalent if their J-planar curves, i.e., curves defined by the property that their acceleration is complex proportional to their velocity, coincide. The degree of mobility of a Kaehler metric is the dimension of the space of metrics that are c-projectively equivalent to it. We give the list of all possible values of the degree of mobility of simply connected 2n-dimensional Riemannian Kaehler manifolds. We also describe all such values under the additional assumption that the metric is Einstein. As an application, we de…
Peng Wu recently announced a beautiful characterization of conformally Kaehler, Einstein metrics of positive scalar curvature on compact oriented 4-manifolds via the condition det (W^+) > 0. In this note, we buttress his claim by providing an entirely different proof of his result. We then present further consequences of our method, which builds on techniques previously developed in (LeBrun 2015).
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.
Let (M,g,J) be a compact Hermitian manifold with a smooth boundary. Let $Δ_p$ and $D_p$ be the realizations of the real and complex Laplacians on p forms with either Dirichlet or Neumann boundary conditions. We generalize previous results in the closed setting to show that (M,g,J) is Kaehler if and only if $Spec(Δ_p)=Spec(2D_p)$ for p=0,1. We also give a characterization of manifolds with constant sectional curvature or constant Ricci tensor (in the real setting) and manifolds of constant holomorphic sectional curvature (in the complex setting) in terms of spectral geometry.
In the author's previous joint work with Hans-Joachim Hein, a mass formula for asymptotically locally Euclidean (ALE) Kaehler manifolds was proved, assuming only relatively weak fall-off conditions on the metric. However, the case of real dimension 4 presented technical difficulties that led us to require fall-off conditions in this special dimension that are stronger than the Chrusciel fall-off conditions that sufficed in higher dimensions. The present article, however, shows that techniques of $4$-dimensional symplectic geometry can be used to obtain all the major results of the previous pap…
In this paper, we first define the complexification of a real analytic map between real analytic Koszul manifolds and show that the complexified map is the holomorphic extension of the original map. Next we define an anti-Kaehler metric compatible with the adapted complex structure on the complexification of a real analytic pseudo-Riemannian manifold. In particular, for a pseudo-Riemannian homogeneous space, we define another complexification and a (complete) anti-Kaehler metric on the complexification. One of main purposes of this paper is to find the interesting relation between these two co…
In this paper, we initiate the study of $\p R$-warped products in para-Kähler manifolds and prove some fundamental results on such submanifolds. In particular, we establish a general optimal inequality for $\p R$-warped products in para-Kähler manifolds involving only the warping function and the second fundamental form. Moreover, we completely classify $\p R$-warped products in the flat para-Kähler manifold with least codimension which satisfy the equality case of the inequality.
The warped product $N_1\times_f N_2$ of two Riemannian manifolds $(N_1,g_1)$ and $(N_2,g_2)$ is the product manifold $N_1\times N_2$ equipped with the warped product metric $g=g_1+f^2 g_2$, where $f$ is a positive function on $N_1$. Warped products play very important roles in differential geometry as well as in physics. A submanifold $M$ of a Kaehler manifold $\tilde M$ is called a $CR$-warped product if it is a warped product $M_T\times_f N_\perp$ of a complex submanifold $M_T$ and a totally real submanifold $M_\perp$ of $\tilde M$. In this article we survey recent results on warped product …
We show that the natural S^1-bundle over a projective special Kaehler manifold carries the geometry of a proper affine hypersphere endowed with a Sasakian structure. The construction generalizes the geometry of the Hopf-fibration $\Sr^{2n+1} \longrightarrow \CP^n$ in the context of projective special Kaehler manifolds. As an application we have that a natural circle bundle over the Kuranishi moduli space of a Calabi-Yau threefold is a Lorentzian proper affine hypersphere.
In this paper we investigate the balanced condition (in the sense of Donaldson) and the existence of an Englis expansion for the LeBrun's metrics on $C^2$. Our first result shows that a LeBrun's metric on $C^2$ is never balanced unless it is the flat metric. The second one shows that an Englis expansion of the Rawnsley's function associated to a LeBrun's metric always exists, while the coefficient $a_3$ of the expansion vanishes if and only if the LeBrun's metric is indeed the flat one.
We discuss a peculiar interplay between the representation theory of the holonomy group of a Riemannian manifold, the Weitzenboeck formula for the Hodge-Laplace operator on forms and the Lichnerowicz formula for twisted Dirac operators. For quaternionic Kaehler manifolds this leads to simple proofs of eigenvalue estimates for Dirac and Laplace operators. Moreover it enables us to determine which representations can contribute to harmonic forms. As a corollary we prove the vanishing of certain odd Betti numbers on compact quaternionic Kaehler manifolds of negative scalar curvature. We simplify …
We study almost Kähler manifolds whose curvature tensor satisfies the second curvature condition of Gray (shortly ${\cal{AK}}_2$). This condition is interpreted in terms of the first canonical Hermitian connection. It turns out that this condition forces the torsion of this connection to be parallel in directions orthogonal to the Kähler nullity of the almost complex structure. We prove a local structure result for ${\cal{AK}}_2$ manifolds, showing that the basic pieces are manifolds with parallel torsion and special almost Kähler manifolds, a class generalizing, to some algebraic extent, the …
In this paper, we introduce the stress-energy tensors of the partial energies E'(f) and E"(f) of maps between Kaehler manifolds. Assuming the domain manifolds poss some special exhaustion functions, we use these stress-energy tensors to establish some monotonicity formulae of the partial energies of pluriharmonic maps into any Kaehler manifolds and harmonic maps into Kaehler manifolds with strongly semi-negative curvature respectively. These monotonicity inequalities enable us to derive some holomorphicity and Liouville type results for these pluriharmonic maps and harmonic maps. We also use t…
In generalized complex geometry, we revisit linear subspaces and submanifolds that have an induced generalized complex structure. We give an expression of the induced structure that allows us to deduce a smoothness criteria, we dualize the results to submersions and we make a few comments on generalized complex mappings. Then, we discuss submanifolds of generalized Kaehler manifolds that have an induced generalized Kaehler structure. These turn out to be the common invariant submanifolds of the two classical complex structures of the generalized Kaehler manifold.
The geometry that is defined by the scalars in couplings of Einstein-Maxwell theories in N=2 supergravity in 4 dimensions is denoted as special Kaehler geometry. There are several equivalent definitions, the most elegant ones involve the symplectic duality group. The original construction used conformal symmetry, which immediately clarifies the symplectic structure and provides a way to make connections to quaternionic geometry and Sasakian manifolds.
We study the almost Kaehler geometry of adjoint orbits of non-compact real semisimple Lie groups endowed with the Kirillov-Kostant-Souriau symplectic form and a canonically defined almost complex structure. We give explicit formulas for the Chern-Ricci form, the Hermitian scalar curvature and the Nijenhuis tensor in terms of root data. We also discuss when the Chern-Ricci form is a multiple of the symplectic form, and when compact quotients of these orbits are of Kaehler type.
We review the general properties of target spaces of hypermultiplets, which are quaternionic-like manifolds, and discuss the relations between these manifolds and their symmetry generators. We explicitly construct a one-to-one map between conformal hypercomplex manifolds (i.e. those that have a closed homothetic Killing vector) and quaternionic manifolds of one quaternionic dimension less. An important role is played by 'ξ-transformations', relating complex structures on conformal hypercomplex manifolds and connections on quaternionic manifolds. In this map, the subclass of conformal hyper-Kae…
It is known that the almost-Kaehler anti-self-dual metrics on a given 4-manifold sweep out an open subset in the moduli space of anti-self-dual metrics. However, we show here by example that this subset is not generally closed, and so need not sweep out entire connected components in the moduli space. Our construction hinges on an unexpected link between harmonic functions on certain hyperbolic 3-manifolds and self-dual harmonic 2-forms on associated 4-manifolds.
Using the idea of a generalized Kaehler structure, which is a pair of commuting generalized complex structures, we construct bihermitian metrics on the projective plane and the product of two projective lines, and show that any such structure on a compact 4-manifold M defines one on the moduli space of anti-self-dual connections on a fixed principal bundle over M. We highlight the role of holomorphic Poisson structures in all these constructions.
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…
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.
We consider locally conformal Kaehler geometry as an equivariant, homothetic Kaehler geometry (K,Γ). We show that the de Rham class of the Lee form can be naturally identified with the homomorphism projecting Γto its dilation factors, thus completing the description of locally conformal Kaehler geometry in this equivariant setting. The rank r of a locally conformal Kaehler manifold is the rank of the image of this homomorphism. Using algebraic number theory, we show that r is non-trivial, providing explicit examples of locally conformal Kaehler manifolds with 1<r<b_1. As far as we know, these …
We consider an almost complex manifold with Norden metric (i. e. a metric with respect to which the almost complex structure is an anti-isometry). On such a manifold we study a linear connection preserving the almost complex structure and the metric and having a totally skew symmetric torsion tensor (i. e. a 3-form). We prove that if a non-Kaehler almost complex manifold with Norden metric admits such connection then the manifold is quasi-Kaehlerian (i. e. has non-integrable almost complex structure). We prove that this connection is unique, determine its form, and construct an example of it o…
We develop in detail the theory of c-projective geometry, a natural analogue of projective differential geometry adapted to complex manifolds. We realise it as a type of parabolic geometry and describe the associated Cartan or tractor connection. A Kaehler manifold gives rise to a c-projective structure and this is one of the primary motivations for its study. The existence of two or more Kaehler metrics underlying a given c-projective structure has many ramifications, which we explore in depth. As a consequence of this analysis, we prove the Yano-Obata conjecture for complete Kaehler manifold…
This is a survey of recent contributions to the area of special Kaehler geometry. It is based on lectures given at the 21st Winter School on Geometry and Physics held in Srni in January 2001.
We consider locally conformal Kaehler geometry as an equivariant (homothetic) Kaehler geometry: a locally conformal Kaehler manifold is, up to equivalence, a pair (K,Γ) where K is a Kaehler manifold and Γa discrete Lie group of biholomorphic homotheties acting freely and properly discontinuously. We define a new invariant of a locally conformal Kaehler manifold (K,Γ) as the rank of a natural quotient of Γ, and prove its invariance under reduction. This equivariant point of view leads to a proof that locally conformal Kaehler reduction of compact Vaisman manifolds produces Vaisman manifolds and…
We give an explicit local classification of conformally equivalent but oppositely oriented Kaehler metrics on a 4-manifold which are toric with respect to a common 2-torus action. In the generic case, these structures have an intriguing local geometry depending on a quadratic polynomial and two arbitrary functions of one variable, these two functions being explicit degree 4 polynomials when the Kaehler metrics are extremal (in the sense of Calabi). One motivation for and application of this result is an explicit local description of Einstein 4-manifolds which are hermitian with respect to eith…
In recent years, there are many progress made in Kähler geometry. In particular, the topics related to the problems of the existence and uniqueness of extremal Kähler metrics, as well as obstructions to the existence of such metrics in general Kähler manifold. In this talk, we will report some recent developments in this direction. In particular, we will discuss the progress recently obtained in understanding the metric structure of the infinite dimensional space of Kaehler potentials, and their applications to the problems mentioned above. We also will discuss some recent on Kaehler Ricci flo…
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 study the geometry of the canonical connection on a quasi-Kaehler manifold with Norden metric. We consider the cases when the canonical connection has Kaehler curvature tensor and parallel torsion, and derive conditions for an isotropic-Kaehler manifold. We give the relation between the canonical connection, the B-connection, and the connection with totally skew-symmetric torsion on quasi-Kaehler manifolds with Norden metric.
We study the intrinsic geometry of a one-dimensional complex space provided with a Kaehler metric in the sense of Grauert. We show that if K is an upper bound for the Gaussian curvature on the regular locus, then the intrinsic metric has curvature at most K in the sense of Alexandrov.
In this paper we provide a local construction of a Sasakian manifold given a Kähler manifold. Obatined in this way manifold we call Sasakian lift of Kähler base. Almost contact metric structure is determined by the operation of the lift of vector fields - idea similar to lifts in Ehresmann connections. We show that Sasakian lift inherits geometry very close to its Kähler base. In some sense geometry of the lift is in analogy with geometry of hypersurface in Kähler manifold. There are obtained structure equations between corresponding Levi-Civita connections, curvatures and Ricci tensors of the…
Let $(M,I)$ be an almost complex 6-manifold. The obstruction to integrability of almost complex structure (so-called Nijenhuis tensor) maps a 3-dimensional bundle to a 3-dimensional one. We say that Nijenhuis tensor is non-degenerate if it is an isomorphism. An almost complex manifold is called nearly Kaehler if it admits a Hermitian form $ω$ such that $\nabla(ω)$ is totally antisymmetric, $\nabla$ being the Levi-Civita connection. We show that a nearly Kaehler metric on a given almost complex 6-manifold with non-degenerate Nijenhuis tensor is unique (up to a constant). We interpret the nearly…
Warped product CR-submanifolds in Kaehlerian manifolds were intensively studied only since 2001 after the impulse given by B.Y. Chen. Immediately after, another line of research, similar to that concerning Sasakian geometry as the odd dimensional version of Kaehlerian geometry, was developed, namely warped product contact CR-submanifolds in Sasakian manifolds. In this note we proved that there exists no proper doubly warped product contact CR-submanifolds in trans-Sasakian manifolds.
We investigate the local geometry of a class of Kähler submanifolds $M \subset \R^n$ which generalize surfaces of constant mean curvature. The role of the mean curvature vector is played by the $(1,1)$-part (i.e. the $dz_id\bar z_j$-components) of the second fundamental form $α$, which we call the pluri-mean curvature. We show that these Kähler submanifolds are characterized by the existence of an associated family of isometric submanifolds with rotated second fundamental form. Of particular interest is the isotropic case where this associated family is trivial. We also investigate the propert…
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…
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.
In this paper we show how Einstein metrics are naturally described using the quantization of the algebra of functions on a Kahler manifold M. In this setup one interprets M as the phase space itself, equipped with the Poisson brackets inherited from the Kahler 2-form. We compare the geometric quantization framework with several deformation quantization approaches. We find that the balanced metrics appear naturally as a result of setting the vacuum energy to be the constant function on the moduli space of semiclassical vacua. In the classical limit these metrics become Kahler-Einstein (when M a…
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).
This paper extends the nonabelian Hodge correspondence for Kaehler manifolds to a larger class of hermitian metrics on complex manifolds called balanced of Hodge-Riemann type. Essentially, it grows out of a few key observations so that the known results, especially the Donaldson-Uhlenbeck-Yau theorem and Corlette's theorem, can be applied in our setting. Though not necessarily Kaehler, we show that the Sampson-Siu Theorem proving that harmonic maps are pluriharmonic remains valid for a slightly smaller class by using the known argument. Special important examples include those balanced metrics…
