Fourth order curvature flows and geometric applications Vincent Bour arxiv:0.034v [math.dg] Dec 00 December 00 Abstract We study a class of fourth order curvature flows on a compact Riemannian manifold, which includes the gradient flows of a number of quadratic geometric functionals, as for instance the L norm of the curvature. Such flows can develop a special kind of singularities, that could not appear in the Ricci flow, namely singularities where the manifold collapses with bounded curvature. We show that this phenomenon cannot occur if we assume a uniform positive lower bound on the Yamabe invariant. In particular, for a number of gradient flows in dimension four, such a lower bound exists if we assume a bound on the initial energy. This implies that these flows can only develop singularities where the curvature blows up, and that blowing-up sequences converge (up to a subsequence) to a singularity model, namely a complete Bach-flat, scalar-flat manifold. We prove a rigidity result for those model manifolds and show that if the initial energy is smaller than an explicit bound, then no singularity can occur. Under those assumptions, the flow exists for all time, and converges up to a subsequence to the sphere or the real projective space. This gives an alternative proof, under a slightly stronger assumption, of a result from Chang, Gursky and Yang asserting that integral pinched 4-manifolds with positive Yamabe constant are space forms. Introduction The analysis of fourth and higher order partial differential equations is a subject of rising interest in Riemannian geometry. This interest is motivated by the successful resolution of a number of key issues involving second order equations, such as the Yamabe problem and the prescribed scalar curvature problem, which are linked to an elliptic second order equation, and evolution problems such as the Ricci flow, the mean curvature flow, or the Yamabe flow. These problems, which have motivated the development of geometric analysis, have higher order counterparts, and it is natural to wonder how far the known results extend. oreover, if a number of second order equations are now very well understood in dimensions two and three, it seems that in higher dimensions, equations of higher order behave better, because they are more suited to the context, or carry more regularity. For example, it appears that a lot of second order issues are in some way related to the Einstein-Hilbert functional, a crucial invariant for surfaces. The Yamabe problem consists in minimizing this functional in a given conformal class, and the Ricci flow can be seen as its gradient flow, by adding extra dimensions or by keeping a measure fixed (see [CCD + 0] and [Per0]). Institut Fourier, Université Grenoble 00 rue des aths, BP 74, 3840 St artin d Hères, France e-mail: vincent.bour@ujf-grenoble.fr
In the same spirit, fourth order equations often appear in relation with some quadratic curvature functional, linear combination of: F Rm (g) = Rm g dv g, F Ric (g) = Ric g dv g and F R (g) = Rgdv g, () or equivalently of: F W (g) = W g dv g, F (g) = Ric g dvg and F R (g) = Ric R gdv g, () where Rm g, W g, Ric g and Ric g are respectively the Riemann, Weyl, traceless Ricci and Ricci curvature tensors, R g is the scalar curvature, and the norms are taken by considering them as double-forms (see section 9.), e.g. Rm = 4 Rm ijklrm ijkl and Ric = Ric ij Ric ij. Let also define: F (g) = n 8(n ) F R(g) F Ric(g) = σ (A g )dv g, where A g = Ric g (n ) R gg is the Weyl-Schouten tensor and σ (h) = (tr(h) h ) is the second symmetric function of the eigenvalues of a symmetric -tensor h. The quantity σ plays an important role in conformal geometry, see for example [Via06]. These functionals are particularly interesting in dimension four, as it is the only dimension for which they are scale invariant. Following Berger s idea of finding best metrics on a manifold by minimizing Rm n dv g, LeBrun initiated the study of minimizers of F Rm in dimension four ([LeB04]). There has also been much work lately on critical metrics for these functionals, which are solutions of quasilinear fourth order equations. In dimension four, in particular, much attention is paid to the gradient of F W known as the Bach tensor. Note that for this particular dimension, according to the Gauss-Bonnet formula: F W F Ric + 4 F R = 8π χ(), where χ() denotes the Euler-Poincaré characteristic of, and it follows that F W and F only differ by a constant and are both conformal invariants. We can also write F (g) = Q gdv g where Q g = 6 R g + 6 R g Ric is the Q-curvature of Branson, which has good conformal properties (see [Cha04]). If Einstein metrics are the only critical points for the normalized Einstein-Hilbert functional, there is another important class of metrics in dimension four, namely the scalar-flat anti-self-dual one, that are critical for quadratic functionals. It would suggest that those functionals do not carry as much rigidity as the Einstein-Hilbert one. However, in dimension three, Gursky and Viaclovsky proved that the critical points for F = 3 6 F R F Ric with F (g) 0 are exactly the constant curvature metrics ([GV0]). In dimensions greater than five, there is no information to wait from minimizers, as there exists metrics of volume on any manifold such that the functional F Rm is arbitrarily small (see [Ber0] section.3.3). Given the spectacular advances made on the Ricci flow, a natural approach to obtain critical metrics consists in performing the gradient flow associated to the functional. Several higher order gradient flows have been successfully carried out during the last decade. In addition to the flows on curves and surfaces, antegazza has studied flows of four and higher order on immersed hypersurfaces in [an0], Brendle has introduced a fourth order equivalent of the Yamabe conformal flow in [Bre03], Chen and He have obtained results for the Calabi flow on Kähler manifolds in [CH08]. As for the
gradient flows of the quadratic functionals we are interested in, Zheng has considered the gradient flow of F Ric in dimension three in [Zhe03], and Streets has studied the gradient flow of F Rm in dimension four in [Str08]. The results obtained by antegazza in [an0], where he was motivated by approximating singular flows by higher order ones, suggest that it is useful to increase the order of the equation with the dimension in order to get regularity. Indeed, for his class of flows, he showed that singularities cannot occur provided that the order of the equation is larger than ([n/] + ). In this paper, we study a class of fourth order flows on compact manifolds, which includes the gradient flows for quadratic curvature functionals whose gradient becomes strongly elliptic when the DeTurck trick is applied, and in particular, it includes the flows of Zheng and Streets. Some of the ideas and tools used to study the Ricci flow naturally extend to these higher order flows. We prove short-time existence using the DeTurck trick, and prove Bando-Bernstein-Shi type estimates in order to study singularities. The lack of maximum principle for fourth order equations is overcome by an extensive use of integral estimates. Then C 0 estimates come from Sobolev inequalities. Since we have to bound a Sobolev constant along the flow in order to get the estimates, a special kind of singularity can appear, where the injectivity radius goes to zero while the curvature stays bounded. This could not happen in the Ricci flow, for which the curvature blows up at any singularity. This phenomenon of collapsing with bounded curvature can also appear for sequences of renormalized flows near a point where the curvature blows up. It has been ruled out for the Ricci flow by the non-collapsing result of Perelman (see [Per0]), that ensures that it is always possible to take a limit of such blowing-up sequences. But in our situation, we have no entropy similar to that of Perelman for the Ricci flow. oreover, none of the methods used to study other higher order flows apply in this setting. For instance, the universal Sobolev-type inequality of ichael and Simon used by antegazza only works in the context of hypersurfaces. The only situation in which it was possible to rule out collapsing with bounded curvature is when the flow starts very close (in the L sense) to a flat metric or to the sphere: Theorem. (Streets, [Str09]). For all positive constants C and K, there exists a positive constant ɛ(c, K) such that if (, g) is a compact Riemannian 4-manifold with V ol g () =, C S < C, F Rm H K and F Rm (g) ɛ, then the gradient flow of F Rm starting from g exists for all time and converges exponentially fast to a flat metric. In the theorem, C S denotes the Sobolev constant defined by: C S = inf { C R, u 4 C( u + V ol g () 4 u ), u H () }. We recall that if (, g) is a complete Riemannian n-manifold, n 3, the Yamabe invariant of (, [g]) ([g] conformal class of g) is defined by: { Y g = inf u g + n } 4(n ) R gu dv g, u H (), u n =. n If is compact, then Y g > and Y g = n { 4(n ) inf V ol g () n n } R g dv g, g [g]. Theorem. (Streets, [Str0]). There exists a constant ɛ > 0 such that if (, g) is a compact Riemannian 4-manifold satisfying Y g > 0 and F W (g) + F (g) ɛχ(), Ric then the gradient flow of F Rm starting from g exists for all time and converges exponentially fast to either the sphere or the real projective space. 3
In this paper, we deal with the issue of collapsing with bounded curvature by controlling the Yamabe invariant. When we assume a positive lower bound on it, the metric cannot collapse with bounded curvature. oreover, if the curvature blows up, we show that we can apply a compactness result to a sequence of renormalized flows near a singularity, and prove that a subsequence converges to a singularity model. In particular, in dimension four, such a positive lower bound exists on the Yamabe invariant as soon as the Yamabe invariant and the mean Q-curvature are positive, as it was pointed out by Streets in [Str0]. We show that these conditions are uniformly satisfied for the gradient flows of a number of quadratic functionals, assuming a bound on the initial energy. It implies that these flows only develop singularities where the curvature blows up, and that blowing-up sequences converge (up to a subsequence) to a singularity model, namely a complete Bach-flat, scalar-flat manifold. oreover, we prove a rigidity result for those model manifolds and show that if the initial energy is less than an explicit bound, then no singularity can occur. Under those assumptions, the flow exists for all time, and converges up to a subsequence to the sphere or the real projective space. In [CGY03], Chang, Gursky and Yang proved the following result for pinched 4-manifolds: Theorem.3. Let (, g) be a compact Riemannian 4-manifold. If Y g > 0 and then is diffeomorphic to S 4 or RP 4. F W (g) < 4π χ(), Note that according to the Gauss-Bonnet formula, the pinching assumption in this theorem can also be written: F W (g) + F (g) < Ric 4 F R(g). This theorem is a conformal version of a result due to argerin ([ar98]). As a matter of fact, the assumptions in the theorem of Chang, Gursky and Yang do not depend on the metric we choose on the conformal class of the initial metric. This fact allows them to perform a conformal transformation on the initial metric in order to exhibit a metric in the same conformal class which satisfies the pointwise pinching of argerin. This is done by using some fully nonlinear equations. Despite the fact that argerin s result is based on the Ricci flow to produce a metric of constant curvature, Chang, Gursky and Yang don t provide a direct proof of the existence of such a metric. In this article, we give a direct proof of the existence of a metric of constant curvature under slightly stronger assumptions (see Corollary.4). Our proof is more natural as it only relies on the study of a geometric flow. The structure of the paper is the following. In the rest of the introduction, we present our results. In section, we prove short-time existence for the flows we introduce. In section 3, we show that the gradient flows of quadratic functionals belong to our class of equations. In section 4, we prove a rigidity result in dimension four for metrics that are critical for the functionals F α defined in the introduction. In section 5, we prove that collapsing with bounded curvature cannot occur if the Yamabe constant is bounded away from zero. In section 6, we prove Bando-Bernstein-Shi type estimates on the curvature. In section 7 we present a compactness result for the solutions of our flows. In section 8, we prove the main results of the paper. Finally, section 9 is devoted to some technical results, useful all along the paper, and which are not directly specific to geometric flows. Acknowledgments: The author is grateful to Carlo antegazza, Zindine Djadli for his constant support and Thomas Richard for helpful discussions. Thanks also to the Scuola Normale Superiore di Pisa and the Centro di Ricerca di atematica Ennio de Giorgi for the hospitality. The author is partially supported by the ANR project "Flots et opérateurs géométriques" (FOG) ANR-07-BLAN-05-0. 4
. General results Let denote the space of symmetric (, 0)-tensors by S () and the space of metrics by S+(). Given a compact Riemannian n-manifold (, g 0 ), we consider evolution equations of the following type: { t g = P (g) (E P (g 0 )) g(0) = g 0, where P : S +() S () is a smooth map of the form with a < (n ) and b R P (g) = δ δrm g + a R g g + b R g + Rm g Rm g, We write δ δrm g for α β Rm αiβj and S T denotes any linear combination (with coefficients independent of the metric) of terms obtained from S T by taking tensor products with g and g, contracting and permuting indices. The gradient flows for most of the quadratic functionals generated by those in () or () are of this type (see section 3 for details). The assumption a < (n ) is necessary for P to become strongly elliptic when the DeTurck trick is applied (see section ). For this class of flows, we first prove short-time existence and integral estimates: Theorem.4 (Short-time existence). Let (, g 0 ) be a compact Riemannian manifold. Let P : S +() S () be a smooth map of the form P (g) = δ δrm g + a R g g + b R g + Rm g Rm g, with a < (n ) and b R. There exists a unique maximal solution (g t) to E P (g 0 ) defined on an interval [0, T ), with T positive. Theorem.5 (Bando-Bernstein-Shi estimates). Let (, g 0 ) be a compact Riemannian n-manifold, n 3. Let P : S +() S () be a smooth map of the form P (g) = δ δrm g + a R g g + b R g + Rm g Rm g, with a < (n ) and b R. Let g t, t [0, T ), be a solution of E P (g 0 ) such that Rm gt is uniformly bounded by some constant D. For all k N, there exists C(n, P, k) such that for all t in (0, T ): k Rm gt g t dv gt F Rm (g 0 ) ec(+d)(+dt) k+ t k. When a singularity appears, there exists schematically two possibilities: either the curvature blows up, or the injectivity radius goes to zero while the curvature stays bounded. This was proven by Zheng and Streets for their respective flows. We provide here a similar result for more general flows: Definition.6. Let (g i ) i I be a family of complete metrics on a manifold. We say that the family collapses with bounded curvature if it has a uniform C 0 bound on curvature and if it satisfies one of the three equivalent assertions: (i) (ii) (iii) inf inj (g i ) = 0, i I inf i I inf V ol g i (B x ()) = 0, x A R sup (B A (g i )) =. i I 5
Here B A is the best second Sobolev constant relative to A (See definition 5.). See Proposition 5.3 for a proof of the equivalence. Theorem.7. Let (, g 0 ) be a compact Riemannian n-manifold, n 3. Let g t, t [0, T ) be the maximal solution of E P (g 0 ). One of the following situations occurs:. The flow exists for all time (i.e. T = ).. A finite time singularity occurs, where the curvature blows up: T < and lim t T Rm gt =, 3. A finite time singularity occurs, where the metric collapses with bounded curvature. To rule out collapsing with bounded curvature, we want to control some Sobolev constant along the flow. This is possible when the Yamabe invariant remains uniformly positive: Theorem.8. Let (, g 0 ) be a compact Riemannian n-manifold, n 3. Let g t, t [0, T ) be the maximal solution of E P (g 0 ). Suppose that there exists some Y 0 > 0 such that Y gt Y 0 for all t [0, T ). Then either the flow exists for all time, or the curvature blows up: T < lim Rm gt t T =. Then, when a singularity occurs, we would like to zoom in a region where the curvature blows up and, as the assumption on the Yamabe constant implies that the injectivity radius remains positively bounded from below, to obtain a singularity model at the limit. For the Ricci flow, as we can get pointwise estimates by the maximum principle, the curvature is bounded in C k norm as soon as it is in C 0 norm. Here, the use of integral estimates makes C k curvature bounds also depend on the initial L norm of the curvature. This dependence becomes important when we apply the estimates to a sequence of renormalized solutions near a singular time. Indeed, in this case, the initial metrics of the solutions we consider are in fact scalings of metrics g t with t going to T. This fact forces us to control F Rm in the following way along the flow: Rm gt C( + Rm gt ) n 4, in order to get C k estimates on the curvature of such sequences, and then to apply a compactness theorem. This will put strong restrictions on the equations we can deal with. For example, we couldn t get the control for P (g) = F W + F (g)g where F (g)g is a conformal term added to the Bach flow in order to get strong ellipticity. This also explains why we should restrict ourselves to low dimensions when it comes to study singularities, so that we only have to obtain a constant bound on F Rm. Theorem.9. Let (, g 0 ) be a compact Riemannian n-manifold, n = 3 or 4. Let g t, t [0, T ) be the maximal solution of E P (g 0 ). Suppose that there exists some Y 0 > 0 and C < such that Y gt Y 0 and Rm gt C for all t [0, T ). Then one of the following situations occurs:. The flow exists for all time with uniform C k curvature bounds and the metric doesn t collapse with bounded curvature. Then, for all sequences (t i, x i ) with t i, we can extract a subsequence such that (, g ti, x i ) converges to a pointed manifold (, g, x ) in the pointed C topology. 6
. A finite or infinite time singularity occurs, where the curvature blows up: for all p in ( n, ], lim Rm g t t T p =. oreover, there exists a sequence (t i, x i ) i 0 such that t i T and (, Rm gti g t i, x i ) converges to a non-flat complete Riemannian manifold in the pointed C topology. Remark.0. If n = 3, we can replace the assumption Rm gt C by the weaker one Rm gt C( + Rm gt ) 4.. Application to 4-dimensional gradient flows In dimension 4, the Yamabe invariant can be kept away from zero by a number of gradient flows, what prevents the metric from collapsing with bounded curvature. This fact allows us to describe the singularities by a blow-up. For α 0, let define: and F α (g) = ( α)f W + α F Ric, { t g = F α (g) g(0) = g 0. (E α 4 (g 0 )) Short-time existence is supplied by Theorem.4 provided α > 0. The case α = corresponds (according to the Gauss-Bonnet formula) to the gradient flow of F Rm. Theorem.. Let α be in (0, ). Let (, g 0 ) be a compact Riemannian 4-manifold such that Y g0 > 0 and F α (g 0 ) ( α)8π χ(). Let g t, t [0, T ) be the maximal solution of E4 α (g 0 ). Then one of the following situations occurs:. The flow exists for all time with uniform C k curvature bounds and the metric doesn t collapse with bounded curvature. oreover, there exists a sequence (t i ) with t i, such that g ti converges in the C topology to a metric g, which is critical for F α (i.e. F α (g ) = 0).. A finite or infinite time singularity occurs, where the curvature blows up: for all p in (, ], lim Rm g t t T p =. oreover, there exists a sequence (t i, x i ) i 0 such that t i T and (, Rm gti g t i, x i ) converges to a complete non-compact non-flat Bach-flat, scalar-flat Riemannian manifold in the pointed C topology. 7
Note that the condition F α (g 0 ) ( α)8π χ() is equivalent to an integral pinching between the scalar curvature and the traceless Ricci tensor: F α (g 0 ) ( α)8π χ() Ric dv g α R dv g. When α =, the theorem remains true but becomes useless, as the assumption F (g 0 ) ( α)8π χ() is only satisfied by Einstein metrics. We prove the following rigidity result for the singularity models: Theorem.. Let (, g) be a complete Riemannian 4-manifold with positive Yamabe constant and let α be in [0, ]. Suppose that R g is in L (). If α = 0, suppose that R g is constant. If g is a critical metric of F α with then g is of constant sectional curvature. F W (g) + 4 F Ric (g) < 3 6 Y g, Particular cases of this theorem have already been given by Kim in [Kim0] when α = 0 and is not compact (i.e. for non-compact Bach-flat manifolds), and by Streets in [Str0] when α = (see Gap Theorems I and II of his paper). However, in these papers, the pinching hypothesis lies in the following form: F W (g) + F (g) ɛ, Ric with ɛ a non-explicit constant depending on the Yamabe constant or the Sobolev constant. Here, we obtain such a result with an explicit pinching (and for a larger class of functionals). Theorem. implies that if the initial energy is not too large, then no singularity can appear along the flow: Theorem.3. Let (, g 0 ) be a compact Riemannian 4-manifold and let α be in (0, ). If Y g0 > 0 and α 4 α 4 3 or 3 F α (g 0 ) < απ χ() F α (g 0 ) < 8 9 ( α)π χ(), then the solution of E4 α (g 0 ) exists for all time and there exists a sequence (t i ) such that g ti in the C topology to the sphere or the real projective space. Taking α = 4 3 in the previous theorem, we obtain the following result: Corollary.4. Let (, g 0 ) be a compact Riemannian 4-manifold. If Y g0 > 0 and converges then is diffeomorphic to S 4 or RP 4. F W (g 0 ) + 9 F Ric (g 0) < 8 9 π χ(), According to the Gauss-Bonnet formula, the pinching assumption is equivalent to: F W (g 0 ) + 5 6 F Ric (g 0) < 8 4 F R(g 0 ). Corollary.4 can also be reformulated in the following way, which has the nice property of being conformally invariant: 8
Corollary.5. Let (, g 0 ) be a compact Riemannian 4-manifold. If Y g0 > 0 and then is diffeomorphic to S 4 or RP 4. F W (g 0 ) + 6 3 Y g 0 < 40 3 π χ(),.3 Application to 3-dimensional gradient flows For 3-dimensional manifolds, as 3 > n, F Rm strongly controls the geometry. and For α > 0, let define: G α (g) = F Ric + αf R, { t g = G α (g) g(0) = g 0. (E α 3 (g 0 )) When α is positive, those functionals control the L norm of the curvature, and as they decay along their gradient flows, the curvature cannot blow up. However, we have to assume a positive lower bound on the Yamabe constant along the flow to prevent collapsing with bounded curvature. Theorem.6. Let (, g 0 ) be a compact Riemannian 3-manifold, let α > 0, and let g t, t [0, T ), be the maximal solution of E α 3 (g 0 ). Suppose that there exists some Y 0 > 0 such that Y gt Y 0 for all t [0, T ). Then g t develops no singularity, and there exists a sequence (t i, x i ) with t i such that (, g ti, x i ) converges in the pointed C topology to a manifold (, g, x ) which is critical for G α. Short-time existence As it is invariant by diffeomorphisms, the differential operator P is not elliptic. We use the DeTurck trick to fill the n-dimensional subspace in the kernel of σ ξ P g induced by this geometric invariance. We use the notation T (p, q) for the space of (p, q)-tensors. We will sometimes raise or lower indices in the following way: j = g ij T T i...i...i p i......i p, to identify T (p+, q) and T (p, q+). We say that a differential operator F : S +() T (p, q) is geometric if it is invariant by diffeomorphisms, i.e. if for all metrics g and all diffeomorphisms φ :, F (φ g) = φ F (g). This is in particular the case for the curvature operators and their derivatives with respect to the Levi-Civita connection. We recall that if L : h L k ( k h) + + L 0 (h) is a linear differential operator of order k, its principal symbol σ ξ L is defined for all ξ in T by: σ ξ L(h) = L k (ξ ξ h). We say that L is elliptic if σ ξ L is an isomorphism for all ξ 0. We say that L is strongly elliptic if k = k and ( ) k + σ ξ L is uniformly positive, i.e. if there exists α > 0 such that for all h, ( ) k + σ ξ L(h) h α ξ k h. 9
Proposition. (DeTurck trick). Let (, g 0 ) be a compact Riemannian manifold. Let P : S +() S () and V : S +() T be geometric differential operators such that (P L V ) g 0 is strongly elliptic. Then { t g = P (g) g(0) = g 0 E P (g 0 ) admits a unique maximal solution on an open interval [0, T ), T positive. We will use the following lemma: Lemma.. Let (g t ) be a smooth family of metrics and let (φ t ) be a smooth family of diffeomorphisms. Then t (φ t g t ) = φ t ( t g t + L Vt g t ), where V t = t φ t φ t. Proof. t (φ t g t ) t0 = t (φ t 0 g t ) t0 + t (φ t g t0 ) t0 ( ) ( ) = φ t 0 t g t t0 + φ t 0 t (φ t φ t 0 ) g t0 t0 ) = φ t 0 ( t g t t0 + L tφ t t0 φ g t. t 0 Proof of the proposition. Since (P L V ) g 0 is strongly elliptic, it follows from the theory of parabolic equations that { t g = P (g) L Vgg (DT (g 0 )) g(0) = g 0 admits is a unique maximal solution g t, t [0, T ) with T > 0 (see [0]). Let φ t, t [0, T ) be the flow of V ( g t ): { t φ t = V ( g t ) φ t, Let show that: φ 0 = Id. (g t ) t [0,T) is a solution of E P (g 0 ) T T and t [0, T ) g t = φ t g t. It will gives short-time existence and uniqueness for E P (g 0 ). Let g t = φ t g t. Then g(0) = g 0 and by Lemma., for all t in [0, T ), t g = φ t ( t g + L V g g) = φ t P ( g) = P (g). So g t is solution of E P (g 0 ) on [0, T ). Now, let g t be a solution of E P (g 0 ) on [0, T ). Let ψ t, t [0, T ) be the flow of V gt. Then ψ t g t is solution of (DT (g 0 )) on [0, T ): t (ψ t g t ) = ψ t ( t g L Vg g) = ψ t P (g) ψ t L Vg g) = P (ψ t g) L Vψ t g ψ t g. 0
Therefore, T T and for all t in [0, T ), ψ t g t = g t. oreover, for all t in [0, T ), ψ t = φ t : t (ψt ) = ψt ( V gt ) ψt = V gt ψt, and ψ 0 = Id, so ψ t is the flow of V gt. It follows that g t = φ t g t. Now, we compute the principal symbols of the operators we will deal with. If g is a metric and ξ is in T, let define If g and g 0 are two metrics, let define R ξ (g) = ξ ξ ξ g. (γ g,g0 ) i = gαβ (Γ i αβ(g) Γ i αβ(g 0 )). Proposition.3. For all metrics g and all ξ in T, we have σ ξ (L V ) g = ξ σ ξ V g + σ ξ V g ξ, σ ξ R g = R ξ, σ ξ (Ric L γ,g0 ) g = ξ Id S (), σ ξ (δd(r )) g = R ξ R ξ, σ ξ (δdric L γ,g0 + 4 R ) g = ξ 4 Id S (). Where the operators δ and D are defined in section 9. and V : S +() T is any differential operator of degree at least one, Proof. We recall that the Lie derivative of a metric is given by: then by () in Proposition 9.7, and as V is of degree at least one, then By Proposition 9.5, (L V g) ij = i V j + j V i, (L V ) g(h) ij = i V g(h) j + j V g(h) i + h V, σ ξ (L V ) g(h) ij = ξ i σ ξ V g(h) j + ξ j σ ξ V g(h) i. R g(h) = δ δh + trh Ric h, σ ξ R g(h) = ξ ξ h ξ tr h = R ξ h, therefore, as δd(r g g) = R g g + R g (Proposition 9.3), σ ξ (δd(r ) g = ξ ξ σ ξ R g ξ σ ξ R g g = R ξ R ξ.
It follows of Proposition 9.4 that: and by Proposition 9.5: (γ,g0 ) g(h) i = ( α h α i i tr h) hαβ (Γ i αβ(g) Γ i αβ(g 0 )), (γ,g0 ) g(h) = (δh + Dtrh) + h (Γ(g) Γ(g 0 )), Ric g(h) = ( h D(δh + Dtrh)) D( δh + Dtrh) + h Rm. It follows that its principal symbol is σ ξ Ric g(h) = ξ h + ξ σ ξ γ g(h) + σ ξ γ g(h) ξ, so σ ξ (Ric L γ,g0 ) g = ξ Id S (). Finally, σ ξ ( Ric) g(h) = ξ σ ξ Ric g(h) = ξ 4 h + ξ ( ξ σ ξ γ g(h)) + ( ξ σ ξ γ g(h)) ξ, and then, since δdric g = Ric g + R g + Rm Rm (Proposition 9.3), σ ξ (δdric L γ+ 4 R ) g = σ ξ ( Ric L γ ) g = ξ 4 Id S (). Proposition.4. Let P : S +() S () be smooth map of the form P (g) = δ δrm g + a R g g + b R g + Rm g Rm g, and let V : S +() T be defined by V g = γ g,g0 + (b a) 4 R g. Then and If a < (n ), then P L V σ ξ (P L V ) g = ξ 4 Id S () + a R ξ R ξ, is strongly elliptic. If a = (n ), then P L W is not elliptic, for any W : S +() T. If a > (n ), then P L W is not strongly elliptic, for any W : S +() T. Proof. Since δrm = DRic (Proposition 9.) and δd(r g g) = R g g + R g (Proposition 9.3), we see that: P L V = δdric + L γ,g0 + 4 R + aδd(r ), then Proposition.3 shows that σ ξ (P L V ) g = ξ 4 Id S () + a R ξ R ξ.
Let compute R ξ = ξ 4 ξ ξ ξ g + n ξ 4 = (n ) ξ 4. oreover, for all W : S+() T, the image of σ ξ (L W ) g lies in Rξ : σξ (L W ) g R ξ = ξ σ ξ W g + σ ξ W g ξ ξ ξ ξ g = ξ ξ σ ξ W g ξ ξ σ ξ W g If a < (n ), then = 0. σ ξ (P L V ) g(h) h = ξ 4 h a R ξ h ( a +(n )) ξ 4 h, and P L V is strongly elliptic. If a = (n ), then σ ξ(p L V ) g is the orthogonal projection on Rξ. In particular, σξ (P L W ) g(h) R ξ = σξ (P L V ) g(h) R ξ + σξ (L V W ) g(h) R ξ = ξ 4 R ξ h a ξ R ξ R ξ h = 0, i.e. the image of σ ξ (P L W ) g is included in Rξ, therefore P L W is not elliptic. If a > (n ), then for ξ 0: σ ξ (P L W ) g(r ξ ) R ξ = σξ (P L V ) g(r ξ ) R ξ + σξ (L V W ) g(r ξ ) R ξ = ( a(n )) ξ 4 R ξ < 0. Consequently, P L W is not strongly elliptic. Proof of Theorem.4 It is an immediate consequence of Propositions.4 and.. 3 Gradient flows for geometric functionals If T : S+() T (p, q) is smooth, let define the functional F T (g) = T (g) g dv g, and if F : S +() R is a smooth functional, let define its gradient by F g(h) = ( F(g) h) L. Then the gradient flow of F starting from g 0 is the following evolution equation: { t g = F(g) g(0) = g 0. 3
As we immediately get t F(g t ) = F(g t) dv gt, we see that F decreases along the flow. We recall that the curvature tensor has the following orthogonal decomposition: Rm g = W g + Ric g g + n n(n ) R g g g, where is the Kulkarni-Nomizu product defined for u and v in S () by: It follows that (u v) ijkl = u ik v jl + u jl v ik u il v jk u jk v il. F Rm (g) = F W (g) + n F Ric (g) + n(n ) F R(g). The gradients of the quadratic curvature functionals are given by (see [Bes87], chapter 4.H): F Rm = δ δrm Rm Rm + Rm g, (F Ric 4 F R) = δ δrm Ric (Ric R g) Rm(Ric) + ( Ric 4 R )g, F W = δ δw W ( Ric) n (W W W g), F = δda + W ( Ric) + n 4 (n ) (A (Ric R g) + σ g), F R = δd(rg) R(Ric 4 R g), where for a (4, 0) curvature tensor T and an endomorphism u we wrote: (T T ) ij = T αβγi T αβγ j and ( T u) ij = T αiβj u αβ. From the relations between the derivatives of the curvature given in Propositions 9. and 9.3, it follows that for β in [0, ] and a < (n ), the gradient flow of the functional is of the form E P with ( β)f Rm + β(f Ric 4 F R) a F R P (g) = δ δrm g + a R g g + a R g + Rm g Rm g. For n 4, we can also write that for β in [0, ] and α > 0, the gradient flow of the functional is of the form E P with P (g) = δ δrm g + n n 3 βf α W ( β)f + 4(n ) F R α (n ) ( R g g + R g ) + Rm g Rm g. In low dimensions, additional relations between the curvature tensors allow us to write it in an easier way: 4
In dimension 3: We have F W (g) = 0 and F Rm = F Ric 4 F R. The gradient flow of F + α 8 F R is of the form E P with P (g) = δ δrm g + α ( R g g + R g ) + Rm g Rm g. 4 In dimension 4: The Gauss-Bonnet formula gives us another relation between the functionals: F Rm (g) F Ric (g) = F W (g) + F (g) = 8π χ(). It follows that F Rm = (F Ric 4 F R) and F W (g) = F (g). If α > 0, the gradient flow of F W + α F R is the same as the gradient flow of ( α)f W + αf Ric and is of the form E P with P (g) = δ δrm g + α ( R g g + R g ) + Rm g Rm g. 6 oreover, since W W W g = 0 (see [Bes87]), the gradient of the Weyl functional F W, which is called the Bach tensor, takes the following shorter form: F W = F = δ δw W ( Ric). 4 Rigidity results for critical metrics of F α In this section, we prove Theorem. and a number of auxiliary results which will be necessary for the proof of Theorem.3. We begin with a rigidity result for metrics with harmonic Weyl tensor (i.e. δw = 0). Proposition 4.. Let (, g) be a complete Riemannian 4-manifold with positive Yamabe constant, constant scalar curvature and harmonic Weyl tensor. If then W g = 0. F W (g) < 5 54 Y g, Note that in the compact case, sharper results have been obtained by Gursky in [Gur00]. We will use the following Lemmas: Lemma 4. (Weitzenböck formula, Derdziński ([Der83])). Let (, g) be a complete Riemannian 4-manifold with harmonic Weyl tensor. Then W W + R W 6 W 3. 5
Proof. Let choose a local orientation. Then the Weyl tensor can be written as W = W + + W according to the splitting Λ (T ) = Λ +(T ) Λ (T ). Then the following Weitzenböck formula holds (see [Bes87], 6.73): W ± = W ± + R W ± 8 det W ±. And since the maximum of λ λ λ 3 under the constraints { λ + λ + λ 3 = 0 λ + λ + λ 3 = is 3 6, we obtain: W ± W ± + R W ± 6 W ± 3 Adding the two inequalities, we get: W ± + R W ± 6 W W ±. W W + + W + R W 6 W 3. And since the splitting Λ (T ) = Λ +(T ) Λ (T ) is parallel: W W + R W 6 W 3. Lemma 4.3 (Refined Kato inequality). Let (, g) be a complete Riemannian 4-manifold with harmonic Weyl tensor. Then in the distributional sense, W 3 5 W. Proof. If we choose a local orientation, we have the following Kato inequality (see [GL99]): W ± = W ± W ± 3 W ± W ±, 5 and then and consequently, W W + + W 3 5 ( W + W + + W W ) 3 5 ( W + + W ) ( W + + W ) 3 = W W, 5 W 3 5 W. 6
Proof of the Proposition. ) If is compact, then by integrating the inequality of Lemma 4., we see that: ( W + R W ) dv 6 W 3 3. Using the refined Kato inequality of Lemma 4.3, and the Hölder inequality, we obtain 5 ( W + 3 6 R W ) dv + R W dv 6 W 9 W 4, thus 5 3 Y W 4 + R W dv 6 W 9 W 4. Since R g is a positive constant (as Y g > 0), we see that W = 0 as soon as 6 W 5 3Y, i.e. as soon as W 5 54 Y. ) Now, if is not compact, let choose r > 0, x a point and φ a cut-off function such that: φ on B x (r), φ 0 on B x (r), φ r. Let u = W φ. For all ɛ > 0, we have: u = φ W + W φ ( + ɛ) W φ + ( + ɛ ) W φ. Consequently, Y u 4 u + 6 Ru dv ( + ɛ) W φ dv + Ru dv + ( + 6 ɛ ) φ W ( ( + ɛ) ( W + 6 R W )φ dv + ) ɛ φ W, since R is a nonnegative constant (as Y > 0). On the other hand, multiplying the inequality of Lemma 4. by φ and integrating, we obtain: ( W + R W )φ dv ( 6 W 3 φ + W φ ) dv 6 W u 4 + φ W ( W φ dv ) by the Hölder inequality. Then, using the refined Kato inequality, 5 ( W + 3 6 R W )φ dv 6 W u 4 + φ W ( W φ dv ) 6 W u 4 + ɛ W φ dv + ɛ φ W, thus (5 3 ɛ) ( W + 6 R W )φ dv 6 W u 4 + ɛ φ W. 7
We finally obtain: then Y (5 + ɛ 3 ɛ) u 4 6 W u 4 + (8 ɛ( + ɛ) 3 ɛ) φ W, We can choose ɛ small enough such that ( Y (5 + ɛ 3 ɛ) 6 W W )( 4 φ 4 dv ) Y (5 + ɛ 3 ɛ) 6 W > 0. Then, by letting r go to infinity, we see that W = 0. 8 4 3ɛ r W. Proposition 4.4. Let (, g) be a complete Riemannian 4-manifold. If R g is constant, then F α (g) = Ric g ( W g + Ric g g)( Ric g ) + Ric g α g + 4 R gric g. Proof. We recall that F α = ( α)f W + α F also write: F α = F W + α 4 F R α8π χ(). Consequently (see section 3), Ric. According to the Gauss-Bonnet formula, we can F α (g) = δ δw g W g ( Ric g ) + α δd(r g g) α R gric g. oreover, by Propositions 9. and 9.3: δ δw = δda = δdric δd(r g g) = Ric g + 4 R g + Ric g Ric g Rm g ( Ric g ) δd(r g g) = Ric g + Ric g Ric g Rm g ( Ric g ), as we assumed that R g is constant. Using the relations we easily get that: T u v = T u v and (u g) v = u v g + trv u u v v u, Ric g ) = W ( Ric g ) Ric g Ric g + Ric gg R gric g. Rm( Finally, F α (g) = Ric g W g ( Ric g ) + Ric g Ric g Ric g g + α 4 R gric g, and we obtain the result by writing ( Ric g g) ( Ric g ) = Ric g g Ric g Ric g. 8
The following Lemma allows us to control the Yamabe constant from below when the quadratic functional is not too large: Lemma 4.5 (Gursky, [Gur94], see also [Str0]). Let (, g) be a compact Riemannian 4-manifold. For all α 0 Y g 3 (( α)8π χ() F α (g)). Proof. If g [g] is a Yamabe metric, it has constant scalar curvature and we get Y g = 36 V ol g() ( R g dv g ) = R gdv g 36 3 ( 4 F R( g) F Ric ( g)) = 3 F ( g). Since Y and F are conformal invariants, it follows that the inequality is still true for g. Then Y g 3 F (g) = 3 (αf (g) + ( α)(8π χ() F W (g))) 3 (( α)8π χ() F α (g)). Proposition 4.6. Let (, g) be a compact Riemannian 4-manifold and let α be in (0, ). If there exists ɛ > 0 such that α 4 α 4 3 or 3 F α (g) α(π χ() ɛ) F α (g) 8 9 ( α)(π χ() ɛ), then g satisfies: F W (g) + 4 F Ric (g) 3 6 Y g ɛ. Proof. If α 4 3, then 4 3α 9 3( α), so using the assumption on F α, we can write: 9 3 F W + 3 F 4 Ric 3α F α 8 3 (π χ() ɛ). In the same way, if α 4 3, then 9 3( α) 4 3α, and using the assumption on F α, it follows that: Consequently, according to Lemma 4.5 with α = 0. 9 3 F W + 3 F Ric 9 3( α) F α 8 3 (π χ() ɛ). F W (g) + 4 F Ric (g) 8 (8π χ() F W (g)) ɛ 3 6 Y g ɛ, 9
Finally, let prove the following estimate: Lemma 4.7. Wg + Ric g g Ric g Ric g Ric g ( Wg + Ric g ) 3 4. Proof. Let write the orthogonal decomposition Ric g Ric g = T + V + U, where and Then U = 4 tr ( Ric g Ric g )g g = Ric g g g, V = ( tr( Ric g Ric g ) 4 tr ( Ric g Ric g )g ) g = ( Ric g Ric g Ric g g) g. 4 Wg + Ric g g Ric g Ric g = Wg + Ric g g T + V = Wg + Ric g g T + V W g + Ric g g T + V = ( W g + Ric g )( T + V ). 4 And using the fact that u v = u v + u v u u v v, we obtain: Therefore Ric g Ric g = Ric g 4 Ric g Ric g, U = Ric g 4, 6 V = Ric g Ric g Ric g 4. T + V = Ric g Ric g + V U = 4 Ric g 4. 3 Proof of Theorem. is harmonic. ) If is compact, then R g is a positive constant (since Y g > 0). oreover, As tr( F α ) = α 4 R, if α 0 and if g is a critical point of F α, then R g Y Ric 4 Ric + 6 R Ric dv Ric + 6 R Ric dv, 0
since, by the Kato inequality, Ric Ric. thus On the other hand, according to Proposition 4.4, and since T u v = T u v, we have: 0 = F α Ric = Ric Ric W + Ric g Ric Ric + α R Ric, ( Ric + α 6 R Ric ) dv = W + Ric g Ric Ric dv g. It follows from Lemma 4.7 and the Hölder inequality that ( Ric + α R Ric ) 4 ( dv 3 W + Ric dv 6 4 Consequently: ( Y 4 3 ( FW + 4 F Ric ) ) Ric 4 + α 6 ) R Ric dv 0. Ric. 4 Since F W + 4 F Ric < 3 6 Y and R is a positive constant, it follows that g is an Einstein metric. ) If is not compact, since R g is harmonic and in L (), it is constant (see [Yau76], Theorem 3). As Y g > 0, it is nonnegative. Let choose r > 0, x a point and φ a cut-off function such that: φ on B x (r), φ 0 on B x (r), φ r. Let u = Ric gφ. It satisfies: Consequently, u = φ Ric g + Ric g φ ( + ɛ) Ric g φ + ( + ɛ ) Ric g φ. by the Kato inequality. Y u 4 u + 6 Ru dv ( + ɛ) Ric φ dv + 6 ( + ɛ) ( ( + ɛ) Ru dv + ( + ɛ ) φ Ric ( Ric + 6 R Ric )φ dv + ( + ɛ ) 4 r Ric ( Ric + 6 R Ric )φ dv + 4 ɛr Ric ), According to Proposition 4.4 and by writing that F α (g) Ric g φ dv g = 0, we obtain: Ric Ric φ dv + α R Ric φ dv = W + Ric g Ric Ric φ dv. 6
For all ɛ > 0: Ric Ric φ dv = Ric φ dv + Ric φ Ric φdv Ric φ dv φ Ric ( Ric ) φ dv Ric φ dv ɛ Ric φ dv ɛ φ Ric ( ɛ) Ric φ dv 4 ɛr Ric. And on the other hand, W + Ric g Ric Ric φ dv 3 It follows that ( ( ɛ) Consequently, thus ( Ric g + 6 R We can choose ɛ > 0 such that ( W + Ric dv 4 3 ( FW + 4 F Ric Ric g )φ dv 4 3 ( FW + 4 F ) u 4. Ric ɛ + ɛ Y u 4 4 ( FW + 3 4 F ) u Ric 4 + 8 ɛr Ric, ( ɛ + ɛ Y 4 ( FW + 3 4 F ) )( Ric Ric 4 φ 4 dv ) ɛ + ɛ Y 4 ( FW + 3 4 F ) > 0. Ric ) Ric φ dv ) u 4 + 4 ɛr Ric. 8 ɛr Ric. Then, letting r go to infinity, we see that g is Einstein. It follows that g has harmonic Weyl tensor ( δw = DA = DRic = 0), and as it also satisfies F W < 3 6 Y < 5 54 Y, it is conformally flat according to Proposition 4.. Hence, g has constant sectional curvature. 5 Yamabe, Sobolev and collapsing Definition 5. (Best second Sobolev constant). Let (, g) be a complete Riemannian n-manifold, n 3 and A be a positive real number. Let define the best second Sobolev constant relative to A by: with the convention inf( ) = + B A (g) = inf{b R, u n A u n + B u, u H ()}, If is compact, B A < for all A Y S n.
Proposition 5.. Let n 3 be an integer, let p be in ( n ; ] and let A be a positive number. There exists C(n, p) such that if (, g) is a complete Riemannian n-manifold with Y g A, then B A (g) (CA R g p ) p p n. Proof. Let u be in H (). Since Y g A, then using the Hölder inequality, u n A n ( u + n R g u dv g ) 4(n ) A ( u + n 4(n ) R g p u p ) p A ( u + n 4(n ) R g p u ( n p ) u n p n A u + u n + ( n n p )(n p ) n n A p n ( 4(n ) R g p ) p p n u n A u + u n + n C (A R g p ) p p n u, where C only depends on n and p. Consequently, we get which proves the claim. u n n A u + C (A R g p ) p p n u (A u + C(A R g p ) p n u ), Proposition 5.3. Let (g i ) i I be a family of metrics on a manifold with a uniform C 0 curvature bound. Then the three following assertions are equivalent: (i) (ii) (iii) inf inj (g i ) = 0, i I inf i I inf V ol g i (B x ()) = 0, x A R sup (B A (g i )) =. i I We say that the family collapses with bounded curvature. We will need the following lemmas: Lemma 5.4 (Cheeger, see [Pet98], Lemma 4.5). For all C > 0 and v 0 > 0 there exists i 0 (n, C, v 0 ) > 0 such that the following property is true: If (, g) is a complete Riemannian n-manifold such that vol(b(x, )) v 0 for all x in and Rm g C, then inj g () i 0. Lemma 5.5 (Carron, see [Heb96], Lemma 3.). Let (, g) be a complete Riemannian n-manifold. Then x, vol(b(x, )) ( n(n+4) max(a, B A )). Proof of the Proposition. If inj x (g i ) i 0, with i 0 (0, ), and if the sectional curvatures are bounded by K > 0, then by the Bishop-Gromov comparison theorem, V ol gi (B x ()) V ol gi (B x ( i 0 )) V ol K( i 0 ), 3 p )
where V ol K ( i0 ) is the volume of a ball of radius i0 in the space of constant curvature K. Conversely, if the volume of unit balls is uniformly bounded from below, then by Lemma 5.4, so is the injectivity radius. Finally, the equivalence between the existence of a lower bound on the volume of unit balls and an upper bound on the Sobolev constant comes from Theorem 3.4 of [Heb96] and Lemma 5.5. Proposition 5.6. Let be a manifold. Let (g i ) i I be a family of complete metrics on with a uniform C 0 curvature bound. If inf i I (Y g i ()) > 0, then the family doesn t collapse with bounded curvature. Proof. It results from Proposition 5.3 and Proposition 5. with p =. 6 Bando-Bernstein-Shi estimates For tensors T, T,..., T j and nonnegative integers j and k, let write: P k (T,..., T j ) = P k j (T ) = i + +i j=k i + +i j=k i T ij T j, i T ij T. Proposition 6.. Let (, g) be a compact Riemannian n-manifold. Let P : S +() S () be a smooth map of the form Then for all integers k 0, ( k Rm ) ( k R g ) g P (g) = δ δrm g + a R g g + b R g + Rm g Rm g. (P g ) + k+ Rm g a k+ R g = P 3 k+ (Rm g ) + P4 k (Rm g )dv g, (P g ) + ( a(n )) k+ R g = where the coefficients of the lower order terms only depend on n, k and P. Proof. We write lot k (g) for any term of the form P3 k+ (Rm g ) + P4 k (Rm g )dv g, and for any (p, p) tensor T, we define the (, 0) tensor k T k T by: Then we have: ( k Rm dv ( k T k T )(X, Y ) = ) P k+ 3 (Rm g ) + P k 4 (Rm g )dv g, k j X k j T j Y k j T. j= (P g ) = ( ( k Rm) g(p g ) k Rm g )L g ( P g k Rm g k ) Rm g L + k Rm g tr(pg )dv g. 4
Using () in Proposition 9.7, it follows that: ( k Rm ) dv (P g ) = ( k Rm g(p g ) k Rm g + lot )L k (g), g then, by (4) in Proposition 9.7, ( k Rm ) dv (P g ) = ( Rm g(p g ) k Rm g + lot )L k (g), g using that Rm g = D D + Rm (Proposition 9.5) and (5) in Proposition 9.8, we get: ( k Rm ) dv (P g ) = ( Rm g + ad D( R g g) + bd D DDR g k Rm g + lot )L k (g). g It follows from (8) in Proposition 9.6 that: ( k Rm ) dv (P g ) = ( Rm g k+ Rm g a )L ( R g tr( δδ k Rm g ) ) + lot L k (g), g then by (4) in Proposition 9.7 and (8) in Proposition 9.8, ( k Rm ) dv (P g ) = ( Rm g δ k+ k+ ) Rm g a ( R L g k δδricg + lot )L k (g), g and by Proposition 9., ( k Rm ) dv (P g ) = k+ Rm g dvg + a ( Rg k+ ) R g + lot g L k (g). Finally, by (4) in Proposition 9.7, ( k Rm ) dv (P g ) = k+ Rm g dvg + a k+ R g dvg + lot k (g). g On the other hand, ( k R ) dv (P g ) = ( ( k R) g(p g ) k R g )L g Then by () and (4) of Proposition 9.7, ( ( P g k R g k R g ) k R ) dv (P g ) = ( R g(p g ) k R g + lot )L k (g), g L + k R tr(p g )dv g. 5
since δd(r g g) = R g g + R g (Proposition 9.3) and R g = trδd + Rm (Proposition 9.5), we get: ( k R ) dv (P g ) = ( R g(δ δrm g + aδd(r g g)) + (b a)trδdd DR g ) k R g + lot )L k (g), g by (6) and (7) of Proposition 9.8 and by (8) of Proposition 9.6, ( k R ) dv (P g ) = ( a(n )) ( R g k R g + lot )L k (g), g and finally, by (4) of Proposition 9.7, ( k R ) dv (P g ) = ( a(n )) k+ R g dvg + lot k (g). g Proof of Theorem.5 Let define R k = and k Rm dv + a + k R dv a + (n ) c a = a +(n ). Lemma 6.. There exists C(n, P, k) such that for all integers k 0 Proof. (R k ) g(p g ) + c a R k+ (g) C Rm g k+ R 0(g). (R k ) g(p g ) + c a R k+ (g) = ( c a ) k+ Rm g (a + a) k+ R g + lot k(g) k+ Rm g + lot k(g) C Rm g k+ F Rm(g) by Proposition 9.5 C Rm g k+ R 0(g). Proof of the Theorem. Let define then f k(t) = k j=0 k j=0 c j at j j! f k (t) = k j=0 c j at j R j (g t ), j! ((R j ) g t (P gt ) + c a R j+ (g t )) + ck at k ((R k ) g k! t (P gt ) c j at j C j Rm gt j+ j! R 0(g t ) C Rm gt R 0(g t )( + Rm gt t) k with C = C (n, P, k) C D f k (t)( + Dt) k. 6
It follows that and therefore then (ln f k ) (t) C D ( + Dt) k, ( C D f k (t) f k (0) exp k + ( + Dt)k+), k Rm gt R k(g t ) k! c k at k f k(t) k! ( C c k at k R D 0(g 0 ) exp ( + Dt)k+) k + ( t k F Rm(g 0 ) exp C + C D ( + Dt)k+) k + ( t k F Rm(g 0 ) exp C( + D)( + Dt) k+). 7 Compactness of sets of solutions In order to make a blow-up at a singular time, we will need a compactness result for solutions of our equations. We can have a similar approach to that of Hamilton in [Ham95], consisting in using the derivative estimates on the curvature to apply the following theorem: Theorem 7. (Hamilton, see [Ham95]). Let ( i, g i, x i ) i I be a sequence of pointed complete Riemannian manifolds with uniform C 0 bounds on all the derivatives of the curvature. If the injectivity radius inj xi (g i ) is uniformly bounded from below by a positive constant, we can find a converging subsequence in the pointed C topology. However, as in [Str08], the compulsory use of integral estimates instead of pointwise ones forces us to add a few extra hypotheses. The proof of the following theorem is similar to that of Theorem 7. of [Str08]: Theorem 7.. Let (g i (t), x i ), t ( T, T ) be pointed solutions of E P on a Riemannian manifold. Suppose that the family of metrics (g i (t)) i N,t ( T,T ) has a uniform (in i and t) C 0 bound on curvature and doesn t collapse with bounded curvature. Suppose also that there exists C such that lim t T Rm gi C. Then there exists a subsequence of (, g i (t), x i ) converging in the pointed C topology to a pointed solution (, g (t), x ) of E P. 8 Proofs of the main theorems Proof of Theorem.7 We have to show that if T < and if there exists D < such that Rm (g t ) D for all t in [0; T ), then the family (g t ) collapses with bounded curvature. Suppose that the family does not collapse with bounded curvature. Then by Proposition 5.3, there exists A > 0 and B < such that B A (g t ) B for all t in [0; T ). 7
The estimates (Theorem.5) show that all the derivatives of the curvature have uniform L bounds on [T/, T ): k Rm gt F Rm(g 0 ) ec(+d)(+dt) k+ t k C(n, k, P, T, D)F Rm (g 0 ). Then, by Sobolev inequalities (Proposition 9.), and as k+ Rm C k Rm k+ Rm (Lemma 9.0), this shows that all the derivatives of the curvature have uniform C 0 bounds for the metric g t on [T/, T ): i Rm,gt C i Rm n+ i Rm n k+ n+ H (A) C(n, i, P, T, A, B, D)F Rm (g 0 ), i Rm k n+ H k (A) where k = [ n ] +. Then, by a classical argument, all the metrics g t are equivalent and the solution extends beyond T. This contradicts the maximality of the solution. Proof of Theorem.8 The third case of Theorem.7 cannot occur. Indeed, if the Yamabe invariant is uniformly bounded from below by a positive constant, and if the curvature has a uniform C 0 bound, Proposition 5.6 assures that the family (g t ) doesn t collapse with bounded curvature. Proof of Theorem.9. If the curvature remains uniformly bounded by some constant D along the flow, then by Theorem.8, T =. oreover, as Rm gt C( + Rm ) n 4, Rm gt also remains uniformly bounded. We can now apply the estimates of Theorem.5 to (g t ) t [N,N+), solution of E P (g(n)) where N is a nonnegative integer. It shows that for all t (N, N + ) k Rm gt dvgt F Rm (g(n)) ec (+D)(+(t N)D) k+ (t N) k, then by using the assumption on Rm, for all t [N +, N + ): k Rm gt dvgt C( + D) n 4 e C (+D)(+D) k+. It follows that all the derivatives of the curvature have a uniform L bound on [0, ). Furthermore, by Proposition 5. with p =, there exists A such that B A has a uniform bound. Then the metric doesn t collapse with bounded curvature by Proposition 5.3, and the Sobolev inequality of Proposition 9. shows that the curvature has uniform C k bounds. By compactness theorem 7., we can find a convergent subsequence of every sequence (, g(t i ), x i ).. If lim t T Rmg(t) =, we can choose a sequence (t i ) such that Rm g(ti) = sup Rm g(t), t i T and t t i Rm g(ti). 8
Let define α i = Rmg(ti) and ( g i (t) = α i g t i + t ) αi. Then g i is a solution of E P on [ αi t i, αi (T t i) ). Let choose T > 0. Then for i big enough, g i are solutions of E P on [ T, 0] The curvature of g i (t) is uniformly bounded by, and its Yamabe invariant is uniformly bounded from below by Y 0 (as it is scale invariant). By Proposition 5.6, the family doesn t collapse with bounded curvature. oreover, as Rm gt C( + Rm gt ) n 4, for i big enough Rm gi( T ) ( ( C + Rm α g(ti T i α ) i ) ) n 4 C. Let choose x i such that Rmg(ti)(x i ) = αi. Compactness theorem 7. applies, and shows that a subsequence of (, g i (t), x i ) converges in the pointed C topology to a pointed solution (, g (t), x ). oreover, Rmg (0)(x ) =, so the limit manifold (, g (0)) is not flat. Now, suppose that there exists some p > n such that Rm p g(t) is uniformly bounded. Then Rmgi(0) p = α n p i Rmg(ti) p tends to 0, so g (0) is flat, a contradiction. Proof of Theorem. We will need the following Lemma: Lemma 8.. If (, g) is a complete Riemannian manifold such that inf V ol g(b x ()) > 0, x then is compact if and only if (, g) has finite volume. Proof. If is compact, it has finite volume. Suppose that is not compact and choose x in. We can find a sequence of points (x k ) such that x k is in B x (k + ) B x (k). Then the balls B x3k () are two by two disjoint, and thus V ol g () k 0 V ol g (B x3k ()) =. Proof of the Theorem. We can suppose that F α (g 0 ) < ( α)8π χ(). Indeed, if the equality holds, as t F α (g t ) = F α (g t ) dv gt, either g 0 is a critical point of F α, and the solution of E P (g 0 ) is constant, or the inequality becomes immediately strict for t > 0. Then, F α being decreasing along its gradient flow, the inequality is preserved. Lemma 4.5 shows that Y g(t) Y 0, with Y 0 = ( 3 (( α)8π χ() F α (g 0 ))) > 0. 9