arxiv:math/ v1 [math.dg] 9 Mar 2006

Transcription

1 arxiv:math/ v [math.dg] 9 ar 2006 RELATIVE K-STABILITY AND ODIFIED K-ENERGY ON TORIC ANIFOLDS Bin Zhou and Xiaohua Zhu, Abstract. In this paper, we discuss the relative K-stability and the modified K-energy associated to the Calabi s extremal metric on toric manifolds. We give a sufficient condition in the sense of convex polytopes associated to toric manifolds for both the relative K- stability and the properness of modified K-energy. In particular, our results hold for toric Fano manifolds with vanishing Futaki-invariant. We also verify our results on the toric Fano surfaces. 0. Introduction. The relation between some geometric stabilities and the existence of Kähler-Einstein metrics, more general, of extremal metrics has been recently studied extensively ([T2], [D], [D2], [2], [3], etc.). The goal is to establish a necessary and sufficient condition for the existence of extremal metrics in the sense of geometric invariants ([Ya], [T2]). ore recently, K.S. Donaldson studied a relation between K-stability of Tian-Donaldson and abuchi s K-energy on a polarized toric manifold, and for the surface s case he proved that K-energy is bounded from below under the assumption of K-stability ([D2]). So it is a natural problem how to verify K-stability on a polarized Kähler manifold although we do not know if there exists an extremal metric on. In this paper, we focus our attention on polarized toric manifolds as in [D2] and give a sufficient condition for K-stability in the sense of integral polytopes associated to polarized toric manifolds. In fact, we can study the relative K-stability ( or the relative K-semistability) involved an extremal holomorphic vector field related to an extremal metric on ([Sz]). This relative K-stability is a generalization of K-stability and removes the obstruction arising from the non-vanishing of Futaki invariant ([F]). An n-dimensional polarized toric manifold is corresponding to an integral polytope in R n which is described by a common set of some half-spaces, l i, x <, i =,..., d. (0.) Here l i are d vectors in R n with all components in Z, which satisfy the Delzant condition ([Ab]). Without the loss of generality, we may assume that the original point 0 lies in 99 athematics Subject Classification. rimary: 53C25; Secondary: 32J5, 53C55, 58E. ** artially supported by NSF in China and the Huo Y-T Fund. Typeset by AS-TEX

2 2 BIN Zhou AND XIAOHUA Zhu,, so all > 0. Let θ X be a potential function associated to an extremal holomorphic vector field X and a Kähler metric on. Define θ X = max { θ X }. One can show that θ X is independent of choice of Kähler metrics in the Kähler class ([]). Let R be the average of scalar curvature of a Kähler metric in the Kähler class. Then we have Theorem 0.. Let be an n-dimensional polarized toric manifold and X be an extremal vector field on associated to the polarized Kähler class. Suppose that R + θ X n +, i =,..., d. (0.2) Then is K-stable relative to the C -action induced by X for any toric degeneration. According to [D2], a toric degeneration is a special test configuration induced by a positive rational, piecewise linear function on an integral polytope associated to a polarized toric manifold. We will show that the relative K-semistability for a toric degeneration is a necessary condition for the existence of extremal metrics on such a manifold. In case that is toric Fano manifold, condition (0.2) in Theorem 0. becomes R + θ X n +, (0.2 ) since in this case all are. In particular, (0.2 ) is trivial for toric Fano manifolds with vanishing Futaki-invariant since θ X = 0, and so Theorem 0. is true for these manifolds. We also verify that (0.2 ) is true on a toric Fano surface (cf. Section 5). It is interesting to ask whether (0.2 ) is true for higher dimensional toric Fano manifolds or not. The idea of proof of Theorem 0. is to estimate a modified Futaki-invariant related to an extremal metric in the sense of a linear functional on a class of convex functions on. The late will rely on the structure of an integral polytope associated to a polarized toric manifold (cf. Section 3, 4). Our method here can be also used to study a modified K-energy µ(ϕ) on a toric Kähler manifold, not only a polarized toric manifold. In the other words, the numbers in the relation (0.) need not to be integral. Note that the complex structure on a toric manifold is uniquely determined by the set {l i } i=,...,d of d vectors in R n and a different set { } i=,...,d of d numbers determines a different Kähler class ([Gui]). As same as the K-energy, µ(ϕ) is defined on a Kähler class whose critical point is an extremal metric while the critical point of K-energy is a Kähler metric with constant scalar curvature. Definition 0.. Let ω g be a Kähler form of Kähler metric g on a compact Kähler manifold and ω ϕ be a Kähler form associated to a potential function ϕ in Kähler class [ω g ]. Let I(ϕ) = ϕ(ωg n V ωn ϕ ),

3 RELATIVE K-STABILITY AND ODIFIED K-ENERGY ON TORIC ANIFOLDS 3 where V = ωn g. µ(ϕ) is called proper associated to a subgroup G of the automorphisms group Aut() in Kähler class [ω g ] if there is a continuous function p(t) in R with the property lim p(t) = +, t + such that µ(ϕ) c inf σ G p(i(ϕ σ)) C for some uniform positive constants c and C independent of ϕ, where ϕ σ is defined by ω g + ϕ σ = σ (ω g + ϕ). In the following we give a sufficient condition for the properness of µ(ϕ) on a toric Kähler manifold. Theorem 0.2. Let be a toric Kähler manifold associated to a convex polytope. Let G 0 be a maximal compact subgroup of torus actions group T on. Suppose that condition (0.2) is satisfied. Then µ(ϕ) is proper associated to subgroup T in the space of G 0 -invariant Kähler metrics. In fact, there exists numbers δ > 0 and C such that for any G 0 -invariant potential functions associated to the Kähler class, it holds µ(ϕ) δ inf τ T I(ϕ τ) C δ. (0.3) Since condition (0.2) in Theorem 0. is true on a toric Fano surface, we see that inequality (0.3) holds on such a manifold. It is known that toric Fano surfaces are classified into five different types, i.e., C 2, C C and C 2 #lc 2 (l =, 2, 3) and there exists a Kähler-Einstein on each one except C 2 #lc 2 (l =, 2) ([T]). On the other hand, it is still unknown whether there exists an extremal metric on C 2 #2C 2 while the extremal metric was constructed on C 2 #C 2 by using the ODE method ([Ca], [Ab]). We hope that our result about the properness of modified K-energy will be useful in the study of the existence problem of extremal metrics on C 2 #2C 2 ([LS]). In fact, one may guess that there always exists an extremal metric on the Kähler class 2πc () on a toric Fano manifold. We note that the existence problem was solved recently in [WZ] when θ X = 0, which is equal to the existence of Kähler-Einstein metrics with positive scalar curvature. When the Futaki invariant vanishes on the Kähler class, the extremal vector holomorphic field should be zero. Then condition (0.2) becomes R n +, for all, i =,..., d. (0.2 ) Condition (0.2 ) seems not so hard to satisfy. For instants, we construct a kind of of Kähler classes on the toric manifold C 2 #3C 2, which satisfy the condition (0.2 ) (Section 6). Since R can be computed as some integrals in the sense of convex polytope (cf. Section 4), as a corollary of Theorem 0.2, we have

4 4 BIN Zhou AND XIAOHUA Zhu, Corollary 0.. Let be an n-dimensional toric Kähler manifold with vanishing Futaki invariant. Suppose max { i=,...,d d j= j dx λ j= j j dx} n + n, (0.4) where { j } d j= is a union of cones with (n )-dimensional faces E j on as bases and vertex at 0. Then K-energy µ(ϕ) satisfies (0.3). In particular, K-energy µ(ϕ) is bounded from below in the space of G 0 -invariant potential functions. Finally, we remark that the properness of K-energy is a necessary and sufficient condition for the existence of Kähler-Einstein metrics with positive scalar curvature, and in case that is a Kähler-Einstein manifold with positive first Chern class, (0.3) implies µ(ϕ) δi(ϕ) C δ, (0.3 ) for any ϕ Λ (, g KE), where Λ (, g KE ) denotes the first non-zero eigenfunctions space for the Lapalace operator associated to a Kähler-Einstein metric g KE (cf. Section 4). The existence of such an inequality was conjectured by Tian for any Kähler-Einstein manifold with positive first Chern class ([T2]). The organization of this paper is as follow. In Section, we derive a Donaldson s version for the modified K-energy on toric manifolds. Then in Section 2, we give an analytic criterion for the properness of modified K-energy. In Section 3, we recall the relative K-stability (relative K-semistability) introduced in [Sz] and compute the modified Futaki invariant for a kind of toric degenerations. Both ain Theorem 0. and 0.2 will be proved in Section 4. In Section 5, we estimate the potential function of an extremal vector field on C 2 #C 2 and C 2 #2C 2 respectively, then verify condition (0.2) for toric Fano surfaces. In Section 6, we construct a kind of of Kähler classes on the toric manifold C 2 #3C 2, which satisfy the condition (0.2 ).. A Donaldson s version of µ(ϕ). In this section, we review some basic materials of toric differential geometry, then apply them to the modified K-energy µ(ϕ). Let (, g) be a compact Kähler manifold with dimension n. Then Kähler form ω g of g is given by ω g = n g ij dz i dz j i,j= in local coordinates (z,..., z n ), where g ij are components of metric g. The Kähler class [ω g ] of ω g can be represented by a set of potential functions as follow = {ϕ C () ω ϕ = ω g + ϕ > 0}. 2π According to [Ca], a Kähler metric ω ϕ in the Kähler class [ω g ] is called extremal if R(ω ϕ ) = R + θ X (ω ϕ )

5 RELATIVE K-STABILITY AND ODIFIED K-ENERGY ON TORIC ANIFOLDS 5 for some Hamiltonian holomorphic vector field X on, where R(ω ϕ ) is the scalar curvature of ω ϕ, R = V R(ω g)ωg n, V = ωn g and θ X(ω ϕ ) denotes the potential function of X associated to the metric ω ϕ, which is defined by { ix ω ϕ = θ X (ω ϕ ), θ X(ω ϕ )ω n ϕ = 0. (.) By [F], such an X, usually called extremal is uniquely determined by the Futaki invariant F( ). When the Futaki invariant vanishes, then X = 0 and an extremal metric becomes one with constant scalar curvature. It is well-known that a Kähler metric with constant scalar curvature is a critical point of the abuchi s K-energy. In the case of extremal metrics, one can modify the K-energy to be µ(ϕ) = V 0 ψ t [R(ω ψt ) R θ X (ψ t )]ω n ψ t dt, where ψ t (0 t ) is a path connecting 0 to ϕ in. It can be showed that the functional µ(ϕ) is well-defined, i.e., it is independent of the choice of path ψ t ([Gua]). Thus ϕ is a critical point of µ( ) iff the corresponding metric ω ϕ is extremal. Now we assume that is an n-dimensional toric Kähler manifold and g is a G 0 = (S ) n -invariant Kähler metric in the Kähler class, where G 0 is a maximal compact subgroup of torus actions group T on. Then under an affine logarithm coordinates system (w,..., w n ), its Kähler form ω g is determined by a convex function ψ 0 on R n, namely ω g = ψ 0 is defined on the open dense orbit T. Denote Dψ 0 to be a gradient map (moment map) associated to T. Then the image of Dψ 0 is a convex polytope in R n. By using the Legendre transformation y = (Dψ 0 ) (x), we see that the function (Legendre function) defined by u 0 (x) = y, Dψ 0 (y) ψ 0 (y) = y(x), x ψ 0 (y(x)) is convex on. In general, for any G 0 -invariant potential function ϕ associated to the Kähler class [ω g ], one gets a convex function u(x) on by using the above relation while ψ 0 is replaced by ψ 0 + ϕ. Set C = {u = u 0 + v u is a convex function in, v C ( )}. It was showed in [Ab] that functions in C are corresponding to G 0 -invariant functions in (whose set is denoted by G0 ) by one-to-one. The convex polytope is described by a common set of some half-spaces, l i, x <, i =,..., d, (.2) where l i are d-vectors in R n with all components in Z, which satisfy the Delzant condition. Conversely, given a convex polytope in R n as above, one can construct a G 0 -invariant Kähler metric on ([Gui]). Without the loss of generality, we may assume that the

6 6 BIN Zhou AND XIAOHUA Zhu, original point 0 lies in, so all > 0. Let dσ 0 be the Lebesgue measure on the boundary and ν be the outer normal vector field on. Let dσ = λ i (ν, x)dσ 0 on the face l i, x = of. It is clear that (ν, x) is constant on each face. According to [D2], if u C corresponds to ϕ G0, then ) ψ 2 n t R(ω ψt )ωψ n n! t dt = (2π) ( n log(detd 2 u)dx + udσ. By using a relation we get where Lemma.. 0 ψ t = u ψt, µ(ϕ) = 2n n!(2π) n F(u), V F(u) = log(detd 2 u)dx + udσ θ X = n a i (x i + c i ), i= ( R + θ X )udx. (.3) where 2n-constants a i and c i are determined uniquely by 2n-equations, vol() vol() F( n ) = ( a j (x j + c j ))(x i + c i )dx, i =,..., n, (.4) y i j= (x i + c i )dx = 0, i =,..., n. (.5) roof. According to [F], an extremal holomorphic field X should be belonged to the center of a reductive Lie subalgebra of Lie algebra consisting of holomorphic vector fields on. In particular, X is an element of an Abelian Lie subalgebra. So under the affine coordinates system, we see Note that X span{ y i, i =,..., n}. θ y i = x i + c i (.6) for each y i, where constants c i are uniquely determined by (.5) according to (.). Thus n θ X = a i (x i + c i ) (.7) i= for some constants a i. Since θ X satisfies ([F]), vol() vol() F( ) = θ X θ dx, i =,..., n, (.8) y i y i then by relation (.6) and (.7), we get (.4).

7 RELATIVE K-STABILITY AND ODIFIED K-ENERGY ON TORIC ANIFOLDS 7 Lemma.2. Let u be an affine linear function on. Then L(u) = udσ ( R + θ X )udx = 0. roof. First note ([D2]) R = dx (.9) dσ. Then for any constant c, we have L(c) = 0. Thus we suffice to prove Let ρ i t L(x i ) = 0, i =,..., n. be a one-parameter subgroup on generated by re( y i ). Then { ρ i t (y) = yj, j i y j + t, j = i. Thus (ϕ + ψ 0 ) ρ i t (y) = (ϕ + ψ 0 )(ρ i t(y)) and u ρ i t (x) = u tx i, where (ϕ + ψ 0 ) ρ i t is a convex function in R n induced by actions ρ i t as follow, (ϕ + ψ0 ) ρ i t = (ρi t ) ω ϕ, and u ρ i t is the Legendre function of (ϕ + ψ 0 ) ρ i t. Since vol() µ(ϕ ρ i) t t=0 = F( ) + θ X θ ωg n dt y = 0, i y i we get 2 n n!(2π) F(u n ρ i) t t=0 = L(x i ) = 0. dt By Lemma.2, we see that the functional F(u) is invariant if u is replaced by adding an affine linear function. For this reason, we normalize u as follows. Let p and set C = {u C inf u = u(p) = 0}. Then for any u ϕ C corresponding to ϕ G0, one can normalize u ϕ by ũ ϕ = u ϕ ( Du ϕ (p), x p + u ϕ (p)) so that ũ ϕ = u ϕ C corresponds to a Kähler potential function ϕ G0 which satisfies D( ϕ + ψ 0 )(0) = p and ( ϕ + ψ 0 )(0) = 0. (.0) In fact, ϕ can be uniquely determined by using the affine coordinates transformation y y + y 0 as follow, ϕ(y) = (ϕ + ψ 0 )(y + y 0 ) ψ 0 (y) (ϕ + ψ 0 )(y 0 ).

8 8 BIN Zhou AND XIAOHUA Zhu, 2 An analytic criterion for the properness of µ(ϕ). In this section, we give an analytic criterion for the properness of the modified K- energy µ(ϕ). We need to recall the Aubin s functional ([Au]), J(ϕ) = ψ t (ωg n ωψ n V t ) dt, ϕ, 0 where ψ t (0 t ) is a path in connecting 0 to ϕ. Note ψ t = u t, where u t are Legendre functions associated to potential functions ψ t. Then J(ϕ) = ϕωg n V + H(u ϕ) H(u 0 ), (2.) where H(u) = Lemma 2.. There exists C > 0 such that where ϕ is as defined in (.0). roof. By (2.), we have We claim that for some uniform constant C. udx, u C. V ol() J( ϕ) H(u ϕ ) C, ϕ G0, J( ϕ) H(u ϕ ) = V V ϕω n g C ϕω n g H(u 0). Applying the Green s formula to the potential function ϕ, one sees that there exists a constant C 0 such that ϕω g n sup { ϕ} C 0. (2.2) V Set Then V ϕω g n Ω N = {ξ ϕ(ξ) sup R n { ϕ} N}. = V Ω N ϕω n g + V \Ω N ϕω n g V [(sup R n { ϕ} N)V ol( Ω N ) + sup R n { ϕ}v ol( \ Ω N )] = sup { ϕ} NV ol( Ω N). R n V ol()

9 It follows RELATIVE K-STABILITY AND ODIFIED K-ENERGY ON TORIC ANIFOLDS 9 V ol( Ω N ) C 0V ol() N = C 0V N as N. On the other hand, by the second relation in (.0), we have Then ϕ(0) = ψ 0 (0). ϕ(x) ϕ(0) 2r sup{ p : p } C(r), x B r (0), 0, (2.3) where C(r) depends only on the radius r of ball B r (0) centered at the original. Since the volume of domain B (0) (2π) n associated the metric ω g = ψ 0 is bigger than some number ǫ > 0, by (2.3), it is easy to see that there is at least a point x 0 B (0) such that ϕ(x 0 ) sup ϕ N R n as N is sufficiently large. Thus sup R n ϕ N + C(), and consequently By (2.2), we also get V V ϕω n g N + C(). ϕω n g ϕ(0) C 0 = ψ(0) C 0. Therefore the claim is true and Lemma is proved. As in [D2], one can extend the definition space C of functional F(u) to and one can show that C = {u C () C() u is convex in } inf F(u) = inf F(u). u C u C Note that the minimal point of F(u) is unique by using the convexity of logdet and it satisfies the Euler-Langrage equation, n i,j= u ij ij = (R + θ X), where (u ij ) = (u ij ) and u ij kl denote the second derivatives of uij. In fact, the above statement also holds for more general functional F(u) while the function R+θ X in (.3) is replaced by a smooth one in. The following result is due to [D2].

10 0 BIN Zhou AND XIAOHUA Zhu, Lemma 2.2. Suppose that there exists a λ > 0 such that L(u) λ udσ, (2.4) for any normalized function u C. Then there exists a δ > 0 depending only on λ such that for any normalized function u C. F(u) δh(u) C δ (2.5) roof. Choose a function v 0 in C and define a smooth function A in by v ij 0ij = (R + A). Let F (u) be a modified functional of F(u) while the part of linear functional L(u) of F(u) is replaced by L (u) = udσ (R + A)udx. Then F (u) F (v 0 ) = C 0, u C. (2.6) We compute the difference between the linear parts L (u) and L(u). ick a δ > 0. Note that udy C udσ because of the convexity of u 0. Then by the condition (2.4), we have L(u) L (u) = θ X udx Audx C udx = C [( + δ) udx C δ C δ udσ C δ udx C δ,λ L(u) C δ udx. ] udx It follows (C δ,λ + )L(u) L (u) + C δ udx.

11 RELATIVE K-STABILITY AND ODIFIED K-ENERGY ON TORIC ANIFOLDS Thus by (2.6), we get F(u) = log(det(u ij ))dx + L(u) log(det(u ij ))dx + L (u) C δ,λ + + C δ C δ,λ + udx = F u ( C δ,λ + ) + C δ C δ,λ + udx nlog(c δ,λ + ) C Vol()δ C δ,λ + H(u) C 0. Replacing C Vol()δ C δ,λ + by δ, we obtain (2.5). roposition 2.. Suppose that (2.4) is satisfied. Then there exists a number δ > 0 such that for any G 0 -invariant ϕ G0 it holds µ(ϕ) δ inf τ T n I(ϕ τ) C δ, (2.7) where ω g + ϕ τ = τ (ω g + ϕ). (2.8) In particular, µ(ϕ) is bounded from below in G0. roof. Let ϕ G0. Then there exists a σ T such that the Legendre function u ϕσ associated to ϕ σ is belonged to C. By Lemma 2.2, we see that µ(ϕ σ ) δh(ϕ σ ) C δ. Note that µ(ϕ) = µ(ϕ σ ). Thus by Lemma 2., we get µ(ϕ) = µ(ϕ σ ) δj(ϕ σ ) C δ δ inf τ T n J(ϕ τ) C δ δ n inf τ T n I(ϕ τ) C δ. Here at the last inequality we used the fact ([Au]), J(ϕ) I(ϕ), ϕ. n The proposition is proved.

12 2 BIN Zhou AND XIAOHUA Zhu, 3. Computation of the modified Futaki-invariant. In this section, we recall the notation of relative K-stability introduced in [Sz] and compute the modified Futaki invariant for a test configuration in the sense of Donaldson ([D2]). We assume that (, L) is an n-dimensional polarized toric manifold and g is a G 0 = (S ) n -invariant Kähler metric with its Kähler form ω g 2πc (L) on, where L is a positive holomorphic line bundle on. In the other words, the corresponding convex polytope induced by the moment map is integral (cf. Section 2). Definition 3. ([Do], [Sz]). A test configuration for a polarized variety (, L) of exponent r consists of a C equivariant flat family of schemes π : W C (where C acts on C by multiplication) and a C equivariant ample line bundle L on W. We require that the fibres (W t, L Wt ) are isomorphic to (, L r ) for any t 0. A test configuration is called trivial if W = C is a product. If (, L) is equipped with a C action β, we say that a test configuration is compatible with β, if there is a C action β on (W, L) such that π : W C is β equivariant with trivial C action on C and the restriction of β to (W t, L Wt ) for nonzero t coincides with that of β on (, L r ) under the isomorphism. Note that a C -action on W induces a C -action on the central fibre 0 = π (0) and the restricted line bundle L 0. We denote by α and β the induced C actions of α and β on ( 0, L 0 ), respectively. The relative K-semistability is based on the following modified Futaki invariant on the central fibre, F β( α) = F( α) ( α, β) ( β, β) F( β), (3.) where F( α) and F( β) are generalized Futaki invariants of α and β defined in [D2], respectively, and ( α, β) and ( β, β) are inner products defined in [Sz] (also to see (3.7) below). Definition 3.2 ([Sz]). A polarized variety (, L) with a C -action β is K-semistable relative to β if F β( ) 0 for any test-configuration compatible with β. It is called relative K-stable in addition that the equality holds if and only if the test-configuration is trivial. Now we consider for a polarized toric manifold (, L) which corresponds to an integral polytope in R n. Recall that a piecewise linear (L) function u on is a form of u = max{u,..., u r }, where u λ = a x i + c λ, λ =,..., r, for some vectors (a ) Rn and some numbers c λ R. u is called a rational L-function if components a and numbers c λ are all rational. For a rational L function u on, choose an integer R so that Q = {(x, t) x, 0 < t < R u(x)} is a convex polytope Q in R n+. Then Q corresponds to (n + )-dimensional toric variety and L on induces a holomorphic line bundle L on Q by using the natural

13 RELATIVE K-STABILITY AND ODIFIED K-ENERGY ON TORIC ANIFOLDS 3 embedding i : Q. Decomposing a torus action T n+ C on Q as TC n C so that TC n {Id} is isomorphic to the torus action on, we get a C action α by {Id} C, and so we define an equivariant map π : Q C satisfying π ( ) = i(). Then W = Q \i() is a test configuration for the pair (, L), called a toric degeneration ([D2]). This test configuration is compatible to an extremal C action β induced by an extremal holomorphic vector field X on. In fact, the extremal C action β is isomorphic to a one parameter subgroup of T n C {Id}, which acts on W. Since the action is trivial in the direction of α, it is compatible. To compute the modified Futaki invariant for such a test configuration, we need Lemma 3.. Let B k, = Z n k for any k Z +. Assume is an integral polytope in R n and ϕ, ψ are two positive rational, L-functions on. Then ϕ(i) = k n ϕdx + kn ϕdσ + O(k n 2 ) (3.2) I B 2 k, and ϕ(i)ψ(i) = k n I B k, ϕψdx + O(k n ). (3.3) roof. The relation (3.3) in the lemma is trivial and it suffices to prove (3.2). Let Q be a convex polytope associated to rational, L-function ϕ as above and B k,q = Z n+ k Q. Then it is easy to see that I B k, ϕ(i) = N(B k,q ) N(B k, ), where N(B k,q ), N(B k, ) are the numbers of point, respectively. Applying roposition 4..3 in [D2] for each convex polytope and Q, one will get (3.2). roposition 3.. For the above test configuration induced by a rational L-function u, we have ( ) F β( α) = udσ ( 2V ol() R + θ X )udx. (3.4) roof. As in [D2], we consider the space H 0 (W, L k ) of holomorphic sections over W, which has a basis {S I,i }, where I is a lattice in B k, and 0 i k(r u)(i). By using the exact sequence for large k, 0 H 0 (W, L k π (ϑ( ))) H 0 (W, L k ) H 0 ( 0, L k ) 0, H 0 ( 0, L k ) has a basis {S I,k(R u)(i) 0 } I Bk,. Then by (3.2), one obtains d k = dimh 0 (, L k ) = dimh 0 (, L k ) = N(B k, ) = k n V ol() + kn 2 V ol( ) + O(kn 2 ).

14 4 BIN Zhou AND XIAOHUA Zhu, By choosing a suitable coordinates system, we may assume that x i dx = 0. Then θ X = θ, x for some vector θ in R n and the one parameter subgroup β induced by X in T n+ C is a form of (e θz,..., e θnz, ), z C, which act on S I,i with weight k θ, I. On the other hand, α in T n+ C (,...,, e z ), is a form of which act on S I,i with weight k(r u)(i). Thus the infinitesimal generators A k and B k of α and β are (d k d k ) diagonal matrices diag(..., k(r u)(i),...) and diag(..., k I, θ,...), respectively. By Lemma 3., we get follows, and Hence Tr(A k ) = k(r u)(i) I B k, = k n+ (R u)dx + kn 2 Tr(B k ) = k θ, I I B k, = k n+ θ X dx + kn 2 Tr(A k B k ) = (R u)dσ + O(k n ), θ X dσ + O(k n ), k 2 (R u)(i) θ, I I B k, = k n+2 (R u)θ X dx + O(k n+ ), Tr(B 2 k ) = I B k, k 2 θ, I 2 = k n+2 [ F( α) = 2V ol() θ 2 Xdx + O(k n+ ). udσ V ol( ) V ol() ] udx,

15 RELATIVE K-STABILITY AND ODIFIED K-ENERGY ON TORIC ANIFOLDS 5 Recall that Therefore, we get By Lemma.2, we have which is equal to Note that It follows Thus by the relation ([Sz]), we get Similarly, we have F( β) = 2V ol() R = V ol( ) V ol(). [ F( α) = 2V ol() θ X dσ L(θ X ) = 0, θx 2 dx. (3.5) ] udσ R udx. (3.6) ( R + θ X )θ X dx = 0. θ X dx = 0. θ X dσ = θ 2 X dx. Tr(A k B k ) Tr(A k)tr(b k ) d k = ( α, β)k n+2 + O(k n+ ), (3.7) ( α, β) = θ X udx. (3.8) ( β, β) = θx 2 dx. (3.9) Substituting (3.5), (3.6), (3.8) and (3.9) into (3.), we obtain (3.4) 4. roof of Theorem 0. and 0.2. In this section, we prove the main theorems in Introduction. As in Section, we let be a convex polytope in R n defined by (.2) which satisfies Delzant condition, and L(u) be the linear functional L(u) = udσ ( R + θ X )udx defined on the space C. Without the loss of generality, we may assume that contains the original point 0. Let {E i } d i= be a union of (n )-dimensional faces on and { i } d i= be a union of cones with bases E i and the vertex at 0. First we observe

16 6 BIN Zhou AND XIAOHUA Zhu, Lemma 4.. L(u) = i= i [ n j= x ] ju j + ( n λ R θ X )u dx. (4.) i roof. Recall that dσ = (ν, x) dσ 0, on each E i, where ν is the outer normal vector field on. Since (ν, x) 0, on each i \ E i, by the Stoke s formula, we have (ν, x) udσ = u dσ 0 E i i = div( xu )dx i n j= = x ju j + n u)dx. i ( Summing these identities, we get udσ = Then (4.) follows from the above. i= i ( n j= x ju j + n u)dx. Lemma 4.2. Let u be a normalized function at the original point 0. Then L(u) i= i ( n + R θ X )udx. (4.2) roof. By Lemma 4., we have L(u) = + i= i= i n j= x ju j u dx ( n + i R θ X )udx. Note that ( n i= x iu i u) is the Legendre function of u and so it is nonnegative by the the normalized condition. Thus (4.2) is true. Note that the functional L(u) can be defined for a L-function u on introduced in Section 3 and (4.) still holds. Now we begin to prove Theorem 0. and need

17 RELATIVE K-STABILITY AND ODIFIED K-ENERGY ON TORIC ANIFOLDS 7 Lemma 4.3. Let be a toric Kähler manifold associated to a convex polytope and X be its corresponding extremal vector field on. Suppose that for each i =,..., d, it holds R + θ X n +, in. (4.3) Then for any L-function u on, we have L(u) 0. (4.4) oreover the equality holds if and only if u is an affine linear function. roof. Let u be a form of u = max{u,..., u r }, where u λ = a x i + c λ, λ =,..., r, for some vectors (a ) Rn and some numbers c λ R. By adding an suitable affine linear function so that u is normalized to be ũ with properties ũ 0, in and ũ(0) = 0. Denote ũ λ and c λ to be the corresponding linear functions and numbers respectively, as to u. Then it is easy to see that c λ 0 for all λ. Dividing into r pieces,..., r so that each ũ = ũ s defined on each λ, then by Lemma 4. and the condition (4.3), we have [ n j= L(u) = L(ũ) = x ] jũ j + ( n i= i λ R θ X )ũ dx i r [ n j= = x ] jũ j + ( n λ R θ X )ũ dx i = = i= λ= r i= λ= r i= λ= i λ i λ [ c λ + ( n + ] R θ X )ũ λ dx i λ ( n + R θ X )ũ λ 0. (4.5) Thus we prove (4.4). oreover, since each set { n+ R θ X = 0} lies in a hyperplane in R n, one sees that the equality in (4.5) holds if and only if ũ = 0, which is equivalent to that u is an affine linear function. roof of Theorem 0.. Let u 0 be a rational L-function which associates to a toric degeneration on. Then by Lemma 4.3, we have L(u) > 0, if u is not an affine linear function, or L(u) = 0, if u is an affine linear function.

18 8 BIN Zhou AND XIAOHUA Zhu, The later implies that u 0 since u 0, and consequently, the corresponding toric degeneration is trivial. Thus by roposition 3., we have F β( α) = L(u) < 0, 2V ol() if the toric degeneration is not trivial, where F β( α) denotes the modified Futaki invariant on the central fibre associated to a C -action induced by the toric degeneration. The theorem is proved. Next we show that the K-semistability is a necessary condition for the existence of extremal metrics on a polarized toric manifold. We need Lemma 4.4. If µ(ϕ) is bounded from below in G0, then L(u) 0, u C. (4.6) roof. Suppose that there exists f in C such that L(f) < 0. Then we choose a function u in C and consider a sequence of u k = u + kf C. By the convexity of F(u), we have F(u k ) F(u) + kl(f) as k. This is impossible since µ(ϕ) is bounded from below. Thus (4.6) is true. roposition 4.. Let be a polarized toric manifold which admits an extremal metric. Then is K-semistable relative to the C -action induced by X for any toric degeneration. roof. Note that the existence of extremal metrics implies that µ(ϕ) is bounded from below in G0. Then by Lemma 4.4, (4.6) is true. Now suppose that the proposition is not true. Then by roposition 3., there exists a positive L-function u such that L(u) < 0. By making a small perturbation to u, one will get a smooth function u in C such that L(u ) < 0. But this is impossible by (4.6). Thus the proposition is true. roof of Theorem 0.2. By roposition 2., it suffices to prove that the condition (2.4) holds for any normalized function u C with udσ =. (4.7) As in Lemma 4.2, we may assume that contains the origin 0 and u is normalized at 0. oreover, we have L(u) 0,

19 RELATIVE K-STABILITY AND ODIFIED K-ENERGY ON TORIC ANIFOLDS 9 otherwise, one can find a L-function u such that L(u ) < 0, which is impossible according to Lemma 4.3. Thus by the contradiction, if (2.4) is not true, then there is a sequence of normalized functions {u (k) } in C such that u (k) dσ = (4.8) and L(u (k) ) 0, as k. (4.9) By Lemma 4.3 and (4.9), we have L(u (k) ) i= i ( n + R θ X )u (k) dx 0. On the other hand, by (4.8), we see that there exists a subsequence (still denoted by {u (k) }) of {u (k) }, which converges locally uniformly to a normalized convex function u 0 on. It follows We claim that lim k i= = i= ( n + i R θ X )u (k) dx i ( n + R θ X )u dx = 0. (4.0) u 0, on. (4.) If (4.) is not true, then there is an open set U of such that u > 0. Since each set R θ X = 0} lies in a hyperplane in R n, we get { n+ ( n + i= i λ R θ X )u dx i ( n + U i λ R θ X )u dx > 0, i i= which is a contradiction to (4.0). Thus (4.) is true. By the assumption conditions (4.8) and (4.9), one sees lim (R + θ X )u k dx k = lim u k dσ =. k

20 20 BIN Zhou AND XIAOHUA Zhu, On the other hand, similarly to (4.0), we have lim (R + θ X )u k dx k = (R + θ X )u dx = 0. Thus we get a contradiction from the above. The contradiction shows that (2.4) is true. The theorem is proved. roof of Corollary 0.. By (.9) in Section and Lemma 4., we see dσ = n dx. i i= Then condition (0.2 ) in Corollary 0. implies condition (0.2) since θ X = 0. Thus the corollary follows from Theorem 0.2. For the case of toric Fano surfaces, condition (2.4) can be proved in another way. Recall that a simple L-function is a form of u = max{0, a i x i + c} for some vector (a i ) R n and number c R. We call the hyperplane a i x i + c = 0 a crease of u. The following result was proved in [D2] as a special case of roposition and 5.3. there. Lemma 4.5. Let be a toric surface with R + θ X 0. (4.2) Suppose that the condition (2.4) in Section 2 doesn t hold. Then either. there exists a positive rational L-function u such that L(u) < 0, or 2. there exists a simple L-function u with crease intersecting the interior of the convex polytope such that L(u) = 0. It is known that toric Fano surfaces are classified into five different types, i.e., C 2, C C and C 2 #lc 2 (l =, 2, 3) and there exists a Kähler-Einstein on each one except C 2 #lc 2 (l =, 2) ( [T]). For the last two cases we will verify the condition (4.2) in the next section. Thus combining Lemma 4.3 and 4.5, we see that condition (2.4) is true if (4.3) holds. The condition (4.3) is also true for toric Fano surfaces (cf. Section 5). Thus as a corollary of Theorem 0.2, we have Corollary 4.. Let be a toric Fano surface and G 0 be a maximal compact subgroup of torus actions group T on. Then there exists numbers δ > 0 and C such that for any G 0 -invariant potential functions associated to the Kähler class 2πc (), it holds µ(ϕ) δ inf τ T I(ϕ τ) C δ. According to [WZ], any toric Fano manifold admits a Kähler-Einstein metric iff the Futaki invariant vanishes. Then by Theorem 0.2, we have

21 RELATIVE K-STABILITY AND ODIFIED K-ENERGY ON TORIC ANIFOLDS 2 Corollary 4.2. Let be a toric Fano manifold with the vanishing Futaki invariant. Then there exists δ > 0 and C such that µ(ϕ) δi(ϕ) C δ (4.3) for any ϕ Λ (, g KE) G0, where Λ (, g KE ) denotes the first non-zero eigenfunctions space of the Lapalace operator associated to the G 0 -invariant Kähler-Einstein metric g KE on. roof. We choose the Kähler-Einstein metric g KE on as an initial metric in the definition of potential functions space and define a functional on the automorphisms group Aut() on by Φ(τ) = (I J)(ϕ τ ) for any ϕ, where ϕ τ is defined as in (2.8) in Section 2 while ω g is replaced by ω KE. Then according to [B], there is a σ Aut() such that Φ(σ) = inf Φ(τ) τ Aut() and consequently ϕ σ Λ (, g KE). Note that ϕ σ is invariant under a maximal compact subgroup of Aut() as same as ϕ. The inverse is also true. In fact, from the proof of uniqueness of Kähler-Einstein metrics in [B], one can prove that ϕ Λ (, g KE) iff (I J)(ϕ) = inf τ Aut() Φ(τ). Thus by Theorem 0.2 and the inequalities ([Au]), n J(ϕ) (I J)(ϕ) J(ϕ), ϕ, n n we get µ(ϕ) δ inf I(ϕ τ) C δ τ δ inf (I J)(ϕ τ) C δ τ = δ(i J)(ϕ) C δ δ 2n I(ϕ) C δ. Replacing δ 2n by δ, we obtain (4.3). Remark 4.. The existence of such an inequality (4.3) in Corollary (4.2) was conjectured by Tian for any Kähler-Einstein manifold ([T2]). 5. θ X on C 2 #C 2 and C 2 #2C 2. In this section, we estimate the quality θ X on the manifolds C 2 #C 2 and C 2 # 2C 2 and show that the conditions (4.3) and (4.2) in Section 4 are true for these two manifolds.

22 22 BIN Zhou AND XIAOHUA Zhu, roposition 5.. On C 2 #2C 2 or C 2 #C 2, we have 2 < θ X <. roof. First we consider C 2 #2C 2. In this case, we choose a Kähler form which is given by a convex function, ω g = ϕ 2πc () ϕ = 2 [ log( + e 2y + e 2y 2 ) + log( + e 2y ) + log( + e 2y 2 ) 2y 2y 2 ]. Then associates to a pentagon 0 in R 2 by using the moment map x i = ϕ y i. Namely, { ϕ y = e 2y (+e 2y +e 2y 2) + e2y (+e 2y ) ϕ y 2 = Thus 0 is decided around by five edges: e 2y 2 (+e 2y +e 2y 2) + e2y 2 (+e 2y 2). x =, x 2 =, x =, x 2 =, x + x 2 =. For any holomorphic vector field v on, we normalize the potential function θ v of v by θ v e h g ωg n = 0, where h g is a potential function of the Ricci form of ω g. Then θ v satisfies (see [TZ]), θ v = θ v v(h g ). So the Futaki invariant can be computed by F(v) = v(h g )ω n = θ v ω n = (2π) 2 θ v dx. 0 In particular, and F = F( ) = (2π) 2 y = (2π)2, 3 0 x dx dx 2 (5.) F 2 = F( ) = (2π)2, (5.2) y 2 3 where (y, y 2 ) is an affine coordinates system.

23 RELATIVE K-STABILITY AND ODIFIED K-ENERGY ON TORIC ANIFOLDS 23 By using a translation x i = x i + 3vol(), we get a new pentagon so that x i dx dx 2 = 0, i =, 2. Then θ X associated to the extremal holomorphic vector field X is a from of where θ and θ 2 are two constants. θ X = θ x + θ 2 x 2, Since the Futaki invariant in the system (x, x 2 ) is computed by ([F]), F(v) = v(h g )ωg n = θ v h g ωg n = θ v θ X ωg n = (2π) 2 θ v θ X dy, we get from (5.) and (5.2), ( ) ( x 2 ) dx dx 2 θ + x x 2dx dx 2 θ 2 = 3 ( ( ) x x 2 dx 2) dx θ + x 2 2dx dx 2 θ 2 = 3. A simple computation shows Thus 2 < θ X <. θ = θ 2 = In the case of C 2 #C 2, we choose a Kähler form which is given by a convex function, ϕ = 2 ω g = ϕ 2πc () [ 2log( + e 2y + e 2y 2 ) + log(e 2y + e 2y 2 ) 2y 2y 2 ]. So associates to a quadrilateral 0 in R 2 decided around by four edges: x + x 2 =, x =, x 2 =, x + x 2 =. It can be computed in the similar way that under the coordinates {x, x 2} satisfying Thus 2 < θ X <. θ X = 5 29 x x 2 x idx dx 2 = 0, i =, 2.

24 24 BIN Zhou AND XIAOHUA Zhu, 6. Kähler classes satisfying (0.2 ) on C 2 #3C 2. In this section, we construct a kind of Kähler classes on the toric manifold C 2 #3C 2, which satisfy the condition (0.2 ) in Introduction. It is well known that C 2 #3C 2 with an anti-cannonical line bundle is corresponding to an integral polytope in R 2, Let 0 = {(x, x 2 ) R 2 x, x 2, x x 2, x, x 2, x + x 2 }. l : x = ; l 2 : x 2 = ; l 3 : x x 2 = ; l 4 : x = ; l 5 : x 2 = ; l 6 : x + x 2 = ; be six edges of 0, and D i be six divisors on C 2 #3C 2 corresponding to l i. Then the cohomology class of a Kähler class is given by 6 [D i ], i= where are all positive numbers. So the Kähler class is corresponding to a convex polytope = {(x, x 2 ) R 2 x λ, x 2 λ 2, x x 2 λ 3, x λ 4, x 2 λ 5, x + x 2 λ 6 }. oreover the Kähler class is integral when are all positive integers. Lemma 6.. Let λ and µ be two positive numbers with λ 2 < µ < 2λ. Let λ = λ 3 = λ 5 = λ, λ 2 = λ 4 = λ 6 = µ. Then the Futaki invariant F(.) vanishes on the Kähler class associated to. roof. By a direct computation, one sees x i dx = 0 and Then x i dx = 0, i =, 2. F( ) = 2 n n!(2π) n ( x i Rx i dx) = 0, i =, 2. y i Thus the Futaki invariant vanishes.

25 RELATIVE K-STABILITY AND ODIFIED K-ENERGY ON TORIC ANIFOLDS 25 Lemma 6.2. Let λ and µ, and, i =,..., 6 be numbers as in Lemma 6.. Suppose λ µ ( + 0 )λ. (6.) 5 Then condition (0.2 ) is satisfied on the Kähler class associated to. roof. By (.9) in Section, one sees R = Then condition (0.2 ) is equivalent to The late is equivalent to (6.). 2(µ + λ) 4λµ µ 2 λ 2. 2(µ + λ) 4λµ µ 2 λ 2 3 max{λ, µ}. Combining Lemma 6. and 6.2 to Theorem 0.2, we have roposition 6.. Let λ and µ be two positive numbers which satisfy (6.). Let λ = λ 3 = λ 5 = λ, λ 2 = λ 4 = λ 6 = µ. Then on the Kähler class with cohomology class λ([d ] + [D 3 ] + [D 5 ]) + µ([d 2 ] + [D 4 ] + [D 6 ]), the K-energy µ(ϕ) is proper associated to subgroup T in the space of G 0 -invariant Kähler metrics on C 2 #3C 2 associated to. It is clear that for a pair (λ, µ) = (2, 3) or (λ, µ) = (3, 2), (6.) is satisfied. Then by roposition 6., K-energy µ(ϕ) is proper on the Kähler class on C 2 #3C 2 associated to the integral polytope with λ = λ 3 = λ 5 = 2, λ 2 = λ 4 = λ 6 = 3, or λ = λ 3 = λ 5 = 3, λ 2 = λ 4 = λ 6 = 2. It is interesting to study whether there exists a Kähler metric with constant scalar curvature on C 2 #3C 2 in these two Kähler classes.

26 26 BIN Zhou AND XIAOHUA Zhu, References [Ab] Abreu,., Kähler geometry of toric varieties and extremal metrics, Inter. J. ath. 9 (998), [Au] Aubin, T., Réduction du cas positif de I équation de onge-ampère sur les variétés kählériennes compactes à la démonstration d une inégalité, J. Funct. Anal. 57 (984), [B] Bando, S & abuchi, T., Uniqueness of Einstein Kähler metrics modulo connected group actions, Algebraic geometry, Adv. Studies in ure math, 0 (987). [Ca] Calabi, E., Extremal Kähler metrics. Seminar on differential geometry, Ann. of ath Stud., rinceton Univ. ress, rinceton, N.J. 02 (982), [D] Donaldson, S.K., Scalar curvature and projective embeddings, I, J. Diff. Geom. 59 (200), [D2] Donaldson, S.K., Scalar curvature and stability of toric varieties, J. Diff. Geom. 62 (2002), [F] Futaki, A. & abuchi, T., Bilinear forms and extremal Kähler vector fields associated with Kähler class, ath. Ann., 30 (995), [Gua] Guan, D., On modified abuchi functional and abuchi moduli space of Kähler metrics on toric bundle, ath. Res. Lett. 6 (999), [Gui] Guillemin, V., onent maps and combinatorial invariants of Hamiltonian T n -spaces, rogress in ath., Birkhäuser, Boston, Basel, Berlin, 994. [LS] Lebrun, C. & Simanca, S, Extremal Kähler metrics and complex deformation theory, Geom. Funct. Ana. 4 (994), [] abuchi, T., A theorem of Calabi-atsushima s type, Osaka J. ath. 39 (2002), [2] [3] abuchi, T., An energy-theoretic approach to the Hitchin-Kobayashi correspondence for manifolds, I, Invent. ath. 59 (2005), abuchi, T., An energy-theoretic approach to the Hitchin-Kobayashi correspondence for manifolds, II, reprint, [Od] Oda, T., Convex bodies and algebraic geometry, springer-verlag, 988. [Si] Siu, S.T., The existence of Kähler-Einstein metrics on manifolds with positive anticanonical line bundle and a suitable finite symmetry group, Ann. of ath. 27 (988), [Sz] Székelyhidi, G., extremal metrics and K-stability, preprint, [T] Tian, G., On Calabi s conjecture for complex surfaces with positive first Chern class, Invent. ath. 0 (990), [T2] Tian, G., Kähler-Einstein metrics with positive scalar curvature, Invent. ath. 30 (997), -39. [TZ] Tian, G. & Zhu, X.H., A new holomorphic invariant and uniqueness of Kähler-Ricci solitons, Comm. ath. Helv. 77 (2002), [WZ] Wang, X.J. and Zhu, X.H., Kähler-Ricci solitons on toric Fano manifolds with positive first Chern class, Adv. in ath. 88 (2004), [Ya] Yau, S.T., Open problem in geometry, roc. of Symp. in ure ath. 54 (993), -28. * Department of athematics, eking University, Beijing, 0087, China address: xhzhu@math.pku.edu.cn