Search

Given a compact K\"ahler manifold, we survey the study of complex Monge-Amp\`ere type equations with prescribed singularity type, developed by the authors in a series of papers. In addition, we give a general answer to a question of Guedj--Zeriahi about the finite energy range of the complex Monge-Amp\`ere operator.

We prove existence of twisted K\"ahler-Einstein metrics in big cohomology classes, using a divisorial stability condition. In particular, when $-K_X$ is big, we obtain a uniform Yau-Tian-Donaldson existence theorem for K\"ahler-Einstein metrics. To achieve this, we build up from scratch the theory of Fujita-Odaka type delta invariants in the transcendental big setting, using pluripotential theory. We do not use the K-energy in our arguments, and our techniques provide a simple roadmap to prove Yau-Tian-Donaldson existence theorems for K\"ahler-Einstein type metrics, that only needs convexity of the appropriate Ding energy. As an application, we give a simplified proof of Li-Tian-Wang's existence theorem in the log Fano setting., Comment: v1. Comments welcome! v2. Some imprecisions in presentation fixed. References updated v3. Substantial rewrite of presentation, further context added

Let $(L,he^{-u})$ be a pseudoeffective line bundle on an $n$-dimensional compact K\"ahler manifold $X$. Let $h^0(X,L^k\otimes \mathcal I(ku))$ be the dimension of the space of sections $s$ of $L^k$ such that $h^k(s,s)e^{-ku}$ is integrable. We show that the limit of $k^{-n}h^0(X,L^k\otimes \mathcal I(ku))$ exists, and equals the non-pluripolar volume of $P[u]_\mathcal I$, the $\mathcal I$-model potential associated to $u$. We give applications of this result to K\"ahler quantization: fixing a Bernstein-Markov measure $\nu$, we show that the partial Bergman measures of $u$ converge weakly to the non-pluripolar Monge--Amp\`ere measure of $P[u]_\mathcal I$, the partial equilibrium., Comment: v3. addresses and references updated, typos fixed, to appear on Geometry & Topology

Following Kobayashi, we consider Griffiths negative complex Finsler bundles, naturally leading us to introduce Griffiths extremal Finsler metrics. As we point out, this notion is closely related to the theory of interpolation of norms, and is characterized by an equation of complex Monge--Amp\`ere type, whose corresponding Dirichlet problem we solve. As applications, we prove that Griffiths extremal Finsler metrics quantize solutions to a natural PDE in K\"ahler geometry, related to the construction of flat maps for the Mabuchi metric., Comment: v1. 17 pages v2. 22 pages. final version

Given a compact K\"ahler manifold, we prove that all global isometries of the space of K\"ahler metrics are induced by biholomorphisms and anti-biholomorphisms of the manifold. In particular, there exist no global symmetries for Mabuchi's metric. Moreover, we show that the Mabuchi completion does not even admit local symmetries. Closely related to these findings, we provide a large class of metric geodesic segments that can not be extended at one end, pointing out the first such examples in the literature.

Finite energy pluripotential theory accommodates the variational theory of equations of complex Monge-Amp\`ere type arising in K\"ahler geometry. Recently it has been discovered that many of the potential spaces involved have a rich metric geometry, effectively turning the variational problems in question into problems of infinite dimensional convex optimization, yielding existence results for solutions of the underlying complex Monge-Amp\`ere equations. The purpose of this survey is to describe these developments from basic principles., Comment: v2. improved presentation

We prove a compactness theorem for K\"ahler metrics with various bounds on Ricci curvature and the $\mathcal I$ functional. We explore applications of our result to the continuity method and the Calabi flow.

Let $(X,\omega)$ be a compact normal K\"ahler space, with Hodge metric $\omega$. In this paper, the last in a sequence of works studying the relationship between energy properness and canonical K\"ahler metrics, we introduce a geodesic metric structure on $\mathcal H_{\omega}(X)$, the space of K\"ahler potentials, whose completion is the finite energy space $\mathcal E^1_{\omega}(X)$. Using this metric structure and the results of Berman-Boucksom-Eyssidieux-Guedj-Zeriahi as ingredients in the existence/properness principle of Rubinstein and the author, we show that existence of K\"ahler-Einstein metrics on log Fano pairs is equivalent to properness of the K-energy in a suitable sense. To our knowledge, this result represents the first characterization of general log Fano pairs admitting K\"ahler-Einstein metrics. We also discuss the analogous result for K\"ahler-Ricci solitons on Fano varieties., Comment: v2 Final version. J. Streets discovered that the approximation result of [EGZ2] has incomplete proof. As a result, the approximation result of [CGZ] has to be used, that applies only in the case of Hodge Kahler metrics. We modified the statements of Theorem 2.1 and Theorem 3.5 accordingly. The main applications regarding canonical Kahler metrics are unchanged

Suppose $(X,J,\omega)$ is a Fano manifold and $t \to r_t$ is a diverging K\"ahler-Ricci trajectory. We construct a bounded geodesic ray $t \to u_t$ weakly asymptotic to $t \to r_t$, along which Ding's $\mathcal F$-functional decreases, partially confirming a folklore conjecture. In absence of non-trivial holomorphic vector fields this proves the equivalence between geodesic stability of the $\mathcal F$-functional and existence of K\"ahler-Einstein metrics. We also explore applications of our construction to Tian's $\alpha$-invariant., Comment: v2. Improved presentation. References added

Suppose (X,\omega) is a compact K\"ahler manifold. In the present work we propose a simple construction for weak geodesic rays in the space of K\"ahler metrics that seems to be tied together with properties of the class E(X,\omega). As an application of our construction, we prove a characterization of E(X,\omega) in terms of envelopes., Comment: v3. References added. Other minor changes made v4. Final version. Small change in title. Section 2.4 expanded with a result of Ross and Witt-Nystrom on analytic test configurations

Given a compact K\"ahler manifold $(X,\omega_0)$ let $\mathcal H_{0}$ be the set of K\"ahler forms cohomologous to $\omega_0$. As observed by Mabuchi \cite{m}, this space has the structure of an infinite dimensional Riemannian manifold, if one identifies it with a totally geodesic subspace of $\mathcal H$, the set of K\"ahler potentials of $\omega_0$. Following Donaldson's research program, existence and regularity of geodesics in this space is of fundamental interest. In this paper, supposing enough regularity of a geodesic $u:[0,1]\to \mathcal H$, connecting $u_0 \in \mathcal H$ with $u_1 \in \mathcal H$, we establish a Morse theoretic result relating the critical points of $u_1-u_0$ to the critical points of $\dot u_0 = du/dt|_{t=0}$. As an application of this result, we prove that on all K\"ahler manifolds, connecting K\"ahler potentials with smooth geodesics is not possible in general. In particular, in the case $X \neq \Bbb C P^1$, we will also prove that the set of pairs of potentials that can not be connected with smooth geodesics has nonempty interior. This is an improvement upon the findings of \cite{lv} and \cite{dl}., Comment: Final version. To appear in PAMS

Given a compact K\"ahler manifold (X,\omega_0), according to Mabuchi, the set of K\"ahler forms cohomologous to \omega_0 has the natural structure of an infinite dimensional Riemannian manifold. We address the question whether points in this space can be joined by a geodesic, and strengthening previous findings of the second author with Vivas, we show that this cannot always be done even with a certain type of generalized geodesics.