The space of positively curved hermitian metrics on a positive holomorphic line bundle over a compact complex manifold is an infinite-dimensional symmetric space. It is shown by Phong and Sturm that geodesics in this space can be uniformly approximated by geodesics in the finite dimensional spaces of Bergman metrics. We prove a stronger C^2-approximation in the special case of toric (i.e. S^1-invariant) metrics on CP^1.
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…
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…
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.
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 prove a folklore conjecture that the Bergman measure along a holomorphic family of curves parametrized by the punctured unit disk converges to the Zhang measure on the associated Berkovich space. The convergence takes place on a Berkovich hybrid space. We also study the convergence of the Bergman measure to a measure on a metrized curve complex in the sense of Amini and Baker.
It is known that a compact symplectic manifold endowed with a prequantum line bundle can be embedded in the projective space generated by the eigensections of low energy of the Bochner Laplacian acting on high $p$-tensor powers of the prequantum line bundle. We show that the Fubini-Study forms induced by these embeddings converge at speed rate $1/p^{2}$ to the symplectic form. This result implies the generalization to the almost-Kähler case of the lower bounds on the Calabi functional given by Donaldson for Kähler manifolds, as shown by Lejmi and Keller.
It is shown that the geodesic rays constructed as limits of Bergman geodesics from a test configuration are always of class $C^{1,α}, 0<α<1$. An essential step is to establish that the rays can be extended as solutions of a Dirichlet problem for a Monge-Ampere equation on a Kaehler manifold which is compact.
It is shown that geodesics in the space of Kähler potentials can be uniformly approximated by geodesics in the spaces of Bergman metrics. Two important tools in the proof are the Tian-Yau-Zelditch approximation theorem for Kähler potentials and the pluripotential theory of Bedford-Taylor, suitably adapted to Kähler manifolds.
In this paper we will discuss local coordinates canonically corresponding to a Kahler metric. We will also discuss and prove the $C^\infty$ convergence of Bergman metrics following Tian's result on $C^2$ convergence of Bergman metrics. At the end, we present an interesting characterization of ample line bundle that could be useful in arithmetic geometry.
We study partition functions of random Bergman metrics, with the actions defined by a class of geometric functionals known as `stability functions'. We introduce a new stability invariant - the critical value of the coupling constant - defined as the minimal coupling constant for which the partition function converges. It measures the minimal degree of stability of geodesic rays in the space the Bergman metrics, with respect to the action. We calculate this critical value when the action is the $ν$-balancing energy, and show that $γ_k^{\rm crit} = k - h$ on a Riemann surface of genus $h$.
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…
Let $( X ,d ,p ) $ be the pointed Gromov-Hausdorff limit of a sequence of pointed complete polarized Kähler manifolds $( M_l ,ω_l ,\mathcal{L}_l ,h_l ,p_l ) $ with $Ric ( h_l ) =2πω_l $, $Ric ( ω_l ) \geq -Λω_l $ and $Vol \big( B_1 ( p_l ) \big) \geq v $, $\forall l\in\mathbb{N} $, where $Λ,v>0$ are constants. Then $X$ is a normal complex space [Liu-Székelyhidi, 2022, GAFA]. In this paper, we discuss the convergence of the Hermitian line bundles $( \mathcal{L}_l ,h_l )$ and the Bergman kernels. In particular, we show that the Kähler forms $ω_l $ converge to a unique closed positive current $ω_…
We associate certain probability measures on $\R$ to geodesics in the space $\H_L$ of positively curved metrics on a line bundle $L$, and to geodesics in the finite dimensional symmetric space of hermitian norms on $H^0(X, kL)$. We prove that the measures associated to the finite dimensional spaces converge weakly to the measures related to geodesics in $\H_L$ as $k$ goes to infinity. The convergence of second order moments implies a recent result of Chen and Sun on geodesic distances in the respective spaces, while the convergence of first order moments gives convergence of Donaldson's $Z$-fu…
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}}$.
Let L be an ample holomorphic line bundle over a compact complex Hermitian manifold X. Any fixed smooth Hermitian metric on L induces a Hilbert space structure on the space of global holomorphic sections with values in the k:th tensor power of L. In this paper various convergence results are obtained for the corresponding Bergman kernels. The convergence is studied in the large k limit and is expressed in terms of the equilibrium metric associated to the fixed metric, as well as in terms of the Monge-Ampere measure of the fixed metric itself on a certain support set. It is also shown that the …
Let $X$ be a compact complex manifold, $L\to X$ an ample line bundle over $X$, and ${\cal H}$ the space of all positively curved metrics on $L$. We show that a pair $(h_0,T)$ consisting of a point $h_0\in {\cal H}$ and a test configuration $T=({\cal L}\to {\cal X}\to {\bf C})$, canonically determines a weak geodesic ray $R(h_0,T)$ in ${\cal H}$ which emanates from $h_0$. Thus a test configuration behaves like a vector field on the space of Kähler potentials ${\cal H}$. We prove that $R$ is non-trivial if the ${\bf C}^\times$ action on $X_0$, the central fiber of $\cal X$, is non-trivial. The r…
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$.
Let L be a holomorphic line bundle over a compact complex projective Hermitian manifold X. Any fixed smooth hermitian metric h on L induces a Hilbert space structure on the space of global holomorphic sections with values in the k th tensor power of L. In this paper various convergence results are obtained for the corresponding Bergman kernels (i.e. orthogonal projection kernels). The convergence is studied in the large k limit and is expressed in terms of the equilibrium metric h_e associated to h, as well as in terms of the Monge-Ampere measure of h on a certain support set. It is also shown…
We prove a sharp criterion on the decay of the tension of almost harmonic maps from degenerating surfaces that ensures that such maps subconverge to a limiting object that is made up entirely of harmonic maps.
Let X be a strictly pseudoconcave domain in a closed polarized complex manifold (Y,L) where L is a (semi-)positive line bundle over Y. Any given Hermitian metric on L, together with a volume form, induces by restriction to X a Hilbert space structure on the space of global holomorphic sections on Y with values in the k:th tensor power of L. In this paper the leading large k asymptotics for the corresponding Bergman kernels and metrics are obtained in terms of the curvature of L and of the boundary of X (undere a certain compatibility assumption). The convergence of the Bergman metrics is obtai…
Let $D_F = \{(z_0, z) \in {\C}^{n} | |z_0|^2 < b, \|z\|^2 < F(|z_0|^2) \}$ be a strongly pseudoconvex Hartogs domain endowed with the \K metric $g_F$ associated to the \K form $ω_F = -\frac{i}{2} \partial \bar{\partial} \log (F(|z_0|^2) - \|z\|^2)$. This paper contains several results on the Riemannian geometry of these domains. In the first one we prove that if $D_F$ admits a non special geodesic (see definition below) through the origin whose trace is a straight line then $D_F$ is holomorphically isometric to an open subset of the complex hyperbolic space. In the second theorem we prove that…
We consider the Weil-Petersson gradient vector field of renormalized volume on the deformation space of convex cocompact hyperbolic structures on (relatively) acylindrical manifolds. In this paper we prove the conjecture that the flow has a global attracting fixed point at the structure $M_{\rm geod}$ the unique structure with minimum convex core volume.
We study the quantization of coupled Kähler-Einstein (CKE) metrics, namely we approximate CKE metrics by means of the canonical Bergman metrics, so called the ``balanced metrics''. We prove the existence and weak convergence of balanced metrics for the negative first Chern class, while for the positive first Chern class, we introduce some algebro-geometric obstruction which interpolates between the Donaldson-Futaki invariant and Chow weight. Then we show the existence and weak convergence of balanced metrics on CKE manifolds under the vanishing of this obstruction. Moreover, restricted to the …
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
With inspiration from the Kähler geometry, we introduce a metric structure on the energy class, $\mathcal{E}_{1,m}$, of $m$-subharmonic functions with bounded energy and show that it is complete. After studying how the metric convergence relates to the accepted convergences in this Caffarelli-Nirenberg-Spruck model, we end by constructing geodesics in a subspace of our complete metric space.
We establish the convexity of Mabuchi's K-energy functional along weak geodesics in the space of Kahler potentials on a compact Kahler manifold thus confirming a conjecture of Chen and give some applications in Kahler geometry, including a proof of the uniqueness of constant scalar curvature metrics (or more generally extremal metrics) modulo automorphisms. The key ingredient is a new local positivity property of weak solutions to the homogenuous Monge-Ampere equation on a product domain, whose proof uses plurisubharmonic variation of Bergman kernels.
We equip the whole tangent space $TM$ to a hyperbolic manifold $M$ (of constant sectional curvature -1) with a natural metric in an intrinsic way, so that the isometries of $M$ extend to isometries of $TM$ by holomorphic continuation. The image to the tangent space to a geodesic is equivalent to a hyperbolic disk. In the case of hyperbolic space, we exhibit an equivariant diffeomorphism between $TM$ and the fourth symmetric complex domain of E. Cartan, also known as the Lie ball. The closure of the Lie ball appears as a horospheric compactification of the tangent bundle to hyperbolic space, an…
We study inverse mean curvature flow with free boundary supported on geodesic spheres in hyperbolic space. Starting from any convex hypersurface inside a geodesic ball with a free boundary, the flow converges to a totally geodesic disk in finite time. Using the convergence result, we show a Willmore type inequality.
We discuss positive closed currents and Fubini-Study currents on orbifolds, as well as Bergman kernels of singular Hermitian orbifold line bundles. We prove that the Fubini-Study currents associated to high powers of a semipositive singular line bundle converge weakly to the curvature current on the set where the curvature is strictly positive, generalizing a well-known theorem of Tian. We include applications to the asymptotic distribution of zeros of random holomorphic sections.
Efficient approximation of geodesics is crucial for practical algorithms on manifolds. Here we introduce a class of retractions on submanifolds, induced by a foliation of the ambient manifold. They match the projective retraction to the third order and thus match the exponential map to the second order. In particular, we show that Newton retraction (NR) is always stabler than the popular approach known as oblique projection or orthographic retraction: per Kantorovich-type convergence theorems, the superlinear convergence regions of NR include those of the latter. We also show that NR always ha…
Let X be a compact complex manifold equipped with a smooth (but not necessarily positive) closed form theta of one-one type. By a well-known envelope construction this data determines a canonical theta-psh function u which is not two times differentiable, in general. We introduce a family of regularizations of u, parametrized by a positive number beta, defined as the smooth solutions of complex Monge-Ampere equations of Aubin-Yau type. It is shown that, as beta tends to infinity, the regularizations converge to the envelope u in the strongest possible Holder sense. A generalization of this res…
From optimal transport to robust dimensionality reduction, a plethora of machine learning applications can be cast into the min-max optimization problems over Riemannian manifolds. Though many min-max algorithms have been analyzed in the Euclidean setting, it has proved elusive to translate these results to the Riemannian case. Zhang et al. [2022] have recently shown that geodesic convex concave Riemannian problems always admit saddle-point solutions. Inspired by this result, we study whether a performance gap between Riemannian and optimal Euclidean space convex-concave algorithms is necessar…
We prove an equidistribution result for totally geodesic submanifolds in a compact locally symmetric space. In the case of Hermitian locally symmetric spaces, this gives a convergence theorem for currents of integration along totally geodesic subvarieties. As a corollary, we obtain that on a complex surface which is a compact quotient of the bidisc or of the 2-ball, there is at most a finite number of totally geodesic curves with negative self intersection. More generally, we prove that there are only finitely many exceptional totally geodesic divisors in a compact Hermitian locally symmetric …
