arxiv: v1 [math.dg] 17 Jan 2015

Transcription

1 ON THE KÄHLER RICCI FLOW ON PROJECTIVE MANIFOLDS OF GENERAL TYPE BIN GUO ariv: v1 [math.dg] 17 Jan 2015 Abstract. We consider the Kähler Ricci flow on a smooth minimal model of general type, we show that if the Ricci curvature is uniformly bounded below along the Kähler-Ricci flow, then the diameter is uniformly bounded. As a corollary we show that under the Ricci curvature lower bound assumption, the Gromov-Hausdorff limit of the flow is homeomorphic to the canonical model. Moreover, we can give a purely analytic proof of a recent result of Tosatti-Zhang ([29] that if the canonical line bundle K is big and nef, but not ample, then the flow is of Type IIb. 1. Introduction The Ricci flow ([10] has been one of the most powerful tools in geometric analysis with remarkable applications to the study of 3-manifolds. The complex analogue, the Kähler- Ricci flow, has been used by Cao ([2] to give an alternative proof of the existence of Kähler Einstein metrics on manifolds with negative or vanishing first Chern class ([31, 1]. Tsuji [30] applied the Kähler-Ricci flow to construct a singular Kähler Einstein metrics on smooth minimal manifolds of general type. The analytic Minimal Model program, introduced in [19, 20], aims to find the minimal model of an algebraic variety, by running the Kähler-Ricci flow. It is conjectured ([20] that the Kähler-Ricci flow will deform a given projective variety to its minimal model and eventually to its canonical model coupled with a canonical metric of Einstein type, in the sense of Gromov-Hausdorff. Let be a projective n-dimensional manifold, with the canonical bundle K big and nef. We consider the Kähler-Ricci flow (1.1 ω t = Ric(ω ω, ω(0 = ω 0, where ω 0 is a Kähler metric on. It s well-known that the equation (1.1 is equivalent to the following complex Monge-Ampere equation ϕ (1.2 t = log (χ+e t (ω 0 χ+i ϕ n ϕ Ω ϕ(0 = 0, where Ω is a smooth volume form, χ = i logω c 1 (K = c 1 (, and ω(t = χ + e t (ω 0 χ + i ϕ. It s also well-known ([30, 27] that the equation (1.2 has long time existence, if K is nef. We will prove the following result: Theorem 1.1. Let be a projective manifold with K big and nef. If along the Kähler Ricci flow (1.1, the Ricci curvature is uniformly bounded below for any t 0, i.e., Ric(ω(t Kω(t, 1

2 2 BIN GUO for some K > 0, then there is a constant C > 0 such that the diameter of (,ω(t remain bounded, i.e., diam(,ω(t C. Remark 1.1. If we use Kawamata s theorem ([11] that the nef and big canonical line bundle K is semi-ample, by [32, 21] the scalar curvature along the Kähler Ricci flow (1.1 is uniformly bounded, hence Ricci curvature lower bound implies that Ricci curvature is uniformly bounded on both sides. Then in the proof of Theorem 1.1, we can use Cheeger-Colding-Tian ([4] theory to identify the regular sets. Moreover, if K is semi-ample and big, then the L bound of ϕ in (1.2 will simplify the proof. However, following Song s ([18] recent analytic proof of base point freeness for nef and big K, our proof of Theorem 1.1 does not rely on Kawamata s theorem. It is conjectured by Song-Tian in [20] that the Kähler Ricci flow (1.1 will converge to the the canonical model of coupled with the unique Kähler Einstein current with bounded potential, in the Gromov-Hausdorff sense. Under the assumption that the Ricci curvature is uniformly bounded below, we can partially confirm this conjecture. Corollary 1.1. Under the same assumptions as Theorem 1.1, then as t, (,ω(t d GH (,d, the limit space is homeomorphic to the canonical model can of. Moreover, (,d is isometric to the metric completion of ( can,g KE, where g KE is the unique Kähler-Einstein current with bounded local potentials and can is the regular part of can. Consider the unnormalized Kähler Ricci flow (1.3 t ω = Ric(ω, ω(0 = ω 0, with long time existence. The flow (1.3 is called to be of Type III, if sup t Rm (x,t <, [0, otherwise it is of Type IIb, here Rm (ω(t denotes the Riemann curvature of ω(t. It s wellknown that Type III condition is equivalent to the curvature is uniformly bounded along the normalized Kähler Ricci flow (1.1. As a by-product of our proof of Theorem 1.1, we obtain a purely analytic proof of a recent result of Tosatti-Zhang ([29], namely, Theorem 1.2. [29] Let be a projective manifold with K big and nef, if the Kähler Ricci flow (1.1 is of type III, then the canonical line bundle K is ample. Throughout this paper, the constants C may be different from lines to lines, but they are all uniform. We also use g as the associated Riemannian metric of a Kähler form ω, for example the metric space (, ω(t means the space (, g(t. Acknowledgement: The author would like to thank his advisor Prof. J. Song, for his constant help, support and encouragement over the years. He also wants to thank the members of the complex geometry and PDE seminar at Columbia University, from whom he learns a lot. His thanks also goes to Prof. V. Tosatti for his careful reading of a preprint of this paper and many helpful suggestions which made this paper clearer. Finally he likes to thank Prof.. Wang and V. Datar for their interest and helpful discussions.

3 ON THE KÄHLER RICCI FLOW ON PROJECTIVE MANIFOLDS OF GENERAL TYPE 3 2. Preliminaries In this section, we will recall some definitions and theorems we will use in this note. Definition 2.1. Let L be a holomorphic line bundle over a projective manifold. L is said to be semi-ample if the linear system kl is base point free for some k Z +. L is said to be big if the Iitaka dimension of L is equal to the dimension of. L is called numerically effective (nef if L C 0 for any irreducible curve C. We can define a semi-group F(,L = {k Z + kl is base point free}. For any k F(,L, the linear system kl induces a morphism Φ k = Φ kl : k = Φ k ( P N k where N k + 1 = dimh 0 (,kl. It s well-known that ([13] that for large enough k,l F(,L, (Φ k O = O k, Φ k = Φ l and k = l. We will need the following version of L 2 estimates due to D ly ([7] Theorem 2.1. Suppose is an n-dimensional projective manifold equipped with a smooth Kähler metric ω. Let L be a holomorphic line bundle over equipped with a possibly singular hermitian metric h such that Ric(h + Ric(ω δω in the current sense for some δ > 0. Then for any L-valued (0, 1-form τ satisfying τ = 0, τ 2 h,ωω n <, there exists a smooth section u of L such that u = τ and u 2 h,ω ωn 1 τ 2 h,ω 2πδ ωn. 3. Identify the regular sets Since K is big and nef, by Kodaira lemma, there exists an effective divisor D, such that K εd is ample, hence there exists a hermitian metric on [D] such that χ εric(h D > 0. Let s recall a few known estimates of the flow, (see [15, 30] or [17, 18] without assuming that K is semi-ample Lemma 3.1. (i There is a constant C > 0 such that for any t 0, supϕ(t C, sup ϕ(t = sup t ϕ C. (ii For any δ (0,1, there is a constant C δ > 0 such that ϕ δlog σ D 2 h D C δ, where σ D is a holomorphic section of the line bundle [D] associated to the divisor D. (iii Along the Kähler Ricci flow, there exist constants C > 0,λ > 0 such that tr ω0 ω(t C σ D 2λ h D

4 4 BIN GUO (iv For any compact subset K \D, any l Z +, there exists a constant C l,k > 0 such that ϕ C l (K C l,k. Hence we can conclude that ω(t C loc (\D ω, for some smooth Kähler metric ω on \D. On the other hand, it can be shown that ϕ(t 0 on any K \D as t, hence ω satisfies the equation ω n = (χ+i ϕ n = e ϕ Ω, on \D, and ω is a Kähler-Einstein metric on \D, i.e., Ric(ω = ω. Proposition 3.1. [18] For any holomorphic section σ H 0 (,mk, there is a constant C = C(σ such that for any t 0, we have sup σ 2 h m t C, sup t σ 2 h m t where h t = 1 ω(t n is the hermtian metric on K induced by the Kähler metric ω(t and t is the covariant derivative with respect to h m t. C Letting t, we have h t h = h KE = h χ e ϕ on \D (here h χ = 1, and Ω (3.1 sup σ 2 h C, sup m σ 2 h C. m \D \D Definition 3.1. We define a set R to be the points p such that the µ-jets at p are generated by global sections of mk for some m Z +, for any µ N n with µ 2. Proposition 3.2. [18] R is an open dense set of and on R we have locally smooth convergence of ω(t to ω. By the smooth convergence of ω(t on \D, we can choose a point p \D and a small r 0 > 0 such that (we write the associated Riemannian metric of ω(t as g(t B g(t (p,r 0 \D, Vol g(t (B g(t (p,r 0 v 0, t 0 for some v 0 > 0. For any sequence t i, (,g(t i,p is a sequence of almost Kähler- Einstein manifolds (see the Appendix, in the sense of Tian-Wang ([24]. By the structure theorem in Tian-Wang ([24], we have (3.2 (,g(t i,p d GH (,d,p. Moreover, has a regular-singular decomposition, = R S; the singular S is closed and of Hausdroff dimension 2n 4; the regular set R is an open smooth Kähler manifold, and d R is induced by some smooth Kähler-Einstein metric g, i.e. on R, Ric(g = g. We define a subset S to be a set consisting of the points q such that there exist a sequence of points q k \R such that q k q along the Gromov-Hausdroff convergence. By a theorem of Rong-Zhang (see Theorem 4.1 in [16], there exists a surjective map (R,g (,d,

5 ON THE KÄHLER RICCI FLOW ON PROJECTIVE MANIFOLDS OF GENERAL TYPE 5 where (R,g denotes the metric completion of the metric space (R,g, and a homeomorphism (R,g ( \S,d which is a local isometry. It s not hard to see that S is closed in and any tangent cone at q S is R 2n, hence \S R, i.e., S S. Proposition 3.3. We have hence S = S. S S Proof. Suppose not, there exists q S R, then there exist q k (\R,g(t k converging to q along the Gromov-Hausdroff convergence (3.2. Since R is open and tangent cones at points in R is the Euclidean space R 2n, for any small δ > 0, there exists a sufficiently small r 0 > 0 such that B d (q,3r 0 R, Vol g (B d (q,3r 0 > (1 δ/2vol ge (B(0,3r 0, where g E is the standard Euclidean metric on R 2n and B(0,3r 0 is the Euclidean ball. Since Ricci curvatures are bounded below, by volume continuity for the Gromov-Hausdorff convergence ([6] we have for k large enough, Vol g(tk (B g(tk (q k,3r 0 > (1 δvol ge (B(0,3r 0. By assumption that the Ricci curvature is uniformly bounded below along the Kähler Ricci flow, hence Perelman s pseudo-locality ([14, 24] implies that if δ is small enough, there exists a small but uniform constant ε 0 > 0 such that Moreover, by Theorem 4.2 in [24], sup Rm(g(t k +ε 0 2. B g(tk (q k,2r 0 ε 0 (3.3 (B g(tk (q k,2r 0,g(t k +ε 0,q k d GH (B d (q,2r 0,d,q. By Shi s derivative estimate, we have sup l Rm(t k +ε 0 C(ε 0,l, B g(tk (q k,3r 0 /2 for any l N and some constant C(ε 0,l. Thus we have smooth convergence of g(t k + ε 0 to a Kähler metric g on (B d (q,r 0,J along the Gromov-Hausdorff convergence (3.3, where J is the limit complex structure. Without loss of generality we can assume the injectivity radii of g(t k + ε 0 at q k are bounded below by r 0 ([5], since the Riemann curvatures and volumes of B g(tk (q k,r 0 are uniformly bounded. For k large enough, there exists(see[25] a local holomorphic coordinates system {z (k α } n α=1 on the ball (B g(t k (q k,r 0,g(t k +ε 0 such that z (k 2 = n α=1 z(k z (k 2 (q k = 0 and under these coordinates g α β = g tk +ε 0 ( z (k α, z (k β satisfies 1 C δ αβ g α β Cδ αβ, g α β C 1,γ C, for some γ (0,1. This implies that the Euclidean metric under these coordinates (3.4 n α=1 1dz (k α d z(k α α 2 r 2 0,

6 6 BIN GUO is uniformly equivalent to g(t k +ε 0 on the ball B g(tk (q k,r 0. Recall that along Kähler-Ricci flow Ric(ω(t = χ i (ϕ+ ϕ. Take a cut-off function η on R such that η(x = 1 for x (,1/2 and vanishes for x [1,. Choose a function ( z (k 2 Φ k = ( µ +1+nη log z (k 2 +ϕ(t r0/2 2 k +ε 0 + ϕ(t k +ε 0. Note that Φ k is a globally defined function on (with a log-pole at q k when k is large enough. Since the metrics ( (3.4 and( g(t k +ε 0 are uniformly equivalent for k large enough on the support of i (n+1+ µ η z (k 2 log z (k, 2 we see that there is a uniform constant Λ r0 2/2 independent of k such that ( ( z (k 2 i (n+1+ µ η log z (k 2 Λω(t r0/2 2 k +ε 0. We will fix an integer m 10Λ. Define a (singular hermitian metric on K by h k = h χ e ϕ(t k +ε 0 2 ǫ m log σ D 2 h D, for some small ǫ > 0. Then we have for k large enough (we denote below ω k = ω(t k +ε 0, and [D] the current of integration over the divisor D. Ric(h m k +Ric(ω k +i Φ k =mχ+ 1 2 i ϕ ǫric(h D +ǫ[d] χ ( +i (n+1+ µ η ( z (k 2 log z (k 2 r0/2 2 = m 2 ω k + mχ 2 ǫric(h D m 2 e t k ε 0 (ω 0 χ ( ( z (k 2 +ǫ[d]+i (n+1+ µ η r0/2 2 m 4 ω k, log z (k 2 in the current sense, for k large enough. The above inequality follows since m χ ǫric(h 2 D is a fixed Kähler metric, which is greater than m 2 e t k ε 0 (ω 0 χ for k large enough. Define an mk -valued (0,1 form η k,µ = ( ( z (k 2 η r0 2/2 (z (k, µ where (z (k µ = n α=1 (z (k α µα, µ = (µ 1,...,µ n N n. It s not hard to see (noting that the pole order along D is ǫ η k,µ 2 h me Φ k ω n k k <.

7 ON THE KÄHLER RICCI FLOW ON PROJECTIVE MANIFOLDS OF GENERAL TYPE 7 Then we can apply the Hormander s L 2 estimate (see Theorem 2.1 with L = mk to solve the following -equation u k,µ = η k,µ, with u k,µ a smooth section of mk satisfying u k,µ h m k e Φ k ωk n 4 m η k,µ 2 h m k e Φ k ω n k <. By checking the pole order of e Φ k at qk we can see that u k,µ vanishes at q k up to order µ, and hence ( z (k 2 σ k,µ := u k,µ η (z (k µ r0/2 2 is a nontrivial global holomorphic section of mk. Hence we see the global sections of mk generatestheµ-jetsatq k fork largeenough. Thisgivesthecontradiction. HenceS S. Thus we have a local isometry homeomorphism (R,g ( \S,d = (R,d. Hence we can identify R and R, and d R is induced by the Kähler-Einstein metric g R. 4. Estimates near the singular set Throughout this section, we fix an effective divisor D such that K ε[d] > 0 for sufficiently small ε > 0. By the previous section, we see \D R. Choose a logresolution of (, D, π 1 : Z such that π1 1 (D is a smooth divisor with simple normal crossings. Fix a point O in a smooth component of π1 1 (D and blow up Z at the point O, we get a map π 2 : Z, for some smooth projective manifold. Denote π = π 1 π 2 :. By Adjunction formula, we have K = π K +(n 1E +F, F = k a k F k, wheree istheexceptional locusoftheblowupπ 2, andf k isaprimedivisor intheexceptional locus of π. We also note that a k > 0 for any k. Since χ = π χ π K is big and nef, Kodaira s lemma implies there exists an effective divisor D whose support coincide with the exceptional locus E,F and χ ε[ D] is Kähler, hence there exists a hermitian metric h D on the line bundle associated to D such that χ εric(h D > 0. We write D = D + D, where suppd = E, and E D. Let σ E, σ F, σ D be the defining sectionofe,f and D, respectively. Herethesesectionsaremulti-valuedholomorphicsections

8 8 BIN GUO which become global after taking some power. There also exist hermtian metrics, h F, and h D such that π Ω = σ E 2(n 1 σ F 2 h F Ω, for some smooth volume form Ω on. We fix a Kähler metric ω on. The Kähler Ricci flow on is pulled back to by the map π, and it safeties the equation (4.1 t π ϕ = log ( χ+e t (π ω 0 χ+i π ϕ n π ϕ, σ E 2(n 1 σ F 2 h F Ω with the initial π ϕ(0 = 0. By the previous estimates, we see that π ϕ satisfies the estimates δlog σ D 2 h D C δ π ϕ(t C, t 0 and δ (0,1. We will consider a family of perturbed parabolic Monge-Ampere equations for ǫ (0, 1 (4.2 t ϕ ǫ = log ( χ+e t (π ω 0 χ+ǫ ω +i π ϕ n ϕ ( σ E 2(n 1 ǫ, +ǫ( σ F 2 h F +ǫ Ω ϕ ǫ (0 = 0 where ϕ ǫ (t PSH(, χ+e t (π ω 0 χ+ǫ ω. The equation (4.2 has long time existence [27], and we will show that solutions to (4.2 converge to that of (4.1 in some sense. It s easy to check that the Kähler metrics ω ǫ = χ +e t (π ω 0 χ +ǫ ω + i ϕ ǫ satisfies the following evolution equation ( (4.3 t ω ǫ = Ric( ω ǫ ω ǫ + χ+ǫ ω i log ( σ E 2(n 1 +ǫ( σ F 2 h F +ǫ Ω. By direct calculations, for any smooth nonnegative function f, we have i log(ǫ+f = i f ǫ+f f f (f +ǫ 2 = f f +ǫ i logf ǫ + f(f +ǫ 2f f f f +ǫ i logf, in the smooth sense on \{f = 0} and globally as currents. So ( i log ( σ E 2(n 1 +ǫ( σ F 2 h F +ǫ Ω (n 1 σ E 2(n 1 Ric(h σ E 2(n 1 E σ F 2 h F +ǫ σ F 2 h F +ǫ Ric(h F Ric( Ω C ω, for some uniform constant C independent of ǫ. Thus away from supp D = suppe suppf, we have (4.4 t ω ǫ Ric( ω ǫ ω ǫ +C ω.

9 ON THE KÄHLER RICCI FLOW ON PROJECTIVE MANIFOLDS OF GENERAL TYPE 9 Lemma 4.1. Let ϕ ǫ be the solution to (4.2, then there exists a constant C > 0 such that for any t 0, ǫ (0,1, we have Proof. Let sup ϕ ǫ (t, C, V ǫ = sup ϕ ǫ (t, C. t ( σ E 2(n 1 +ǫ( σ F 2 h F +ǫ Ω be the volume with respect to the volume form ( σ E 2(n 1 +ǫ( σ F 2 h F +ǫ Ω. We see that V 1 V ǫ V 0 = Ω, hence V ǫ is uniformly bounded. We consider (for simplicity we denote Ω ǫ = ( σ E 2(n 1 + ǫ( σ F 2 h F +ǫ Ω ( 1 ϕ ǫ Ωǫ t V ǫ = 1 log ( χ+e t (π ω 0 χ+ǫ ω +i ϕ ǫ n Ω V ǫ ( σ E 2(n 1 ǫ 1 ϕ ǫ Ωǫ +ǫ( σ F 2 h F +ǫ Ω V ǫ ( log ( χ+e t (π ω 0 χ+ǫ ω +i ϕ ǫ n 1 ϕ ǫ Ωǫ V ǫ C 1 ϕ ǫ Ωǫ, V ǫ where for the first inequality we use Jensen s inequality. From the above we see that 1 ϕ ǫ Ωǫ C. V ǫ Since ϕ ǫ PSH(, χ+e t (π ω 0 χ+ǫ ω, the mean value inequality implies the uniform upper bound of ϕ ǫ sup ϕ ǫ (t C. Direct calculations show that (we will denote ϕ ǫ = t ϕ ǫ t ϕ ǫ = ωǫ ϕ ǫ tr ωǫ e t (π ω 0 χ ϕ ǫ = ωǫ ϕ ǫ n+tr ωǫ χ+ǫtr ωǫ ω + ωǫ ϕ ǫ ϕ ǫ. Hence (4.5 ( t ω ǫ ((e t 1 ϕ ǫ ϕ ǫ = tr ωǫ π ω 0 +n ǫtr ωǫ ω n, then maximum principle implies (4.6 ϕ ǫ (t ϕ ǫ +nt e t 1 C, t > 0.

10 10 BIN GUO Lemma 4.2. For any δ (0,1, there is a constant C = C δ such that for any t 0, we have ϕ ǫ (t δlog σ D 2 h D C δ. Proof. We will apply the maximum principle. For any small δ > 0 such that χ δric(h D > 0, where we may also assume σ D 2 h D 1 by rescaling the metric h D. We consider the function H := ϕ ǫ δlog σ D 2 h D. On \ D, H satisfies the equation (4.7 H t = log ( χ+e t (π ω 0 χ+ǫ ω δric(h D+i H n H ( σ E 2(n 1 δlog σ D 2 +ǫ( σ F 2 h h F +ǫ Ω D. By choosing δ even smaller, we may obtain ω ǫ := χ δric(h D+e t (π ω 0 χ+ǫ ω is a Kähler metric on for all t 0, and these metrics are uniformly equivalent to ω, i.e., there exists C 0 > 0 such that C 1 0 ω ǫ ω ǫ C 0 ω. Consider the Monge-Ampere equations (4.8 ( χ δric(h D+e t (π ω 0 χ+ǫ ω +i ψ ǫ n = e ψǫ ( σ E 2(n 1 +ǫ( σ F 2 h F +ǫ Ω, where ψ ǫ PSH(,ω ǫ. By the Aubin-Yau theorem, (4.8 admits a unique smooth solution ψ ǫ for any ǫ (0,1 and t 0. It can be seen that 1 e ψǫ Ω ǫ 1 (ω ǫ V ǫ V n C. ǫ Hence mean value inequality implies sup ψ ǫ C. Then by [9], we have inf ψ ǫ C, hence ψ ǫ L C, for some C independent of ǫ (0,1 and t 0. Denote ω ǫ (t = ω ǫ +i ψ ǫ. Taking derivative with respective to t on both sides of (4.8, we get (4.9 ω ǫ (t ψ ǫ tr ω ǫ (te t (π ω 0 χ = ψ ǫ. Hence ω ǫ (tψ ǫ = n tr ω ǫ (t ω ǫ (t( ψ ǫ ψ ǫ = ψ ǫ n+tr ω ǫ (t ( χ δric(h D+e t (π ω 0 χ+ǫ ω, ( χ δric(h D+2e t (π ω 0 χ+ǫ ω Noting that χ δric(h D+2e t (π ω 0 χ+ǫ ω > 0 is δ is chosen appropriately, hence at the maximum point of ψ ǫ ψ ǫ, we have ψ ǫ n, thus ψ ǫ C +n C. Let G = H ψ ǫ = ϕ ǫ δlog σ D 2 h ψ ǫ. On \ D it satisfies the equation D (4.10 G t = log ( χ δric(h D+e t (π ω 0 χ+ǫ ω +i ψ ǫ +i G n ( χ δric(h D+e t (π ω 0 χ+ǫ ω +i ψ ǫ G δlog σ D 2 n h D ψ ǫ.

11 ON THE KÄHLER RICCI FLOW ON PROJECTIVE MANIFOLDS OF GENERAL TYPE 11 The minimum of G cannot be at D for any t 0, since it tends to + when approaching D. For any T > 0, suppose (p 0,t 0 \ D [0,T] is the minimum point of G, then we have at this point G t 0 and i G 0, hence maximum principle implies at this point combining with L bound of ψ ǫ, we have G δlog σ D 2 h D ψ ǫ C δ, ϕ ǫ δlog σ D 2 h D C δ. Lemma 4.3. There exist two constants C > 0,λ > 0 such that for all t 0, (4.11 ω ǫ C σ D 2λ h ω. D Proof. By the classical C 2 estimate for Monge-Ampere equations, there is a constant C 1 depending on the lower bound of bisectional curvature of ω, such that (4.12 ωǫ logtr ω ω ǫ C 1 tr ωǫ ω C 1 tr ωric( ω ǫ tr ω ω ǫ. By the inequality (4.4, we have on \ D (4.13 So we have on \ D, t logtr ω ω ǫ = tr ω t ω ǫ tr ωric( ω ǫ tr ω ω ǫ tr ω ω ǫ 1+ C tr ω ω ǫ. ( ( t ω ǫ logtr ω ω ǫ A ϕ ǫ +Aδlog σ D 2 h D C +Ctr ωǫ ω Alog ωn ǫ +A ϕ ǫ +C tr ω ω ǫ Ω ǫ Atr ωǫ ( χ δric(h D+e t (π ω 0 χ+ǫ ω C 2tr ωǫ ω Alog ωn ǫ ωn Alog +C tr ω ω ǫ ω n Ω ǫ C tr ωǫ ω +C, tr ω ω ǫ if we choose A sufficiently large and δ suitably small, and in the last inequality we use the facts that log ωn Ω ǫ C, and tr ωǫ ω Alog ωn ǫ ω n tr ω ǫ ω +Anlogtr ωǫ ω C, since the function x( R + x+anlogx is bounded above. Using the inequality tr ω ω ǫ (tr ωǫ ω n 1 ωn ω n ǫ (tr ωǫ ω n 1 e ϕǫ+ ϕ ǫ Ωǫ ω n C(tr ω ǫ ω n 1.

12 12 BIN GUO The maximum of logtr ω ω ǫ A ϕ ǫ +Aδlog σ D 2 h cannot be at D, then maximum principle D implies that at the maximum of logtr ω ω ǫ A ϕ ǫ +Aδlog σ D 2 h D, we have 0 C C(tr ω ω ǫ 1 tr ω ω ǫ that is, at the maximum point, tr ω ω ǫ C. Thus we get the desired estimate. n 1 +C, By standard Schauder estimate ([15] for parabolic equations, we have Lemma 4.4. For any integer l Z +, on any compact subset K \ D, there is a constant C l,k such that for any t 0 ϕ ǫ C l (K C l,k. From Lemma 4.4, we see that ϕ ǫ (t converge to a smooth function ϕ on \ D as t and ǫ 0, which satisfies the estimates δlog σ D 2 h D C δ ϕ C, on \ D, for any δ (0,1 ω := χ+i ϕ C σ D 2λ h. D Moreover, from (4.6 we see that t ( ϕ ǫ +Ce t/2 0. Hence on any compact subset K \ D, the function ϕ ǫ (t+ce t/2 decreases to a function ϕ,ǫ as t. Hence ϕ ǫ (t K approaches zero as t and ǫ 0. Thus the metric ω satisfies the equation ω n = ( χ+i ϕ n = e ϕ σ E 2(n 1 σ F 2 h F Ω, on \ D. Let ǫ 0, ϕ ǫ (t tends to a function ϕ 0 (t PSH(, χ+e t (π ω 0 χ C ( \ D in Cloc ( \ D [0, -topology, which satisfies the degenerate parabolic Monge-Ampere equation (4.14 with the estimates ϕ 0 t ϕ 0 (0 = 0 = log ( χ+e t (π ω 0 χ+i ϕ 0 n ϕ σ E 2(n 1 0, σ F 2 h F Ω (4.15 δlog σ D 2 h D C δ ϕ 0 C, on \ D, δ (0,1, (4.16 ω 0 (t := χ+e t (π ω 0 χ+i ϕ 0 C σ D 2λ h, on \ D. D When the solutions ϕ 0 to (4.14 are in PSH(, χ+e t (π ω 0 χ L (, the uniqueness of such solutions has been proved in [20]. In the following, we will adapt their method to prove the uniqueness when solutions satisfy (4.15, instead of global L -bound. Proposition 4.1. Let ϕ PSH(, χ+e t (π ω 0 χ C ( \ D [0, be a solution to the equation (4.14 with the estimate (4.15, then ϕ = ϕ 0.

13 ON THE KÄHLER RICCI FLOW ON PROJECTIVE MANIFOLDS OF GENERAL TYPE 13 Proof. We consider the following perturbed equation t ϕ ǫ,γ = log ( χ+e t (π ω 0 χ+ǫ ω +i ϕ ǫ,γ n ( σ E 2(n 1 +γ( σ F 2 h F +γ Ω ϕ ǫ,γ (0 = 0, ϕ ǫ,γ for any ǫ (0,1, γ (0,1. By similar arguments as in Lemmas 4.1, 4.2, 4.3, we can get the following estimates for ϕ ǫ,γ, (4.17 supϕ ǫ,γ C, sup For any δ (0,1, there is a constant C δ such that ϕ ǫ,γ C. (4.18 ϕ ǫ,γ δlog σ D 2 h D C δ. (4.19 ω ǫ,γ (t := χ+e t (π ω 0 χ+ǫ ω +i ϕ ǫ,γ C σ D 2λ h ω. D (4.20 ϕ ǫ,γ C l (K C l,k, for any compact K \ D. Moreover, by maximum principle, we have the following monotonicity properties We can define a function ϕ ǫ,γ1 ϕ ǫ,γ2, for any γ 1 γ 2, ǫ (0,1; ϕ ǫ1,γ ϕ ǫ2,γ, for any ǫ 1 ǫ 2, γ (0,1. ϕ ǫ := (lim γ 0 ϕ ǫ,γ, where f (z = lim r 0 sup w B(z,r\{z} f(w is the upper regularization of a function. Then ϕ ǫ satisfies the equation t ϕ ǫ = log ( χ+e t (π ω 0 χ+ǫ ω +i ϕ ǫ n ϕ σ E 2(n 1 ǫ, on σ F 2 h F Ω \ D ϕ ǫ (0 = 0, And we have the monotonicity ϕ ǫ1 ϕ ǫ2, for any ǫ 1 ǫ 2, on \ D. So we can define ϕ 0 := lim ǫ 0 ϕ ǫ, which satisfies the equation (4.21 t ϕ 0 = log ( χ+e t (π ω 0 χ+i ϕ 0 n ϕ σ E 2(n 1 0, on σ F 2 h F Ω \ D ϕ 0 (0 = 0, The estimates (4.17, (4.18, (4.19 and (4.20 implies that ϕ ǫ C (K ϕ 0, as ǫ 0, for any compact K \ D, and ϕ 0 satisfies similar estimates as in (4.17, (4.18, (4.19 and (4.20. For any ϕ as in Proposition 4.1, define a function ψ := ϕ ǫ ϕ ε 0 ǫlog σ D 2 h D

14 14 BIN GUO on \ D, where ε 0 is a small number such that ω ε 0 Ric(h D > 0. For any ǫ, ψ δlog σ D 2 h D C δ C ε 0 ǫlog σ D 2 h D +, as the point approaching D, if δ is small enough, say, δ ε 0 ǫ/2. Hence the minimum of ψ(,t can only be at \ D. And on \ D, ψ satisfies the equation ψ t = log ( χ+e t (π ω 0 χ+i ϕ +ǫ( ω ω 0 Ric(h D+i ψ n ψ ε ( χ+e t (π ω 0 χ+i ϕ n 0 ǫlog σ D 2 h D. Maximum principle argument implies that ψ min = inf \ Dψ(,t 0. (Recall we assume σ D 2 h D 1. Hence ϕ ǫ ϕ +ε 0 ǫlog σ D 2 h D, on \ D. On any compact K \ D, letting ǫ 0, we get then let K \ D, we see that ϕ 0 ϕ, on K, (4.22 ϕ 0 ϕ. To show the uniqueness, we only need to show ϕ 0 ϕ, and this will be done by another perturbed equation, as Song-Tian do in [20]. t ϕ(r ǫ,γ = log ( χ+e t ((1 rπ ω 0 χ+ǫ ω +i ϕ ǫ,γ n ( σ E 2(n 1 +γ( σ F 2 h F +γ Ω ϕ (r ǫ,γ (0 = 0, ϕ (r ǫ,γ It s not hard to see that ϕ (r ǫ,γ ϕ ǫ,γ as r 0. Denote ˆω = χ+e t ((1 rπ ω 0 χ+ǫ ω + i ϕ ǫ,γ. Lemma 4.5. For some constant C > 0, we have supϕ (r ǫ,γ C, Clog σ D 2 h D C r ϕ(r ǫ,γ 0 Proof. The upper bound of ϕ (r ǫ,γ follows similarly as the proof in Lemma 4.1. ( (r ϕ ǫ,γ ϕ (r ǫ,γ = ˆω e t trˆω π ω 0 ϕ(r ǫ,γ ϕ (r ǫ,γ ˆω ϕ(r ǫ,γ t r r r r r. Maximum principle argument implies ϕ(r ǫ,γ 0. r Let H := ϕ(r ǫ,γ +Aϕ (r r ǫ,γ Aε 0 log σ D 2 h D, where ε 0 > 0 is a small number such that χ+e t ((1 rπ ω 0 χ+ǫ ω ε 0 Ric(h D c 0 ω, for all t 0 and c 0 > 0 is a uniform constant. On \ D, if we choose A sufficiently large, we have ( t ˆωH = e t trˆω π ω 0 ϕ(r ǫ,γ r +Alog ˆωn Ω γ Aϕ (r ǫ,γ An +Atrˆω ( χ+e t ((1 rπ ω 0 χ+ǫ ω ε 0 Ric(h D H Aε 0 log σ D 2 h D C

15 ON THE KÄHLER RICCI FLOW ON PROJECTIVE MANIFOLDS OF GENERAL TYPE 15 H C. Since the minimum of H cannot occur at D, maximum principle argument implies that H C, combing with the uniform upper bound of ϕ (r ǫ,γ, we conclude that Let then it satisfies the equation t ϕ(r r ϕ(r ǫ,γ Clog σ D 2 h D C. ϕ (r ǫ := (limϕ (r ǫ,γ, γ 0 ǫ = log ( χ+e t ((1 rπ ω 0 χ+ǫ ω +i ϕ (r ǫ σ E 2(n 1 σ F 2 h F Ω ϕ (r ǫ (0 = 0. We have the monotonicity ϕ (r ǫ 1 ϕ (r ǫ 2 for any ǫ 1 ǫ 2. Define From Lemma 4.5 it s not hard to see that ϕ (r = limϕ (r ǫ. ǫ 0 ϕ (r 1 ϕ (r 2 C(1 log σ D 2 h D r 1 r 2, on \ D, ϕ (r ǫ, on \ D hence on any compact subset K \ D, ϕ (r ϕ 0 in the C sense as r 0, where ϕ 0 is the solution constructed in (4.21. Now we are ready to finish the proof of Proposition 4.1. Define G := ϕ ϕ (r e t rε 0 log σ D 2 h D. By the assumption on ϕ, for any fixed t 0, r (0,1 G δlog σ D 2 h D C δ C e t rε 0 log σ D 2 h D +, as approaching D, if δ is smaller than e t rε 0, hence the minimum of G cannot be at D. On the other hand, on \ D, we have t G = log ( χ+e t ((1 rπ ω 0 χ+i ϕ (r +re t (π ω 0 ε 0 Ric(h D+i G n G ( χ+e t ((1 rπ ω 0 χ+i ϕ (r n log ( χ+e t ((1 rπ ω 0 χ+i ϕ (r +i G n ( χ+e t ((1 rπ ω 0 χ+i ϕ (r n by maximum principle, we have G 0, i.e., ϕ ϕ (r +e t rε 0 log σ D 2 h D. On any compact subset K \ D, letting r 0, we get ϕ ϕ 0, on K. G, Then let K \ D, we see that ϕ ϕ 0 on \ D, combing with (4.22, we show that ϕ = ϕ 0. Hence we finish the proof of uniqueness of solutions.

16 16 BIN GUO From the uniqueness of solutions to (4.14 and estimates of π ϕ, we see that (4.23 ω ǫ (t C loc ( \ D π ω(t, as ǫ 0, where ω(t is the solution to the Kähler Ricci flow (1.1 on. We will come back to equation (4.2. Let O B O Z be a small Euclidean ball, BO = π2 1 (B O. The divisors D and π 1 (D E (the proper transform of D lie in the zero set of of a local holomorphic function w in B O. By Lemma 4.3, we have Lemma 4.6. ω ǫ (t C w 2λ ω, on B O. Let ˆω := π 2 ω Eucl, where ω Eucl is the Euclidean metric on B O, then local calculation shows that (see [22, 17] (4.24 C 1 0 ˆω ω C 0 σ E 2 ˆω, in B O, and χ ε 0 Ric( > 0, in B O. Proposition 4.2. There exist a small δ (0,1 and λ > 0 such that for any t 0,ǫ > 0, we have C (4.25 ω ǫ (t σ E 2(1 δ w 2λ ω, in B O. Proof. We will do the calculation in B O \E {w = 0}. Since ˆω has flat curvature in B O \E {w = 0}, we have ωǫ(tlogtrˆω ω ǫ (t trˆωric( ω ǫ (t, trˆω ω ǫ (t and by (4.4 t logtrˆω ω ǫ (t trˆω( Ric( ω ǫ (t ω ǫ (t+c ω. trˆω ω ǫ (t So ( t ω ǫ(tlogtrˆω ω ǫ (t 1+C trˆω ω trˆω ω ǫ (t where we have used (4.24. So we have (r is a sufficiently small number ( t ω ǫ(tlog( σ E 2(1+r w 2λ trˆω ω ǫ (t C σ E 2 trˆω ω ǫ (t, C σ E 2 trˆω ω ǫ (t +(1+rtr ω ǫ(tric(. ( ( t ω ǫ(t log σ E 2(1+r w 2λ trˆω ω ǫ (t A ϕ ǫ C Alog ω ǫ(t n C + ω n σ E 2 trˆω ω ǫ (t +(1+rRic( Atr ωǫ(t χ Ae t tr ωǫ(t(π ω 0 χ Aǫtr ωǫ(t ω

17 ON THE KÄHLER RICCI FLOW ON PROJECTIVE MANIFOLDS OF GENERAL TYPE 17 C tr ωǫ(t ω + C σ E 2 trˆω ω ǫ (t, if A is sufficiently large, and in the last inequality we have used the fact that χ εric( is a Kähler metric on B O when ε is small. On the other hand, similar calculation shows that ( t ω ǫ(tlogtr ω ω ǫ (t C 1 tr ωǫ(t ω +C 1 + C 1 tr ω ω ǫ (t, where C 1 depends on the lower bound of the bisectional curvature of ω. Define G = log σ E 2(1+r w 2λ trˆω ω ǫ (t A ϕ ǫ + 1 log w 2λ+2 tr ω ω ǫ (t, 2C 1 by the calculations above, we have ( t ω ǫ(tg C 1 C 2 tr ω ǫ(t ω + σ E 2 trˆω ω ǫ (t + 1 tr ω ω ǫ (t C tr ω ǫ(t ω + C σ E 2 trˆω ω ǫ (t, where in the last inequality we use (4.24. For any small positive r, σ E 2(1+r w 2λ trˆω ω ǫ (t tends to 0 as approaching E and {w = 0}, so for any t 0, G cannot obtain its maximum at B O E {w = 0}. Moreover, we know ϕ ǫ δlog w C δ, on B O, for any small δ > 0. Hence by Lemma 4.6, we have supg C. B O For any T > 0, assume (p 0,t 0 B O \E {w = 0} [0,T] is the maximum point of G. If p 0 B O, then we are done. Otherwise, we have at this maximum point By the inequality So tr ω ω ǫ (t ω ǫ(t n σ E 2 trˆω ω ǫ (t ( tr ωǫ(t ω 2C 2 C. ω n (tr ω ǫ(t ω n 1 = (tr ωǫ(t ω n 1 e ϕǫ+ ϕ ǫ Ωǫ ω n C 3(tr ωǫ(t ω n 1. σ E 2 trˆω ω ǫ (t ( (tr ω ω ǫ (t 1/(n 1 C 4 C, at (p0,t 0. If tr ω ω ǫ (t(p 0,t 0 2 n 1 C n 1 4, then σ E 2 trˆω ω ǫ (t(p 0,t 0 2 n 1 CC n 1 4. Noting that in B O, ϕ ǫ δlog σ E 2 +δlog w 2 C δ, hence G is bounded above by a uniform constant, if we choose δ small enough in the above inequality. If tr ω ω ǫ (t(p 0,t 0 2 n 1 C4 n 1, then we have Then for δ small enough, σ E 2 trˆω ω ǫ (t(p 0,t 0 C. G(p 0,t 0 rlog σ E 2 δlog σ E 2 δlog w 2 +(λ+1log w 2 +C C.

18 18 BIN GUO In sum, in all cases, we have sup BO [0,T] G C. Then ( log σ E 2(1+r trˆω ω ǫ (t w 2λ+(2+2λ(2C 1 1 (tr ω ω ǫ (t (2C 1 1 ϕ ǫ +C C, noting that trˆω ω ǫ (t C 1 0 tr ω ω ǫ (t, we have ( tr ω ω ǫ (t 1+(2C1 1 If we choose r sufficiently small, say, r (10C 1 1, then and hence C tr ω ω ǫ (t C σ E 2(1+r w 2Λ. σ E 2(1 δ w 2Λ, in B O \E {w = 0}. 1+r 1+(2C 1 1 = 1 δ for some δ (0,1, Corollary 4.1. By letting ǫ 0 in (4.25 and the convergence (4.23, we have for any t 0 (4.26 π ω(t Letting t, we have π ω C σ E 2(1 δ w 2λ ω, in B O \(E {w = 0}. C σ E 2(1 δ w 2λ ω, in B O \(E {w = 0}. Lemma 4.7. For any q D, there exists a smooth curve γ(s : [0,1] such that (1 γ([0,1 \D, and γ(1 = q; (2 γ is transversal to D; (3 for any ε > 0, there exists an s 0 > 0, such that for all s [s 0,1 d g(t (q,γ(s ε, t 0. Proof. We take the resolution π 1 : Z and choose a point O in a smooth component of π1 1 (D with π 1(O = q, and blow up O, π 2 : Z, and π = π1 π 2 :. We choose an appropriate smooth path γ([0,1 B O \E {w = 0} which keeps away from {w = 0} and γ(1 E. Then γ = π( γ is the desired path, and last item follows from the uniform estimate (4.26. Corollary 4.2. For a fixed p \D, any q D, there exists a constant C = C q such that for any t 0 d g(t (p,q C q. Hence along the convergent sequence (,g(t i,p d GH (,d,p, q (,g(t i converges (up to a subsequence to some q in the Gromov-Hausdorff sense. Since we aim to give a purely analytic proof of our main results, without using of Kawamata s base point free theorem, we need the local freeness of some power of the canonical line bundle K as proved in [18], for completeness we give a sketched proof. Proposition 4.3. [18] For any q D, there exists σ H 0 (,mk for some m Z + such that σ(q 0.

19 ON THE KÄHLER RICCI FLOW ON PROJECTIVE MANIFOLDS OF GENERAL TYPE 19 Proof. By Corollary 4.2, we can take q as the limit point of q. By [18], there exists a σ H 0 (,mk such that σ 2 h m KE (q > 1, where σ 2 h m KE is a Lipschitz continuous function on. By Lemma 4.7, there exists a sequence of points {q k } R which transversely tend to q and d g(ti (q,q k k 1, i. We may assume q k R converge to the same point q k R = R. Hence d (q,q k = lim i d g(ti (q,q k k 1. By the continuity of σ 2 h, for k large enough, m KE e mϕ KE σ 2 h m χ (q k = σ 2 h m KE (q k 1 2, i.e. ϕ KE (q k C +Clog σ 2 h m χ (q k. On the other hand, for any δ (0,1, we have δlog σ D 2 h D (q k C δ ϕ KE (q k, hence σ D 2δ h D (q k C σ 2 h (q k. m χ Since q k approaches D transversely, and δ is any arbitrarily small number, we see that σ cannot vanish at q. Thus complete the proof. By a compactness argument and the previous proposition, we have: Proposition 4.4. There exists an integer m Z + such that for any q, there exists a holomorphic section σ H 0 (,mk such that σ(q 0, i.e., mk is base point free. Thus a basis {σ 0,...,σ Nm } of H 0 (,mk gives a morphism where can is the image of under Φ m. Φ m : can CP Nm, Remark 4.1. Proposition 4.4 is well-known from Kawamata s base point free theorem. It follows from algebraic geometry [13] that when mk is base point free the maps Φ m stabilize when m is sufficiently large, i.e., Φ m is independent of m when m is large enough and we will denote this map by Φ. For the given basis {σ 0,...,σ N } of H 0 (,mk, we have N N N σ i 2 h = σ m t i 2 h me ϕ ϕ c χ 0 σ i h m χ c 1 > 0. i=0 i=0 Moreover, by Proposition 3.1, we know i=0 sup N σ i 2 h m t i=1 C, sup ω(t σ i 2 h m t C, i, t 0,

20 20 BIN GUO thus the map Φ i : (,ω(t i ( can,ω FS, x [σ 0 (x :... : σ N (x] CP N has uniformly bounded derivatives (see e.g. [8]. Since the target space ( can,ω FS is compact, by Arzela-Ascoli theorem, the map extends to the Gromov-Hausdorff limit space Φ : (,d ( can,ω FS, which is Lipschitz continuous. Under our assumption that the Ricci curvature is uniformly bounded below, Tian-Wang s theory ([24] on the structure of limit of almost Kähler Einstein manifolds implies that the singular set is closed and of Hausdorff codimension at least 4, which also implies that any tangent cone in the limit space is good (see [8], in the sense that there exists a tangent cone C(Y, such that for any η > 0 there exists a cut-off function β which is 1 on a small neighborhood of the singular set S Y Y, and vanishes outside the η-neighborhood of S Y, and β L 2 (Y η, then following Donaldson-Sun s idea ([8] on partial C 0 estimates (see also [23], by similar arguments as in [17], for any two distinct points p,q, one can construct two holomorphic sections σ 1,σ 2 H 0 (,mk which separate p,q, hence we have Proposition 4.5. [17] Φ is injective. 5. Proof of Theorems Proof of Theorem 1.1. To prove Theorem 1.1, we will argue by contradiction. Following the ideas in [18], we need the following lemma: Lemma 5.1. Suppose diam(,g(t i, then we have diam(,d =, (1 Φ : (,d ( can,ω FS is not surjective; (2 For p can \Φ ( and any sequence of points q j with d ωfs (Φ (q j,p 0 as j, we have d (p,q j. Proof. (1 Suppose Φ is surjective. Since diam(,d =, there exists a sequence of points q j R with d (p,q j. ( can,ω FS is a compact metric space, hence there exists a convergent subsequence of {Φ (q j } which converge to some q can with respect to the metric ω FS. Then there is a point q such that Φ (q = q. We claim that the ball B d (q,1 contains all but finitely many q j s. Assuming this claim, we get that the distance of q j and p is bounded by d (p,q +1 contradicting the choice of q j which converge to under d as j. To see the claim, suppose not, there exists a subsequence q jl {q j } such that d (x jl,q jl 1, where x j is a sequence of points contained in R which converge to q under the metric d. Since Φ (q jl and Φ (x jl are both in can reg which is connected and these points both converge to q, so we can choose a curve γ jl can reg whose length under ω FS tend to 0 as j l. Then Φ 1 (γ j l R is a connected curve connecting x jl and q jl which has d -length greater than 1, so we can take a point y jl Φ 1 (γ j l such that 1/2 d (x jl,y jl 1. Then by compactness we may assume that up to a subsequence y jl converge to a point y which satisfies 1/2 d (q,y 1. It snothardtoseebytriangleinequalitythatd ωfs (Φ (y jl,q 0, hence d ωfs (Φ (y,q = 0 and Φ (y = q, and this contradicts the property that Φ is injective. Hence we prove the claim.

21 ON THE KÄHLER RICCI FLOW ON PROJECTIVE MANIFOLDS OF GENERAL TYPE 21 (2 Suppose d (p,q j A for some constant A > 0. By compactness we can assume a subsequence of q j converges to a point q, with d (p,q A. Then we have d ωfs (p,φ (q j d ωfs (p,φ (q = 0 as j, thus p = Φ (q and this contradicts the choice of p. Since Φ is not surjective, there exists a q can \Φ (. Consider a point q D with Φ(q = q, for a sequence of points {q j } R = R in the path constructed in Lemma 4.7 with q j q, i.e. d ωfs (q,φ (q j 0, we have supd (p,q j <. j This contradicts item (2 in Lemma 5.1. Hence the diameter of (,g(t i is uniformly bounded. And we finish the proof of Theorem 1.1 Proof of Corollary 1.1. We will show Φ : can is surjective. Suppose not, there is p Φ (. Since Φ (R is dense in can, there exists a sequence of points q j R such that d ωfs (p,φ (q j 0 as j. We have shown diam(,d is bounded, hence q j would converge to some point q under d. Hence d ωfs (p,φ (q = lim j d ωfs (p,φ (q j = 0, and we conclude that p = Φ (q, and thus a contradiction. Hence Φ is surjective. Combining with Song s result that Φ is also injective, we see that Φ is a Lipschitz continuous homeomorphism of (,d and can, since (,d is a compact space. Moreover, Φ R : (R,d (R,g is an isometry so Φ induces an isometry between (,d and (R,g = ( can,g. Hence the Gromov-Hausdroff limit of the Kähler Ricci flow (1.1 is the canonical model of, with the limit metric of the flow, under the assumption of bounded Ricci curvature along the flow. Proof of Theorem 1.2. Suppose the flow (1.1 is of Type III, i.e. Rm (g(t is uniformly bounded, by Shi s derivative estimates all derivatives of Rm are bounded. Fix a point p \D, for any sequence t i, by the smooth convergence of ω(t i on \D (Lemma 3.1, the volumes of unit balls B g(ti (p,1 (,g(t i,p are bounded below by a uniform positive constant, the limit space (,d,p is smooth. Hence = R and S = S =. Then R =, otherwise, if there exists q \R, then by Corollary 4.2 we have d g(ti (p,q C q foranyt i andauniformconstantc q dependingonlyonq, henceq mustconvergetosomepoint q along the Gromov-Hausdorff convergence, by the definition of S, q S, thus a contradiction. So we have is a compact Kähler manifold admitting a smooth Kähler Einstein metric ω KE with Ric(ω KE = ω KE, hence K is ample. Appendix In this appendix, we will show that along the Kähler-Ricci flow (1.1, assume Ricci curvature is uniformly bounded below for all t 0, then for any sequence t i, (,ω(t i,p is a sequence of almost Kähler-Einstein manifolds in the sense of Tian-Wang ([24], where p \D is a fixed point. Recall a sequence of Kähler manifolds ( i,ω i,p i is called almost Kähler Einstein if the following conditions are satisfied. (1 Ric(ω i ω i (2 Vol ωi (B(p i,r 0 v 0 > 0, for two fixed constants r 0 > 0 and v 0.

22 22 BIN GUO (3 The flow ω = Ric(ω+λ t iω has a solution ω(t with ω(0 = ω i on i [0,1], where λ i [ 1,1] is a constant. Moreover, 1 0 i R(ω(t nλ i ω(t n dt 0 as i. We may assume Ric(ω(t K for a constant K > 0 (we may assume K 1 and any t 0. Let ω i = Kω(t i, then Ric( ω i 1. Since (,ω(t i is non-collapsed at the point p \D due to the smooth convergence, we have (, ω i is also non-collapsed at p, i.e., there exists v 0 > 0 such that Vol ωi (B ωi (p,r 0 v 0 for some small r 0 > 0. ω i (t := Kω(t i +K 1 t with t [0,1] satisfies the (normalized Kähler Ricci flow equation t ω i(t = Ric( ω i (t K 1 ω i (t, with the initial ω i (0 = ω i. From the evolution equation for the scalar curvature R(ω(t (ω(t is the solution to (1.1 t R = ω(tr+ Ric 2 +R, by maximum principle, at the minimum point of R(ω(t for each t, R min = min R(ω(t, we have d dt R min(t Ric 2 +R min (t R min(t 2 +R min (t. n Standard comparison theorem of ODE implies that R min (t n Hence for t [0,1], we have Then 1 0 R min (0n+n 2 R min (0e t R min (0 n n O(e t. R( ω i (t = K 1 R(ω(t i +K 1 t K 1 n O(e t i. R( ω i (t+k 1 n ω i (t n dt = = = ( (R( ωi (t+k 1 n+o(e t i ω i (t n dt n(ric( ω i (t+k 1 ω i (t ω i (t n 1 dt+o(e t i n(e t i K 1t (ω 0 χ i ϕ ω i (t n 1 dt+o(e t i ne t i K 1t (ω 0 χ ω i (t n 1 dt+o(e t i O(e t i 0, as t i. References [1] Aubin, T. Équations du type Monge-Ampère sur les variétés kähléŕiennes compactes, Bull. Sci. Math. (2 102 (1978, no. 1, [2] Cao, H., Deformation of Kähler metrics to Kähler-Einstein metrics on compact Kähler manifolds, Invent. Math. 81 (1985, no. 2, [3] Cheeger, J. and Colding, T.H. On the structure of space with Ricci curvature bounded below I, J. Differential. Geom. 46 (1997, [4] Cheeger, J., Colding, T.H. and Tian, G. On the singularities of spaces with bounded Ricci curvature, Geom. Funct. Anal. Vol.12 (2002,

23 ON THE KÄHLER RICCI FLOW ON PROJECTIVE MANIFOLDS OF GENERAL TYPE 23 [5] Cheeger, J., Gromov, M., and Taylor, M., Finite propagation speed, kernel estimates for functions of the Laplace operator, and the geometry of complete Riemannian manifolds, J. Differential Geom. Volume 17, Number 1 (1982, [6] Colding, Tobias H. Ricci curvature and volume convergence. Ann. of math. (1997: [7] D ly, J.P. Singular hermitian metrics on positive line bundles, Proceedings of the Bayreuth conference Complex algebraic varieties, April 2-6, 1990, edited by K. Hulek, T. Peternell, M. Schneider, F. Schreyer, Lecture Notes in Math Springer-Verlag (1992. [8] Donaldson, S. and Sun, S. Gromov-Hausdorff limits of Kähler manifolds and algebraic geometry, ariv: [9] Eyssidieux, P., Guedj, V. and Zeriahi, A Singular Kähler-Einstein metrics, J. Amer. Math. Soc. 22 (2009, [10] Hamilton,R., Three manifolds with positive Ricci curvature, J. Differential Geom.17 (1982, no.2, [11] Kawamata, Y., Pluricanonical systems on minimal algebraic varieties, Invent. math. 1985, Volume 79, Issue 3, pp [12] Kolodziej, S. The complex Monge-Ampère equation, Acta Math. 180 (1998, no. 1, [13] Lazarafeld, J., Positivity in algebraic geometry. I. Classical setting: line bundles and linear series, A Series of Modern Surveys in Mathematics, 48. Springer-Verlag, Berlin, xviii+387 pp. [14] Perelman, G., The entropy formula for the Ricci flow and its geometric applications, ariv: [15] Phong, D. H., Sesum, N. and Sturm, J. Multiplier ideal sheaves and the Kähler-Ricci flow, Comm. Anal. Geom. 15 (2007, no. 3, [16] Rong,. and Zhang, Y. Continuity of Extremal Transitions and Flops for Calabi-Yau Manifolds, J. Differential Geom. 82 (2011, no. 2, [17] Song, J., Riemannian geometry of Kähler-Einstein currents, preprint ariv: [18] Song, J., Riemannian geometry of Kähler-Einstein currents II, an analytic proof of Kawamata s base point free theorem, ariv: [19] Song, J. and Tian, G., Canonical measures and Kähler-Ricci flow, J. Amer. Math. Soc. 25 (2012, [20] Song, J. and Tian, G., The Kähler-Ricci flow through singularities, ariv: [21] Song, J. and Tian, G., Bounding scalar curvature for global solutions of the Kähler-Ricci flow, ariv: [22] Song, J. and Weinkove, B., Contracting exceptional divisors by the Kähler-Ricci flow, Duke Math. J. 162 (2013, no. 2, [23] Tian, G., Partial C 0 -estimate for Kähler-Einstein metrics, Commun. Math. Stat. 1 (2013, no. 2, [24] Tian, G. and Wang, B., On the structure of almost Einstein manifolds, ariv: [25] Tian, G. and Yau, S.-T., Complete Kähler manifolds with zero Ricci curvature. I J. Amer. Math. Soc. 3 (1990, [26] Tian, G. and Zhang, Z., Regularity of Kähler-Ricci flows on Fano manifolds, ariv: [27] Tian, G. and Zhang, Z., On the Kähler-Ricci flow on projective manifolds of general type, Chinese Ann. Math. Ser. B 27 (2006, no. 2, [28] Tosatti, V. Adiabatic limits of Ricci-flat Kähler metrics, J. Differential Geom. 84 (2010, no. 2, [29] Tosatti, V. and Zhang, Y., Infinite time singularities of the Kähler-Ricci flow, ariv: [30] Tsuji, H., Existence and degeneration of Kähler-Einstein metrics on minimal algebraic varieties of general type, Math. Ann. 281 (1988, [31] Yau, S.-T., On the Ricci curvature of a compact Kähler manifold and the complex Monge-Ampère equation, I, Comm. Pure Appl. Math. 31 (1978, [32] Zhang, Z., Scalar curvature bound for Kähler-Ricci flows over minimal manifolds of general type, Int. Math. Res. Not. 2009; doi: 1093/imrn/rnp073 Department of Mathematics, Rutgers University, Piscataway, NJ, address: bguo@math.rutgers.edu