Posted by: matheuscmss | June 10, 2008

The differentiable sphere theorem of Brendle and Schoen

A fundamental problem in Differential Geometry is the following:

Problem. Determine the topology of a given manifold in terms of its geometry.

Of course this problem is vaguely stated, but the following result provides a beautiful example of what a good answer to this problem should be:

Theorem (Sphere theorem). Let M be a compact simply-connected manifold admitting a Riemannian metric whose sectional curvatures K verify

1/4<K\leq 1.

Then, M is homeomorphic to the sphere S^n.

Concerning the statement of this theorem, let us recall that a Riemannian metric whose sectional curvatures satisfy

0<h\leq K\leq 1 (resp. 0<h<K\leq 1)

are called h–pinched (resp. strictly h–pinched). Therefore, the sphere theorem can be reformulated as: ”Any compact, simply-connected, strictly 1/4-pinched manifold is homeomorphic to the sphere”.

The sphere theorem has a long history which can be summarized as follows: in 1951, Rauch showed that compact simply-connected, strictly h-pinched manifold are homeo- morphic to S^n for h\sim 3/4. After that, Klingenberg proved the same result for h\sim 0.55 when the dimension n of M is even and Berger improved Klingenberg’s result to h=1/4 but still assuming that the dimension of M is even. Finally, in 1961, Klingenberg extended Berger’s result to odd dimensions so that the sphere theorem was proved in full generality.

Remark 1. The sphere theorem is false (in even dimensions) if the strictly 1/4-pinching condition is replaced by 1/4-pinching: in fact, the complex projective spaces \mathbb{P}^n(\mathbb{C}) are compact, simply-connected admitting 1/4-pinched metrics but \mathbb{P}^n(\mathbb{C}) is not homeomorphic to S^{2n} (for n>1). However, Berger proved that the complex projective spaces are (morally) the ”unique” type of counter-examples: more preci- sely, any compact simply-connected 1/4-pinched manifold is homeomorphic to the sphere or isometric to a symmetric space.

Remark 2. From Berger’s theorem quoted in the previous remark, it follows that the sphere theorem is true in odd dimensions if the strictly 1/4-pinching is replaced by 1/4-pinching. However, we ignore whether the sphere theorem in odd dimensions can be improved (i.e., 1/4-pinching replaced by h-pinching with 0<h<1/4), although Berger showed that the sphere theorem in even dimensions holds assumung (1-\varepsilon)/4-pinching (for sufficiently small \varepsilon>0).

Remark 3. In two and three dimensions, the sphere theorem holds assuming only strictly zero-pinching, i.e., any compact, simply-connected manifold M^n (n=2,3) with positive sectional curvatures are diffeomorphic (in particular homeomorphic) to the sphere. In fact, the bidimensional case follows from Gauss-Bonnet theorem and the three-dimensional case was proved by R. Hamilton using the Ricci flow (we’ll come back to the application of Hamilton’s Ricci flow to the geometrization of manifolds later).

A quick sketch of the proof of the sphere theorem goes as follows: firstly, one shows that the hypothesis of the sphere theorem implies that the injectivity radius i(M) of M satisfies i(M)\geq\pi (this is the so-called Klingenberg’s injectivity radius estimate). Secondly, one applies this injectivity radius estimate to show that the assumption 1/4<\delta\leq K\leq 1 implies

M = B_{\rho}(p)\cup B_{\rho}(q)

where d(p,q)=\textrm{diam}(M) and \pi/2\sqrt{\delta}<\rho<\pi. In other words, under the hypothesis of the sphere theorem, we can write M as a union of two balls. By well-known arguments in topology, this implies that M is homeomorphic to the sphere.

A natural question related to the statement of the sphere theorem is: can we replace ”homeomorphic” by ”diffeomorphic”?

Remark 4. The previous argument presents M as a union of two balls glued along their common boundary so that M is homeomorphic to S^n. However, it is known from the works of Milnor that there are exotic structures on S^7, i.e., certain manifolds which are homeomorphic to S^7 but not diffeomorphic to S^7. Thus, the ”proof” of the sphere theorem presented here does not allows to obtain a diffeomorphism between M and S^n in general.

The statement of the sphere theorem with the word ”homeomorphic” changed by ”diffeomorphic” is called differentiable sphere theorem:

Differentiable Sphere Theorem. Any compact, simply-connected, strictly 1/4-pinched manifold M^n is diffeomorphic to the sphere S^n.

This theorem was proved assuming h-pinching for h close to 1 by Gromoll and Calabi with h=h(n) (in 1966). After that, in 1971, Sugimoto and Shiohama, Karcher, Ruh proved this result with h independent of n (in fact, h=0.87). Nevertheless, in 1991, Chen proved the differentiable sphere theorem in dimension 4 using the Ricci flow.

Finally, S. Brendle and R. Schoen (2007) proved the differentiable sphere theorem in the general case using the Ricci flow. During the rest of this post, we will describe some important points of Brendle-Schoen’s argument. Roughly speaking, the argument is based on the following two contributions. Firstly, in 1988, Micallef and Moore introduced PDE methods to the sphere theorem so that they gave a proof of this result using the (partial) Morse theory of the energy functional of maps from S^2 to M^n. In doing so, they introduced the important notion of positive isotropic curvature (PIC) and they observed that strict 1/4-pinching implies PIC, so that they could work just with the weaker notion of PIC to get their sphere theorem. Secondly, a recent theorem of Bohm and Wilking (2006) proved that manifolds with positive sectional curvature are space forms using a new method of construction and deformation of ”pinching sets” for an ODE associated to the Ricci flow. Basically, Bohm and Wilking shows that positive 2-curvature is preserved under the Ricci flow and, moreover, this curvature condition can be ”deformed” to the constant sectional curvature condition via a family of pinching cones which are invariant by the action of the Ricci flow.

After this quite vague description of Brendle and Schoen scheme, let us describe the program of this post. In the next section, we recall the definition of Ricci flow and we state the result of proposition 10 of Brendle and Schoen paper, namely, (weakly) PIC is preserved by the Ricci flow. Then, we dedicate the subsequent section to a brief explanation of Bohm and Wilking construction of pinching sets from a given (Ricci flow invariant) curvature condition. Here we take the opportunity to say that we plan to write another post to clarify the powerful method of Bohm and Wilking. Finally, in the last section, we show that the previous results about PIC manifolds implies the differentiable sphere theorem.

–(Weakly) PIC is preserved by the Ricci flow–

We recall that the unnormalized Ricci flow is given by

\frac{\partial}{\partial t}g = -2Ric(g).

Using the method of moving frames, Hamilton proved that the curvature operator R_t:\wedge^2 T_pM\to\wedge^2 T_pM of g_t satisfies

\frac{\partial}{\partial t}R = \Delta R + 2(R^2+R^{\#}) := \Delta R + Q(R)

where R^{\#} = ad\circ (R\wedge R)\circ ad^* and ad:\wedge^2 T_pM\to\mathfrak{so}(T_pM) is the adjoint representation. Here we are identifying \wedge^2 T_pM with \mathfrak{so}(T_pM). In an orthonormal frame we have

Q(R)_{ijkl} = R_{ijpq}R_{klpq}+2R_{ipkq}R_{jplq}-2R_{iplq}R_{jpkq}.

Next, we recall Micallef and Moore’s notion of positive isotropic curvature (PIC): we say that the curvature tensor R has PIC if and only if for any orthonormal 4-frame \{e_1,e_2,e_3,e_4\} it holds

R_{1313}+R_{1414}+R_{2323}+R_{2424}-2R_{1234}>0.

Also, we say that R is weakly PIC if

R_{1313}+R_{1414}+R_{2323}+R_{2424}-2R_{1234}\geq 0.

Remark 5. This condition appears naturally when dealing with the study of the stability of minimal surfaces in Riemannian manifolds. Therefore, the PIC condition is ”two-di- mensional” analogous of the positive sectional curvature condition in the context of the stability of geodesics in Riemannian manifolds. See Micallef and Moore’s paper for mo- re details.

In this context, Brendle and Schoen shows that the weakly PIC condition is preserved by the Ricci flow. To do so, they start with Hamilton’s result saying that it suffices to show that weakly PIC is preserved by the ODE \frac{d}{dt}R=Q(R). Thus, our task is reduced to show the following fact:

Proposition 1 (proposition 10 of Brendle and Schoen). Assume that R(t) is a solution of the ODE \frac{d}{dt}R(t) = Q(R(t)) on the time interval 0\leq t<T. If R(0) has weakly PIC then R(t) has weakly PIC for all t\in [0,T).

Proof. Fix \varepsilon>0 and denote by R_\varepsilon(t) the solution of the ODE

\frac{d}{dt}R_{\varepsilon}(t) = Q(R_{\varepsilon}(t))+\varepsilon I

with initial condition R_\varepsilon(0)=R(0)+\varepsilon I. Observe that R_{\varepsilon}(t) is defined on a time interval t\in [0,T_{\varepsilon} ) such that

T\leq\liminf\limits_{\varepsilon\to 0} T_\varepsilon.

Moreover, for any 0\leq t <T, we have R(t) = \lim\limits_{\varepsilon\to 0} R_\varepsilon(t). Hence, in order to complete the proof of the proposition, it suffices to show that R_\varepsilon(t) has PIC for all 0\leq t<T_\varepsilon. The argument will proceed by contradiction. Assume that there exists t\in [0, T_\varepsilon ) such that R_{\varepsilon}(t) does not have PIC and put

\tau:=\inf\{t\in[0,T_\varepsilon ): R_{\varepsilon}(t) \textrm{ doesn't have } PIC\}.

By definition, \tau>0 and R_{\varepsilon}(\tau) has weakly PIC. Furthermore, there exists an orthonormal 4-frame \{e_1,e_2,e_3,e_4\} such that

R_{\varepsilon}(\tau)_{1313}+R_{\varepsilon}(\tau)_{1414}+R_{\varepsilon}(\tau)_{2323}+ R_{\varepsilon}(\tau)_{2424}-2R_{\varepsilon}(\tau)_{1234}=0.

Using this condition in a clever way (after some calculations), Brendle and Schoen were able to prove that this last identity implies that

\begin{array}{c} Q(R_{\varepsilon}(\tau))_{1313}+Q(R_{\varepsilon}(\tau))_{1414} + Q(R_{\varepsilon}(\tau))_{2323}\\ + Q(R_{\varepsilon}(\tau))_{2424} - 2Q(R_{\varepsilon}(\tau))_{1234} \geq 0 \end{array}.

See the section 2 (and specially the corollary 9) of Brendle and Schoen’s paper. Thus, from the ODE \frac{d}{dt}R_\varepsilon = Q(R_{\varepsilon})+\varepsilon I, we get

\frac{d}{dt}\left(R_{\varepsilon}(t)_{1313}+R_{\varepsilon}(t)_{1414}+R_{\varepsilon}(t)_{2323}+ R_{\varepsilon}(t)_{2424}-2R_{\varepsilon}(t)_{1234}\right)|_{t=\tau}\geq 4\varepsilon>0.

Hence, we conclude that there exists a time 0\leq t<\tau so that

R_{\varepsilon}(t)_{1313}+R_{\varepsilon}(t)_{1414}+R_{\varepsilon}(t)_{2323}+ R_{\varepsilon}(t)_{2424}-2R_{\varepsilon}(t)_{1234}<0,

a contradiction with the fact that R_\varepsilon(t) has PIC for all 0\leq t<\tau. This completes the proof of the proposition. \square

Once we know that the (weakly) PIC condition is invariant under the Ricci flow, we turn to a quick description of Bohm and Wilking construction of pinching sets.

–Bohm and Wilking pinching cones–

To avoid certain unpleasant analytical technicalities, we will not work directly work with the PIC condition on the manifold M but instead we consider the PIC condition on M\times \mathbb{R}^2. More precisely, given a curvature operator R on \mathbb{R}^n, we denote by \hat{R} the curvature operator on \mathbb{R}^n\times\mathbb{R}^2 given by

\hat{R}(u,v,x,y) = R(\pi(u),\pi(v),\pi(x),\pi(y))

where \pi:\mathbb{R}^n\times\mathbb{R}^2\to\mathbb{R}^n stands for the canonical projection. We consider

\hat{C}:=\{R: \hat{R} \textrm{ has weakly PIC}\}.

Some elementary properties of \hat{C} are listed below:

Lemma 1. It holds

  1. every curvature operator R\in\hat{C} has non-negative sectional curvature;
  2. any non-negative curvature operator R lies in \hat{C};
  3. any positive curvature operator R lies in the interior \textrm{int}(\hat{C}) of \hat{C}.

Proof. For the proof of item 1, take R\in\hat{C} and \{e_1,e_2\} an orthonormal 2-frame of \mathbb{R}^n. We can extend this 2-frame to a 4-frame \{\hat{e}_1,\hat{e}_2,\hat{e}_3,\hat{e}_4\} of \mathbb{R}^n\times\mathbb{R}^2 such that \pi(\hat{e}_1)=e_1, \pi(\hat{e}_2)=0, \pi(\hat{e}_3)=e_2 and \pi(\hat{e}_4)=0. The weakly PIC condition on \hat{R} applied to this 4-frame means that

0\leq \hat{R}_{1313}+\hat{R}_{1414}+\hat{R}_{2323}+\hat{R}_{2424}-2\hat{R}_{1234} = R(e_1,e_2,e_1,e_2).

It follows that R has non-negative sectional curvature, so that the item 1 is proved.

Next, we show the item 2: given R a non-negative curvature operator on \mathbb{R}^n, we have that \hat{R} is non-negative curvature operator. In particular, \hat{R} has weakly PIC, i.e., R\in\hat{C}.

Finally, item 3 is a direct consequence of item 2. \square

The properties of the cone \hat{C} stated in lemma 1 allows to the application of the powerful method of Bohm and Wilking. To explain how this technique works, we need the concept of pinching families of cones of curvature operators:

Definition 1. A continuous family \{\hat{C}(s)\}_{s\in[0,1)} of closed convex O(n)-invariant cones (with non-empty interior) of curvature operators is called a pinching family whenever:

  • any R\in\hat{C}(s)-\{0\} has positive scalar curvature,
  • Q(R) is contained in the interior of the tangent cone T_R\hat{C}(s) of \hat{C}(s) at R for all R\in \hat{C}(s)-\{0\} and s\in (0,1),
  • C(s) converges (in the Hausdorff topology) to the one-dimensional cone \mathbb{R}^+\cdot I containing the sphere curvature operator I.

The basic motivation for the introduction of this notion becomes more clear from the following theorem:

Theorem 1 (theorem 5.1 of Bohm and Wilking). Let \{\hat{C}(s)\}_{s\in[0,1)} be a pinching family and (M,g) be a Riemannian manifold whose curvature operator R=R(g) belongs to the cone \hat{C}(0). Then, the normalized Ricci flow g(t) starting at g(0)=g exists for all t\in [0,\infty) and g(t) converges to a metric g_{\infty} of constant sectional curvature.

Let us point out that the statement of this theorem is somewhat natural (although it is far from trivial): indeed, from the results of R. Hamilton, we know that it suffices to study the ODE \frac{d}{dt}R = Q(R) in order to get good properties of the Ricci flow. On the other hand, in the definition of pinching family, we require that the vector field Q(R) (associated to this ODE) stays inside the interior of our family of cones. In particular, if one start with a curvature operator R inside the initial cone \hat{C}(0), it is reasonable to expect that the evolution of the ODE points towards the interior of the cones \hat{C}(s), so that we are going to see the Ricci flow converging to the one-dimensional cone \mathbb{R}^+\cdot I (by the third item of definition 1) which is exactly the cone of curvature operators with constant sectional curvature. Of course, there are plenty of details to be checked in this program (of Bohm and Wilking). We plan to discuss this beautiful theorem in a future post. For the moment being, we will assume this result and go back to the discussion of the differentiable sphere theorem.

In view of the theorem 1 of Bohm and Wilking and the properties of the cone \hat{C} stated in lemma 1 and proposition 1, a natural strategy to settle the differentiable sphere theorem involves the construction of a pinching family \hat{C}(s), s\in [0,1) starting at \hat{C}(0)=\hat{C} (since we know that any manifold carrying a metric of positive sectional curvature is diffeomorphic to the sphere). It turns out that this is the situtation as the following result shows:

Theorem 2 (Brendle and Schoen, section 3). There exists a pinching family \hat{C}(s), s\in [0,1) starting at \hat{C}(0)=\hat{C}.

This result corresponds to the propositions 12, 13 and 14 of Brendle and Schoen paper. The idea of the proof of this theorem is essentially contained in Bohm and Wilking article and it can be quickly described as follows: firstly one consider a suitably defined family of linear transformations l_{a,b} on the space of curvature operators connecting a given curvature operator R to the sphere curvature operator I. More precisely,

l_{a,b}(R) = R + 2b Ric\wedge id + 2\frac{(a-b)}{n}scal\cdot id\wedge id

where Ric is the Ricci tensor and scal is the scalar curvature of R. The form of l_{a,b} is designed so that the pullback l_{a,b}^{-1}(Q(l_{a,b}(R))) of the vector field Q(R) by l_{a,b} differs from Q(R) only by a certain operator depending only on the Ricci tensor. Since the Ricci tensor is known to be ”well-behaved” under the Ricci flow, there is some hope that a well-chosen subfamily \hat{C}(s) of l_{a,b}(\hat{C}) is a pinching family. Due to limitations of space, we will not detail this idea but we refer to section 3 of Brendle and Schoen paper for a more elucidative discussion (and also our future post about the results of Bohm and Wilking). Anyway, we will indicate below the explicit pinching family of cones containing \hat{C}(s) in terms of l_{a,b}:

\hat{C}(s) = \{l_{a(s),b(s)}(\hat{C}): R\in\hat{C} \textrm{ and } Ric\geq \frac{p(s)}{n}scal\},

where

a(s)=\begin{cases}\frac{2s+(n-2)s^2}{2(1+(n-2)s^2)} & \textrm{ if } 0<s\leq 1/2, \\ s & \textrm{ if } s>1/2\end{cases}, b(s) = \begin{cases}s & \textrm{ if } 0<s\leq 1/2, \\ 1/2 & \textrm{ if } s>1/2\end{cases}

and

p(s)=\begin{cases}1-\frac{1}{1+(n-2)s^2} & \textrm{ if } 0<s\leq 1/2, \\ 1- \frac{4}{n-2+8s} & \textrm{ if } s>1/2\end{cases}.

Again, this specific choice of parameters a(s), b(s) can be explained by the analysis of the eigenvalues of the difference of the l_{a,b}-pullback of Q(R) and itself (in order to eliminate the Weyl part of this operator) but we will postpone this discussion for a future post.

Combining the theorem 1 of Bohm and Wilking with the theorem 2 of Brendle and Schoen, we obtain

Theorem 3 (theorem 17 of Brendle and Schoen). Let (M,g) be a compact Riemannian manifold such that the curvature tensor R of g belongs to the interior \textrm{int}(\hat{C}) of the cone \hat{C}. Then, the normalized Ricci flow g(t) starting at g_0 converges to a metric of (positive) constant sectional curvature when t\to\infty.

At this point, we are able to apply this theorem (after some linear algebra) to complete the proof of the differentiable sphere theorem. This will be performed in the next section.

–End of the proof of the Differentiable Sphere Theorem–

We start with a linear algebra lemma:

Lemma 2 (lemma 19 of Brendle and Schoen). Let \{\hat{e}_1,\hat{e}_2,\hat{e}_3,\hat{e_4}\} be an orthonormal 4-frame in \mathbb{R}^n\times\mathbb{R}^2. Then, there exists an orthonormal 4-frame \{e_1,e_2,e_3,e_4\} in \mathbb{R}^n and real numbers a_1,a_2,b_1,b_2,\theta with a_1a_2=b_1b_2 such that

\begin{array}{c}\cos\theta (\pi(\hat{e}_1)\wedge\pi(\hat{e}_3) + \pi(\hat{e}_4)\wedge\pi(\hat{e}_2)) \\+ \sin\theta (\pi(\hat{e}_1)\wedge\pi(\hat{e}_4) + \pi(\hat{e}_2)\wedge\pi(\hat{e}_3)) \\ = a_1 e_1\wedge e_3 + a_2 e_4\wedge e_2\end{array}

and

\begin{array}{c}\cos\theta (\pi(\hat{e}_1)\wedge\pi(\hat{e}_4) + \pi(\hat{e}_2)\wedge\pi(\hat{e}_3)) \\-\sin\theta (\pi(\hat{e}_1)\wedge\pi(\hat{e}_3) + \pi(\hat{e}_4)\wedge\pi(\hat{e}_2)) \\ = b_1 e_1\wedge e_3 + b_2 e_4\wedge e_2\end{array}

We refer the reader to the Brendle and Schoen article for the short proof of this result. Using this lemma, we can charactize the weakly PIC condition for \hat{R} in the following way:

Proposition 3 (proposition 20 of Brendle and Schoen). Let R be a curvature operator on \mathbb{R}^n and denote by \hat{R} be the induced curvature operator on \mathbb{R}^n\times\mathbb{R}^2. The following two properties are equivalent:

  1. \hat{R} has weakly PIC.
  2. R(\phi,\phi)+R(\psi,\psi)\geq 0 for any two bi-vectors \phi,\psi of the form \phi = a_1 e_1\wedge e_3 + a_2 e_4\wedge e_2, \psi = b_1 e_1\wedge e_3 + b_2 e_4\wedge e_2 where \{e_1,e_2,e_3,e_4\} is an orthornomal 4-frame and $a_1a_2=b_1b_2$.

Proof. Assume that \hat{R} has weakly PIC. Given \phi,\psi of the form described in item 2, we may suppose (without loss of generality) that \max\{a_1^2,a_2^2,b_1^2,b_2^2\}=b_2^2 and b_2=1. We define

\hat{e}_1 = (a_1e_1, \sqrt{1-a_1^2},0) \quad \quad \hat{e}_2=(e_2,0,0)

\hat{e}_3=(e_3,0,0) \quad \quad \hat{e}_4 = (a_2e_4,0,\sqrt{1-a_2^2}).

It is not hard to check that \{\hat{e}_1,\hat{e}_2,\hat{e}_3,\hat{e}_4\} is an orthonormal 4-frame in \mathbb{R}^n\times\mathbb{R}^2. Using the assumptions $a_1a_2=b_1b_2=b_1$ one gets

\phi = \pi(\hat{e}_1)\wedge\pi(\hat{e}_3) + \pi(\hat{e}_4)\wedge\pi(\hat{e}_2),

\psi=\pi(\hat{e}_1)\wedge\pi(\hat{e}_4) + \pi(\hat{e}_2)\wedge\pi(\hat{e}_3).

Since \hat{R} has weakly PIC, we obtain

\begin{array}{c} 0\leq \hat{R}(\hat{e}_1,\hat{e}_3,\hat{e}_1,\hat{e}_3) + \hat{R}(\hat{e}_1,\hat{e}_4,\hat{e}_1,\hat{e}_4) \\ \hat{R}(\hat{e}_2,\hat{e}_3,\hat{e}_2,\hat{e}_3)+\hat{R}(\hat{e}_2,\hat{e}_4,\hat{e}_2,\hat{e}_4) -2\hat{R}(\hat{e}_1,\hat{e}_2,\hat{e}_3,\hat{e}_4) \\ = R(\phi,\phi)+R(\psi,\psi)\end{array}.

This proves that item 1 implies item 2.

Conversely, assuming the validity of item 2, we take \{\hat{e}_1,\hat{e}_2,\hat{e}_3,\hat{e}_4\} an orthonormal 4-frame in \mathbb{R}^n\times\mathbb{R}^2. By the lemma 2, one can find a orthonormal 4-frame \{e_1,e_2,e_3,e_4\} in \mathbb{R}^n and real numbers a_1,a_2,b_1,b_2,\theta such that a_1a_2=b_1b_2,

\begin{array}{c}\cos\theta (\pi(\hat{e}_1)\wedge\pi(\hat{e}_3) + \pi(\hat{e}_4)\wedge\pi(\hat{e}_2)) \\+ \sin\theta (\pi(\hat{e}_1)\wedge\pi(\hat{e}_4) + \pi(\hat{e}_2)\wedge\pi(\hat{e}_3)) \\ = a_1 e_1\wedge e_3 + a_2 e_4\wedge e_2\end{array}

and

\begin{array}{c}\cos\theta (\pi(\hat{e}_1)\wedge\pi(\hat{e}_4) + \pi(\hat{e}_2)\wedge\pi(\hat{e}_3)) \\-\sin\theta (\pi(\hat{e}_1)\wedge\pi(\hat{e}_3) + \pi(\hat{e}_4)\wedge\pi(\hat{e}_2)) \\ = b_1 e_1\wedge e_3 + b_2 e_4\wedge e_2\end{array}.

Hence, if we put

\phi = a_1 e_1\wedge e_3 + a_2 e_4\wedge e_2,

\psi = b_1 e_1\wedge e_3 + b_2 e_4\wedge e_2,

we conclude that (from the assumption of item 2)

\begin{array}{c} \hat{R}(\hat{e}_1,\hat{e}_3,\hat{e}_1,\hat{e}_3) + \hat{R}(\hat{e}_1,\hat{e}_4,\hat{e}_1,\hat{e}_4) \\ \hat{R}(\hat{e}_2,\hat{e}_3,\hat{e}_2,\hat{e}_3)+\hat{R}(\hat{e}_2,\hat{e}_4,\hat{e}_2,\hat{e}_4) -2\hat{R}(\hat{e}_1,\hat{e}_2,\hat{e}_3,\hat{e}_4) \\ = R(\phi,\phi)+R(\psi,\psi)\geq 0\end{array}.

This shows that item 2 implies item 1 so that the proof is complete. \square

This particular characterization of weakly PIC for \hat{R} allows us to show that strictly 1/4-pinched metrics belongs to the interior of the cone \hat{C} (of curvature operators R such that \hat{R} has weakly PIC):

Corollary 1. Assume that the sectional curvatures of R are 1/4-pinched (resp. strictly 1/4-pinched). Then, \hat{R} has weakly PIC (resp. PIC).

Proof. From the previous proposition, it suffices to prove that R(\phi,\phi)+R(\psi,\psi)\geq 0 for any two bi-vectors \phi,\psi of the form described in item 2 of this proposition. Using the fact a_1a_2 = b_1b_2 and the first Bianchi identity, we get

\begin{array}{l} R(\phi,\phi)+R(\psi,\psi) = \\ a_1^2 R_{1313}+ a_2^2 R_{2424} + b_1^2 R_{1414} + b_2^2 R_{2323} + 2a_1a_2R_{1342}+2b_1b_2R_{1423} = \\ a_1^2 R_{1313}+ a_2^2 R_{2424} + b_1^2 R_{1414} + b_2^2 R_{2323} + (a_1a_2+b_1b_2)(R_{1342}+R_{1423}) = \\ a_1^2 R_{1313}+ a_2^2 R_{2424} + b_1^2 R_{1414} + b_2^2 R_{2323} - (a_1a_2+b_1b_2)R_{1234} .\end{array}

At this point, we recall Berger’s inequality for pinched curvature operator:

|R(e_1,e_2,e_3,e_4)|=|R_{1234}|\leq \frac{2}{3}(|R_{max}|- |R_{min}|).

For a short proof of this inequality, see the paper of Karcher. Applying Berger’s estimate to the previous identity, we get

\begin{array}{l}R(\phi,\phi)+R(\psi,\psi) \geq a_1^2+a_2^2+b_1^2+b_2^2-2|a_1a_2+b_1b_2|\\ \geq (|a_1|-|a_2|)^2 + (|b_1|-|b_2|)^2\geq 0\end{array}.

This ends the proof of the corollary. \square

At this stage, the reader surely noticed that the proof of the differentiable sphere theorem is complete. Indeed, from the corollary 1, any strictly 1/4-pinched metric possesses a curvature operator R satisfying \hat{R}\in\textrm{int}(\hat{C}). Thus, from theorem 3, we know that the Ricci flow of any such metric converges to a round metric (i.e., a metric with (positive) constant sectional curvature). In particular, since we are assuming that M is simply-connected, it follows that M is diffeomorphic to the sphere.

Closing this post, let me point out Brendle and Schoen refined their technique to include the classification of the topology of 1/4-pinched metrics (and not just strictly 1/4-pinched spaces). Namely, they strenght Berger’s result (quoted in remark 2 above) from ”homeomorphic” to ”diffeomorphic”: any 1/4-pinched manifold is diffeomorphic to the sphere or it is isometric to a symmetric space (e.g., complex projective spaces). The curious reader can find more information about this result in the Brendle and Schoen paper ”Classification of manifolds with 1/4-pinched curvatures”.

That’s all folks! See you again soon (perhaps in the discussion of Bohm and Wilking paper)!

[Update – July 14, 2008: Peter Petersen and Terence Tao recently posted in the arxiv the paper ”Classification of Almost Quarter-Pinched Manifolds” where they employ the techniques of S. Brendle and R. Schoen to show that, for any dimension n, there exists a constant \varepsilon=\varepsilon(n)>0 such that every compact simply-connected n-manifold with a (\frac{1}{4}-\varepsilon)-pinched metric is diffeomorphic to a sphere or a (rank 1) symmetric space. This theorem improves some previous results of Berger, Abresch and Meyer where the same statement is proved with the word ”diffeomorphic” replaced by ”homeomorphic” and it covers some cases not studied by Brendle and Schoen.]

Posted in expository, math.DG, Mathematics | Tags: , , , , ,

«
»

Leave a comment

This site uses Akismet to reduce spam. Learn how your comment data is processed.

Categories