Posted by: matheuscmss | December 2, 2012

Deformation of positive scalar curvature metrics in 3-manifolds (after Fernando Coda Marques)

The study of Riemannian manifolds with positive (scalar, Ricci and/or sectional) curvature is a vast and relatively old subject Differential Geometry. Among one of the classical (old) results in this area, one has the following theorem proved by H. Weyl in 1916:

Theorem 1 Let {g} be a metric on {S^2} with positive Gaussian curvature. Then, there exists a continuous path {(g_{\mu})_{\mu\in[0,1]}} of metrics on {S^2} with positive Gaussian curvature such that {g_0=g} and {g_1} is a round metric, i.e., {g_1} has constant Gaussian curvature.

Historically, one of the motivations of this theorem was to try to use {(g_{\mu})_{\mu\in[0,1]}} to construct an isometric immersion of {(S^2,g_0)} in {\mathbb{R}^3} via a sort of continuity method.

In fact, the proof of Weyl’s theorem is not especially long assuming the so-called uniformization theorem.

Proof: By the uniformization theorem, one knows that there exists a round metric {\overline{g}} in the conformal class of {g}, i.e., {\overline{g}} is a round metric of the form {\overline{g}=e^{2f}g}.

On the other hand, a direct computation reveals that

\displaystyle K_{e^{2\phi}}=e^{-2\phi}(K_g-\Delta_g\phi)

where {K_h} denotes the Gaussian curvature of the metric {h} and {\Delta_g} is the Laplace-Beltrami operator associated to {g}.

In particular, it follows that {g_{\mu}=e^{2\mu f}g}, {\mu\in[0,1]}, is a continuous path of metrics of positive Gaussian curvature on {S^2} such that {g_0=g} and {g_1=\overline{g}} is a round metric. \Box

Remark 1 Note that H. Weyl’s theorem implies that the space {\mathcal{R}_+(S^2)} of metrics of positive Gaussian curvature on {S^2} is path-connected. Actually, as it was shown by J. Rosenberg and S. Stolz, the space {\mathcal{R}_+(S^2)} is contractible.

In this post, we’ll be interested in the natural question of generalizing Weyl’s theorem to higher dimensions. Here, it is worth to point out that a naive (straightforward) extension of Weyl’s argument is simply not going to work because, in general, there is no analog of the uniformization theorem in higher dimensions (see, e.g., this discussion in MathOverflow of the 4-dimensional case).

During this post, we will use the following notations. Given a compact orientable manifold {M}, we will denote by {\mathcal{R}_+(M)} the set of Riemannian metrics on {M} with positive scalar curvature (psc for short), and by {\mathcal{R}_+(M)/\textrm{Diff}(M)} the moduli space of psc (positive scalar curvature) metrics on {M}. In simple terms, the moduli space {\mathcal{R}_+(M)/\textrm{Diff}(M)} is the set of psc (positive scalar curvature) metrics modulo isometries.

Just to give a flavor on how delicate it might be to generalize Weyl’s theorem to higher dimensions, let us mention that, after the works of N. Hitchin, R. Carr, M. Gromov and B. Lawson (see here and here), M. Kreck and S. Stolz, it is known that the moduli space of psc metrics on spin manifolds might be disconnected. For instance:

Theorem 2 (M. Kreck and S. Stolz) For {k\geq 2}, the moduli space\displaystyle \mathcal{R}_+(S^{4k-1})/\textrm{Diff}(S^{4k-1})

has infinitely many connected components.

This result says that, starting by the {7}-dimensional sphere {S^7}, one has several higher-dimensional spheres supporting lots of “exotic metrics of positive scalar curvature” (in the sense that these metrics are not in the connected component of the standard round metric). Very roughly speaking, the basic idea behind this theorem is the fact that the obstructions for two metrics of positive scalar curvature to belong to the same connected component come from spin geometry or, more precisely, from the index theory of the Dirac operator.

The goal of the post is the discussion of a result of Fernando Codá Marques saying that Weyl’s theorem admits a nice generalization in not-so-high dimensions. More precisely, in this paper here, Fernando shows that:

Theorem 3 (F. C. Marques) Let {M^3} be a compact orientable {3}-manifold such that {\mathcal{R}_+(M^3)\neq\emptyset}. Then, the moduli space {\mathcal{R}_+(M)/\textrm{Diff}(M)} of {\mathcal{R}_+(M)} is path-connected.

In this post, we will closely follow the original article of Fernando to outline (in the next sections) a proof of this theorem based on G. Perelman’s Ricci flow with surgery and the conformal method.

Remark 2 If I remember correctly, Fernando first heard about the statement of his theorem as a question during some lectures given by Richard Schoen in 2006.

Let us mention that, by putting together his Theorem 3 with a theorem of J. Cerf ensuring that {\textrm{Diff}(S^3)} is path-connected (and, furthermore, its homotopy type is known after this work of A. Hatcher, Fernando gets the following corollary:

Corollary 4 (F. C. Marques) The space {\mathcal{R}_+(S^3)} of positive scalar curvature metrics on the {3}-sphere {S^3} is path-connected.

Remark 3 In Section 9 of his article, Fernando gives an application of this corollary to General Relativity, but we will not discuss today this aspect of Fernando’s paper.

Closing this introduction, let us make the following useful definition/notation (for later use):

Definition 5 We say that two psc metrics {g} and {h} are isotopic, {g\sim h}, if they can be connected through a continuous path in {\mathcal{R}_+(M)}, i.e., there is a continuous path\displaystyle [0,1]\ni t\mapsto g(t)\in\mathcal{R}_+(M)

with {g(0)=g} and {g(1)=h}.

1. Ricci flow with surgery

The basic idea behind Theorem 3 is very simple: we’ll try to connect a psc metric {g} to some canonical (“model”) metrics.

In {3} dimensions, the prototypical situation where this idea was successfully used is R. Hamilton’s 1982 theorem saying that, given a compact {3}-manifold {M^3} with a metric {g_0} with positive Ricci curvature, if one looks at the solution {g(t)} of the so-called Ricci flow

\displaystyle \partial g/\partial t=-2\textrm{Ric}_g, \quad g(0)=g_0,

then the metrics {g(t)} have positive Ricci curvature and, furthermore, certain rescalings {\widetilde{g}(t)} of {g(t)} (corresponding to the solution of the so-called normalized Ricci flow) converge to a round (constant sectional curvature metric) metric {g_{\infty}}. In particular, it follows that the moduli space of positive Ricci curvature metrics on {M^3} is path-connected (and, actually, contractible). Moreover, since {S^3} is the unique simply connected {3}-manifold admitting a metric with positive sectional curvature, we have that {M^3=S^3/\Gamma} where {\Gamma} is a discrete group of isometries of a round metric on {S^3}.

In other terms, in the case of quotients of the sphere {M^3=S^3/\Gamma}, the round metrics are canonical metrics, and all other metrics with positive Ricci curvature can be connected to these canonical metrics.

In general, we want to repeat this strategy for general psc metrics in general compact {3}-manifolds. Of course, the first difficulty we encounter is the fact that, for an arbitrary {3}-manifold, the notion of canonical/model metric is vague, even though, for example, one is certainly willing to say that metrics enjoying some kinds of symmetries (such as the round metrics on {S^3}) are canonical metrics. Since the notion of symmetry is sensitive to the underlying manifold {M^3}, it is a good idea to start our considerations by the following question:

What are the orientable {3}-manifolds {M^3} admitting a psc metric (or, equivalently, such that {\mathcal{R}_+(M^3)\neq\emptyset})?

The answer to this question was given by G. Perelman using his Ricci flow with surgery and his description of the singularities developed by this flow. Since the Ricci flow with surgery is a crucial tool for the proof of Theorem 3, we will briefly revisit some of its features in the next subsection.

Disclaimer. Our discussion of the Ricci flow with surgery will be very informal. In particular, if the reader wishes to consult more responsible sources/expositions about this flow (with plenty of details), we recommend consulting the book of J. Morgan and G. Tian, this paper of B. Kleiner J. Lott, and/or these lecture notes of Terence Tao.

1.1. Ricci flow with surgery I

The existence of short-time solutions {g(t)} of the Ricci flow {\partial g/\partial t=-2\textrm{Ric}_g} was proved by R. Hamilton in his 1982 paper quoted above. However, as Hamilton’s theorem on metrics with positive Ricci curvature hints, it is usually interesting to know whether the Ricci flow has long-time solutions in order to be able to connect a given metric {g_0} to a canonical metric {g_{\infty}}. In the context of positive Ricci curvature, the existence of long-time solutions was proved by R. Hamilton’s 1982 paper, but, in the setting of psc metrics, it was known among the experts that the Ricci flow could become extinct or develop singularities in finite time.

More concretely, it is known that the the scalar curvatures {R_{g(t)}} of a solution {g(t)} of the Ricci flow on a {n}-dimensional manifold {M^n}, {n\geq 3}, satisfy the following evolution equation:

\displaystyle \partial R_{g(t)}/\partial t = \Delta_{g(t)} R_{g(t)} + 2 |\textrm{Ric}_{g(t)}|^2_{g(t)}

In particular, since {2 |\textrm{Ric}_{g(t)}|^2_{g(t)}\geq 0}, one can applies the maximum principle to deduce that, if {R_{g(0)}>0} (i.e., {g(0)} is psc), then {R_{g(t)}>0} (i.e., {g(t)} is psc) for all {t>0}. Actually, this simple argument showing that the psc property is preserved by the Ricci flow can be improved to show that the Ricci flow associated to a psc metric ends in finite time. Indeed, since {2 |\textrm{Ric}_{g(t)}|^2_{g(t)}\geq 2R_{g(t)}/n}, one can use the maximum principle to get that, if {\min_M R_{g(0)}\geq R_0>0}, then

\displaystyle \min_M R_{g(t)}\geq \frac{1}{\frac{1}{R_0}-\frac{2}{n}t}

Since the quantity {1/(R_0^{-1}-(2/n)t)} blows up (approaches {+\infty}) as {t\rightarrow T_{\max}:=(n/2)R_0^{-1}}, we have that the solution {g(t)} of the Ricci flow can’t exist for {T\geq T_{\max}}, i.e., the Ricci flow solution {g(t)} becomes extinct in finite time.

Furthermore, it may happen that the Ricci flow starting at a psc metric develops a singularity in finite time. Here, the idea is that the initial metric {g(0)} may look like the following one in {S^3}:

coda2012-1

In this picture, we have two round spheres {S_{\ast}^3} and {S^3_{\ast\ast}} glued along a very small neck {N}. The presence of the small neck makes that the region around {N} has a very large scalar curvature (compared with the round spheres {S_{\ast}^3} and {S^3_{\ast\ast}}), and thus the Ricci flow in {3} dimensions has the “tendency” to degenerate (“pinch off”) the region near {N} faster than the round spheres {S^3_{\ast}} and {S^3_{\ast\ast}}. The reader will find more details on the formation of this kind singularity of the Ricci flow in this article here, for example.

Remark 4 The scenario described above doesn’t occur in dimension {2}. Indeed, starting with two round {2}-spheres {S^2_{\ast}} and {S^2_{\ast\ast}} connected by a neck, the Ricci flow in dimension {2} will actually uniformize this geometrical object in the sense that, up to rescaling, the Ricci flow will “undo” the neck and the geometry will approach the one of a round metric on {S^2} (see, e.g., the figure in this link here). Actually, as it was shown by R. Hamilton, and X. Chen, P. Liu and G. Tian, the Ricci flow in dimension {2} can be used to give a modern proof of the uniformization theorem.

At this stage, G. Perelman’s idea is the following. Using a very precise description of singularities developed by Ricci flow on {3}-manifolds, he performs a surgery (that is “canonical” in terms of certain parameters) on {M^3} in order to remove the regions with large curvature, then he runs again the Ricci flow in the remaining components of {M^3} after surgery, and he continues this process of successive applications of surgeries and Ricci flows ad infinitum (or at least until the Ricci flow doesn’t become extinct). In the next subsection we will describe the Ricci flow with surgery with a little bit more of details, but, for now, let us explain a classification result of {3}-manifolds admitting psc metrics following from G. Perelman’s work on the Ricci flow with surgery.

We start by recalling that the “simplest” examples of compact {3}-manifolds admitting psc metrics are:

  • {S^3} and its quotients {S^3/\Gamma}, and
  • {S^2\times S^1}.

Also, let us recall that, after the work of M. Gromov and B. Lawson, it is known that the psc property is stable under connected sums. Roughly speaking, given two {n}-manifolds {M_1} and {M_2} with two psc metrics {g_1} and {g_2}, it is possible equipped the connected sum {M_1\# M_2} with a psc metric {g_1\substack{\# \\ GL} g_2} (GL standing for Gromov-Lawson) as follows. Firstly, one removes small balls {B_1} and {B_2} of {M_1} and {M_2} of radius {\delta} centered at points {p\in M_1, q\in M_2}, and, secondly, one attach to {(M_1-B_1)\cup (M_2-B_2)} an adequate cylindrical region (neck) carrying a rotationally symmetric metric in a large portion of it. See the picture below.

coda2012-2

Of course, the actual process – called Gromov-Lawson procedure – depends on parameters (e.g., {\delta>0} for the radius of the balls {B_1} and {B_2}, and {\varepsilon>0} for the width of the cylindrical neck), and thus the Gromov-Lawson procedure provides a family of psc metrics on {M_1\# M_2}.

However, for our purposes, we don’t have to bother about specific choices of parameters because it is possible to check that all metrics obtained by this procedure are isotopic (in the sense of Definition 5).

Also, for later use, we will need the following nice feature of the Gromov-Lawson procedure under isotopies (again in the sense of Definition 5). Given {g'\sim g} and {h'\sim h}, one has that {g'\substack{\# \\ GL}h'\sim g\substack{\# \\ GL}h}. In other terms, this means that it is possible to “follow” the Gromov-Lawson procedure under isotopies, and this is so because of the explicit nature of the Gromov-Lawson procedure as described in the original article.

In any case, once we know the basic types of {3}-manifolds carrying psc metrics (namely {S^3/\Gamma} and {S^2\times S^1}) and we have that psc is stable under connected sums, one can start wondering about other {3}-manifolds with psc metrics. Using his Ricci flow with surgery, G. Perelman gave the following answer to this question:

Theorem 6 (G. Perelman) Let {M^3} be an orientable compact {3}-manifold. If {M^3} admits psc metrics (i.e., {\mathcal{R}_+(M^3)\neq\emptyset}), then {M^3} is diffeomorphic to a connected sum of some quotients of spheres {S^3/\Gamma_i}, {i=1,\dots,k}, and some copies of {S^2\times S^1}.

Of course, this result put us in good shape to formally define canonical metrics on orientable {3}-manifolds with {\mathcal{R}_+(M^3)\neq\emptyset}: by writing

\displaystyle M^3=S^3\# (S^3/\Gamma_1)\#\dots\#(S^3/\Gamma_k)\#\underbrace{(S^2\times S^1)\#\dots\#(S^2\times S^1)}_{l \textrm{ times }}

we declare that the canonical metrics of {M^3} are those obtained by taking round metrics on {S^3} and {S^3/\Gamma_i}, products of round metrics on {S^2\times S^1}, and applying the Gromov-Lawson procedure. Pictorially, a canonical metric is

coda2012-3

Remark 5 The factor {S^3} in the connected sum above could be removed as it doesn’t change the topology of {M^3}. However, we write this extra factor because it will serve as a sort of “reference piece” of {M^3} as far as the proof of Theorem 3 is concerned.

By a result of H. de Rham, the canonical metrics on {S^3/\Gamma} and/or {S^2\times S^1} are all isotopic to each other. This suggests that the proof of Theorem 3 could pass by the idea of trying to connect a given psc metric {g} on a {3}-manifold {M^3} (without losing the psc property, of course!) to some connected sum of canonical metrics.

As we mentioned above, the key tool to connect arbitrary psc metrics to connected sums of canonical metrics is the Ricci flow with surgery of G. Perelman. For this reason, we will briefly review in the next subsection the main features of this flow needed for the proof of Theorem 3.

1.2. Ricci flow with surgery II

The Ricci flow with surgery of G. Perelman is a discontinuous process with the following properties. Starting with an orientable compact {3}-manifold {M^3=M^3_0} with a metric {g=g_0}, we have a family {(M^3_i,g_i(t))}, {t\in[t_i,t_{i+1})}, {i\in\mathbb{N}} such that

  • for each {i\in\mathbb{N}}, the family {(M^3_i,g_i(t))}, {t\in[t_i,t_{i+1})}, is a solution of the standard Ricci flow that becomes singular as {t\rightarrow t_{i+1}};
  • {(M^3_{i+1},g_{i+1}(t_{i+1}))} is obtained from the preceding Ricci flow {(M^3_i,g_i(t))} by a surgery (involving a certain number of parameters);
  • the set of singular times {t_i} is discrete.

Roughly speaking, the parameters in G. Perelman scheme are (almost rotationally symmetric) necks in the manifold where the curvature gets very large (as indicated in the first figure of this post).

Once G. Perelman sees such necks in the manifolds {(M^3_i,g_i(t))} for {t} very close to {t_{i+1}}, his surgery procedure is the following: he cuts the necks in the middle and he attach (standard rotationally symmetry) caps as it is indicated in the figure below. In this way, he obtains a possibly disconnected Riemannian manifold {(M^3_{i+1},g_{i+1}(t_{i+1}))} that he uses as a new initial condition for the (standard) Ricci flow.

coda2012-4

An interesting feature of G. Perelman’s scheme is that he only uses his surgery process to get rid/discard of regions of large curvature.

For our purposes, another nice property of the Ricci flow with surgery (proved independently by G. Perelman, and T. Colding and W. Minicozzi) is the following. Given {g=g_0} is a psc metric, then {g_i(t)} is a psc metric for all {i\in\mathbb{N}} and {t\in[t_i,t_{i+1})}, and the flow becomes extinct in finite time {t_{j+1}<\infty} for some {j\in\mathbb{N}} in the sense that {M_{j+1}=\emptyset}, i.e., by performing G. Perelman’s surgery procedure at time {t_{j+1}}, one ends up by discarding everything.

This finite-extinction result for the Ricci flow with surgery is important in G. Perelman’s solution of Poincaré’s conjecture. Indeed, the idea is that, if you understand how the flow ends, then you can reason backwards to understand the topology of {M^3}.

However, this description of Ricci flow with surgery for psc metrics is not sufficient for the proof of Theorem 3 because our final goal is to control the geometry of {(M^3,g)}. In other terms, we need to understand the geometry of the so-called canonical neighborhoods, that is, the necks and caps involved in Perelman’s surgery process.

As we already indicated, the canonical neighborhoods are associated to regions of large curvature (in the sense that, if the scalar curvature {R(x,t)} of {g_i(t)} at a point {x\in M_i^3} is very large, say {R(x,t)\geq r_i^{-2}} where {r_i} is a small parameter, then {x} belongs to a canonical neighborhood), and there are 3 types of them:

  • (1) a whole component with positive sectional curvature;
  • (2) a {\varepsilon}-neck {\mathcal{N}}, i.e., a small region with large curvature that after rescaling becomes “{\varepsilon}-close” to {S^2\times [-1/\varepsilon,1/\varepsilon]};
  • (3) a {(C,\varepsilon)}-cap, i.e., a small region with large curvature “{\varepsilon}-close” to the region obtained by adding a rotationally symmetry cap (with “{C}-controlled geometry”) to an {\varepsilon}-neck.

coda2012-5

We observe that the canonical neighborhoods of the type in item (1) above will disappear by the standard Ricci flow by the results in R. Hamilton’s 1982 paper. In particular, we will forget about this type of canonical neighborhoods and we will focus exclusively on {\varepsilon}-necks and {(C,\varepsilon)}-caps.

After this sketchy review of the geometry properties of the Ricci flow with surgery, we are ready to start the proof of Theorem 3.

2. General idea of the proof of Theorem 3

Let {M^3} be an orientable compact {3}-manifold admitting psc metrics, say

\displaystyle M^3=S^3\# (S^3/\Gamma_1)\#\dots\#(S^3/\Gamma_k)\#\underbrace{(S^2\times S^1)\#\dots\#(S^2\times S^1)}_{l \textrm{ times }}

Given a psc metric {g=g_0} on {M^3}, we wish to reduce the proof of Theorem 3 to the usage of the Ricci flow with surgery to connect {g_0} to some canonical metric on {M^3}. Of course, this strategy only works if one can show that the set of canonical metrics on {M^3} is path-connected, a fact that is not obvious at all!

So, let us start by justifying the path-connectedness of the set of canonical metrics via the so-called conformal method.

2.1. Conformal method

We claim that the connected sums of canonical metrics on {S^3/\Gamma_i} and {S^2\times S^1} via the Gromov-Lawson procedure are isotopic to a single canonical metric. Indeed, let us start with the orientable compact {3}-manifold {M^3} equipped with the canonical metric shown in the left-hand side of the picture below.

coda2012-6

Now, let us temporarily forget about the necks {S^2\times S^1} (see the right-hand side of the picture above), and let us focus on the spherical components glued together by a Gromov-Lawson procedure as indicated in the right-hand side of the figure above. The Gromov-Lawson procedure connecting the spherical components provides a rotationally symmetric psc metric, and, a fortiori, a locally conformally flat psc metric (as any rotationally symmetric metric is locally conformally flat) on the connected sum of the spherical components.

Here, even though there is no general uniformization theorem in dimension {3}, the so-called conformal method of N. Kuiper, R. Schoen and S.-T. Yau says that locally conformally flat psc metrics are conformal, and thus isotopic, to round metrics on {S^3} and/or {S^3/\Gamma_i}‘s.

Finally, since the Gromov-Lawson procedure is local, we can put the “forgotten” necks back to deduce that the canonical metrics on {M^3} are all isotopic to each other.

After this preparatory step, the proof of Theorem 3 was really reduced to connect psc metrics to some canonical metric on {M^3} via the Ricci flow with surgery.

2.2. Connecting psc metrics to canonical metrics

Let {(M^3,g)=(M_0^3,g_0)} be a psc Riemannian orientable {3}-manifold and denote by {(M_i^3,g_i(t))}, {t\in [t_i,t_{i+1})}, {i\in\mathbb{N}}, the corresponding Ricci flow with surgery. Recall that {g_i(t)} are psc metrics and the flow becomes extinct in finite time, i.e., {M_{j+1}=\emptyset} for some {j\in\mathbb{N}}.

In this subsection, we will essentially follow the backward induction argument of G. Perelman in his proof of Poincaré’s conjecture. More precisely, for each {i\in\mathbb{N}}, let us consider the following assertion:

  • ({\mathcal{A}_i}) every connected component of {M_i=(M_i^3,g_i(t_i))} is isotopic to a canonical metric.

The backward induction argument consists into showing the following two claims:

  • {\mathcal{A}_j} holds,
  • if {\mathcal{A}_{i+1}} holds, then {\mathcal{A}_i} holds.

Let us show that {\mathcal{A}_j} holds. By definition of {j}, we have that {M_{j+1}^3=\emptyset}, and hence {(M_j^3, g_j(t))} has uniformly large curvature at all points {x\in M_j^3} for {t} sufficiently close to the extinction time {t_{j+1}}. In other words, we get that {(M_j^3, g_j(t))} is a union of canonical neighborhoods.

As we said, the canonical neighborhoods have 3 types, but we can focus exclusively on {\varepsilon}-necks and {(C,\varepsilon)}-caps because the components with positive sectional curvatures will approach round metrics and disappear (by R. Hamilton’s results).

Consider some {\varepsilon}-neck or, more generally, some chain of {\varepsilon}-necks. The first possibility is that, by extending a chain of {\varepsilon}-necks, it starts to “go around” and then closes at some point to form a {S^2\times S^1} component. The second possibility is that, by extending a chain of {\varepsilon}-necks, we meet at some point a {(C,\varepsilon)}-cap. Then, since there is nothing left for the other side of the chain of necks to close up, it has to meet a cap on the other side also, so that this component is a sphere {S^3}. The figure below illustrates these two possibilities.

coda2012-7

Logically, there is no other possibility, so that our task is reduced to show that we can find an isotopy between the metric {g_j(t)} on these {S^2\times S^1} and {S^3} components.

We begin with the {S^3} case. Here, we have two subcases.

The first one occurs when the two caps meeting the chain of necks are {(C,\varepsilon)}-caps, i.e., both caps are {\varepsilon}-close to a rotationally symmetric {C}-controlled cap added to a {\varepsilon}-neck. In this situation, one can deform “by hand” the metric {g_j(t)} to a rotationally symmetric (cigar-like) metric on {S^3}. Then, since rotationally symmetric metrics are locally conformally flat, the conformal method allows to uniformize it (by isotopy) to a round metric on {S^3}, and thus we are done.

coda2012-8

The second subcase occurs when one of the caps is a {(C,\varepsilon)}-cap, but the other cap is a region where the sectional curvature is positive. In this situation, one can perform a Perelman’s surgery and then glue {(C,\varepsilon)}-caps on both sides.

coda2012-9

Remark 6 This surgery is not done in G. Perelman’s work on Poincaré conjecture: indeed, this surgery is irrelevant from the topological point of view, but, as we’ll see below, Fernando was “forced” to make this new step in order to control the geometry of {g_j(t)}.

In this way, starting from our {S^3} component {C}, after surgery we get a new {S^3} component {C_1} carrying a metric with positive sectional curvature (this was not clearly stated above, but Perelman’s surgery preserves the positivity of sectional curvatures) and a {S^3} component {C_2} in the setting of the first subcase (i.e., obtained by attaching to {(C,\varepsilon)}-caps to a chain of necks). By Hamilton’s results, the standard Ricci flow on the positive sectional curvature component {C_1} provides an isotopy to a round metric on {S^3}, while the subcase of the component {C_2} was already treated. However, we’re not directly interested in the geometry of the components {C} after surgery (i.e., the geometry of {C_1} and {C_2}), but rather about the geometry of the component {C} before surgery.

At this point, the crucial remark is the following. Starting with a neck, if we do a surgery and then we undo the surgery via a Gromov-Lawson procedure, we obtain a metric that is isotopic to the original one! In other words, up to isotopy, the Gromov-Lawson procedure is a sort of inverse of G. Perelman’s surgery!

From this remark, one can show that the original component {C} is isotopic to a round sphere as follows. By the remark, {C} is isotopic to the Gromov-Lawson procedure on the components {C_1} and {C_2}, and we know that {C_1} and {C_2} are isotopic to a round {S^3}. It follows that {C} is isotopic to a Gromov-Lawson procedure on two round spheres, and, by the conformal method, we have that {C} is isotopic to a round {S^3}.

In any event, this completes the analysis of the {S^3} case.

Now, let us pass to the case of a {S^2\times S^1} component {C}. In this setting, we choose any {\varepsilon}-neck and we perform a surgery on {C}. By the remark above, we have that {C} is isotopic to a Gromov-Lawson procedure on a component {C_1} consisting of a chain of necks with two caps attached to it, as shown in the figure below (extracted from Figure 8.4 in Fernando’s paper).

coda2012-8-4

Note that {C_1} corresponds precisely to a {S^3} case that we already treated. In particular, we know that {C_1} is isotopic to a round {S^3}. Since the Gromov-Lawson reverts the surgery up to isotopy, we deduce from this that the {S^2\times S^1} component {C} is isotopic to a canonical metric on {S^2\times S^1}.

At this point, we treated all cases ({S^3} and {S^2\times S^1}) and this proves that the assertion {\mathcal{A}_j} holds.

Closing the proof of Theorem 3, let us quickly describe (in three phrases) why the validity of {\mathcal{A}_{i+1}} implies the validity of {\mathcal{A}_i}. By inspecting the surgery process of G. Perelman, one can show that every connected component of {(M_i^3, g_i(t))} is isotopic to a connected sum of components of {(M_{i+1}^3,g_{i+1}(t))} and unions of canonical neighborhoods. By induction hypothesis (i.e., {\mathcal{A}_{i+1}} holds), we have that the connected components of {(M_{i+1}^3,g_{i+1}(t))} are isotopic to canonical metrics, while our discussion above of the {S^3} and {S^2\times S^1} cases showed that the canonical neighborhoods are isotopic to canonical metrics. Since the connected sum (Gromov-Lawson procedure) behaves well under isotopies, we conclude that the components of {(M_{i}^3,g_{i}(t))} are isotopic to canonical metrics and this proves {\mathcal{A}_i}.


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Categories

Follow

Get every new post delivered to your Inbox.

Join 96 other followers

%d bloggers like this: