Abstract
In the probabilistic construction of Kähler–Einstein metrics on a complex projective algebraic manifold X—involving random point processes on X—a key role is played by the partition function. In this work a new quantitative bound on the partition function is obtained. It yields, in particular, a new direct analytic proof that X admits a Kähler–Einstein metrics if it is uniformly Gibbs stable. The proof makes contact with the quantization approach to Kähler–Einstein geometry.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A complex projective algebraic manifold X admits a Kähler–Einstein metric with positive Ricci curvature if and only if X is a Fano manifold satisfying an algebro-geometric condition called K-stability; this is the content of the solution of the Yau–Tian–Donaldson (YTD) conjecture for Fano manifolds [21]. The proof in [21] is based on a variant of Aubin’s method of continuity [1], extended to Aubin’s original method in [23]. It involves the following equations for a Kähler metric \(\omega _{t},\) parameterized by “time” t :
where dV is a fixed a volume form on X, which may be taken to have positive Ricci curvature \(\text{ Ric }\,dV\) (since X is Fano). The supremum over all \(t\in [0,1]\) for which a solution \(\omega _{t}\) exists defines an invariant of X, which is strictly positive, that we shall denote by R(X), following [38].Footnote 1 As t is increased towards R(X) either \(\omega _{t}\) blows-up or it converges towards a Kähler–Einstein metric (in which case \(R(X)=1).\) The first alternative is precisely what it is shown to be excluded by the condition of K-stability [23]. While it is usually assumed that \(t\in [0,1]\) it will in the present work be important to allow t to be any real number.
A probabilistic construction of Kähler–Einstein metrics with negative Ricci curvature was introduced in [4], where the Kähler–Einstein metric emerges from a random point process on X with N points as N tends to infinity (see also [29] for a different probabilistic framework involving random \(N\times N\) Hermitian matrices, also inspired by the YTD conjecture). A conjectural extension to Kähler–Einstein metrics with positive Ricci curvature was proposed in [5] and conditional convergence results were given in [6, 8]. In this probabilistic approach the role of K-stability is played by a new type of stability, dubbed Gibbs stability, which amounts to the finiteness of the corresponding partition functions. In the survey [7] connections to the variational proof of the uniform YTD conjecture [13] (involving uniform K-stability) are explained, including non-Archimedean aspects. In the present paper a new quantitative lower bound on the partition functions is obtained, which yields a new direct analytic proof that uniform Gibbs stability implies the existence of a unique Kähler–Einstein metric on X. The proof makes contact with the quantization approach to Kähler geometry and, in particular, with Zhang’s new remarkably direct proof of the (uniform) YTD conjecture [45].
1.1 Background on the probabilistic approach
Let X be a Fano manifold. Given a positive integer k we denote by N the dimension of the space of all holomorphic sections of the kth tensor power of the anti-canonical line bundle \(-K_{X}\) (i.e. the top exterior power of the tangent bundle of X):
(using additive notation for tensor products of line bundles). The Fano assumption on X ensures, in particular, that \(N\rightarrow \infty ,\) as \(k\rightarrow \infty \) (more precisely, \(N\sim k^{\dim X}\)). Given a basis \(s_{1}^{(k)},...,s_{N}^{(k)}\) in \(H^{0}(X,-kK_{X})\) denote by \(\det S^{(k)}\) the corresponding holomorphic section of the line bundle \(-(kK_{X^{N}})\rightarrow X^{N}\) defined as the Slater determinant
Given a volume form dV on X and a parameter \(\beta >0,\) the N-fold product \(X^{N}\) is endowed with the following probability measure, introduced in [4]:
where \(\left\| \cdot \right\| \) denotes the metric on \(-K_{X}\) (and its tensor powers) induced by dV. In statistical mechanical terms this probability measure represents the equilibrium distribution of N interacting particles on X at inverse temperature \(\beta \) and \(\mathcal {Z}_{N_{k}}(\beta )\) is the corresponding partition function. The probability measure \(\mu _{\beta }^{(N)}\) is, in fact, independent of the choice of bases. It will be convenient to fix a reference volume form \(dV_{0}\) on X with positive Ricci curvature and a basis \((s_{i}^{(k)})\) in \(H^{0}(X,-kK_{X})\) which is orthonormal with respect to Hermitian product on \(H^{0}(X,-kK_{X})\) induced by \(dV_{0}.\)
The probability measure \(\mu _{\beta }^{(N)}\) is symmetric (since the determinant is anti-symmetric) and thus defines a random point process on X with N points \(x_{1},...,x_{N}.\) By [4, Thm 5.7] the corresponding empirical measure \(\delta _{N},\) i.e. the discrete measure on X defined by
converges in probability, as \(N\rightarrow \infty ,\) towards a normalized volume form \(dV_{\beta }\) on X with the property that
is the unique Kähler form solving Aubin’s continuity Eq. 1.1 with \(t:=-\beta .\) The convergence of \(\delta _{N}\) towards \(dV_{\beta }\) also implies that the following convergence holds in the weak topology of currents on X :
where \(\omega _{k,\beta }\) is a Kähler form, for k sufficiently large (to ensure that \(-kK_{X}\) is very ample).
In fact, the convergence of \(\delta _{N}\) towards \(dV_{\beta }\) was shown to hold at an exponential speed in the sense of Large deviation theory [24]. More precisely, a Large Deviation Principle (LDP) was established, which may be symbolically expressed as
where the left hand side defines a measure on the space of all probability measures \(\mathcal {P}(X)\) on X and \(F_{\beta }(\mu )\) is a free energy type functional on \(\mathcal {P}(X)\) (see formula 2.3). Expressing \(\mu \) as the normalized volume form of a Kähler metric \(\omega \) in the space \(\mathcal {H}\) of all Kähler metrics representing the first Chern class of X, the free energy functional \(F_{\beta }(\mu )\) gets identified with the twisted Mabuchi functional on \(\mathcal {H}\) (which is minimized precisely by the unique Kähler metrics \(\omega _{\beta }\) solving Aubin’s equation 1.1 with \(t=-\beta ):\)
(cf. formula 2.2). The LDP 1.6 thus implies that
1.1.1 The case \(\beta <0\)
In the case when \(\beta \) is negative the probability measure \(\mu _{\beta }^{(N)}\) is well-defined for \(\beta \) sufficiently close to 0. The main case of interest is when \(\beta =-1.\) In this case the measure \(\mu _{\beta }^{(N)}\) is canonically attached to X, i.e. it is independent of the choice of volume form dV (since the contributions from the metric \(\left\| \cdot \right\| \) on \(-K_{X}\) and the volume form dV on X cancel). Hence, if \(\mu _{-1}^{(N)}\) is well-defined when N is sufficiently large, i.e. if \(\mathcal {Z}_{N}(-1)<\infty \)—in which case X is called Gibbs stable—one obtains canonical random point processes on X with N points. It was conjectured in [5] that the corresponding empirical measures \(\delta _{N}\) converge towards a unique Kähler–Einstein metric on X [5], as \(N\rightarrow \infty .\) A conjectural extension of the LDP for positive \(\beta \) in formula 1.6 to any negative \(\beta \) was also put forth in [5]. In a weaker form this conjecture may be formulated as follows:
Conjecture 1.1
Let X be a Fano manifold endowed with a volume form dV. Given a negative number \(\beta _{0}\) the following is equivalent:
-
(1)
For any given \(\beta >\beta _{0}\) the partition function \(\mathcal {Z}_{N}(\beta )\) is finite, when N is sufficiently large.
-
(2)
For any given \(\beta >\beta _{0}\) the twisted Mabuchi functional \(\mathcal {M}_{\beta }\) admits a minimizer in \(\mathcal {H}.\)
Moreover, if \(\beta _{0}\) satisfies the first condition, then for any given \(\beta >\beta _{0}\) the empirical measure \(\delta _{N}\) of the ensemble \(\left( X^{N},\mu _{\beta }^{(N)}\right) \) converges in probability as \(N\rightarrow \infty \)—after perhaps passing to a subsequence—towards a volume form \(dV_{\beta }\) such that \(\omega _{\beta },\) defined by formula 1.5, is a Kähler metric minimizing \(\mathcal {M}_{\beta }\) on \(\mathcal {H}.\)
In fact, it is enough to show that the limit \(dV_{\beta }\) is a probability minimizing the functional \(F_{\beta };\) it then follows from the regularity results in [11] that \(\omega _{\beta }\) is a Kähler metric and thus minimizes \(\mathcal {M}_{\beta }\) on \(\mathcal {H}.\) The reason that one has to pass to a subsequence is that a minimizer of \(\mathcal {M}_{\beta }\) need not be uniquely determined, unless dV is assumed to have positive Ricci curvature and \(\beta >-1.\) The integrability condition \(\mathcal {Z}_{N_{k}}(\beta )<\infty \) is, however, independent of choice of volume form dV. Accordingly, one obtains invariants of the Fano manifold X by setting
and X is called uniformly Gibbs stable if \(\gamma >1.\) This is, a priori, a stronger condition than Gibbs stability (which amounts to the condition that \(\gamma _{k}(X)>1\) for any sufficiently large k).
The validity of the equivalence “\(1\iff 2\)” in the previous conjecture would, in particular, imply that a Fano manifold X is uniformly Gibbs stable iff X admits a unique Kähler–Einstein metric (in analogy to the uniform version of YTD [13], which, in fact, is equivalent to the ordinary formulation of the YTD [33]). The general equivalence “\(1\iff 2\)” may be reformulated as the following identity:
as follows from [2, Thm 1.2] (when restricted to \(\beta \ge -1\) the supremum in the right hand side above coincides with the maximal existence time R(X) for Aubin’s equations 1.1). Moreover, as shown in [6, Section 7] and [8, Thm 2.3], in order to prove the conjectured convergence towards a minimizer of \(\mathcal {M}_{\beta }\) it is enough to extend the asymptotics 1.7 to \(\beta <0.\)
1.2 Main results
For \(\beta <0\) the limsup upper bound in formula 1.7 was established in [5, Thm 6.7] (by combining Gibbs variational principle in statistical mechanics with the asymptotics for transfinite diameters in [9, Thm 6.7]). The main new result in the present work is the following quantitative upper bound that holds for any fixed k, shown using a completely different argument. Henceforth, we set \(\gamma :=-\beta \).
Theorem 1.2
There exists a constant \(C>0\) (depending only on the reference volume for \(dV_{0})\) such that for any \(\gamma >0\) and positive integer k
where \(c_{k}:=(1-Ck^{-1})(k+1)/(k+\gamma ).\)
For \(\gamma \le 1\) the first term in the right hand side of the previous inequality may be replaced by the infimum of \(\mathcal {M}_{-\gamma (1-Ck^{-1})}\) (see Sect. 2.4).
The previous theorem immediately implies one direction of the conjectured equality 1.9:
Corollary 1.3
The following inequality holds
In other words “\(1\implies 2\)” in Conjecture 1.1. In particular, if X is uniformly Gibbs stable, then X admits a unique Kähler–Einstein metric.
As next explained this corollary also follows from combining the algebro-geometric results in [31, Thm 6.7] with the solution of the (uniform) YTD-conjecture in [21, Thm 6.7] (or [13, Thm 6.7]) and its very recent generalization in [45, Thm 6.7] (which applies to general \(\beta ).\) More precisely, exploiting that \(\gamma _{k}(X)\) may be realized as the log canonical threshold (lct) of an anti-canonical divisor on \(X^{N_{k}}\) it is shown in [31, Thm 2.5] that \(\gamma _{k}(X)\) is bounded from above by the invariant \(\delta _{k}(X)\) introduced in [31]:
where the infimum is taken over all anti-canonical \(\mathbb {Q}\)-divisors \(\Delta _{k}\) on X of k-basis type, i.e. \(\Delta _{k}\) is the normalized sum of the N zero-divisors on X defined by the members of a given basis in \(H^{0}(X,-kK_{X})\). In particular,
where the invariant \(\delta (X)\) characterizes uniform K-stability; \(\delta (X)>1\) iff X is uniformly K-stable [32] (by [17] the limsup above is, in fact, a limit). Recently, it was shown in [35] that \(\delta _{k}(X)\) coincides with the coercivity threshold of the quantized Ding functional on the symmetric space \(GL(N,\mathbb {C})/U(N).\) Combining this result with the quantized maximum principle in [16], it was then shown in [45] that \(\delta (X)\) coincides with the coercivity threshold of the Ding functional (as further discussed in Sect. 1.3). Finally, Corollary 1.3 follows from [2, Thm 3.4], which implies that the coercivity thresholds of the Ding and the Mabuchi functionals coincide.
1.2.1 Outline of the proof of Theorem 1.2
The proof of Theorem 1.2 is surprisingly simple. The key new observation is an inequality which, in its simplest form, \(\beta =-1\) (i.e. \(\gamma =1),\) may be formulated as follows:
where the infimum runs over the space \(\mathcal {H}\) of all metrics on \(-K_{X}\) with positive curvature and \(\mathcal {D}_{k}\) is a certain functional on \(\mathcal {H},\) approximating the twisted Ding functional \(\mathcal {D}\) (in the sense that \(\mathcal {D}_{k}\) converges towards \(\mathcal {D}\) as \(k\rightarrow \infty );\) see formula 2.5. Next, by an inequality established in [12] (leveraging the positivity of direct image bundles in [15]) there exists a constant C such that
where \(\mathcal {H}_{0}\) denotes the subspace of all sup-normalized metrics on \(\mathcal {H}\) and \(\mathcal {E}\) denotes the standard functional on \(\mathcal {H}\) defined as the primitive of the Monge–Ampère operator (which is non-positive on \(\mathcal {H}_{0}).\) Finally, using the well-known fact that \(\mathcal {D}\) is bounded from above by the Mabuchi functional \(\mathcal {M}\) this proves Theorem 1.2 when \(\gamma =1\) (by absorbing the error term \(-Ck^{-1}\mathcal {E}\) in the subscript \(\gamma \) of the twisted Mabuchi functional \(\mathcal {M}_{\gamma }).\) A slight twist of this argument yields the inequality in Theorem 1.2 for a general \(\gamma ,\) using the thermodynamical formalism in [2].
1.3 Comparison with the quantization approach
In the quantization approach to Kähler geometry, which goes back to [26, 27, 40, 44], the space \(\mathcal {H}(L)\) of all Hermitian metrics on a holomorphic line bundle L over a complex manifold X is approximated by the finite dimensional space \(\mathcal {H}_{k}(L)\) of all Hermitian metrics on the N-dimensional complex vector space \(H^{0}(X,kL)\)Footnote 2 The space \(\mathcal {H}_{k}(L)\) may be identified with the symmetric space \(GL(N,\mathbb {C})/U(N).\) When X is Fano and \(L=-K_{X}\) a quantization of the Ding functional \(\mathcal {D}\) on \(\mathcal {H}\) was introduced in [10], building on [28], which defines a functional on \(\mathcal {H}_{k}\) that we shall denote by \(D_{k}\) (formula 3.2). Here it is observed (Proposition 3.1) that
where \(\mathcal {D}_{k}\) is the approximation on \(\mathcal {H}\) of the Ding functional \(\mathcal {D}\) which appeared in the inequality 1.11. As a consequence,
A similar inequality holds for a general \(\gamma \) (see Theorem 3.3) which yields a new proof of the inequality 1.10.
This line of reasoning is inspired by K.Zhang’s very recent new proof of the uniform YTD conjecture for Fano manifolds [45]. In fact, the author discovered the equality 1.12 while trying to find a conceptual replacement for an inequality used in the proof of [45, Thm 5.1] (involving Tian’s \(\alpha \)-invariant [39]). One virtue of the present approach is that it directly yields a quantitative estimate on the infimum of \(D_{k}\) over \(\mathcal {H}_{k}.\) More generally, denoting by \(D_{k,\beta }\) the twisted generalization of \(D_{k}\) (coinciding with \(D_{k}\) for \(\beta =-1),\)
as follows from combining formula 1.12 (extended to general \(\gamma )\) with the inequality 1.11 (extended to general \(\gamma )\). As in [45, Thm 5.1] this shows that uniform K-stability of X implies that X admits a unique Kähler–Einstein metric. Indeed, as shown in [35], building on [31, 32], uniform K-stability is equivalent to the existence of some \(\epsilon >0\) such that the infimum of \(D_{k,-1-\epsilon }\) on \(\mathcal {H}_{k}\) is finite for k sufficiently large. By the inequality 1.14 this implies that \(\mathcal {M}_{-1-\epsilon }\) is bounded from below (or equivalently, that \(\mathcal {M}_{-1}\) is coercive) which, in turn, implies that X admits a unique Kähler–Einstein metric (as first shown in [43] using Aubin’s method of continuity and then using a direct variational approach in [2, 11], which applies to any \(\gamma \)).
1.4 Outlook on converse bounds and exceptional Fano orbifolds
The converse of the inequality 1.14 also holds, as follows from [10, Lemma 7.7]. As a consequence,
This identity is equivalent to the result [45, Thm 5.1] (which is formulated in terms of the infimum of \(\mathcal {D}_{\beta }\), but, by [2, Thm 1.1], this infimum coincides with the infimum of \(\mathcal {M}_{\beta }).\) It remains, however, to establish a similar lower bound on \(-\log \mathcal {Z}_{N,-\gamma }\) or, at least, the missing lower bound on \(\gamma (X)\) in the conjectured formula 1.9. By formula 1.15, this amounts to upgrading the inequality between \(\gamma (X)\) and \(\delta (X)\) in Cor 1.3 to an equality. In contrast, it should be stressed that the inequality 1.10 between \(\gamma _{k}(X)\) and \(\delta _{k}(X)\) is not an equality, in general. For example, when X is the Riemann sphere, i.e. the complex projective line \(\mathbb {P}^{1},\)
[30, 35]. This discrepancy becomes even more pronounced in the more general of setting of Fano orbifolds X, where the role of \(K_{X}\) is played by the orbifold canonical line bundle \(K_{X_{orb}}.\) All the results in the present paper readily extend to the orbifold setting (using, in particular, the uniform asymptotics for Bergman measures on orbifolds in [22, Thm 1.4] as a replacement for the inequality 2.10). The partition function of the Fano orbifold X then coincide with the partition function of the quasi-regular Calabi-Yau cone over X introduced in [14], in the context of the AdS/CFT correspondence (see the proof of [14, Thm B]).
For example, any Fano orbifold curve is of the form
where G is the finite group acting on \(\mathbb {P}^{1}\) induced by the action on \(\mathbb {C}^{2}\) of a finite subgroup of SU(2). By the “ADE-trichotomy” such groups fall into the three classes, corresponding to the classification of simply laced Dynkin diagrams; two infinite series \(A_{n}\)and \(D_{n}\) and three exceptional cases \(E_{6},E_{7}\) and \(E_{8}.\) As it turns out, the ADE-trichotomy is detected by the corresponding partition functions at the canonical value \(\gamma =1\) (as follows from [8, Thm 3.5]):
-
(A) \(\mathcal {Z}_{N}(-1)=\infty \) for all N (i.e. \(\gamma _{k}(X)<1\) for all k)
-
(D) \(\mathcal {Z}_{N}(-1)<\infty \) for \(N\gg 1,\) but not all N (i.e. \(\gamma _{k}(X)>1\) for k sufficiently large)
-
(E) \(\mathcal {Z}_{N}(-1)<\infty \) for all N (i.e. \(\gamma _{k}(X)>1\) for all).
Moreover, \(\gamma _{k}(X)\) is strictly increasing wrt k. On the hand it can be shown that
and thus \(\delta (X)=\gamma (X),\) while, \(\gamma _{k}(X)<\delta _{k}(X).\)
The notion of exceptionality has been extended to general Fano orbifolds [18], motivated by the Minimal Model Program in birational algebraic geometry [36]. A Fano orbifold X is said to be exceptional if \(\alpha (X)>1,\) where \(\alpha (X)\) denotes Tian’s alpha-invariant [39] (which, in algebro-geometric terms, coincides with the global log canonical threshold of X [25]). For example, in [18, Cor 1.1] a finite list of exceptional Fano orbifold surfaces X is given, realized as hypersurfaces in weighted three-dimensional complex projective space. In general, it follows readily from the definitions that
(cf. [6, Lemma 7.1]). As a consequence, if X is exceptional, then \(\mathcal {Z}_{N}\) is finite for any N. Does the converse also hold? For Fano orbifold curves this is, indeed, the case, according to the ADE-list above.
2 Proof of Theorem 1.2
2.1 Setup
We will use additive notation for line bundles and metrics. Accordingly, the k the tensor power of a holomorphic line bundle L over an n-dimensional complex manifold X will be denoted by kL and if \(\phi \) is a metric on L then \(k\phi \) denotes the induced metric on kL. Accordingly, if s is a holomorphic section of L, i.e. \(s\in H^{0}(X,L),\) the point-wise norm of s with respect to a metric \(\phi \) on L is denoted by \(|s|_{\phi }\) Given a local trivializing section of L we may identify s with a local holomorphic function on X and \(\phi \) with a local smooth function so that
and the normalized curvature of the metric \(\phi \) may be expressed as
A smooth metric \(\phi \) on L is said to have positive curvature if \(dd^{c}\phi >0\) and semi-positive curvature of \(dd^{c}\phi \ge 0\) (when identified with an \(n\times n\) Hermitian matrix). Equivalently, this means that, locally, \(\phi \) is plurisubharmonic (psh) and strictly psh, respectively. Given a metric \(\phi \) with semi-positive curvature we denote by \(MA(\phi )\) the corresponding Monge–Ampère measure, normalized to have unit total mass:
2.1.1 The anti-canonical setup
Henceforth, the line bundle L will be taken to be the anti-canonical line bundle \(-K_{X}\) of X, i.e. top exterior power of the tangent bundle of X. Then any smooth metric \(\phi \) on \(-K_{X}\) induces a volume form on X that we shall, abusing notation slightly, denote by \(e^{-\phi }.\) This notation is intended to reflect the fact that if \(z_{1},...,z_{n}\) are local holomorphic coordinates on X and \(\phi \) is locally represented by a function with respect to the local trivialization \(\partial /\partial z_{1}\wedge \cdots \partial /\partial z_{n}\) of \(-K_{X},\) then the volume form in question has density \(e^{-\phi }\) with respect to the local Euclidean volume form corresponding to \(z_{1},...,z_{n}.\)
Given a metric \(\phi \) on \(-K_{X}\) and a volume form \(\mu \) on X we shall denote by \(H^{(k)}\left( \phi ,\mu \right) \) the corresponding Hermitian metric on the N-dimensional complex vector space \(H^{0}(X,-kK_{X}),\) defined by
The space of all metrics on \(\phi \) on \(-K_{X}\) with positive curvature will be denoted by \(\mathcal {H}.\) We will fix once and for all a reference metric \(\psi _{0}\) in \(\mathcal {H}\) and denote by \(dV_{0}\) the corresponding volume form on X :
Moreover, we fix a basis \(s_{1}^{(k)},...,s_{N}^{(k)}\) in \(H^{0}(X,-kK_{X})\) which is orthonormal with respect to the corresponding Hermitian norm \(H^{(k)}\left( \psi _{0},dV_{0}\right) .\)Accordingly, we can identify a Hermitian metric H on \(H^{0}(X,-kK_{X})\) with the corresponding \(N\times N\) positive definite Hermitian matrix \(H(s_{i}^{(k)},s_{j}^{(k)}).\)
2.1.2 Energies
Following (essentially) the notation in [9] we denote by \(\mathcal {E}\) the functional on \(\mathcal {H}\) uniquely determined by the following conditions:
Alternatively, \(\mathcal {E}(\phi )\) may be explicitly defined by
Dually, following [10], the pluricomplex energy of a probability measure \(\mu \) on X (wrt the reference metric \(\psi _{0})\) is defined by
(however in [10] the functional \(\mathcal {E}(\phi )\) is denoted by \(E(\phi )\) and the pluricomplex energy is denoted by \(E^{*}\)). We will use the following basic
Lemma 2.1
There exists a positive constant \(c_{X}\) only depending on X such that
Proof
This is essentially well-known but for completeness a short proof is provided. First observe that there exists a constant \(c_{X}\) such that \(\sup _{X}(\phi -\psi _{0})-c_{X}\) is bounded from above by the integral of \((\phi -\psi _{0})\) against \(MA(\psi _{0}).\) Indeed, this follows directly follows from the submean property of plurisubharmonic functions and the compactness of X. Hence, the proof is concluded by invoking the following basic inequality (see [2, Lemma 2.13]):
2.1.3 The twisted Ding and Mabuchi functional associated to \((\phi _{0},\gamma )\)
Fix \(\gamma >0.\) Given a volume form dV on X we will denote by \(\phi _{0}\) the corresponding metric on \(-K_{X}\) (i.e. \(dV=e^{-\phi _{0}}).\) To the pair \((\phi _{0},\gamma )\) we attach the twisted Ding functional on \(\mathcal {H}\) defined by
(coinciding with the ordinary Ding functional when \(\gamma =-1).\) The definition is made so that \(\mathcal {D}_{-\gamma }\) is scale invariant, i.e. invariant under \(\phi \mapsto \phi +c\) for any \(c\in \mathbb {R}.\) The corresponding (twisted) Mabuchi functional is usually defined, modulo an additive constant, by demanding that its first variation is proportional to the (twisted) scalar curvature [34, 37], but here it will be convenient to use the thermodynamical formalism introduced in [2, Prop 4.1]:
where \(F_{\gamma }(\mu )\) is the free energy of a probability measure \(\mu \) on X defined by
where \(\text {Ent}\left( \mu |\nu \right) \) denotes the entropy of a measure \(\mu \) on X relative to the measure \(\nu \) on X (using the sign convention that renders \(\text {Ent}\left( \mu |\nu \right) \) non-negative when \(\mu \) and \(\nu \) are both probability measures). By [2, Prop 3.5]
(moreover, the two functionals \(\mathcal {D}_{-\gamma }\) and \(\mathcal {M}_{-\gamma }\) have the same infimum over \(\mathcal {H},\) but his fact will not be needed here).
Remark 2.2
In the notation of [2], \(\mathcal {D}_{-\gamma }=-\mathcal {G}_{-\gamma }\) and the definition of the free energy \(F_{-\gamma }\) used here is \(-\gamma \) times the definition employed in [2]. When \(\gamma =1\) formula 2.2 is equivalent to the Tian–Chen formula for the Mabuchi functional [20, 42] and the case \(\gamma \ne 1\) is closely related to the generalized Mabuchi functional introduced in [37, Def 6.1].
2.2 Two inequalities
The key new observation in the proof of Theorem 1.2 is the following proposition which yields a bound, from below, on the partition function
in terms of the infimum over the space of all metrics \(\phi \) on \(-K_{X}\) of the functional \(\mathcal {D}_{k,-\gamma }\) defined by
with
where the Hermitian metric \(H^{(k)}\left( \phi ,e^{-\left( \gamma \phi +(1-\gamma )\phi _{0}\right) }\right) \) has been identified with a Hermitian matrix, as in Sect. 2.1.1. The normalization have been chosen to ensure that
As a consequence, since \(\mathcal {E}_{k}(\phi )\) is increasing wrt \(\phi ,\) its differential \(d\mathcal {E}_{k|\phi }\) may be represented by a probability measure on X. For future reference we note that the probability measure in question coincides with the Bergman measure associated to the Hermitian metric \(H^{(k)}\left( \phi ,e^{-\left( \gamma \phi +(1-\gamma )\phi _{0}\right) }\right) :\)
where \(S_{i}\) denotes any bases in \(H^{0}(X,-kK_{X})\) which is orthonormal wrt \(H^{(k)}\left( \phi ,e^{-\left( \gamma \phi +(1-\gamma )\phi _{0}\right) }\right) \) (as follows from [9, Lemma 2.1]).
Proposition 2.3
Given \((\phi _{0},\gamma )\) the following inequality holds for any k:
where the infimum runs over all smooth metrics \(\phi \) on \(-K_{X}\) (with no restrictions on the curvature).
Proof
Let \(\phi \) be a metric on \(-K_{X}.\) Then we can rewrite
Indeed, locally on each factor of \(X^{N}\) this simply amounts to rewriting
Now assume that \(\phi \) has the property that \(e^{-\left( \gamma \phi +(1-\gamma )\phi _{0}\right) }\) is a probability measure. Then, applying Hölder’s inequality with negative exponent \(-\gamma /k\) (or Jensen’s inequality applied to the convex function \(t\mapsto t^{-\gamma /k}\) on \(]-\infty ,\infty [\)) yields
Taking logarithms this means that
Now, for any metric \(\phi \) on \(-K_{X}\) we may apply the previous inequality to \(\phi +\log \int _{X}e^{-(\gamma \phi +(1-\gamma )\phi _{0})}\) and deduce that \(-\frac{1}{\gamma N}\mathcal {\log Z}_{N,-\gamma }\) is bounded from above by
The proof is thus concluded by invoking the following formula [9, Lemma 5.3], which holds for any volume form \(\mu \) on X :
We will also make use of the following slight generalization of the inequality in [12, formula 3.4] (to the case \(\gamma \ne 1),\)employing the notation
for a given positive number \(\epsilon .\)
Lemma 2.4
There exists a constant \(C_{0}\) depending only on \(\psi _{0}\) such that the following inequality holds for with \(\epsilon :=\frac{\gamma -1}{k+\gamma }:\)
Proof
This is shown in essentially the same way as in the proof of [12, formula 3.4], but to pinpoint the exact dependence on the constant we recall the argument. Let \(\psi _{t}\) be a weak geodesic connecting \(\phi \) (at \(t=1)\) with \(\psi _{0}\) (at \(t=0)\) [19]. In particular, this means that \(t\mapsto \psi _{t}\) is a psh path (aka a subgeodesic) in the following sense: extending \(\psi _{t}\) to \(X\times \left( [0,1]\times i\mathbb {R}\right) ,\) so that \(\psi _{t}\) is independent of the imaginary part of t, the corresponding local function \((z,t)\mapsto \psi _{t}(z)\) is psh locally on \(X\times \left( ]0,1[\times i\mathbb {R}\right) .\) Moreover, it will be convenient to use the following regularity properties [19]: \(dd^{c}\psi _{t}\in L_{loc}^{\infty }\) for any fixed t and \(t\mapsto \psi _{t}\) is \(C^{1}\)-differentiable up to the boundary of [0, 1] (but, as explained in [12], for the proof it is enough to use that \(\psi _{t}\) is in \(L_{loc}^{\infty }\) for any fixed t). Now,
if \(\epsilon \) is sufficiently small. In fact, the first statement characterizes the geodesic \(\phi _{t}\) among all psh paths \(\phi _{t}\) as above [13, Thm 1.7] and the second one follows from [15], only using that \(\psi _{t}^{(\epsilon )}\) is a psh path. To see this rewrite \(-kK_{X}=(k+1)L+K_{X}\) for \(L=-K_{X}.\) Then, locally, rewriting \(e^{-k\phi }e^{-\left( \gamma \phi +(1-\gamma )\phi _{0}\right) }=e^{-\left( k\phi +\gamma \phi +(1-\gamma )\phi _{0}\right) }\) the Hermitian metric \(H^{(k)}\left( \phi ,e^{-\left( \gamma \phi +(1-\gamma )\phi _{0}\right) }\right) \) coincides with the \(L^{2}\)-metric on \(H^{0}(X,(k+1)L+K_{X})\) induced by the metric \(k\phi +\gamma \phi +(1-\gamma )\phi _{0}\) on \((k+1)+L_{X}.\) Accordingly, \(\mathcal {E}_{k}\left( \phi \right) \) may be identified with the \(L^{2}\)-metric on the determinant line of \(H^{0}(X,(k+1)L+K_{X}).\) Now replace \(\phi \) with \(\psi _{t}^{(\epsilon )}\) (defined as in formula 2.7 with \(\phi \) replaced by \(\psi _{t})\) and decompose the corresponding metric on \((k+1)L+K_{X}\) as
We will first consider the special case that \(\phi _{0}=\psi _{0}.\) Then the second term above has non-negative curvature on X as soon as \(\epsilon \ge \frac{\gamma -1}{k+\gamma }.\) Henceforth it will assumed that \(\epsilon =\frac{\gamma -1}{k+\gamma }\) (then \((1-\epsilon )=(k+1)(/k+\gamma )>0).\) Since \(\psi _{t}\) is locally psh on \(X\times \left( [0,1]\times i\mathbb {R}\right) \) the whole expression in formula 2.9 is thus locally psh. Hence, the convexity of \(t\mapsto \mathcal {E}_{k}\left( \psi _{t}^{(\epsilon )}\right) \) follows from the positivity of direct image bundles in [15], applied the to trivial fibration \(X\times \left( ]0,1[\times i\mathbb {R}\right) \rightarrow ]0,1[\times i\mathbb {R}.\) This concludes the proof of the properties in formula 2.8. As a consequence, the function \(t\mapsto -\frac{1}{(1-\epsilon )}\mathcal {E}_{k}\left( \psi _{t}^{(\epsilon )}\right) +\mathcal {E}(\psi _{t})\) is concave, giving,
Now assume first that \(\phi \) is sup-normalized, i.e. that \(\sup _{X}(\phi -\psi _{0})=0.\) Then it follows from the convexity of \(t\mapsto \phi _{t}\) that \(\frac{d\psi _{t}}{dt}|_{t=0}\le 0.\) Next, since we are considering the special case \(\phi _{0}=\psi _{0}\) and \(\psi _{0}^{(\epsilon )}=\psi _{0}\) the term \(\mathcal {E}_{k}\left( \psi _{0}^{(\epsilon )}\right) \) vanishes and so does \(\mathcal {E}(\psi _{0})\) (by definition). Moreover, since the differential of the functional
is given by the Bergman measure \(B_{k}\) associated to the Hermitian metric \(H^{(k)}(\psi _{0},e^{-\psi _{0}})\) (by formula 2.6) it follows from Bergman kernel asymptotics [42] that there exists a constant \(C_{0}\) (depending only on \(\psi _{0})\) such that
(in fact only an upper bound on \(B_{k}\) is needed for which there is an elementary proof [12, Prop 2.4]). Hence,
using, in the last equality (i) in formula 2.8. Replacing a general \(\phi \in \mathcal {H}\) with its sup-normalized version \(\phi -\sup _{X}(\phi -\psi _{0})\) we deduce that
This concludes the proof when \(\phi _{0}=\psi _{0}.\) Finally, to handle the case of a general case note that replacing \(\phi _{0}\) with \(\psi _{0}\) in the definition of \(\mathcal {E}_{k}\left( \phi ^{(\epsilon )}\right) \) just gives rise to an extra term which, after multiplication by \(\frac{1}{(1-\epsilon )},\) may estimated from above by
2.3 Conclusion of the proof of Theorem 1.2
By Proposition 2.3 the following inequality holds for any metric \(\phi \) on \(-K_{X}\) and number satisfying \((1-\epsilon )\ge 0:\)
Taking \(\epsilon =\frac{\gamma -1}{k+\gamma }\) and replacing \(\phi \) with \(\phi ^{(\epsilon )}\) (defined as in the previous lemma) and setting \(\gamma ^{(\epsilon )}:=(1-\epsilon )\gamma \) thus yields (using that \(\left( 1+\gamma k^{-1}\right) (1-\epsilon )=1+k^{-1})\))
Next, in order to fix ideas, we first consider the special case when \(\phi _{0}=\psi _{0}.\) Then, by the previous lemma, the right hand side above is bounded from above by
Since (trivially) \(\mathcal {D}_{-\gamma ^{(\epsilon )}}(\phi )\le -\mathcal {E}(\phi )+\sup _{X}(\phi -\psi _{0})\) it follows that
Invoking the inequality 2.1 thus reveals that there exists a constant C only depending on \(\psi _{0}\) such that
Next, we rewrite the first two terms in the right hand side above as
where the second factor above is is bounded from above by \(\mathcal {M}_{-\gamma ^{(\epsilon )}(1-Ck^{-1})},\) as follows from the inequality 2.4 and the free energy formula 2.2. Hence,
proving the theorem in the case when \(\phi _{0}=\psi _{0}.\) The general case is shown in essentially the same way, by first including the error term involving \(\phi _{0}\) from Lemma 2.4 in formula 2.11 and then, in formula 2.12, estimating
so that the first term in the right hand side above can be absorbed into the twisted Mabuchi functional, as before.
2.4 The case \(\gamma \le 1\)
For \(\gamma \le 1\) the estimate in Theorem 1.2 implies that (after perhaps increasing the constant C) :
Indeed, by a simple scaling argument (applied to Lemma 2.4) it it enough to consider the case when \(e^{-\left( \gamma \psi _{0}+(1-\gamma )\phi _{0}\right) }\) is a probability measure. This implies that the entropy term in the free energy \(F_{\gamma }\) is non-negative. It then follows readily from the definition that the function
is increasing in T (where the infimum is taken over a given subset of \(\mathcal {P}(X)).\) In particular, applied to the present setup at \(T_{0}=(k+\gamma )/(k+1)\) and \(T_{1}=1\) this monotonicity yields (since \(T_{0}\le T_{1}\) when \(\gamma \le 1)\)
as desired.
3 Comparison with the quantization approach
Given a holomorphic line bundle L over a compact complex manifold X and a positive integer k denote by \(\mathcal {H}_{k}(L)\) the space of all Hermitian metrics on the N-dimensional complex vector space \(H^{0}(X,kL),\) assuming that \(N>0.\) The “Fubini-Study map” FS maps \(\mathcal {H}_{k}(L)\) into the space \(\mathcal {H}(L)\) of all metrics on L with positive curvature:
where \((s_{i}^{H})\) is any basis in \(H^{0}(X,kL)\) which is orthonormal wrt H. The normalization by N used here is non-standard, but it will simplify some of the formulas below. Note also that since we are not assuming that kL is globally generated FS(H) can, in general, be singular.
Henceforth, we shall specialize to the anti-canonical setting in Sect. 2.1.1. Thus X is a Fano manifold and \(L=-K_{X}.\) We will abbreviate \(\mathcal {H}_{k}(-kK_{X})=\mathcal {H}_{k}\) and \(\mathcal {H}(-K_{X})=\mathcal {H}.\) Consider now the functional \(D_{k,-\gamma }\) on \(\mathcal {H}_{k}\) defined by
which is invariant under scaling by positive numbers:
As is well-known the functional \(D_{k,-\gamma }\) on \(\mathcal {H}_{k}\) can be viewed as a quantization of the functional \(\mathcal {D}_{-\gamma }\) on \(\mathcal {H}\) [10, 35]. The following proposition relates the functional \(D_{k,-\gamma }\) on \(\mathcal {H}_{k}\) to the functional \(\mathcal {D}_{k,-\gamma }\) on \(\mathcal {H}\) defined in formula 2.5.
Proposition 3.1
For any metric \(\phi \) on \(-K_{X}\)
and for any \(H\in \mathcal {H}_{k}\)
In particular,
Proof
To prove the first inequality let \(\phi \) be a given metric on \(-K_{X}\) and set \(\psi _{k}:=FS\left( H^{(k)}\left( \phi ,e^{-\left( \gamma \phi +(1-\gamma )\phi _{0}\right) }\right) \right) .\) Then
Indeed, rewriting \(e^{-\left( \gamma \psi _{k}+(1-\gamma )\phi _{0}\right) }=e^{-\gamma \left( \psi _{k}-\phi \right) }e^{-\left( \gamma \phi +(1-\gamma )\phi _{0}\right) }\) and using that
(as follows directly from the definition of \(\rho _{k\phi }\) in formula 2.6) gives
using Hölder’s inequality with negative exponent \(-\gamma /k\) (or Jensen’s inequality applied to the convex function \(t\mapsto t^{-\gamma /k}\) on \(]-\infty ,\infty [\)). The integral appearing in the first factor in the right hand side above is precisely the integral of the Bergman measure \(B_{k\phi }\) (defined in formula 2.6) and thus equal to one, which proves the inequality 3.3. Hence, using \((1+\gamma k^{-1})/(k+\gamma )=1/k,\)
which proves the first inequality stated in the proposition. To prove the second one first observe that for any H and and volume form \(\mu \) on X
Indeed, for any given \(\phi \) in \(\mathcal {H}\) and \(H\in \mathcal {H}_{k},\) taking a basis \((s_{i}^{H})\) in \(H^{0}(X,-kK_{X})\) which is orthonormal wrt H, we can factorize
where the second factor arises as the determinant of the change of bases matrix between the reference basis \((s_{i}^{(k)})\) in \(H^{0}(X,-kK_{X})\) and \((s_{i}^{H}).\) Next, by the arithmetic/geometric means inequality
Now assume that \(\phi =FS(H).\) Then
Hence, the second factor in the right hand side in formula 3.5 is bounded from above by the Nth power of the integral of \(\mu ,\) proving the inequality 3.4. Thus, if H is a given element in \(\mathcal {H}_{k}\) which is normalized so that \(\int e^{-\left( \gamma FS(H)+(1-\gamma )\phi _{0}\right) }=1,\) then applying the inequality 3.4 to \(\mu =e^{-\left( \gamma FS(H)+(1-\gamma )\phi _{0}\right) }\) proves the second inequality for any normalized H in \(\mathcal {H}_{k}.\) Finally, since both sides of the inequality in question are invariant under scaling, \(H\rightarrow e^{c}H,\) this concludes the proof for a general H in \(\mathcal {H}_{k}.\)
Remark 3.2
The previous proposition refines a monotonicity result [3, Lemma 2.6], concerning Donaldson’s iteration in the anti-canonical setting of [28]. Indeed, applying the first inequality to \(\phi =FS(H)\) and then the second inequality reveals that \(D_{k,-\gamma }(H)\) is decreasing under Donaldson’s map on \(\mathcal {H}_{k},\) defined as the composition of the maps \(F\mapsto FS(H)\) and \(\phi \mapsto H^{(k)}\left( \phi ,e^{-\left( \gamma \phi +(1-\gamma )\phi _{0}\right) }\right) .\) As in [3] one gets equality in the first equality in the proposition when \(\phi =FS(H)\) iff H is a balanced metric in \(\mathcal {H}_{k}\) in the anti-canonical sense of [10, 28, 35].
Combining Proposition 2.3 and the equality for the infima in Proposition 3.1 (only the upper bound is needed) we thus arrive at the following result:
Theorem 3.3
Let X be a compact complex manifold and assume that k is a positive integer such that \(N_{k}:=\dim H^{0}(X,-kK_{X})>0.\) Given \((\phi _{0},\gamma )\) the following inequality holds:
As a consequence, if \(\mathcal {Z}_{N_{k}}(-\gamma )\) is finite, then the infimum of \(D_{k,-\gamma }\) over \(\mathcal {H}_{k}\) is finite. In other words, the invariant \(\gamma _{k}(X)\) defined by formula 1.8 is smaller than or equal to the coercivity threshold of the functional \(D_{k}\) on \(\mathcal {H}_{k}\) which, by [35], coincides with the invariant \(\delta _{k}(X)\) introduced in [31] (appearing in formula 1.10). We thus arrive at a new proof of the following inequality first shown in [32] (see 1.10 for a reformulation of the proof in terms of non-Archimedean pluripotential theory).
Corollary 3.4
[31, Thm 2.5]. For a Fano manifold X the following inequality holds:
Combining the equality for the infima in Prop 3.1 with the argument employed in Sect. 2.3 also yields the following analog of Theorem 1.2:
Theorem 3.5
There exists a constant \(C>0\) (depending only on the reference volume for \(dV_{0})\) such that for any \(\gamma >0\) and positive integer k
where \(c_{k}:=(1-Ck^{-1})(k+1)/(k+\gamma ).\)
As explained in Sect. 1.3 this inequality is closely related to results in [45].
Data Availability
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Notes
In physical terms \(\mathcal {H}_{k}(L)\) can be viewed as the quantization of \(\mathcal {H}\) with \(k^{-1}\) playing the role of Planck’s constant in quantum mechanics [26].
References
Aubin, T.: Equations du type Monge–Ampère sur les varietes Kahleriennes compactes. Bull. Sci. Math. (2) 102(1), 63–95 (1978)
Berman, R.J.: A thermodynamical formalism for Monge–Ampere equations, Moser–Trudinger inequalities and Kahler–Einstein metrics. Adv. Math. 248, 1254 (2013)
Berman, R.J.: Relative Kähler–Ricci flows and their quantization. Anal. PDE 6(1), 131–180 (2013)
Berman, R.J.: Large deviations for Gibbs measures with singular Hamiltonians and emergence of Kähler–Einstein metrics. Commun. Math. Phys. 354(3), 1133–1172 (2017)
Berman, R.J.: Kähler-Einstein metrics, canonical random point processes and birational geometry. Algebraic geometry: Salt Lake City 2015. In: Proceedings of Symposia in Pure Mathematics, Vol. 97.1. American Mathematical Society, Providence, RI, pp 29–73 (2018)
Berman, R.J.: An invitation to Kähler-Einstein metrics and random point processes. Surveys in differential geometry. Differential geometry, Calabi-Yau theory, and general relativity. Surv. Differ. Geom. 23, 35–87 (2018)
Berman, R.J.: Emergent complex geometry. Proc. Int. Congr. Math. (2022). arXiv:2109.00307 (To appear)
Berman, R.J.: Kähler–Einstein metrics and Archimedean zeta functions. Proceedings of the 8th European Congress of Math. arXiv:2112.04791 (To appear)
Berman, R.J., Boucksom, S.: Growth of balls of holomorphic sections and energy at equilibrium. Invent. Math. 181(2), 337 (2010)
Berman, R.J., Boucksom, S., Guedj, V., Zeriahi, A.: A variational approach to complex Monge–Ampere equations. Publ. Math. de l’IHÉS 117, 179–245 (2012)
Berman, R.J.; Boucksom, S., Eyssidieux, P., Guedj, V., Zeriahi, A.: Kähler-Einstein metrics and the Kähler-Ricci flow on log Fano varieties. J. Reine Angew. Math. 751, 27–89 (2019)
Berman, R.J., i Montplet, G.F.: An arithmetic Hilbert–Samuel theorem for singular Hermitian line bundles and cusp forms. Compos. Math. 150(10), 1703–1728 (2014)
Berman, R.J., Boucksom, S., Jonsson, M.: A variational approach to the Yau–Tian–Donaldson conjecture. J. Am. Math. Soc. 34, 605–652 (2021). arXiv:1509.04561
Berman, R.J., Collins, T., Persson, D.: The AdS/CFT correspondence and emergent Sasaki–Einstein metrics. Nat. Commun. 13, 365 (2022)
Berndtsson, B.: Curvature of vector bundles associated to holomorphic fibrations. Ann. Math. (2) 169(2), 531–560 (2009)
Berndtsson, B.: Probability measures related to geodesics in the space of Kähler metrics. In: Hitrik, M., Tamarkin, D., Tsygan, B., Zelditch, S. (eds.) Algebraic and Analytic Microlocal Analysis, pp. 395–419. Springer International Publishing, Cham (2018) . arXiv:0907.1806
Blum, H., Jonsson, M.: Thresholds, valuations, and K-stability. Adv. Math. 365, 107062 (2020)
Cheltsov, I., Park, J., Shramov, C.: Exceptional del Pezzo hypersurfaces. J. Geom. Anal. 20, 787–816 (2010)
Chen, X.X.: The space of Kähler metrics. J. Differ. Geom. 56(2), 189–234 (2000). (MR 1863016, Zbl 1041.5800)
Chen, X.X.: On the lower bound of the Mabuchi energy and its application. Int. Math. Res. Not. 12, 607–623 (2000)
Chen, X.X., Donaldson, S., Sun, S.: Kähler–Einstein metrics on Fano manifolds, I: J. Amer. Math. Soc. 28(1), 183–197 (2015); II: J. Amer. Math. Soc. 28(1), 199–234 (2015); III: J. Amer. Math. Soc. 28(1), 235–278 (2015)
Dai, X., Liu, K., Ma, X.: On the asymptotic expansion of Bergman kernel. J. Differ. Geom. 72, 1–41 (2006)
Datar, V., Székelyhidi, G.: Kähler–Einstein metrics along the smooth continuity method. Geom. Funct. Anal. 26, 975–1010 (2016)
Dembo, A., Zeitouni, O.: Large Deviation Techniques and Applications. Jones and Bartlett Publ, Burlington (1993)
Demailly, J.-P.: Appendix to I. Cheltsov and C. Shramov’s article “Log canonical thresholds of smooth Fano threefolds’’. Uspekhi Mat. Nauk. 63(5383), 73–180 (2008)
Donaldson, S.K.: Planck’s constant in complex and almost-complex geometry. XIIIth International Congress on Mathematical Physics (London, 2001), pp. 63–72. Int. Press, Boston (2001)
Donaldson, S.K.: Scalar curvature and projective embeddings. I. J. Differential Geom. 59(3), 479–522 (2001)
Donaldson, S.K.: Some numerical results in complex differential geometry. Pure Appl. Math. Q. 5, 571–618 (2009)
Ferrari, F., Klevtsov, S., Zelditch, S.: Random Kähler metrics. Nucl. Phys. B 869(1), 89–110 (2013)
Fujita, K.: On Berman–Gibbs stability and K-stability of Q -Fano varieties. Compos. Math. 152(2), 288–298 (2016)
Fujita, K., Odaka, Y.: On the K-stability of Fano varieties and anticanonical divisors. Tohoku Math. J. (2) 70(4), 511–521 (2018)
Fujita, K.: A valuative criterion for uniform K-stability of Q-Fano varieties. J. Reine Angew. Math. 751, 309–338 (2019)
Liu, Y., Xu, C., Zhuang, Z.: Finite generation for valuations computing stability thresholds and applications to K-stability. Preprint at arXiv:2102.09405 (2021)
Mabuchi, T.: K-energy maps integrating Futaki invariants. Tohoku Math. J. (2) 38(4), 575–593 (1986)
Rubinstein, Y.A., Tian, G., Zhang, K.: Basis divisors and balanced metrics. J. Reine Angew. Math. (2020) arXiv:2008.08829 (To appear)
Shokurov, V.V.: Complements on surfaces. J. Math. Sci. 102(2), 3876–3932 (2000)
Song, Y., Tian, G.: Canonical measures and Kähler-Ricci flow. J. Am. Math. Soc. 25(2), 303–353 (2012)
Székelyhidi, G.: Greatest lower bounds on the Ricci curvature of Fano manifolds. Compos. Math. 147, 319–331 (2011)
Tian, G.: On Kähler–Einstein metrics on certain Kähler manifolds with \(c_{1}(M)>0\). Invent. Math. 89, 225–246 (1987)
Tian, G.: On a set of polarized Kahler metrics on algebraic manifolds. J. Differ. Geom. 32, 99–130 (1990)
Tian, G.: On stability of the tangent bundles of Fano varieties. Int. J. Math. 3(3), 401–413 (1992)
Tian, G.: Kähler-Einstein metrics on algebraic manifolds. In: Catanese, F., Ciliberto, C. (eds.) Transcendental methods in algebraic geometry. Lectures given at the 3rd C.I.M.E. Session held in Cetraro, July 4–12, 1994. Lecture Notes in Mathematics, 1646. C.I.M.E., Florence, viii+247 (1996)
Tian, G.: Kähler–Einstein metrics with positive scalar curvature. Invent. Math. 130(1), 1–37 (1997)
Yau, S.T.: Nonlinear analysis in geometry. Enseign. Math. (2) 33(1–2), 109–158 (1987)
Zhang, K.: A quantization proof of the uniform Yau–Tian–Donaldson conjecture. JEMS. Preprint arXiv:2102.02438 (2021) (To appear)
Acknowledgements
Thanks to Bo Berndtsson for comments on a first draft of this manuscript and the referee for helpful remarks. This work was supported by grants from the Knut and Alice Wallenberg foundation, the Göran Gustafsson foundation and the Swedish Research Council.
Funding
Open access funding provided by Chalmers University of Technology.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
There is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Berman, R.J. The probabilistic vs the quantization approach to Kähler–Einstein geometry. Math. Ann. 388, 4383–4404 (2024). https://doi.org/10.1007/s00208-023-02627-5
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-023-02627-5