The probabilistic vs the quantization approach to K\"ahler-Einstein geometry

In the probabilistic construction of K\"ahler-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\"ahler-Einstein metrics if it is uniformly Gibbs stable. The proof makes contact with the quantization approach to K\"ahler-Einstein geometry.


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 [20].The proof in [20] is based on a variant of Aubin's method of continuity [1], extended to Aubin's original method in [22].It involves the following equations for a Kähler metric ω t , parameterized by "time" t : (1. 1) Ric where dV is a fixed a volume form dV on X, which may be taken to have positive Ricci curvature Ric dV (since X is Fano).The supremum over all t ∈ [0, 1] for which a solution ω t exists defines an invariant of X, denoted by R(X), which is strictly positive [39].As t is increased towards R(X) either ω 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 [22].While it is usually assumed that t ∈ [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 [30] for a different probabilistic framework involving random N × 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 K.Zhang's new remarkably direct proof of the (uniform) YTD conjecture [46].
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): N := dim H 0 (X, −kK X ) (using additive notation for tensor products of line bundles).The Fano assumption on X ensures, in particular, that N → ∞, as k → ∞ (more precisely, N ∼ k dim X ).Given a basis s (k) 1 , ..., s (k) N in H 0 (X, −kK X ) denote by det S (k) the corresponding holomorphic section of the line bundle −(kK X N ) → X N defined as the Slater determinant (1.2) (det S (k) )(x 1 , x 2 , ..., x N ) := det s Given a volume form dV on X and a parameter β > 0, the N −fold product X N is endowed with the following probability measure: where • 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 β and Z N k (β) is the corresponding partition function.
The probability measure µ is, in fact, independent of the choice of bases.It will be convenient to fix a reference volume form dV X on X with positive Ricci curvature and a basis (s The probability measure µ (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 δ N , i.e. the discrete measure on X defined by converges in probability, as N → ∞, towards a normalized volume form dV β on X with the property that the Kähler form (1.4) is the unique solution to Aubin's continuity equation 1.1 with t := −β.The convergence of δ N towards dV β also implies that the following convergence holds in the weak topology of currents on X : where ω k,β is a Kähler form, for k sufficiently large (to ensure that −kK X is very ample).
In fact, the convergence of δ N towards dV β was shown to hold at an exponential speed in the sense of Large deviation theory [23].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 P(X) on X and F β (µ) is a free energy type functional on P(X) (see formula 2.3).Expressing µ as the normalized volume form of a Kähler metric ω in the space H of all Kähler metrics representing the first Chern class of X, the free energy functional F β (µ) gets identified with the twisted Mabuchi functional on H (which is minimized precisely by the unique Kähler metrics ω β solving Aubin's equation 1.1 with t = −β) : 2).The LDP 1.5 thus implies that The case β < 0. In the case when β is negative the probability measure µ (N ) β is welldefined for β sufficiently close to 0. The main case of interest is when β = −1.In this case the measure µ (N ) β is canonically attached to X, i.e. it is independent of the choice of volume form dV (since the contributions from the metric • on −K X and the volume form dV on X cancel).Hence, if µ (N ) −1 is well-defined when N is sufficiently large, i.e. if Z N (−1) < ∞ -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 δ N converge towards a unique Kähler-Einstein metric on X [5], as N → ∞.A conjectural extension of the LDP for positive β in formula 1.5 to any negative β 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 β 0 the following is equivalent: (1) For any given β > β 0 the partition function Z N (β) is finite, when N is sufficiently large.
(2) For any given β > β 0 the twisted Mabuchi functional M β admits a minimizer in H.
Moreover, if β 0 satisfies the first condition, then for any given β > β 0 the empirical measure δ N of the ensemble X N , µ (N ) β converges in probability as N → ∞ -after perhaps passing to a subsequence -towards a volume form dV β such that the corresponding Kähler metric ω β (formula 1.4) minimizes M β on H.
The reason that one has to pass to a subsequence in the conjectural convergence above is that a minimizer of M β need not be uniquely determined, unless dV is assumed to have positive Ricci curvature and β > −1.The integrability condition Z N k (β) < ∞ 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 γ > 1.This is, a priori, a stronger condition than Gibbs stability (which amounts to the condition that γ k (X) > 1 for any sufficiently large k).The validity of the equivalence "1 ⇐⇒ 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 [34]).The general equivalence "1 ⇐⇒ 2" may be reformulated as the following identity: as follows from [2, Thm 1.2] (when restricted to β ≥ −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 M β it is enough to extend the asymptotics 1.6 to β < 0.
1.2.Main results.For β < 0 the limsup upper bound in formula 1.6 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 γ := −β.
Theorem 1.2.There exists a constant C > 0 (depending only on the reference volume for dV X ) such that for any γ > 0 and positive integer k where For γ ≤ 1 the first term in the right hand side of the previous inequality may be replaced by the infimum of M −γ(1−Ck −1 ) (see Section 2.4).
The previous theorem immediately implies one direction of the conjectured equality 1.8: Corollary 1.3.The following inequality holds In other words "1 =⇒ 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 [32,Thm 6.7] with the solution of the (uniform) YTD-conjecture in [20,Thm 6.7] (or [13,Thm 6.7]) and its very recent generalization in [46,Thm 6.7] (which applies to general β).More precisely, exploiting that γ k (X) may be realized as the log canonical threshold (lct) of an anticanonical divisor on where the infimum is taken over all anti-canonical Q−divisors ∆ k on X of k−basis type, i.e. ∆ 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 δ(X) characterizes uniform K-stability; δ(X) > 1 iff X is uniformly K-stable [33].Recently, it was shown in [36] that δ k (X) coincides with the coercivity threshold of the quantized Ding functional on the symmetric space GL(N, C)/U (N ).Combining this result with the quantized maximum principle in [15], it was then shown in [46] that δ(X) coincides with the coercivity threshold of the Ding functional (as further discussed in Section 1.3).Finally, Cor 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, β = −1 (i.e.γ = 1), may be formulated as follows: (1.10) where the infimum runs over the space H of all metrics on −K X with positive curvature and D k is a certain (scale invariant) functional on H, approximating the twisted Ding functional D (in the sense that D k converges towards D as k → ∞); see formula 2.5.Next, by an inequality established in [12] (leveraging the positivity of direct image bundles in [14]) there exists a constant C such that where H 0 denotes the subspace of all sup-normalized metrics on H and E denotes the standard functional on H defined as the primitive of the Monge-Ampère operator (which is non-positive on H 0 ).Finally, using the well-known fact that D is bounded from above by the Mabuchi functional M this proves Theorem 1.2 when γ = 1 (by absorbing the error term −Ck −1 E in the subscript γ of the twisted Mabuchi functional M γ ).A slight twist of this argument yields the inequality in Theorem 1.2 for a general γ, 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 [44,41,26,27], the space H(L) of all Hermitian metrics on a holomorphic line bundle L over a complex manifold X is approximated by the finite dimensional space H k (L) of all Hermitian metrics on the N −dimensional complex vector space H 0 (X, kL) 1  The space H k (L) may be identified with the symmetric space GL(N, C)/U (N ).When X is Fano and L = −K X a quantization of the Ding functional D on H was introduced in [10], building on [29], which defines a functional on H k that we shall denote by D k (formula 3.2).Here it is observed (Prop 3.1) that (1.11) inf where D k is the approximation on H of the Ding functional D which appeared in the inequality 1.10.As a consequence, (1.12) A similar inequality holds for a general γ (see Theorem 3.3) which yields a new proof of the inequality 1.9.This line of reasoning is inspired by K.Zhang's very recent new proof of the uniform YTD conjecture for Fano manifolds [46].In fact, the author discovered the equality 1.11 while trying to find a conceptual replacement for an inequality used in the proof of [46,Thm 5.1] (involving Tian's α−invariant [40]).One virtue of the present approach is that it directly yields a quantitative estimate on the infimum of D k,β over H k : by combining formula 1.11 (extended to general γ) with the inequality 1.10 (extended to general γ).As in [46,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 [36], building on [32,33], uniform K-stability is equivalent to the existence of some ǫ > 0 such that the infimum of D k,−1−ǫ on H k is finite for k sufficiently large.By the inequality 1.13 this implies that M −1−ǫ is bounded from below (or equivalently, that 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 γ).
1.4.Outlook on converse bounds and exceptional Fano orbifolds.The converse of the inequality 1.13 also holds, as follows from [10,Lemma 7.7].As a consequence, This identity is equivalent to the result [46, Thm 5.1] (which is formulated in terms of the infimum of D β , but, by [2, Thm 1.1], this infimum coincides with the infimum of M β ).It remains, however, to establish a similar lower bound on − log Z N,−γ or, at least, the missing lower bound on γ(X) in the conjectured formula 1.8.By formula 1.14, this amounts to upgrading the inequality between γ(X) and δ(X) in Cor 1.3 to an equality.In contrast, it should be stressed that the inequality 1.9 between γ k (X) and δ k (X) is not an equality, in general.For example, when X is the Riemann sphere, i.e. the complex projective line [ 31,36].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. 2 For example, any Fano orbifold curve is of the form where G is the finite group acting on P 1 induced by the action on 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 γ = 1 (as follows from [8, Thm 3.5]): Moreover, γ k (X) is strictly increasing wrt k.On the hand it can be shown that and thus δ(X) = γ(X), while, γ k (X) < δ k (X).
The notion of exceptionality has been extended to general Fano orbifolds [17], motivated by the Minimal Model Program in birational algebraic geometry [37].A Fano orbifold X is said to be exceptional if α(X) > 1, where α(X) denotes Tian's alpha-invariant [40] (which, in algebro-geometric terms, coincides with the global log canonical threshold of X [24]).For example, in [17, 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 α(X) ≤ γ k (X) (cf.[6, Lemma 7.1]).As a consequence, if X is exceptional, then 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.
1.5.Acknowledgments.Thanks to Bo Berndtsson for comments on a first draft of this manuscript.This work was supported by grants from the Knut and Alice Wallenberg foundation, the Göran Gustafsson foundation and the Swedish Research Council.
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 φ is a metric on L then kφ denotes the induced metric on kL.Accordingly, if s is a holomorphic section of L, i.e. s ∈ H 0 (X, L), the point-wise norm of s with respect to a metric φ on L is denoted by |s| φ Given a local trivializing section of L we may identify s with a local holomorphic function on X and φ with a local smooth function so that |s| 2 φ := |s| 2 e −φ and the normalized curvature of the metric φ may be expressed as A smooth metric φ on L is said to have positive curvature if dd c φ > 0 and semi-positive curvature of dd c φ ≥ 0 (when identified with an n × n Hermitian matrix).Equivalently, this means that, locally, φ is plurisubharmonic (psh) and strictly psh, respectively.Given a metric φ with semipositive curvature we denote by M A(φ) 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 anticanonical line bundle −K X of X, i.e. top exterior power of the tangent bundle of X.Then any smooth metric φ on −K X induces a volume form on X that we shall, abusing notation slightly, denote by e −φ .This notation is intended to reflect the fact that if z 1 , ..., z n are local holomorphic coordinates on X and φ is locally represented by a function with respect to the local trivialization ∂/∂z 1 ∧ • • • ∂/∂z n of −K X , then the volume form in question has density e −φ with respect to the local Euclidean volume form corresponding to z 1 , ..., z n .
Given a metric φ on −K X and a volume form µ on X we shall denote by H (k) (φ, µ) the corresponding Hermitian metric on the N −dimensional complex vector space H 0 (X, −kK X ), defined by The space of all metrics on φ on −K X with positive curvature will be denoted by H.We will fix once and for all a reference metric ψ 0 in H and a basis s N in H 0 (X, −kK X ) which is orthonormal with respect to the corresponding Hermitian norm H (k) ψ 0 , e −ψ0 (in the notation used in Section 1, e −ψ0 = dV X ).Accordingly, we can identify a Hermitian metric H on H 0 (X, −kK X ) with the corresponding N × N positive definite Hermitian matrix H(s 2.1.2.Energies.Following (essentially) the notation in [9] we denote by E the functional on H uniquely determined by the following conditions: Alternatively, E(φ) may be explicitly defined by Dually, following [10], the pluricomplex energy of a probability measure µ on X (wrt the reference metric ψ 0 ) is defined by [10] the functional E(φ) is denoted by E(φ) 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 (2.1) 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 (φ − ψ 0 ) − c X is bounded from above by the integral of (φ − ψ 0 ) against M A(ψ 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 (φ 0 , γ).Given a volume form dV on X we will denote by φ 0 the corresponding metric on −K X (i.e.dV = e −φ0 ).To the pair (φ 0 , γ) we attach the twisted Ding functional on H defined by (coinciding with the ordinary Ding functional when γ = −1).The definition is made so that D −γ is scale invariant, i.e. invariant under φ → φ + c for any c ∈ 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 [35,38], but here it will be convenient to use the thermodynamical formalism introduced in [2, Prop 4.1]: (2.2) where F γ (µ) is the free energy of a probability measure µ on X defined by where Ent (µ|ν) denotes the entropy of a measure µ on X relative to the measure ν on X (using the sign convention that renders Ent (µ|ν) non-negative when µ and ν are both probability measures).By [2, Prop 3.5] (2.4) (moreover, the two functionals D −γ and M −γ have the same infimum over H, but his fact will not be needed here).
Remark 2.2.In the notation of [2], D −γ = −G −γ and the definition of the free energy F −γ used here is −γ times the definition employed in [2].When γ = 1 formula 2.2 is equivalent to the Tian-Chen formula for the Mabuchi functional [42,19] and the case γ = 1 is closely related to the generalized Mabuchi functional introduced in [38, Def 6.1].

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 φ on −K X of the functional D k,−γ defined by where ) log det H (k) φ, e −(γφ+(1−γ)φ0) .
The normalization have been chosen to ensure that As a consequence, since L k (φ) is increasing wrt φ, its differential dL k|φ 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) φ, e −(γφ+(1−γ)φ0) : (2.6) where S i denotes any bases in H 0 (X, −kK X ) which is orthonormal wrt H (k) φ, e −(γφ+(1−γ)φ0) (as follows from [9, Lemma 2.1]).
Proposition 2.3.Given (φ 0 , γ) the following inequality holds for any k: where the infimum runs over all smooth metrics φ on −K X .
Proof.Let φ 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 φ has the property that e −(γφ+(1−γ)φ0) is a probability measure.Then, applying Hölder's inequality with negative exponent −γ/k (or Jensen's inequality applied to the convex function Taking logarithms this means that Now, for any metric φ on −K X we may apply the previous inequality to φ+log X e −(γφ+(1−γ)φ0) and deduce that − 1 γN log Z N,−γ 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 µ on X : We will also use the following slight generalization of the inequality in [12, formula 3.4] (to the case γ = 1) : Lemma 2.4.There exists a constant C 0 depending only on ψ 0 such that the following inequality holds for φ (ǫ) := φ(1 − ǫ) + ǫψ 0 with ǫ := γ−1 k+γ : 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 ψ t be a weak geodesic connecting φ (at t = 1) with ψ 0 (at t = 0) [18].In particular, this means that t → ψ t is a psh path (aka a subgeodesic) in the following sense: extending ψ t to X × ([0, 1] × iR) , so that ψ t is independent of the imaginary part of t, the corresponding local function (z, t) → ψ t (z) is psh locally on X × (]0, 1[×iR) .Moreover, it will be convenient to use the following regularity properties [18]: dd c ψ t ∈ L ∞ loc for any fixed t and t → ψ 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 ψ t is in L ∞ loc for any fixed t).Now, is concave if ǫ is sufficiently small.In fact, the first statement characterizes the geodesic φ t among all psh paths φ t as above [13,Thm 1.7] and the second one follows from [14], only using that ψ (ǫ) t is a psh path.To see this rewrite −kK X = (k + 1)L + K X for L = −K X .Then, locally, rewriting e −kφ e −(γφ+(1−γ)φ0) = e −(kφ+γφ+(1−γ)φ0) the Hermitian metric H (k) φ, e −(γφ+(1−γ)φ0) coincides with the L 2 −metric on H 0 (X, (k + 1)L + K X ) induced by the metric kφ + γφ + (1 − γ)φ 0 on (k + 1) + L X .Accordingly, L k (φ) may be identified with the L 2 −metric on the determinant line of H 0 (X, (k + 1)L + K X ).Now replace φ with ψ (ǫ) t and decompose the corresponding metric on (k + 1)L + K X as (2.8) kψ . The second term above has non-negative curvature on X if ǫ is sufficiently large.For simplicity, we will first consider the special case that φ 0 = ψ 0 .Then the non-negativity in question holds if ǫ ≥ γ−1 k+γ .Henceforth will assumed that ǫ = γ−1 k+γ (then . Since ψ t is locally psh on X × ([0, 1] × iR) the whole expression in formula 2.8 is thus locally psh.
Hence, the convexity of t → L k ψ (ǫ) t follows from the positivity of direct image bundles in [14], applied the to trivial fibration X × (]0, 1[×iR) →]0, 1[×iR.This concludes the proof of the properties in formula 2.7.As a consequence, the function Now assume first that φ is sup-normalized, i.e. that sup X (φ − ψ 0 ) = 0. Then it follows from the convexity of t → φ t that dψt dt | t=0 ≤ 0. Next, since we are considering the special case φ 0 = ψ 0 and ψ vanishes and so does E(ψ 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) (ψ 0 , e −ψ0 ) (by formula 2.6) it follows from Bergman kernel asymptotics [42] that there exists a constant C 0 (depending only on ψ 0 ) such that (2.9) (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.7.Replacing a general φ ∈ H with its sup-normalized version φ − sup X (φ − ψ 0 ) we deduce that This concludes the proof when φ 0 = ψ 0 .Finally, to handle the case of a general case note that replacing φ 0 with ψ 0 in the definition of L k φ (ǫ) just gives rise to an extra term which, after multiplication by 1 (1−ǫ) , may estimated from above by 1 (1 − ǫ) 2.3.Conclusion of the proof of Theorem 1.2.By Prop 2.3 the following inequality holds for any metric φ on −K X and number satisfying (1 − ǫ) ≥ 0 : Taking ǫ = γ−1 k+γ and replacing φ with φ (ǫ) (defined as in the previous lemma) and setting γ (ǫ) := (1 − ǫ)γ thus yields (using that Next, in order to fix ideas, we first consider the special case when φ 0 = ψ 0 .Then, by the previous lemma, the right hand side above is bounded from above by (2.10) Invoking the inequality 2.1 thus reveals that there exists a constant C only depending on ψ 0 such that (2.11) 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 M −γ (ǫ) (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 φ 0 = ψ 0 .The general case is shown in essentially the same way, by first including the error term involving φ 0 from Lemma 2.4 in formula 2.10 and then, in formula 2.11, 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 γ ≤ 1.For γ ≤ 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 −(γψ0+(1−γ)φ0) is a probability measure.This implies that the entropy term in the free energy F γ 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 P(X)).In particular, applied to the present setup at T 0 = (k + γ)/(k + 1) and T 1 = 1 this monotonicity yields (since as desired.

Comparison with the quantization approach
Given a holomorphic line bundle L over a compact complex manifold X and a positive integer k denote by H k (L) the space of all Hermitian metrics on the N −complex vector space H 0 (X, kL).The "Fubini-Study map" F S maps H k (L) into the space H(L) of all metrics on L with positive curvature: where (s H i ) 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.
Henceforth, we shall specialize to the anti-canonical setting in Section 2.1.1.Thus X is a Fano manifold and L = −K X .We will abbreviate H which is invariant under scaling by positive numbers: As is well-known the functional D k,−γ on H k can be viewed as a quantization of the functional D −γ on H [10,36].The following proposition relates the functional D k,−γ on H k to the functional D k,−γ on H defined in formula 2.5.
and for any Proof.To prove the first inequality let φ be a given metric on −K X and set ψ k := F S H (k) φ, e −(γφ+(1−γ)φ0) .Then .
Indeed, rewriting e −(γψ k +(1−γ)φ0) = e −γ(ψ k −φ) e −(γφ+(1−γ)φ0) and using that e (ψ k −φ) = ρ kφ (as follows directly from the definition of ρ kφ in formula 2.6) gives using Hölder's inequality with negative exponent −γ/k (or Jensen's inequality applied to the convex function The integral appearing in the first factor in the right hand side above is precisely the integral of the Bergman measure B kφ (defined in formula 2.6) and thus equal to one, which proves the inequality 3.3.Hence, using which proves the first inequality stated in the proposition.To prove the second one first observe that for any H and and volume form µ on X Indeed, for any given φ in H and H ∈ H k , taking a basis (s H i ) in H 0 (X, −kK X ) which is orthonormal wrt H, we can factorize (3.5) det H (k) (φ, µ) = det H • det H (k) (φ, µ) (s H i , s H j ) , where the second factor arises as the determinant of the change of bases matrix between the reference basis (s (k) i ) in H 0 (X, −kK X ) and (s H i ).Next, by the arithmetic/geometric means inequality Now assume that φ = F S(H). Then Hence, the second factor in the right hand side in formula 3.5 is bounded from above by the N th power of the integral of µ, proving the inequality 3.4.Thus, if H is a given element in H k which is normalized so that e −(γF S(H)+(1−γ)φ0) = 1, then applying the inequality 3.4 to µ = e −(γF S(H)+(1−γ)φ0) proves the second inequality for any normalized H in H k .Finally, since both sides of the inequality in question are invariant under scaling, H → e c H, this concludes the proof for a general H in 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 [29].Indeed, applying the first inequality to φ = F S(H) and then the second inequality reveals that D k,−γ (H) is decreasing under Donaldson's map on H k , defined as the composition of the maps F → F S(H) and φ → H (k) φ, e −(γφ+(1−γ)φ0) .As in [3] one gets equality in the first equality in the proposition when φ = F S(H) iff H is a balanced metric in H k in the anti-canonical sense of [29,10,36].
Combining Prop 2.3 and the equality for the infima in Prop 3.1 (only the upper bound is needed) we thus arrive at the following result: Theorem 3.3.Let X be a Fano manifold.Given (φ 0 , γ) the following inequality holds for any k: As a consequence, if Z N k (−γ) is finite, then the infimum of D k,−γ over H k is finite.In other words, the invariant γ k (X) defined by formula 1.7 is smaller than or equal to the coercivity threshold of the functional D k on H k which, by [36], coincides with the invariant δ k (X) introduced in [32] (appearing in formula 1.9).We thus arrive at a new proof of the following inequality first shown in [33] (see 1.9 for a reformulation of the proof in terms of non-Archimedean pluripotential theory).As explained in Section 1.3 this inequality is closely related to results in [46].