In order to motivate the lengthy and detailed analysis of Ricci flow that will occupy the rest of this course, I will spend this lecture giving a high-level overview of Perelman’s Ricci flow-based proof of the Poincaré conjecture, and in particular how that conjecture is reduced to verifying a number of (highly non-trivial) facts about Ricci flow.

At the risk of belaboring the obvious, here is the statement of that conjecture:

Theorem 1. (Poincaré conjecture) Let M be a compact 3-manifold which is simply connected (i.e. it is connected, and every loop is contractible to a point). Then M is homeomorphic to a 3-sphere .

[Unless otherwise stated, all manifolds are assumed to be without boundary.]

I will take it for granted that this result is of interest, but you can read the Notices article of Milnor, the Bulletin article of Morgan, or the Clay Mathematical Institute description of the problem (also by Milnor) for background and motivation for this conjecture. Perelman’s methods also extend to establish further generalisations of the Poincaré conjecture, most notably Thurston’s geometrisation conjecture, but I will focus this course just on the Poincaré conjecture. (On the other hand, the geometrisation conjecture will be rather visibly lurking beneath the surface in the discussion of this lecture.)

— Examples of compact 3-manifolds –

Before we get to the Ricci flow approach to the Poincaré conjecture, we will need to discuss some examples of compact 3-manifolds. Here (as in the statement of the Poincaré conjecture) we will work in the topological category, so our manifolds are *a priori* not endowed with a smooth structure or a Riemannian structure, and with two manifolds considered equivalent if they are homeomorphic. As mentioned in Lecture 0, in three dimensions it is not difficult (once one has the triangulation theorem of Whitehead and Munkres) to move from the topological category back to the smooth or Riemannian category or vice versa, so one should not be too concerned about changes in category here.

The most basic example of a compact 3-manifold is the *sphere* , which is easiest to define extrinsically as the unit sphere in , but can also be defined intrinsically as the one-point compactification of (via the stereographic projection, for instance). Using the latter description, it is easy to see that the sphere is simply connected (note that in two and higher dimensions one can always perturb a loop to avoid a specific point, such as the point at infinity).

When we view as the unit sphere in , it acquires a transitive action of the special orthogonal group SO(4), whose stabiliser is equivalent to SO(3), thus we have a third important description of , namely as the homogeneous space SO(4)/SO(3). Now suppose one has a finite subgroup of SO(4) whose action on is free. Then one can quotient by to create a new space

, (1)

which remains a manifold since the action is free. (If the action had some isolated fixed points, then the quotient space would merely be an orbifold.) Such manifolds are known as *spherical 3-manifolds*. If the action of is not completely trivial, then this new manifold is topologically inequivalent to the original sphere . The easiest way to see this is to observe that is not simply connected. Indeed, as the action is not trivial, we can find and such that . Then a path from x to gx in descends to a closed loop on which cannot be contracted to a point (basically because the orbit of x in is discrete), and so cannot be simply connected.

**Remark 1.** The above argument in fact shows that the fundamental group of is just ; this is ultimately because is the universal covering space for . Conversely, Perelman’s arguments can be used to show that spherical 3-manifolds are the *only* compact 3-manifolds with finite fundamental group (this conjecture, known as the *elliptisation conjecture*, is also a corollary of the geometrisation conjecture).

The most well-known example of a spherical 3-manifold (other than itself) is real projective space , which is equivalent to the quotient of by the two-element group . Other examples of spherical space forms include lens spaces (in which is a cyclic group), as well as a handful of other spaces in which is essentially the symmetry group of a regular polytope (the four-dimensional analogue of the classical Platonic solids). An interesting example of the latter is the Poincaré homology sphere, which has the same homology groups as the sphere but is not homeomorphic to it.

The unit sphere (with the usual smooth structure) has a natural Riemannian metric g on it, which can be viewed either as the one induced from the Euclidean metric on the ambient space (by restricting the tangent spaces of the latter to the former), or the one induced from the Lie group SO(4), which is in turn induced by the Killing form on the Lie algebra [*Aside*: there may be a normalization issue with the latter interpretation]. This metric has constant sectional curvature +1, which means that

(1′)

whenever and are orthonormal vectors. (To put it another way, is +1 times the identity section of .)

The metric g is invariant under the action of the rotation group , and so it also descends to provide a Riemannian metric on every spherical 3-manifold of constant curvature +1 (and thus also constant positive Ricci and scalar curvature). Such Riemannian manifolds are known as *spherical space forms*. Conversely, it is not difficult to show that any compact connected 3-manifold M of constant curvature +1 arises in this manner; this is basically because (1′) ensures that there is an infinitesimal action of the Lie algebra on the orthonormal frame bundle of M, which then extends to an action of SO(4) which is transitive (thanks to the connectedness of M) and has stabiliser equal to some finite extension of SO(3) (which is the structure group of the orthonormal frame bundle). Since , the claim follows.

**Remark 2.** The spherical space forms are one of the eight *Thurston geometries* (or *model geometries*) that arise in the geometrisation conjecture, namely the *spherical* or *elliptic* geometries. (These eight geometries are also closely related, though not identical to, the classification of Bianchi of three-dimensional Lie algebras into nine families.)

Two more examples of 3-manifolds arise by considering -bundles over , or equivalently, with the two spheres and identified. Some basic degree theory (or even just winding number theory) shows that up to continuous deformation, there are only two such identifications; the orientation-preserving one (which is equivalent to the identity map, or a rotation map) and the orientation-reversing one (which is equivalent to a reflection map). The first such identification leads to the orientable -bundle , and the second identification leads to the non-orientable -bundle (which is a 3-manifold analogue of the Klein bottle). Both of these manifolds can be viewed as quotients of the cylinder by an action of . More precisely, has an obvious transitive action of on it given by the formula ; the stabiliser subgroup is , thus

. (2)

Every group element with generates a discrete subgroup , and the quotient space

(3)

is homeomorphic to either the orientable or non-orientable -bundle over , depending whether is equal to +1 (i.e. is rotation) or to -1 (i.e. is a reflection).

Let M be one of the above -bundles over . The projection map from M to induces a homomorphism from the fundamental group to the fundamental group .

**Exercise 1**. Show that this map is in fact bijective, thus . In particular these manifolds are not homeomorphic to the spherical 3-manifolds.

There is an obvious Riemannian metric g to place on , being the direct sum of the standard metrics on and respectively; it can also be defined in terms of the Killing form on the Lie algebra . As this metric is -invariant, it descends to both the oriented and non-oriented -bundles over . This metric is not of constant sectional curvature (the sectional curvature is positive on planes transverse to the axis of the cylinder, but vanish on planes parallel to that axis). But it has non-negative Riemann, sectional, Ricci curvature and positive scalar curvature.

**Remark 3.** The geometries coming from are another of the eight Thurston geometries. These are the only two of the eight geometries that have some positive curvature in them; it is because of this that these two geometries can get extinguished in finite time by Ricci flow (remember, this flow compresses positively curved geometries and expands negatively curved ones). Very roughly speaking, it is these two geometries that show up in the finite time analysis of Ricci flow (in which the time variable t is bounded), whereas the other six geometries (being flat or negatively curved) only show up in the asymptotic analysis of Ricci flow (in the limit ).

One can form further 3-manifolds out of the ones already discussed by the procedure of taking connected sums. Recall that the connected sum of two connected 3-manifolds M, M’ is formed by choosing small 3-balls B, B’ in M and M’ respectively; if these balls are small enough, they are homeomorphic to the Euclidean ball . Remove the interior of these two balls, leaving behind two boundaries and which are homeomorphic to , and then identify these two boundaries together to create a new connected 3-manifold.

**Remark 4.** It is not hard to see that the location of the small balls B, B’ is not relevant, since the connectedness of M and M’ easily allows one to “slide” these balls around. There is however a subtle technicality regarding the identification map between and . A bit of degree theory shows that up to homotopy, there are only two possible identifications, one of which reverses the orientation of the other; for instance, any homeomorphism of the unit sphere to itself can be continuously deformed (while remaining a homeomorphism) to either a rotation or a reflection. If one of the manifolds M, M’ is non-orientable then either choice of identification gives an equivalent connected sum up to homeomorphism, as one can slide one of the balls around the non-orientable manifold to return to the original location with the reversed orientation. Similarly, if both manifolds M, M’ are orientable and one of them has an orientation-reversing homeomorphism, then again the two connected sums are homeomorphic. But there are some orientable 3-manifolds which lack orientation-reversing homeomorphisms (e.g. some lens spaces are of this type), and so I believe that there are cases in which the connected sum operation of two orientable manifolds M, M’ is ambiguous. However, if one selects one of the two available orientations on M and M’ (thus upgrading these orient*able* manifolds to orient*ed* manifolds), then one can define an *oriented connected sum* by asking that the oriented structures on M and M’ are compatible upon gluing, thus yielding an oriented connected manifold . This operation is then unambiguous up to homeomorphism. So, if we adopt the convention that all manifolds are equipped with an orientation if they are orientable, and are (of course) not equipped with an orientation if they are non-orientable, then we have a well-defined connected sum. [*Aside*: this is a rather annoying and confusing technical issue. Is there a more elegant way to get around it? I suppose that for non-oriented manifolds, one could always pass to the oriented double cover first.]

Once one addresses the technical issues raised in Remark 4, one can show that the connected sum operation is well-defined, commutative, and associative up to homeomorphism. There is also a strong relationship between the topology of a connected sum and that of its components:

**Exercise 2.** Let M, M’ be connected manifolds of the same dimension.

- Show that is compact if and only if and are both compact.
- Show that is orientable if and only if and are both orientable.
- Show that is simply connected if and only if and are both simply connected.

The sphere also plays a special role, as the identity for the connected sum operation:

**Exercise 3.** Let M be a connected manifold, and let S be a sphere of the same dimension. Show that (or ) is homeomorphic to M.

This property uniquely defines the sphere topologically; if there was another connected manifold of the same dimension as a sphere S which was also an identity for the connected sum, then a consideration of shows that these two manifolds must be homeomorphic.

**Exercise 4.** Let M be a connected manifold. Suppose one connects M to itself by taking two small disjoint balls B and B’ inside M, removing the interiors of these balls, and identifying the boundaries and . Show that the resulting manifold is homeomorphic to the connected sum of M with an bundle over .

**Remark 5. **For this remark, let us restrict attention to compact connected oriented 3-manifolds; modulo homeomorphisms, this is a commutative associative monoid with respect to connected sum, with identity . A manifold is said to *non-trivial* if it is not the identity, and *prime* if it is non-trivial but not representable as the sum of two non-trivial manifolds. It then turns out that there is a prime decomposition theorem for such manifolds, analogous to the fundamental theorem of arithmetic: every such manifold is expressible as the connected sum of finitely many prime manifolds, and that this decomposition is unique up to rearrangement. However, useful as this decomposition is, it turns out that one does not actually need the prime decomposition theorem to prove the Poincaré conjecture. (In fact, it is remarkable how little actual topology is needed to prove what is manifestly a topological conjecture; almost the entire proof of Perelman is conducted instead in the arena of differential geometry (and more specifically, Riemannian geometry) and partial differential equations.)

Recall that of the spherical space forms and -bundles over mentioned above, the sphere was the only one which was simply connected. From Exercises 2 and 3 we thus have

Corollary 1.(Poincaré conjecture for positively curved Thurston geometries) Let M be a simply connected 3-manifold which is the connected sum of finitely many spherical space forms and -bundles over . Then M is homeomorphic to the sphere .

**Remark 6. ** One can establish similar results for combinations of any of the eight Thurston geometries (where we now allow “combination” to not just include the connected sum operation which glues along spheres , but also more complicated joining operations which glue along tori ). Because of this, it is not difficult to show that the geometrisation conjecture implies the Poincaré conjecture. But the former conjecture is a significantly stronger and richer conjecture than the latter; it classifies *all *compact 3-manifolds, not just the simply connected ones.

We now have enough background to state the main results of Perelman; the rest of the course will be devoted to proving as much of these results as possible.

In 1981-1982, Hamilton realised that Ricci flow was an exceptionally promising tool for uniformising the geometry of a Riemmanian manifold, to the point where its topology became recognisable. The first evidence he established towards this phenomenon is the following *rounding theorem*: if a compact 3-manifold has everywhere positive Ricci curvature, then the Ricci flow with this initial data develops a singularity in finite time . Furthermore, as one approaches this singularity, the Ricci curvature becomes increasingly uniform, and more precisely that converges uniformly to the metric as , where is the average scalar curvature on . (One can also show that as .) Once the Ricci curvature is sufficiently uniform, one can apply tools from Riemannian geometry such as the sphere theorem to deduce that the original manifold M was in fact homeomorphic to a spherical space form (and in particular, if M is simply connected, is homeomorphic to a sphere ).

Unfortunately, for more general Riemannian 3-manifolds, Ricci flow was only able to partially uniformise the geometry before the appearance of the first singularity. (However, work of Hamilton and of Chow did show that Ricci flow does accomplish this task for 2-manifolds. These methods can give a new proof of the uniformisation theorem: see this paper of Chen, Lu, and Tian for further discussion.) In order to address is this issue, Hamilton introduced (in the context of 4-manifolds) a notion of surgery on manifolds at each development of a singularity in order to continue the Ricci flow (but possibly with a topology change after each surgery). These and other results then led to Hamilton’s program to develop a systematic theory of Ricci flow with surgery that would be able to uniformise and then recognise the topology of various Riemannian manifolds, particularly 3-manifolds. However, prior to Perelman’s work, there was insufficient understanding of even the first singularity of Ricci flow to carry out this program, unless additional curvature assumptions were placed on the initial manifold.

The most important of Perelman’s results in this direction is the following global existence result for a certain modification of Ricci flow.

Theorem 2(Global existence of Ricci flow with surgery) Let be a compact Riemannian 3-manifold, such that M does not contain any embedded copy of the real projective plane with trivial normal bundle. Then there exists aRicci flow with surgerywhich assigns a compact Riemannian manifold to each time , as well as a closed set ofsurgery times, with the following properties:

- (Initial data) and .
- (Ricci flow) If I is any connected component of (and is therefore an interval), and is the left-endpoint of I, then is a Ricci flow on , as defined in the previous lecture (in particular, M(t) is constant on this interval).
- (Topological compatibility) If , and is sufficiently small, then each connected component of is homeomorphic to the connected sum of finitely many connected components of , together with a finite number of spherical space-forms, , and bundle over . Furthermore, each connected component of is used in the connected sum decomposition of exactly one component of .
- (Geometric compatibility) For each , the metric on M(t) is related to a certain limit of the metrics on as by a certain
surgery procedurewhich we will state precisely much later in this course.

The key here is item 3, which depends crucially on the structural analysis of Ricci flow as it approaches a singularity. The precise definition of surgery in item 4 is highly technical (and differs in a number of ways from Hamilton’s version of the concept), but fortunately we do not need to know exactly what it is for topological applications such as the Poincaré conjecture, which only require item 3. (We do need to understand surgery in order to prove Theorems 3 and 4 below, though.)

The condition that M does not contain any embedded copy of with trivial normal bundle is a technical one, but is not a significant obstacle for proving the Poincaré conjecture, thanks to the following topological lemma:

Lemma 1.Let M be a simply connected 3-manifold. Then M does not contain any embedded copy of with trivial normal bundle.

**Proof.** Suppose for contradiction that M contained an embedded copy of with trivial normal bundle. Then one can find a loop in whose normal bundle in is non-trivial (indeed, one can find a loop whose neighbourhood is a Möbius strip; this is easiest seen by viewing topologically as the unit square with diametrically opposing points identified, and then taking to be a horizontal or vertical line through the centre of this square). Since has trivial normal bundle in M, we conclude that has non-trivial normal bundle in M. But then cannot be contracted to a point, contradicting the hypothesis that M is simply connected.

**Remark 7. **The above argument in fact shows that no orientable manifold can contain an embedded with trivial normal bundle; note that all simply connected manifolds are automatically orientable. The argument can also be modified to show that a simply connected manifold cannot contain any embedded copy of at all (regardless of whether the normal bundle is trivial).

To prove the Poincaré conjecture, we need to combine Theorem 2 with two other results about Ricci flow with surgery. The first is relatively easy:

Theorem 3.(Discrete surgery times) Let be a Ricci flow with surgery with no embedded with trivial normal bundle. Then the set T of surgery times is discrete. In particular, any compact time interval only contains a finite number of surgeries.

This theorem is basically proven by obtaining a lower bound on how much volume is removed by each surgery, combined with an upper bound on how much the volume can grow during the Ricci flow stage of the process. We have isolated Theorem 3 from Theorem 2 to highlight the importance of the former, but in practice the two results are proven simultaneously (since the geometric and topological compatibility in Theorem 2 would become more difficult to formulate properly if the surgery times were allowed to accumulate).

The second result is more non-trivial, though it is still significantly easier to prove than Theorem 2.

Theorem 4.(Finite time extinction) Let be a compact 3-manifold which is simply connected, and let be an associated Ricci flow with surgery. Then M(t) is empty for all sufficiently large times t.

This result is analogous to finite time blowup results in nonlinear evolution equations. It is established by constructing a non-negative quantity W(t) depending on the geometry at time t, which decreases in such a manner that it must vanish in finite time, at which point one can show that the manifold becomes empty. (From topological compatibility it is clear that if the manifold is empty at time t, it is empty for all subsequent times.) There are two known candidates for this quantity, one due to Perelman (based on a min-max functional over loops), and one due to Colding and Minicozzi (based on minimal spheres). Both quantities are known to be strong enough to establish Theorem 4.

Once one has Theorems 2, 3, and 4 in hand, the proof of the Poincaré conjecture is easy:

**Proof of Theorem 1**. Let M be a compact, simply connected 3-manifold. By an old result of Moise, every 3-manifold can be triangulated and so can easily be endowed with a smooth structure. (In the converse direction, the results of Munkres and of Whitehead, show that this smooth structure is unique.) Using a standard partition of unity argument, one can then create a smooth Riemannian metric g on M.

Theorem 2 (and Lemma 1) gives us a Ricci flow with surgery with surgery with initial data (M,g). By Theorem 4, there is some finite time after which the manifolds M(t) are empty. By Theorem 3, the number of surgeries up to that time are finite. By item 3. of Theorem 2 and working backwards from time to time 0, we conclude that is the connected sum of finitely many spherical space forms, copies of , and bundles over . Actually, since is already a spherical space form, we can absorb the second case into the first. The claim now follows from Corollary 1.

**Remark 8**. Perelman’s arguments in fact show a stronger version of Theorem 4: the finite time extinction occurs not only for simply connected manifolds, but more generally for any compact 3-manifold M whose fundamental group is a free product of finite groups and infinite cyclic groups. The above argument then shows that any such manifold is diffeomorphic to the connected sum of finitely many space forms and bundles over (i.e. it is made up of the positively curved Thurston geometries). Conversely, it can be shown that any such connected sum has a fundamental group of the above form. In particular this gives a topological necessary and sufficient condition for finite time extinction. One corollary of this is the *spherical space form conjecture* (or *elliptisation conjecture*): any compact 3-manifold with finite fundamental group is diffeomorphic to a spherical space form. See the book of Morgan and Tian for details.

**Remark 9.** Theorems 2 and 3 also form the basis of the proof of the geometrisation conjecture. However, an additional ingredient is also needed, namely an analysis of the behaviour of the solutions to Ricci flow with surgery in the asymptotic limit . Also, in order to avoid dealing with all of the other Thurston geometries , a substantial amount of existing theory concerning geometrisation is first used to topologically simplify the manifold before applying Ricci flow (for instance, one works only with prime manifolds). I have not studied these arguments particularly well, but the papers of Kleiner-Lott and Cao-Zhu cover them in some detail. (There is also some technical issue regarding graph manifolds that I do not really understand, but I understand that these issues have recently been resolved.)

[*Updated, Apr 2*: Reference to Moise's triangulation theorem added.]

[*Updated*, Apr 15: Issues relating to embedded 's with trivial normal bundle addressed.]

[*Updated*, Apr 17: incorrect exercise removed.]

## 15 comments

Comments feed for this article

2 April, 2008 at 5:58 pm

Richard KentHi,

Regarding the origin of smooth structures on 3-manifolds: E. Moise proved that topological 3-manifolds are triangulable in the 1950′s (see MR0048805), so you can indeed get a smooth structure that way.

Cheers,

Richard.

2 April, 2008 at 6:06 pm

Terence TaoDear Richard,

Thank you very much for the reference!

3 April, 2008 at 10:22 am

AnonymousDear Terence

I see that the phrase “is topologically equivalent to the original sphere” has been corrected to “is topologically

inequivalent to the original sphere.” And the purpose of this remark is to assure you that we system engineers take a keen interest in the notes you work so hard to post!Just to mention, the manifolds of greatest system engineering interest with regard to geometric flows are neither topological manifolds (which are too general) nor adaptive linear subspaces (which are pretty well understood., thanks in substantial measure to your own work), but rather algebraic manifolds.

We system engineers are very interested (from a practical point of view) to adaptively flow the geometry of our algebraic manifolds to better match the manifolds that nature provides, and we follow this weblog intently for ideas and tools that are relevant to this objective.

You remarked in an earlier post that “the field of PDE has proven to be the type of mathematics where progress generally starts in the concrete and then flows to the abstract.” In a similar vein, it turns out that progress in the field of quantum system engineering (QSE) flows in

bothdirections … perhaps that is why mathematical progress in QSE is somewhat turbulent. :)In particular, IMHO this weblog is a very important source of abstract ideas and methods that turn out to have concrete applications in QSE. For which, you have our thanks and gratitude.

So we look forward with highly enjoyable anticipation to future lectures!

11 April, 2008 at 10:20 am

285G, Lecture 4: Finite time extinction of the second homotopy group « What’s new[...] Returning (perhaps anticlimactically) to the subject of the Poincaré conjecture, recall from Lecture 2 that one of the key pillars of the proof of that conjecture is the finite time extinction result [...]

15 April, 2008 at 10:30 pm

285G, Lecture 5: Finite time extinction of the third homotopy group, I. « What’s new[...] connected manifolds, this hypothesis is automatic; see Lemma 1 of (the newly updated version of) Lecture 2. (It is also automatic for orientable manifolds, and so one can always satisfy the hypothesis as [...]

17 April, 2008 at 5:36 pm

anonymousExercise 3 contradicts the fourth part of exercise 2. E.g. S^2 # (S^1 x S^1) (the connected sum of a 2-dimensional sphere and a 2-dimensional torus) has trivial pi_2, but pi_2(S^2) is not trivial.

17 April, 2008 at 6:09 pm

Terence TaoHmm, you’re right, the exercise doesn’t work as stated; I’ve removed it (and adjusted some stuff in Lecture 4 and 5 accordingly).

18 April, 2008 at 12:01 pm

285G, Lecture 6: Finite time extinction of the third homotopy group, II « What’s new[...] 18 April, 2008 in 285G – poincare conjecture, math.AP, math.DG Tags: curvature, curve shortening flow, minimal disk, Perelman width, ramps, Ricci flow In this lecture we discuss Perelman’s original approach to finite time extinction of the third homotopy group (Theorem 1 from the previous lecture), which, as previously discussed, can be combined with the finite time extinction of the second homotopy group to imply finite time extinction of the entire Ricci flow with surgery for any compact simply connected Riemannian 3-manifold, i.e. Theorem 4 from Lecture 2. [...]

20 April, 2008 at 8:58 pm

285G, Lecture 7: Rescaling of Ricci flows and kappa-noncollapsing « What’s new[...] our discussion of the finite time extinction results for Ricci flow with surgery (Theorem 4 from Lecture 2), and turn instead to the main portion of Perelman’s argument, which is to establish the [...]

2 May, 2008 at 7:02 pm

Richard BorcherdsThe connected sum of two manifolds has yet another subtlety. In the smooth case it is no longer true that there are essentially only two ways to glue

two n-spheres; in general the group of components of the diffeomorphisms of a sphere can be quite a large finite group. For example, the Milnor spheres in 7 dimensions can be obtained by gluing together two 7-balls using a non-standard diffeomorphism of their boundaries. I think there is a indeed a canonical way to take the connected sum of

manifolds, but I have a vague recollection that showing it is well defined requires some quite hard theorems such as the annulus conjecture (or rather theorem).

8 May, 2008 at 6:36 am

Terence TaoDear Richard,

That’s a good point (though I guess in three dimensions, at least, this issue does not come up since one has a unique smooth structure in this case).

I believe though that if one has smooth oriented structures on both manifolds, one can canonically define a connected sum in this category by arbitrarily choosing a smooth Riemannian metric on both manifolds, and identifying two very small balls in these metrics together using the exponential map (i.e. normal coordinates) for each (and some orientation-preserving orthogonal transformation between the tangent spaces of the centres of the balls), and then removing the interiors of these balls and smoothing things out a bit near the gluing boundary. The configuration space of all the choices one makes here is connected, and the operations are continuous, so I think that this operation is well defined up to smooth diffeomorphism, though I may have missed yet another subtlety here. (I can imagine that if one tries to identify two _large_ balls together, all bets are off.)

8 May, 2008 at 8:22 am

Andy P.A good textbook reference for things like taking the connected sum of two smooth manifolds is Kosinski’s book on differential topology. A plus is that Dover just reissued it, so it now costs about $15 instead of $100+. It also contains a rather nice discussion of things like the h-cobordism theorem, the classification of exotic spheres, and other such things (though it starts with the definition of a manifold!).

16 May, 2008 at 10:38 am

285G, Lecture 12: High curvature regions of Ricci flow and κ-solutions « What’s new[...] proof of the Poincaré conjecture: finite time extinction of Ricci flow with surgery (Theorem 4 of Lecture 2), and a -noncollapsing of Ricci flows with surgery (which, except for the surgery part, is Theorem [...]

6 June, 2008 at 9:10 am

285G, Lecture 19: The structure of Ricci flow at the singular time, surgery, and the Poincaré conjecture « What’s new[...] 6 June, 2008 in math.AT, math.DG by Terence Tao Tags: canonical neighbourhoods, horns, standard solution, surgery In the previous lecture, we studied high curvature regions of Ricci flows on some time interval , and concluded that (as long as a mild topological condition was obeyed) they all had canonical neighbourhoods. This is enough control to now study the limits of such flows as one approaches the singularity time T. It turns out that one can subdivide the manifold M into a continuing region C in which the geometry remains well behaved (for instance, the curvature does not blow up, and in fact converges smoothly to an (incomplete) limit), and a disappearing region D, whose topology is well controlled. (For instance, the interface between C and D will be a finite union of disjoint surfaces homeomorphic to .) This allows one (at the topological level, at least) to perform surgery on the interface , removing the disappearing region D and replacing them with a finite number of “caps” homeomorphic to the 3-ball . The relationship between the topology of the post-surgery manifold and pre-surgery manifold is as is described way back in Lecture 2. [...]

16 July, 2008 at 5:53 am

MohammadThere are two equations numbered as 1.