We generalize the results of Song-Zelditch on geodesics in spaces of Kahler metrics on toric varieties to harmonic maps of any compact Riemannian manifold with boundary into the space of Kahler metrics on a toric variety. We show that the harmonic map equation can always be solved and that such maps may be approximated in the C^2 topology by harmonic maps into the spaces of Bergman metrics. In particular, WZW maps, or equivalently solutions of a homogeneous Monge-Ampere equation on the product of the manifold with a Riemann surface with S^1 boundary admit such approximations. We also show that the Eells-Sampson flow on the space of Kahler potentials is transformed to the usual heat flow on the space of symplectic potentials under the Legendre transform.
In this paper, we study the behavior of Bergman kernels along the Kähler Ricci flow on Fano manifolds. We show that the Bergman kernels are equivalent along the Kähler Ricci flow under certain condition on the Ricci curvature of the initial metric. Then, using a recent work of Tian and Zhang, we can solve a conjecture of Tian for Fano manifolds of complex dimension $\le 3$.
In these notes, after an introduction to toric Kahler geometry, we present Calabi's family of U(n)-invariant extremal Kahler metrics in symplectic action-angle coordinates and show that it actually contains, as particular cases, many interesting cohomogeneity one examples of constant scalar curvature.
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…
In a recent paper Donaldson explains how to use an older construction of Joyce to obtain four dimensional local models for scalar-flat Kahler metrics with a 2-torus symmetry. Using this idea, he recovers and generalizes the Taub-NUT metric by including it in a new family of complete scalar-flat toric Kahler metrics. In this paper we generalize Donaldson's method and construct complete scalar-flat toric Kahler metrics on any symplectic toric 4-manifold with "strictly unbounded" moment polygon. These include the asymptotic locally Euclidean scalar-flat Kahler metrics previously constructed by Ca…
In this paper we construct a family of complex structures on a complex flag manifold that converge to the real polarization coming from the Gelfand-Cetlin integrable system, in the sense that holomorphic sections of a prequantum line bundle converge to delta-function sections supported on the Bohr-Sommerfeld fibers. Our construction is based on a toric degeneration of flag varieties and a deformation of Kähler structure on toric varieties by symplectic potentials.
This paper is a sequel to \cite{Xu}. In this paper, an estimation of the Bergman Kernel of Kähler hyperbolic manifold is given by the $L^2$ estimate and the Bochner formula. As an application, an effective criterion of the very ampleness of the canonical line bundle of Kähler hyperbolic manifold is given, which is a generalization of Yeung's result.
In this paper, we give a lower bound of Bergman kernels for a sequence of almost Kähler-Einstein Fano manifolds, or more general, a sequence of Fano manifolds with almost Kähler-Ricci solitons. This generalizes a result by Donaldson-Sun, Tian for Kähler-Einstein manifolds sequence with positive scalar curvature. As an application of our result, we prove that the Gromov-Hausdorff limit of sequence is homomorphic to a log terminal $Q$-Fano variety which admits a Kähler-Ricci soliton on its smooth part.
Given a sequence of positive Hermitian holomorphic line bundles $(L_p,h_p)$ on a Kähler manifold $X$, we establish the asymptotic expansion of the Bergman kernel of the space of global holomorphic sections of $L_p$, under a natural convergence assumption on the sequence of curvatures $c_1(L_p,h_p)$. We then apply this to study the asymptotic distribution of common zeros of random sequences of $m$-tuples of sections of $L_p$ as $p\to\infty$.
In this paper, we show that the complete scalar-flat Kahler metrics constructed by Abreu and the author on strictly unbounded toric 4-dimensional orbifolds have finite $L^2$ norm of the full Riemannian tensor. In particular, this answers a question of Donaldon's on the corresponding Generalized Taub-NUT metric on $R^4$. This norm is explicitly determined when the underlying toric manifold is the minimal resolution of a cyclic singularity. In the Ricci-flat case corresponding to gravitational instantons, this recovers a recent result of Atiyah-Lebrun.
It's well-known in \kahler geometry that the infinite dimensional symmetric space $\hcal$ of smooth \kahler metrics in a fixed \kahler class on a polarized \kahler manifold is well approximated by finite dimensional submanifolds $\bcal_k \subset \hcal$ of Bergman metrics of height $k$. Then it's natural to ask whether geodesics in $\hcal$ can be approximated by Bergman geodesics in $\bcal_k$. For any polarized \kahler manifold, the approximation is in the $C^0$ topology. While Song-Zelditch proved the $C^2$ convergence for the torus-invariant metrics over toric varieties. In this article, we s…
A theorem of E.Lerman and S.Tolman, generalizing a result of T.Delzant, states that compact symplectic toric orbifolds are classified by their moment polytopes, together with a positive integer label attached to each of their facets. In this paper we use this result, and the existence of "global" action-angle coordinates, to give an effective parametrization of all compatible toric complex structures on a compact symplectic toric orbifold, by means of smooth functions on the corresponding moment polytope. This is equivalent to parametrizing all toric Kahler metrics and generalizes an analogous…
We prove the convergence of the Bergman kernels and the $L^2$-Hodge numbers on a tower of Galois coverings $\{X_j\}$ of a compact Kähler manifold $X$ converging to an infinite Galois (not necessarily universal) covering $\widetilde{X}$. We also show that, as an application, sections of canonical line bundle $K_{X_j}$ for sufficiently large $j$ give rise to an immersion into some projective space, if so do sections of $K_{\widetilde{X}}$.
On a compact Kahler manifold, one can define global invariants by integrating local invariants of the metric. Assume that a global invariant thus obtained depends only on the Kahler class. Then we show that the integrand can be decomposed into a Chern polynomial (the integrand of a Chern number) and divergences of one forms, which do not contribute to the integral. We apply this decomposition formula to describe the asymptotic expansion of the Bergman kernel for positive line bundles and to show that the CR Q-curvature on a Sasakian manifold is a divergence.
We study toric nearly Kähler manifolds, extending the work of Moroianu and Nagy. We give a description of the global geometry using multi-moment maps. We then investigate polynomial and radial solutions to the toric nearly Kähler equation.
We give criterions for the existence of toric conical Kahler-Einstein and Kahler-Ricci soliton metrics on any toric manifold in relation to the greatest Ricci and Bakry-Emery-Ricci lower bound. We also show that any two toric manifolds with the same dimension can be joined by a continuous path of toric manifolds with conical Kahler-Einstein metrics in the Gromov-Hausdorff topology.
In this short note, we compare our previous works on the off-diagonal expansion of the Bergman kernel and the recent preprint of Lu-Shiffman (arxiv.1301.2166). In particular, we note that the vanishing of the coefficient of p^{-1/2} is implicitly contained in Dai-Liu-Ma's work (J. Differential Geom. 72 (2006), no. 1, 1-41) and was explicitly stated in our book (Holomorphic Morse inequalities and Bergman kernels, Progress in Math., vol. 254, Birkhäuser, 2007).
Geodesics on the infinite dimensional symmetric space $\hcal$ of Kähler metrics in a fixed Kähler class on a projective Kähler manifold X are solutions of a homogeneous complex Monge-Ampère equation in $X \times A$, where $A \subset \C$ is an annulus. They are analogues of 1PS (one-parameter subgroups) on symmetric spaces $G_{\C}/G$. Donaldson, Arezzo-Tian and Phong-Sturm raised the question whether Monge-Ampère geodesics can be approximated by 1PS geodesics in the symmetric spaces of Bergman metrics. Phong-Sturm proved weak C^0 convergence of Bergman to Monge-Ampère geodesics on a general \ka…
On a polarized manifold $(X,L)$, the Bergman iteration $ϕ_k^{(m)}$ is defined as a sequence of Bergman metrics on $L$ with two integer parameters $k, m$. We study the relation between the Kähler-Ricci flow $ϕ_t$ at any time $t \geq 0$ and the limiting behavior of metrics $ϕ_k^{(m)}$ when $m=m(k)$ and the ratio $m/k$ approaches to $t$ as $k \to \infty$. Mainly, three settings are investigated: the case when $L$ is a general polarization on a Calabi-Yau manifold $X$ and the case when $L=\pm K_X$ is the (anti-) canonical bundle. Recently, Berman showed that the convergence $ϕ_k^{(m)} \to ϕ_t$ hol…
We study compact toric strict locally conformally Kähler manifolds. We show that the Kodaira dimension of the underlying complex manifold is $-\infty$ and that the only compact complex surfaces admitting toric strict locally conformally Kähler metrics are the diagonal Hopf surfaces. We also show that every toric Vaisman manifold has lcK rank 1 and is isomorphic to the mapping torus of an automorphism of a toric compact Sasakian manifold.
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 give a complete criterion for the existence of generalized Kähler Einstein metrics on toric Fano manifolds from view points of a uniform stability in a sense of GIT and the properness of a functional on the space of Kähler metrics.
Let $(X, ω, J)$ be a toric variety of dimension $2n$ determined by a Delzant polytope. In this paper, we first construct the polarizations $\shP_{k}$ by the Hamiltonian $T^{k}$-action on $X$ (see Theorem 3.11). We will show that $\shP_{k}$ is a singular mixed polarization for $1\le k < n$, and $\shP_{n}$ is a singular real polarization which coincides with the real polarization studied in \cite{BFMN} on the open dense subset of $X$. Then for each $1\le k \le n$, we will find a one-parameter family of Kähler polarizations $\shP_{k,t}$ on $X$ that converges to $\shP_{k}$ (see Theorem 3.12). Fina…
Conformally Kähler, Einstein-Maxwell metrics and $f$-extremal metrics are generalization of canonical metrics in Kähler geometry. We introduce uniform K-stability for toric Kähler manifolds, and show that uniform K-stability is necessary condition for the existence of $f$-extremal metrics on toric manifolds. Furthermore, we show that uniform K-stability is equivalent to properness of relative K-energy.
We prove that for a bounded domain in $\mathbb C^n$ with the Bergman metric of constant holomorphic sectional curvature being biholomorphic to a ball is equivalent to the hyperconvexity or the exhaustiveness of the Bergman-Calabi diastasis. By finding its connection with the Bergman representative coordinate, we give explicit formulas of the Bergman-Calabi diastasis and show that it has bounded gradient. In particular, we prove that any bounded domain whose Bergman metric has constant holomorphic sectional curvature is Lu Qi-Keng. We also extend a theorem of Lu towards the incomplete situation…
Abreu-Sena-Dias have constructed two distinct families of scalar-flat Kähler non-compact toric metrics using Donaldson's rephrasing of Joyce's construction in action-angle coordinates. In this paper and using the same set-up, we show that these are the only J-complete scalar-flat Kähler metrics on any given strictly unbounded toric surface. We also show that the asymptotic behaviour of such a metric determines it uniquely.
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 provide an explicit resolution of the Abreu equation on convex labeled quadrilaterals. This confirms a conjecture of Donaldson in this particular case and implies a complete classification of the explicit toric Kähler-Einstein and toric Sasaki-Einstein metrics constructed in [6,22,14]. As a byproduct, we obtain a wealth of extremal toric (complex) orbi-surfaces, including Kähler-Einstein ones, and show that for a toric orbi-surface with 4 fixed points of the torus action, the vanishing of the Futaki invariant is a necessary and sufficient condition for the existence of Kähler metric with co…
In this note, we prove that on an $n$-dimensional compact toric manifold with positive first Chern class, the Kähler-Ricci flow with any initial $(S^1)^n$-invariant Kähler metric converges to a Kähler-Ricci soliton. In particular, we give another proof for the existence of Kähler-Ricci solitons on a compact toric manifold with positive first Chern class by using the Kähler-Ricci flow.
We compute the first four coefficients of the asymptotic off-diagonal expansion of the Bergman kernel for the N-th power of a positive line bundle on a compact Kaehler manifold, and we show that the coefficient b_1 of the N^{-1/2} term vanishes when we use a K-frame. We also show that all the coefficients of the expansion are polynomials in the K-coordinates and the covariant derivatives of the curvature and are homogeneous with respect to the weight w.
We show that, up to biholomorphism, there is at most one complete $T^n$-invariant shrinking gradient Kähler-Ricci soliton on a non-compact toric manifold $M$. We also establish uniqueness without assuming $T^n$-invariance if the Ricci curvature is bounded and if the soliton vector field lies in the Lie algebra $\mathfrak{t}$ of $T^n$. As an application, we show that, up to isometry, the unique complete shrinking gradient Kähler-Ricci soliton with bounded scalar curvature on $\mathbb{CP}^{1} \times \mathbb{C}$ is the standard product metric associated to the Fubini-Study metric on $\mathbb{CP}^…
We show that any compact convex simple lattice polytope is the moment polytope of a Kähler-Einstein orbifold, unique up to orbifold covering and homothety. We extend the Wang-Zhu Theorem \cite{WZ} giving the existence of a Kähler-Ricci soliton on any toric monotone manifold on any compact convex simple labelled polytope satisfying the combinatoric condition corresponding to monotonicity. We obtain that any compact convex simple polytope $P\subset \bR^n$ admits a set of inward normals, unique up to dilatation, such that there exists a symplectic potential satisfying the Guillemin boundary condi…
This article contains a detailed study, in the toric case, of the test configuration geodesic rays defined by Phong-Sturm. We show that the `Bergman approximations' of Phong-Sturm converge in C^1 to the geodesic ray and that the geodesic ray itself is C^{1,1} and no better. The \kahler metrics associated to the geodesic ray of potentials are discontinuous across certain hypersurfaces and are degenerate on certain open sets. A novelty in the analysis is the connection between Bergman metrics, Bergman kernels and the theory of large deviations.
We underline some differences between the geometric aspect of Berezin's approach to quantization on homogeneous Kähler manifolds and Bergman's construction for bounded domains in $\mathbb{C}^n$. We construct explicitly the Bergman representative coordinates for the Siegel-Jacobi disk $\mathcal{D}^J_1$, which is a partially bounded manifold whose points belong to $\mathbb{C}\times\mathcal{D}_1$, where $\mathcal{D}_1$ denotes the Siegel disk. The Bergman representative coordinates on $\mathcal{D}^J_1$ are globally defined, the Siegel-Jacobi disk is a normal Kähler homogeneous Lu Qi-Keng manifold…
We prove a conjecture saying that complex projective space has maximal volume (degree) among all toric Kaehler-Einstein manifolds of dimension n. The proof is inspired by our recent work on sharp Moser-Trudinger and Brezis-Merle type inequalities for the complex Monge-Ampere operator, but is essentially self-contained.
In this paper we study the smallest non-zero eigenvalue $λ_1$ of the Laplacian on toric Kähler manifolds. We find an explicit upper bound for $λ_1$ in terms of moment polytope data. We show that this bound can only be attained for $\mathbb{CP}^n$ endowed with the Fubini-Study metric and therefore $\mathbb{CP}^n$ endowed with the Fubini-Study metric is spectrally determined among all toric Kähler metrics. We also study the equivariant counterpart of $λ_1$ which we denote by $λ_1^T$. It is the the smallest non-zero eigenvalue of the Laplacian restricted to torus-invariant functions. We prove tha…
We prove that a compact toric locally conformally Kähler manifold which is not Kähler admits a toric Vaisman structure, a fact which was conjectured in \cite{mmp}. This is the final step leading to the classification of compact toric locally conformally Kähler manifolds started in \cite{p} and \cite{mmp}. We also show, by constructing an example, that unlike in the symplectic case, toric locally conformally symplectic manifolds are not necessarily toric locally conformally Kähler.
We investigate which orbits of an $n$-dimensional torus action on a $2n$-dimensional toric Kähler manifold $M$ are minimal. In other words, we study minimal submanifolds appearing as the fibres of the moment map on a toric Kähler manifold. Amongst other questions we investigate and give partial answers to the following: (1) How many such minimal Lagrangian tori exist? (2) Can their stability, as critical points of the area functional, be characterised just from the ambient geometry? (3) Given a toric symplectic manifold, for which sets of orbits $S$, is there a compatible toric Kähler metric w…
An almost Kähler structure is {\it extremal} if the Hermitian scalar curvature is a Killing potential [29]. When the almost complex structure is integrable it coincides with extremal Kähler metric in the sense of Calabi [8]. We observe that the existence of an extremal {\it toric} almost Kähler structure of involutive type implies uniform K-stability and we point out the existence of a formal solution of the Abreu equation for any angle along the invariant divisor. Applying the recent result of Chen--Cheng [10] and He [27], we conclude that the existence of a compatible extremal toric almost K…
We show that 6-dimensional strict nearly Kähler manifolds admitting effective $\mathbb{T}^3$ actions by automorphisms are completely characterized in the neigbourhood of each point by a function on $\mathbb{R}^3$ satisfying a certain Monge-Ampère type equation.
Let $P$ be a Delzant polytope. We show that the quantization of the corresponding toric manifold $X_{P}$ in toric Kähler polarizations and in the toric real polarization are related by analytic continuation of Hamiltonian flows evaluated at time $t = \sqrt{-1} s$. We relate the quantization of $X_{P}$ in two different toric Kähler polarizations by taking the time-$\sqrt{-1} s$ Hamiltonian "flow" of strongly convex functions on the moment polytope $P$. By taking $s$ to infinity, we obtain the quantization of $X_{P}$ in the (singular) real toric polarization. Recall that $X_{P}$ has an open dens…
In [LS], it is shown shown that the first eigenvalue of the Laplacian restricted to the space of invariant functions on a toric Kähler manifold (i.e. $λ_1^\mathbb{T}$, the invariant first eigenvalue) is an unbounded function of the toric Kähler metric. In this note we show that, seen as a function on the space of toric Kähler metrics on a fixed toric manifold, $λ_1^\mathbb{T}$ admits no analytic critical points. We also show that on $S^2$, the first eigenvalue of the Laplacian restricted to the space of $S^1$-equivariant functions of any given integer weight admits no critical points.
We present a correspondence between real analytic Kähler toric manifolds and dually flat spaces, similar to Delzant correspondence in symplectic geometry. This correspondence gives rise to a lifting procedure: if $f:M\to M'$ is an affine isometric map between dually flat spaces and if $N$ and $N'$ are Kähler toric manifolds associated to $M$ and $M'$, respectively, then there is an equivariant Kähler immersion $N\to N'$. For example, we show that the Veronese and Segre embeddings are lifts of inclusion maps between appropriate statistical manifolds. We also discuss applications to Quantum Mech…
In this short note, we investigate the existence of orbifold Kähler-Einstein metrics on toric varieties. In particular, we show that every $\mathbb{Q}$-factorial normal projective toric variety allows an orbifold Kähler-Einstein metric. Moreover, we characterize the K-stability of $\mathbb{Q}$-factorial toric pairs of Picard number one in terms of the log Cox ring and the universal orbifold cover.
The aim of this paper is to solve a uniform version of the Yau-Tian-Donaldson conjecture for polarized toric manifolds. Also, we show a combinatorial sufficient condition for uniform relative K-polystability.
In this note we prove that toric Kähler metrics on complex projective space which are also $U(n)$-invariant are determined by their equivariant spectrum i.e. the list of eigenvalues of the Laplacian together with weights of the torus representation on the eigenspaces.
The purpose of this paper is to calculate the support of the multiplier ideal sheaves derived from the Kähler-Ricci flow on certain toric Fano manifolds with large symmetry. The early idea of this paper has already been in Appendix of \cite{futaki-sano0711}.
In this paper we study the gradient steady Kähler-Ricci soliton metrics on non-compact toric manifolds. We show that the orbit space of the free locus of such a manifold carries a natural Hessian structure with a nonnegative Bakry-Émery tensor. We generalize Calabi's classical rigidity result and use this to prove that any complete $\mathbf T^n$-invariant gradient steady Kähler-Ricci soliton with a free torus action must be a flat $(\mathbb C^*)^n$.
We prove a necessary and sufficient condition in terms of the barycenters of a collection of polytopes for existence of coupled Kähler-Einstein metrics on toric Fano manifolds. This confirms the toric case of a coupled version of the Yau-Tian-Donaldson conjecture. We also obtain a necessary and sufficient condition for existence of torus-invariant solutions to a system of soliton type equations on toric Fano manifolds. Some of these solutions provide natural candidates for the large time limits of a certain geometric flow generalizing the Kähler-Ricci flow.
