arXiv:0807.1900v1 [math.DG] 11 Jul 2008 hnoecudfidasqec fsml connected simply of sequence a find could one Then ial ti ot etoigta hr sa es n xml fa exo an of example [14].) one ma least (see limit at curvature for is sectional there candidates positive that the with mentioning what worth is understand it to Finally [6] in classification the (CROSS). space symmetric one rank compact or sphere a to phic a hspoet sntpeevdb ic o) u hyd have do they but of flow), factor a Ricci qua add necessarily by we flo not preserved Ricci are when not a curvatures These get is isotropic we time. property limit positive this the for in (as metrics that Ricc show nice co the and have use apply sequence we man to we the way in on Instead manifolds obvious curvatures tensors. the no curvature isotropic is defined about there weakly information have that str get is similar difficulty to a that curvatures the seem 1.1; not does Theorem It qua for weakly theory. was comparison then that re of limit his sense manifolds, a the prove to quarter-pinched To passed he almost direction.) theory compactness this of Gromov in sequence results a other for considered [9] also (see CROSS xtcshrswihaeams ure ice.Mr rcsl,w the precisely, that More show 1.1. to pinched. Theorem is quarter goal almost main are The which manif [2]. spheres quarter-pinched [3], exotic almost in about Abresch-Meyer results and Berger older some sharpen to on n[3 n iial o eut nteRciFo n[]ad[8]. and [7] in Flow Ricci the on results for similarly and [13] in found ocuinthat conclusion imninmanifold Riemannian usint u teto.Tescn uhri upre yNSF by supported Foundation. is Macarthur the author from second grant The a and attention. 0649473 our to question h olo hsppri ouetenwrslso rnl n Schoe and Brendle of results new the use to is paper this of goal The sueb otaito htTerm11fie nsm xddimensio fixed some in failed 1.1 Theorem that contradiction by Assume referenc specifically not are which geometry Riemannian in results All w the with but dimensions, even in result this established Berger [3], In h rtato ol iet hn rdrc ihl o rnigtea the bringing for Wilhelm Frederick thank to like would author first The LSIIAINO LOTQUARTER-PINCHED ALMOST OF CLASSIFICATION ice hni sdffoopi oaCOSo sphere. or CROSS a to diffeomorphic is it then pinched Abstract. hr exist There M eso hti ipycnetdmnfl sams quarter almost is manifold connected simply a if that show We a either was EE EESNADTRNETAO TERENCE AND PETERSEN PETER ( ,g M, 2. ) ε ihscinlcraue in curvatures sectional with ro fTerm1.1 Theorem of Proof ( n homeomorphic 1. ) MANIFOLDS > Introduction 0 ota n ipyconnected simply any that so 1 R oashr rdffoopi oa to diffeomorphic or sphere a to 2 otemti.Tu ecnuse can we Thus metric. the to n dmninlRiemannian -dimensional [1 / 4 − ε, tg ol work would ategy o oec of each to flow i flsta only that ifolds lssuidby studied olds 1] prove e sn Cheeger- using trpnhdin rter-pinched n -dimensional sdiffeomor- is rter-pinched rn DMS- grant nonnegative ut Berger sult, iod are. nifolds n[] [6] [5], in n ecntbe can’t re i sphere tic dcnbe can ed mparison where w eaker bove n n . 2 PETERPETERSENANDTERENCETAO manifolds (Mi,gi) such that 1/4 − 1/i ≤ sec ≤ 1, and such that none of the Mi were diffeomorphic to a sphere or a CROSS. In even dimensions it is a classical result of Klingenberg that such manifolds have injectivity radius ≥ π. In odd dimensions this is far more subtle and was settled by Abresch and Meyer in [1]. The fact that there is a uniform lower bound for the sectional curvature shows that the diameter is also bounded, by Myers’ theorem. Finally, the sectional curvature bounds imply that the curvature tensors of gi are uniformly bounded. By the standard local existence theory for Ricci flow ([10], [11], and [7]), we can thus run the Ricci flow for a fixed amount of time [0,t0] for each of these metrics (Mi,gi), with the curvature tensor uniformly bounded in i on this time interval. Putting all this together, we obtain a family of Ricci flows (Mi,gi (t) ,t ∈ [0,t0]) with uniformly bounded geometry. Hamilton’s extension of the Cheeger-Gromov compactness theorem then guarantees us that some subsequence converges to a 1,α Ricci flow (M,g (t) ,t ∈ [0,t0]) ([12] and [8].); the convergence is only in the C , ∞ α< 1 sense at time t = 0, but is in the C sense for 0
∂tT = ∆T + φ (T ) on tensors T and a continuous, compact, and convex condition X on the tensors T that is also invariant under the natural O (n) action induced on tensors and future invariant under the ODE ∂tT = φ (T ). Hamilton shows that X is then also invariant under the heat flow by showing that if a solution to the heat flow starts out at some distant ε> 0 from X, then at time t it’ll be at most distance ε exp(Ct) away from X. Here C depends on the set X and φ. The condition X is rarely compact in applications, but this can easily be finessed by modifying the PDE and ODE, as we shall now discuss. In our situation we are considering the evolution of ALMOSTQUARTER-PINCHEDMANIFOLDS 3 the curvature tensor 2 # ∂tR = ∆R + R + R under the Ricci flow. Initially the curvature tensor is bounded by some fixed con- stant K1 that depends only on pinching constants and dimension. This shows that the flow exists on some fixed time interval [0,t0] and that the curvature tensors are bounded by some other controlled constant K2 on this interval. If we have a contin- uous, convex, O (n) , and future ODE invariant condition X, then we can intersect it with the compact, convex, and O (n) invariant set: |R| ≤ K, where K >K2. 2 # Next we modify the vector field φ (R) = R + R outside the region |R| ≤ K2 to 2 # make the new condition invariant under the ODE ∂tR = R + R . As long as we only consider initial conditions where the curvature is bounded by K1 the solutions will not be affected by these changes. ∞ Finally we can now use that for t> 0 the metrics gi (t) converge to g (t) in the C topology to see that the limit metrics g (t) have nonnegative isotropic curvatures on M × R2, as desired. The proof of Theorem 1.1 is now complete. References
[1] U. Abresch and W.T. Meyer, Pinching below 1/4, injectivity radius, and conjugate radius. J. Differential Geom. 40 (1994), no. 3, 643–691. [2] U. Abresch and W.T. Meyer, A sphere theorem with a pinching constant below 1/4. J. Dif- ferential Geom. 44 (1996), no. 2, 214–261. [3] M. Berger, Sur les vari´et´es riemanniennes pinc´ees juste au-dessous de 1/4. Ann. Inst. Fourier (Grenoble) 33 (1983), no. 2, 135–150. [4] C. B¨ohm and B. Wilking. Manifolds with positive curvature operators are space forms. To appear in Ann. of Math. arXiv:math.DG/0606187. [5] S. Brendle and R. Schoen, Manifolds with 1/4-pinched Curvature are Space Forms, arXiv: math.DG/0705.076 [6] S. Brendle and R. Schoen, Classification of manifolds with weakly 1/4-pinched curvatures. arXiv: math.DG/0705.3963. To appear in Acta Math. [7] B. Chow and D. Knopf. The Ricci flow: an introduction. Mathematical Surveys and Mono- graphs, vol. 110, AMS, Providence, RI, 2004. [8] B. Chow, P. Lu, and L. Ni. Hamilton’s Ricci flow. Graduate studies in Mathematics, AMS, Providence, RI, 2006. [9] O. Durumeric, A generalization of Berger’s theorem on almost 1/4-pinched manifolds. II. J. Differential Geom. 26 (1987), no. 1, 101–139. [10] R. Hamilton. Three-manifolds with positive Ricci curvature. J. Diff. Geom. 17(1982), 255- 306. [11] R. Hamilton. Four-manifolds with positive curvature operator. J. Diff. Geom. 24(1986), no. 2, 153-179 [12] R. Hamilton. The Formation of Singularities in the Ricci Flow. Surveys in Differential Ge- ometry, Vol 2. (Cambridge, MA, 1993), Int. Press, Cambridge, MA, 1995, 7-136. [13] P. Petersen, Riemannian Geometry 2 nd Ed, New York, Springer Verlag, 2006. [14] P. Petersen and F. Wilhelm, An exotic sphere with positive sectional curvature, arXiv:math.DG/0805.0812 [15] X. Rong, On the fundamental groups of manifolds of positive sectional curvature. Ann. of Math. (2) 143 (1996), no. 2, 397–411.
520 Portola Plaza, Dept of Math UCLA, Los Angeles, CA 90095 E-mail address: [email protected] URL: http://www.math.ucla.edu/~petersen
E-mail address: [email protected] URL: http://www.math.ucla.edu/~tao