arxiv:math/ v1 [math.dg] 9 Mar 2006
|
|
- Dorothy Thornton
- 6 years ago
- Views:
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
Xu-Jia Wang and Xiaohua Zhu Centre for Mathematics and Its Applications The Australian National University Canberra, ACT 0200 Australia
KÄHLER-RICCI SOLITONS ON TORIC ANIFOLDS WITH POSITIVE FIRST CHERN CLASS Xu-Jia Wang and Xiaohua Zhu Centre for athematics and Its Applications The Australian National University Canberra, ACT 0200 Australia
More informationKähler-Einstein metrics and K-stability
May 3, 2012 Table Of Contents 1 Preliminaries 2 Continuity method 3 Review of Tian s program 4 Special degeneration and K-stability 5 Thanks Basic Kähler geometry (X, J, g) (X, J, ω g ) g(, ) = ω g (,
More informationASYMPTOTIC CHOW SEMI-STABILITY AND INTEGRAL INVARIANTS
ASYPTOTIC CHOW SEI-STABILITY AND INTEGRAL INVARIANTS AKITO FUTAKI Abstract. We define a family of integral invariants containing those which are closely related to asymptotic Chow semi-stability of polarized
More informationK-stability and Kähler metrics, I
K-stability and Kähler metrics, I Gang Tian Beijing University and Princeton University Let M be a Kähler manifold. This means that M be a complex manifold together with a Kähler metric ω. In local coordinates
More informationConjectures in Kahler geometry
Conjectures in Kahler geometry S.K. Donaldson Abstract. We state a general conjecture about the existence of Kahler metrics of constant scalar curvature, and discuss the background to the conjecture 1.
More informationThe Yau-Tian-Donaldson Conjectuture for general polarizations
The Yau-Tian-Donaldson Conjectuture for general polarizations Toshiki Mabuchi, Osaka University 2015 Taipei Conference on Complex Geometry December 22, 2015 1. Introduction 2. Background materials Table
More informationarxiv: v1 [math.ag] 13 May 2009
EXAMPLES OF NON-SYMMETRIC KÄHLER-EINSTEIN TORIC FANO MANIFOLDS arxiv:0905.2054v1 [math.ag] 13 May 2009 BENJAMIN NILL AND ANDREAS PAFFENHOLZ Abstract. In this note we report on examples of 7- and 8-dimensional
More informationCANONICAL METRICS AND STABILITY OF PROJECTIVE VARIETIES
CANONICAL METRICS AND STABILITY OF PROJECTIVE VARIETIES JULIUS ROSS This short survey aims to introduce some of the ideas and conjectures relating stability of projective varieties to the existence of
More informationStability of algebraic varieties and algebraic geometry. AMS Summer Research Institute in Algebraic Geometry
Stability of algebraic varieties and algebraic geometry AMS Summer Research Institute in Algebraic Geometry Table of Contents I Background Kähler metrics Geometric Invariant theory, Kempf-Ness etc. Back
More informationA Bird Eye s view: recent update to Extremal metrics
A Bird Eye s view: recent update to Extremal metrics Xiuxiong Chen Department of Mathematics University of Wisconsin at Madison January 21, 2009 A Bird Eye s view: recent update to Extremal metrics Xiuxiong
More informationGap theorems for Kähler-Ricci solitons
Gap theorems for Kähler-Ricci solitons Haozhao Li arxiv:0906.557v [math.dg] 30 Jun 2009 Abstract In this paper, we prove that a gradient shrinking compact Kähler-Ricci soliton cannot have too large Ricci
More informationSYMPLECTIC GEOMETRY: LECTURE 5
SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The
More informationarxiv: v4 [math.dg] 7 Nov 2007
The Ricci iteration and its applications arxiv:0706.2777v4 [math.dg] 7 Nov 2007 Yanir A. Rubinstein Abstract. In this Note we introduce and study dynamical systems related to the Ricci operator on the
More informationMIYAOKA-YAU-TYPE INEQUALITIES FOR KÄHLER-EINSTEIN MANIFOLDS
MIYAOKA-YAU-TYPE INEQUALITIES FOR KÄHLER-EINSTEIN MANIFOLDS KWOKWAI CHAN AND NAICHUNG CONAN LEUNG Abstract. We investigate Chern number inequalities on Kähler-Einstein manifolds and their relations to
More informationOn the Convergence of a Modified Kähler-Ricci Flow. 1 Introduction. Yuan Yuan
On the Convergence of a Modified Kähler-Ricci Flow Yuan Yuan Abstract We study the convergence of a modified Kähler-Ricci flow defined by Zhou Zhang. We show that the modified Kähler-Ricci flow converges
More informationJian Song. Department of Mathematics Columbia University, New York, NY 10027
THE α-invariant ON TORIC FANO MANIFOLDS Jian Song Department of Mathematics Columbia University, New York, NY 10027 1 Introduction The global holomorphic invariant α G (X) introduced by Tian [14], Tian
More informationConstant scalar curvature metrics on toric manifolds (draft)
Constant scalar curvature metrics on toric manifolds (draft) Julius Ross November 2012 In one word he told me secret of success in mathematics: Plagiarize! Tom Lehrer 1 Introduction 1 2 Toric Kähler manifolds
More informationA Numerical Criterion for Lower bounds on K-energy maps of Algebraic manifolds
A Numerical Criterion for Lower bounds on K-energy maps of Algebraic manifolds Sean Timothy Paul University of Wisconsin, Madison stpaul@math.wisc.edu Outline Formulation of the problem: To bound the Mabuchi
More informationDelzant s Garden. A one-hour tour to symplectic toric geometry
Delzant s Garden A one-hour tour to symplectic toric geometry Tour Guide: Zuoqin Wang Travel Plan: The earth America MIT Main building Math. dept. The moon Toric world Symplectic toric Delzant s theorem
More informationTorus actions and Ricci-flat metrics
Department of Mathematics, University of Aarhus November 2016 / Trondheim To Eldar Straume on his 70th birthday DFF - 6108-00358 Delzant HyperKähler G2 http://mscand.dk https://doi.org/10.7146/math.scand.a-12294
More informationConstant Scalar Curvature Kähler Metric Obtains the Minimum of K-energy
Li, C. (20) Constant Scalar Curvature Kähler Metric Obtains the Minimum of K-energy, International Mathematics Research Notices, Vol. 20, No. 9, pp. 26 275 Advance Access publication September, 200 doi:0.093/imrn/rnq52
More informationLAGRANGIAN HOMOLOGY CLASSES WITHOUT REGULAR MINIMIZERS
LAGRANGIAN HOMOLOGY CLASSES WITHOUT REGULAR MINIMIZERS JON WOLFSON Abstract. We show that there is an integral homology class in a Kähler-Einstein surface that can be represented by a lagrangian twosphere
More informationA GEODESIC EQUATION IN THE SPACE OF SASAKIAN METRICS. Dedicated to Professor S.T. Yau on the occasion of his 60th birthday
A GEODESIC EQUATION IN THE SPACE OF SASAKIAN ETRICS PENGFEI GUAN AND XI ZHANG Dedicated to Professor S.T. Yau on the occasion of his 60th birthday This paper is to draw attention to a geodesic equation
More informationAPPROXIMATE YANG MILLS HIGGS METRICS ON FLAT HIGGS BUNDLES OVER AN AFFINE MANIFOLD. 1. Introduction
APPROXIMATE YANG MILLS HIGGS METRICS ON FLAT HIGGS BUNDLES OVER AN AFFINE MANIFOLD INDRANIL BISWAS, JOHN LOFTIN, AND MATTHIAS STEMMLER Abstract. Given a flat Higgs vector bundle (E,, ϕ) over a compact
More informationUniform K-stability of pairs
Uniform K-stability of pairs Gang Tian Peking University Let G = SL(N + 1, C) with two representations V, W over Q. For any v V\{0} and any one-parameter subgroup λ of G, we can associate a weight w λ
More informationRICCI SOLITONS ON COMPACT KAHLER SURFACES. Thomas Ivey
RICCI SOLITONS ON COMPACT KAHLER SURFACES Thomas Ivey Abstract. We classify the Kähler metrics on compact manifolds of complex dimension two that are solitons for the constant-volume Ricci flow, assuming
More informationOn deformation of extremal metrics
On deformation of extremal metrics Xiuxiong Chen, ihai Păun and Yu Zeng arxiv:1506.01290v2 [math.dg] 15 Jun 2015 1 Introduction June 16, 2015 In 1950 s, E. Calabi (cf. [5], [6]) proposed a program aiming
More informationHilbert series and obstructions to asymptotic Chow semistability
Hilbert series and obstructions to asymptotic Chow semistability Akito Futaki Tokyo Institute of Technology Kähler and Sasakian Geometry in Rome Rome, June 16th-19th, 2009 In memory of Krzysztof Galicki
More informationAFFINE MAXIMAL HYPERSURFACES. Xu-Jia Wang. Centre for Mathematics and Its Applications The Australian National University
AFFINE MAXIMAL HYPERSURFACES Xu-Jia Wang Centre for Mathematics and Its Applications The Australian National University Abstract. This is a brief survey of recent works by Neil Trudinger and myself on
More informationLECTURE 11: SYMPLECTIC TORIC MANIFOLDS. Contents 1. Symplectic toric manifolds 1 2. Delzant s theorem 4 3. Symplectic cut 8
LECTURE 11: SYMPLECTIC TORIC MANIFOLDS Contents 1. Symplectic toric manifolds 1 2. Delzant s theorem 4 3. Symplectic cut 8 1. Symplectic toric manifolds Orbit of torus actions. Recall that in lecture 9
More informationStable bundles on CP 3 and special holonomies
Stable bundles on CP 3 and special holonomies Misha Verbitsky Géométrie des variétés complexes IV CIRM, Luminy, Oct 26, 2010 1 Hyperkähler manifolds DEFINITION: A hyperkähler structure on a manifold M
More informationRemarks on hypersurface K-stability. Complex Geometry: A Conference Honoring Simon Donaldson
Remarks on hypersurface K-stability Zhiqin Lu, UC Irvine Complex Geometry: A Conference Honoring Simon Donaldson October 26, 2009 Zhiqin Lu, UC. Irvine Hypersurface K-stability 1/42 The Result Theorem
More informationCONSIDERATION OF COMPACT MINIMAL SURFACES IN 4-DIMENSIONAL FLAT TORI IN TERMS OF DEGENERATE GAUSS MAP
CONSIDERATION OF COMPACT MINIMAL SURFACES IN 4-DIMENSIONAL FLAT TORI IN TERMS OF DEGENERATE GAUSS MAP TOSHIHIRO SHODA Abstract. In this paper, we study a compact minimal surface in a 4-dimensional flat
More informationLECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY
LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY WEIMIN CHEN, UMASS, SPRING 07 1. Blowing up and symplectic cutting In complex geometry the blowing-up operation amounts to replace a point in
More informationTORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS
TORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS YUSUKE SUYAMA Abstract. We give a necessary and sufficient condition for the nonsingular projective toric variety associated to a building set to be
More informationDedicated to Professor Linda Rothchild on the occasion of her 60th birthday
REARKS ON THE HOOGENEOUS COPLEX ONGE-APÈRE EQUATION PENGFEI GUAN Dedicated to Professor Linda Rothchild on the occasion of her 60th birthday This short note concerns the homogeneous complex onge-ampère
More informationRadial balanced metrics on the unit disk
Radial balanced metrics on the unit disk Antonio Greco and Andrea Loi Dipartimento di Matematica e Informatica Università di Cagliari Via Ospedale 7, 0914 Cagliari Italy e-mail : greco@unica.it, loi@unica.it
More informationHigher codimension CR structures, Levi-Kähler reduction and toric geometry
Higher codimension CR structures, Levi-Kähler reduction and toric geometry Vestislav Apostolov (Université du Québec à Montréal) May, 2015 joint work in progress with David Calderbank (University of Bath);
More informationMathematical Research Letters 2, (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS. Shuguang Wang
Mathematical Research Letters 2, 305 310 (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS Shuguang Wang Abstract. It is shown that the quotients of Kähler surfaces under free anti-holomorphic involutions
More informationGeneralized Tian-Todorov theorems
Generalized Tian-Todorov theorems M.Kontsevich 1 The classical Tian-Todorov theorem Recall the classical Tian-Todorov theorem (see [4],[5]) about the smoothness of the moduli spaces of Calabi-Yau manifolds:
More informationBERGMAN KERNEL ON COMPACT KÄHLER MANIFOLDS
BERGMAN KERNEL ON COMPACT KÄHLER MANIFOLDS SHOO SETO Abstract. These are the notes to an expository talk I plan to give at MGSC on Kähler Geometry aimed for beginning graduate students in hopes to motivate
More informationarxiv:alg-geom/ v1 29 Jul 1993
Hyperkähler embeddings and holomorphic symplectic geometry. Mikhail Verbitsky, verbit@math.harvard.edu arxiv:alg-geom/9307009v1 29 Jul 1993 0. ntroduction. n this paper we are studying complex analytic
More informationA Joint Adventure in Sasakian and Kähler Geometry
A Joint Adventure in Sasakian and Kähler Geometry Charles Boyer and Christina Tønnesen-Friedman Geometry Seminar, University of Bath March, 2015 2 Kähler Geometry Let N be a smooth compact manifold of
More informationTHE QUANTUM CONNECTION
THE QUANTUM CONNECTION MICHAEL VISCARDI Review of quantum cohomology Genus 0 Gromov-Witten invariants Let X be a smooth projective variety over C, and H 2 (X, Z) an effective curve class Let M 0,n (X,
More informationarxiv: v1 [math.dg] 24 Sep 2009
TORIC GEOMETRY OF CONVEX QUADRILATERALS arxiv:0909.4512v1 [math.dg] 24 Sep 2009 EVELINE LEGENDRE Abstract. We provide an explicit resolution of the Abreu equation on convex labeled quadrilaterals. This
More informationNew Einstein Metrics on 8#(S 2 S 3 )
New Einstein Metrics on 8#(S 2 S 3 ) Charles P. Boyer Krzysztof Galicki Abstract: We show that #8(S 2 S 3 ) admits two 8-dimensional complex families of inequivalent non-regular Sasakian-Einstein structures.
More informationNote on the Chen-Lin Result with the Li-Zhang Method
J. Math. Sci. Univ. Tokyo 18 (2011), 429 439. Note on the Chen-Lin Result with the Li-Zhang Method By Samy Skander Bahoura Abstract. We give a new proof of the Chen-Lin result with the method of moving
More informationHolonomy groups. Thomas Leistner. Mathematics Colloquium School of Mathematics and Physics The University of Queensland. October 31, 2011 May 28, 2012
Holonomy groups Thomas Leistner Mathematics Colloquium School of Mathematics and Physics The University of Queensland October 31, 2011 May 28, 2012 1/17 The notion of holonomy groups is based on Parallel
More informationMoment Measures. Bo az Klartag. Tel Aviv University. Talk at the asymptotic geometric analysis seminar. Tel Aviv, May 2013
Tel Aviv University Talk at the asymptotic geometric analysis seminar Tel Aviv, May 2013 Joint work with Dario Cordero-Erausquin. A bijection We present a correspondence between convex functions and Borel
More informationLecture 1. Toric Varieties: Basics
Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture
More information12 Geometric quantization
12 Geometric quantization 12.1 Remarks on quantization and representation theory Definition 12.1 Let M be a symplectic manifold. A prequantum line bundle with connection on M is a line bundle L M equipped
More informationThe Futaki Invariant of Kähler Blowups with Isolated Zeros via Localization
The Futaki Invariant of Kähler Blowups with Isolated Zeros via Localization Luke Cherveny October 30, 2017 Abstract We present an analytic proof of the relationship between the Calabi-Futaki invariant
More informationHolonomy groups. Thomas Leistner. School of Mathematical Sciences Colloquium University of Adelaide, May 7, /15
Holonomy groups Thomas Leistner School of Mathematical Sciences Colloquium University of Adelaide, May 7, 2010 1/15 The notion of holonomy groups is based on Parallel translation Let γ : [0, 1] R 2 be
More informationMoment Maps and Toric Special Holonomy
Department of Mathematics, University of Aarhus PADGE, August 2017, Leuven DFF - 6108-00358 Delzant HyperKähler G 2 Outline The Delzant picture HyperKähler manifolds Hypertoric Construction G 2 manifolds
More informationSeptember 27, :51 WSPC/INSTRUCTION FILE biswas-loftin. Hermitian Einstein connections on principal bundles over flat affine manifolds
International Journal of Mathematics c World Scientific Publishing Company Hermitian Einstein connections on principal bundles over flat affine manifolds Indranil Biswas School of Mathematics Tata Institute
More informationLECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM
LECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM Contents 1. The Atiyah-Guillemin-Sternberg Convexity Theorem 1 2. Proof of the Atiyah-Guillemin-Sternberg Convexity theorem 3 3. Morse theory
More informationNONNEGATIVE CURVATURE AND COBORDISM TYPE. 1. Introduction
NONNEGATIVE CURVATURE AND COBORDISM TYPE ANAND DESSAI AND WILDERICH TUSCHMANN Abstract. We show that in each dimension n = 4k, k 2, there exist infinite sequences of closed simply connected Riemannian
More informationScalar curvature and the Thurston norm
Scalar curvature and the Thurston norm P. B. Kronheimer 1 andt.s.mrowka 2 Harvard University, CAMBRIDGE MA 02138 Massachusetts Institute of Technology, CAMBRIDGE MA 02139 1. Introduction Let Y be a closed,
More informationFOUR-DIMENSIONAL GRADIENT SHRINKING SOLITONS WITH POSITIVE ISOTROPIC CURVATURE
FOUR-DIENIONAL GRADIENT HRINKING OLITON WITH POITIVE IOTROPIC CURVATURE XIAOLONG LI, LEI NI, AND KUI WANG Abstract. We show that a four-dimensional complete gradient shrinking Ricci soliton with positive
More informationON EMBEDDABLE 1-CONVEX SPACES
Vâjâitu, V. Osaka J. Math. 38 (2001), 287 294 ON EMBEDDABLE 1-CONVEX SPACES VIOREL VÂJÂITU (Received May 31, 1999) 1. Introduction Throughout this paper all complex spaces are assumed to be reduced and
More informationCohomology of the Mumford Quotient
Cohomology of the Mumford Quotient Maxim Braverman Abstract. Let X be a smooth projective variety acted on by a reductive group G. Let L be a positive G-equivariant line bundle over X. We use a Witten
More informationModuli spaces of log del Pezzo pairs and K-stability
Report on Research in Groups Moduli spaces of log del Pezzo pairs and K-stability June 20 - July 20, 2016 Organizers: Patricio Gallardo, Jesus Martinez-Garcia, Cristiano Spotti. In this report we start
More informationCitation Osaka Journal of Mathematics. 49(3)
Title ON POSITIVE QUATERNIONIC KÄHLER MAN WITH b_4=1 Author(s) Kim, Jin Hong; Lee, Hee Kwon Citation Osaka Journal of Mathematics. 49(3) Issue 2012-09 Date Text Version publisher URL http://hdl.handle.net/11094/23146
More informationThe geometry of Landau-Ginzburg models
Motivation Toric degeneration Hodge theory CY3s The Geometry of Landau-Ginzburg Models January 19, 2016 Motivation Toric degeneration Hodge theory CY3s Plan of talk 1. Landau-Ginzburg models and mirror
More informationKähler Metrics of Constant Scalar Curvature on Hirzebruch Surfaces
ESI The Erwin Schrödinger International Boltzmanngasse 9 Institute for athematical Physics A-1090 Wien, Austria Kähler etrics of Constant Scalar Curvature on Hirzebruch Surfaces Hiroyuki Kamada Vienna,
More informationLECTURE 2: SYMPLECTIC VECTOR BUNDLES
LECTURE 2: SYMPLECTIC VECTOR BUNDLES WEIMIN CHEN, UMASS, SPRING 07 1. Symplectic Vector Spaces Definition 1.1. A symplectic vector space is a pair (V, ω) where V is a finite dimensional vector space (over
More informationHamiltonian Toric Manifolds
Hamiltonian Toric Manifolds JWR (following Guillemin) August 26, 2001 1 Notation Throughout T is a torus, T C is its complexification, V = L(T ) is its Lie algebra, and Λ V is the kernel of the exponential
More informationRiemannian Curvature Functionals: Lecture III
Riemannian Curvature Functionals: Lecture III Jeff Viaclovsky Park City Mathematics Institute July 18, 2013 Lecture Outline Today we will discuss the following: Complete the local description of the moduli
More informationGeometry of Ricci Solitons
Geometry of Ricci Solitons H.-D. Cao, Lehigh University LMU, Munich November 25, 2008 1 Ricci Solitons A complete Riemannian (M n, g ij ) is a Ricci soliton if there exists a smooth function f on M such
More informationA Problem of Hsiang-Palais-Terng on Isoparametric Submanifolds
arxiv:math/0312251v1 [math.dg] 12 Dec 2003 A Problem of Hsiang-Palais-Terng on Isoparametric Submanifolds Haibao Duan Institute of Mathematics, Chinese Academy of Sciences, Beijing 100080, dhb@math.ac.cn
More informationTHE BEST CONSTANT OF THE MOSER-TRUDINGER INEQUALITY ON S 2
THE BEST CONSTANT OF THE MOSER-TRUDINGER INEQUALITY ON S 2 YUJI SANO Abstract. We consider the best constant of the Moser-Trudinger inequality on S 2 under a certain orthogonality condition. Applying Moser
More informationHYPERKÄHLER MANIFOLDS
HYPERKÄHLER MANIFOLDS PAVEL SAFRONOV, TALK AT 2011 TALBOT WORKSHOP 1.1. Basic definitions. 1. Hyperkähler manifolds Definition. A hyperkähler manifold is a C Riemannian manifold together with three covariantly
More informationarxiv:math.ag/ v1 7 Jan 2005
arxiv:math.ag/0501104 v1 7 Jan 2005 Asymptotic cohomological functions of toric divisors Milena Hering, Alex Küronya, Sam Payne January 7, 2005 Abstract We study functions on the class group of a toric
More informationProblems on Minkowski sums of convex lattice polytopes
arxiv:08121418v1 [mathag] 8 Dec 2008 Problems on Minkowski sums of convex lattice polytopes Tadao Oda odatadao@mathtohokuacjp Abstract submitted at the Oberwolfach Conference Combinatorial Convexity and
More informationThis theorem gives us a corollary about the geometric height inequality which is originally due to Vojta [V].
694 KEFENG LIU This theorem gives us a corollary about the geometric height inequality which is originally due to Vojta [V]. Corollary 0.3. Given any ε>0, there exists a constant O ε (1) depending on ε,
More informationTitleOn manifolds with trivial logarithm. Citation Osaka Journal of Mathematics. 41(2)
TitleOn manifolds with trivial logarithm Author(s) Winkelmann, Jorg Citation Osaka Journal of Mathematics. 41(2) Issue 2004-06 Date Text Version publisher URL http://hdl.handle.net/11094/7844 DOI Rights
More informationSUMMARY OF THE KÄHLER MASS PAPER
SUMMARY OF THE KÄHLER MASS PAPER HANS-OACHIM HEIN AND CLAUDE LEBRUN Let (M, g) be a complete n-dimensional Riemannian manifold. Roughly speaking, such a space is said to be ALE with l ends (l N) if there
More informationRatner fails for ΩM 2
Ratner fails for ΩM 2 Curtis T. McMullen After Chaika, Smillie and Weiss 9 December 2018 Contents 1 Introduction............................ 2 2 Unipotent dynamics on ΩE 4................... 3 3 Shearing
More informationHomogeneous para-kähler Einstein manifolds. Dmitri V. Alekseevsky
Homogeneous para-kähler Einstein manifolds Dmitri V. Alekseevsky Hamburg,14-18 July 2008 1 The talk is based on a joint work with C.Medori and A.Tomassini (Parma) See ArXiv 0806.2272, where also a survey
More informationη = (e 1 (e 2 φ)) # = e 3
Research Statement My research interests lie in differential geometry and geometric analysis. My work has concentrated according to two themes. The first is the study of submanifolds of spaces with riemannian
More informationHYPER-KÄHLER FOURFOLDS FIBERED BY ELLIPTIC PRODUCTS
HYPER-KÄHLER FOURFOLDS FIBERED BY ELLIPTIC PRODUCTS LJUDMILA KAMENOVA Abstract. Every fibration of a projective hyper-kähler fourfold has fibers which are Abelian surfaces. In case the Abelian surface
More informationConvergence of the J-flow on Kähler Surfaces
communications in analysis and geometry Volume 1, Number 4, 949-965, 004 Convergence of the J-flow on Kähler Surfaces Ben Weinkove Donaldson defined a parabolic flow of potentials on Kähler manifolds which
More informationCentre for Mathematics and Its Applications The Australian National University Canberra, ACT 0200 Australia. 1. Introduction
ON LOCALLY CONVEX HYPERSURFACES WITH BOUNDARY Neil S. Trudinger Xu-Jia Wang Centre for Mathematics and Its Applications The Australian National University Canberra, ACT 0200 Australia Abstract. In this
More informationALGEBRAIC HYPERBOLICITY OF THE VERY GENERAL QUINTIC SURFACE IN P 3
ALGEBRAIC HYPERBOLICITY OF THE VERY GENERAL QUINTIC SURFACE IN P 3 IZZET COSKUN AND ERIC RIEDL Abstract. We prove that a curve of degree dk on a very general surface of degree d 5 in P 3 has geometric
More informationScalar curvature and uniruledness on projective manifolds
communications in analysis and geometry Volume 20, Number 4, 751 764, 2012 Scalar curvature and uniruledness on projective manifolds Gordon Heier and Bun Wong It is a basic tenet in complex geometry that
More informationc Birkhäuser Verlag, Basel 2005 GAFA Geometric And Functional Analysis
GAFA, Geom. funct. anal. Vol. 15 25 697 719 116-443X/5/3697-23 DOI 1.17/s39-5-522-y ONLINE FIRST: August 25 c Birkhäuser Verlag, Basel 25 GAFA Geometric And Functional Analysis KÄHLER RICCI SOLITONS ON
More informationTwo simple ideas from calculus applied to Riemannian geometry
Calibrated Geometries and Special Holonomy p. 1/29 Two simple ideas from calculus applied to Riemannian geometry Spiro Karigiannis karigiannis@math.uwaterloo.ca Department of Pure Mathematics, University
More informationGeneralized Hitchin-Kobayashi correspondence and Weil-Petersson current
Author, F., and S. Author. (2015) Generalized Hitchin-Kobayashi correspondence and Weil-Petersson current, International Mathematics Research Notices, Vol. 2015, Article ID rnn999, 7 pages. doi:10.1093/imrn/rnn999
More informationMathematische Annalen
Math. Ann. DOI 10.1007/s00208-017-1592-5 Mathematische Annalen Relative K-stability for Kähler manifolds Ruadhaí Dervan 1,2 Received: 19 April 2017 The Author(s) 2017. This article is an open access publication
More informationINSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD
INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD () Instanton (definition) (2) ADHM construction (3) Compactification. Instantons.. Notation. Throughout this talk, we will use the following notation:
More informationSome notes on Coxeter groups
Some notes on Coxeter groups Brooks Roberts November 28, 2017 CONTENTS 1 Contents 1 Sources 2 2 Reflections 3 3 The orthogonal group 7 4 Finite subgroups in two dimensions 9 5 Finite subgroups in three
More informationarxiv: v1 [math.dg] 1 Jul 2014
Constrained matrix Li-Yau-Hamilton estimates on Kähler manifolds arxiv:1407.0099v1 [math.dg] 1 Jul 014 Xin-An Ren Sha Yao Li-Ju Shen Guang-Ying Zhang Department of Mathematics, China University of Mining
More informationarxiv: v1 [math.dg] 14 Nov 2018
A NOTE ON EXTREMAL TORIC ALMOST KÄHLER METRICS arxiv:1811.05693v1 [math.dg] 14 Nov 2018 EVELINE LEGENDRE Abstract. An almost Kähler structure is extremal if the Hermitian scalar curvature is a Killing
More informationNOTES ON HOLOMORPHIC PRINCIPAL BUNDLES OVER A COMPACT KÄHLER MANIFOLD
NOTES ON HOLOMORPHIC PRINCIPAL BUNDLES OVER A COMPACT KÄHLER MANIFOLD INDRANIL BISWAS Abstract. Our aim is to review some recent results on holomorphic principal bundles over a compact Kähler manifold.
More informationPullbacks of hyperplane sections for Lagrangian fibrations are primitive
Pullbacks of hyperplane sections for Lagrangian fibrations are primitive Ljudmila Kamenova, Misha Verbitsky 1 Dedicated to Professor Claire Voisin Abstract. Let p : M B be a Lagrangian fibration on a hyperkähler
More informationMath 225B: Differential Geometry, Final
Math 225B: Differential Geometry, Final Ian Coley March 5, 204 Problem Spring 20,. Show that if X is a smooth vector field on a (smooth) manifold of dimension n and if X p is nonzero for some point of
More informationarxiv:math/ v1 [math.dg] 19 Nov 2004
arxiv:math/04426v [math.dg] 9 Nov 2004 REMARKS ON GRADIENT RICCI SOLITONS LI MA Abstract. In this paper, we study the gradient Ricci soliton equation on a complete Riemannian manifold. We show that under
More informationAnalogs of Hodge Riemann relations
Analogs of Hodge Riemann relations in algebraic geometry, convex geometry and linear algebra V. Timorin State University of New York at Stony Brook March 28, 2006 Hodge Riemann form Let X be a compact
More informationOn John type ellipsoids
On John type ellipsoids B. Klartag Tel Aviv University Abstract Given an arbitrary convex symmetric body K R n, we construct a natural and non-trivial continuous map u K which associates ellipsoids to
More information(1) is an invertible sheaf on X, which is generated by the global sections
7. Linear systems First a word about the base scheme. We would lie to wor in enough generality to cover the general case. On the other hand, it taes some wor to state properly the general results if one
More information