Hide sidebar
Lê Nguyên Hoang
By Lê Nguyên Hoang
PhD Student in Applied Maths at Polytechnique of Montreal.
Engineer of the Ecole Polytechnique, France. (X2007)

Poincaré Conjecture and Homotopy

Abstract Poincaré conjecture is the most recent major proven theorem. Posited a century ago by Henri Poincaré, this major conjecture of topology was solved by Gregori Perelman. It has revolutionized our understanding of space and raised intriguing questions regarding the global structure of our Universe. | Outline | Posted: March 25th, 2013 | Last Modified: April 6th, 2014 | Tags: , , | Views: 3800 | No Comments »

Of the seven millenium prize problems, Poincaré conjecture is the only solved one. Conjectured by French mathematician Henri Poincaré (who, by the way, went through the same University as I did!!!), it was solved by Russian mathematician Gregori Perelman in 2003. This article explains what the conjecture says.

I wrote an article on P versus NP, which is another of the seven millenium prize problems.

Homeomorphism

Mug_and_Torus_morph

Poincaré conjecture is a problem of topology, which is a subfield of mathematics which studies properties of connectedness of spaces. In particular, topology aims at continuously deforming spaces into simpler better-known spaces. For instance, in the animation from Wikipedia on the right, a mug is continuously deformed into a doughnut. This continuous deformation is called a homeomorphism.

So a homeomorphism is a continuous mapping between two spaces?

Not exactly. In order to have the topological properties preserved, topologists also want homeomorphisms to be invertible, and that the inversion is continuous too. This means that, not only do we need to be able to deform continuously the mug into a doughnut, but we also need to be able to invert continuously the doughnut back into a mug. In more precise terms, a homeomorphism is a continuous one-to-one mapping between two topological sets whose inverse is continuous too.

If you want to know more about the basics of topology, like what it means for a mapping to be continuous, you should read my article on basic topology. But you don’t need the rigorous definition to follow the major ideas of this article.
This sounds complicated…

Visually, it’s very simple. Basically, homeomorphisms involve stretchings and contractions, but forbid cuts and pastes. This means, for instance, that disconnected spaces cannot be connected by a homeomorphisms. Below are several examples of homeomorphic spaces.

Homeomorphism

As a bit of a geography geek, I would have loved to show you homeomorphisms of countries. But, as explained in CGPGrey’s video, except for islands or disconnected countries, only Italy and South Africa aren’t homeomorphic to a disk. And they are not even homeomorphic to each other, as Italy has 2 holes, while South Africa only has one…

Notice that the two spaces above are not homeomorphic to the two spaces below. This can proved by remarking that the two spaces above have one connected boundary. On the other hand, the two spaces below have a disconnected boundary. Since borders cannot be cut nor pasted, there is no way of deforming these of the above spaces into these of the below spaces.

So I guess we can classify spaces up to homeomorphism by the number of connected components of both the space and its boundary…

This definitely enables to tell non-homeomorphic spaces apart. But two spaces with equal number of connected components, and whose boundaries are also made of the same number of connected components, are not necessarily homeomorphic. To better understand this, Poincaré focused on connected spaces with no boundary. Also he only considered bounded spaces, as opposed to spaces which go to infinity like a plane. Technically, these spaces are defined as compact spaces with a dimension n such that, if you zoom enough around any of point, the space looks like a n-dimensional vector space. They are called closed n-manifolds. A 1-manifold is a curve, while a 2-manifold is a surface.

I’m not dwelling on the concept of compactness, although it is a fundamental concept in topology. For our purpose, because we only work on finite dimensional spaces, compactness corresponds to boundedness. This means that the space is in a limited volume.
Can you give an example?

Sure. In fact, the examples I’m going to give will be essential to discuss Poincaré conjecture. First is the simplest closed 2-manifold, namely, the sphere. If you zoom in on a sphere, the surface of the sphere looks like a plane, which is the 2-dimensional vector space. A sphere is thus a 2-manifold. Plus, it is compact since it is bounded.

What’s the other?

The other important closed 2-manifold is the torus, which is basically the surface of the doughnut I mentioned earlier. What’s important to note is that, even though the torus and the sphere are both closed 2-manifolds, they are not homeomorphic!

Sphere and Torus

Why aren’t they homeomorphic?

This is an awesome question to leads me to Poincaré’s key insight.

Homotopy

Poincaré’s key insight was to consider loops made on a figure. This study of loops is called homotopy. Listen to myself explaining this idea in this extract from a Trek through 20th Century Mathematics.

So a loop is a path on the surface which goes back to the starting point?

Yes! Exactly. But one thing to notice is that some loops are essentially equivalent. This is the case whenever one can be deformed continuously into the other. We say that such loops are homotopic. For instance, in the following figure, the purple loop displays the continuous deformation of the blue loop into the green loop. Thus, the blue and green loops are homotopic.

Equivalent loops

In fact, you can even notice that these loops can be deformed into a point. They are thus homotopic to points. We say that these loops are contractible. They sort of represent the zero of homotopy.

Non-Equivalent Loops

Aren’t all loops contractible?

Well, it depends on the structure of the space we study. In the holed disk on the right, the blue and green loops cannot be deformed into one another. They are not homotopic. In particular, the blue loop is contractible, while the green loop isn’t.

So what does homeomorphism have to do with homotopy?

Homeomorphism preserves homotopy.

Could you translate in understandable words?

Sure! Consider a disk and a polygon, and a homeomorphism between them. Let a green and a blue loop of the disk. Each point of each loop is thus uniquely mapped with a point of the polygon. Overall, each loop of the disk is uniquely mapped with a loop of the polygon. Thus, the green and blue loops of the disk are mapped with a green and a blue loop of the polygon.

Homeomorphism of Homotopy

When I say that homeomorphism preserves homotopy, I mean that the green and blue loops of the disk are homotopic if and only if their images in the polygon are homotopic.

Why would that be true?

Let’s prove it! Assume that, in the disk, the green and blue loops are homotopic. Then there are purple loops which are intermediate loops from the blue to the green loop. Each purple loop of the disk is mapped with a purple loop of the polygon. The obtained purple loops of the polygon now form a transition from the blue to the green loop in the polygon. Thus, the image of homotopic loops by the homeomorphism are homotopic too. A similar reasoning shows that homotopic loops of the polygon are associated with homotopic loops of the disk by the inverse homeomorphism.

So, to prove that a sphere is not homeomorphic to a torus…

We only need to prove that there are loops on a torus which do not correspond to any loop on a sphere. The key argument is that all loops on a sphere are contractible, while the torus has the two non-contractible blue and green loops drawn below. If there were a homeomorphism, then the image of the blue and green loops in the sphere would be non-contractible, which contradicts the fact that loops on a sphere are all contractible. Thus, the sphere and the torus are not homeomorphic.

Loops on Sphere and Torus

I’m not sure I see it clearly…

Surfaces in 3 dimensions are hard to visualize indeed. Fortunately, there is a much simpler way to describe two-dimensional surfaces using planar representations and… glue.

Net of a Cube

Planar Representations

Glue?

Yes! You have probably learned at school that you could make a cube using a net like the one on the right, and by then gluing the sides in the right way. This right way is represented by colors on the edge. Same colors must be glued together. We can describe loops on the cube by describing the loops on the net. Isn’t this planar representation much simpler to visualize?

Yes! But what about the sphere and the torus? Are there nets for these?

Yes! For instance, the Earth is usually represented by a 2-dimensional map. However, the gluing of the map is a bit more complicated, as the whole top of the map should be glued together as the North Pole. Now, when I took a flight from Toronto to Beijing, the plane went through the North pole. This can be nicely represented on the map:

Path on a Map

So are you going to show us that all loops are contractible on a sphere with the map above?

No. Although common to us all, the map drawn above is a bit too complicated in terms of gluing, as there are four sides with different properties. Rather, let’s work on the most simple representation of the sphere, which is a disk centered on the North pole. The edge of the disk corresponds to the South pole, and should thus be all glued together.

Disk Representation

By the way, this representation is great to visualize the fact that the shortest path from Toronto to Beijing does go through the North pole. Find out more about map making with Scott’s article on non-Euclidean geometry.

OK… How do we now deduce that all loops are contractible on a sphere?

All the points of the edge of the disk are one single point. Thus, a path disappearing at one end and reappearing at another end can be deformed into a path going along the edge, as done below.

Contractible Loops of the Sphere

The deformed loop can then be contracted to a point.

I’m sort of convinced for this particular loop. But what about the general case of any loop?

Consider any loop on the sphere. We can deform it such that it never crosses the South pole. This deformed loop doesn’t cross the edge of the disk. It can then thus be contracted to a point by a homothety centered on the North pole. You can learn about homothety with my article on symmetries.

What about the torus?

Hehe… The torus is actually a square with opposite sides glued together, exactly like in one of History’s greatest video game, PAC-MAN. If this is missing of your culture, I feel sorry for you! But I’ll explain it nevertheless. PAC-MAN is played on a screen. Whenever you go out of the screen on the right, you reappear on the left. Similarly, when you go out out of the screen on the top, you reappear on the bottom.

I’m not convinced that gluing the sides yields a torus…

As we first glue the top with the bottom, we obtain a cylinder. We now needs to glue the end sections of the cylinder, which can be done by curving the cylinder. We obtain the following figure:

Square Representation of the Torus

This shows that a torus equals $\mathbb R^2/\mathbb Z^2$, or, equivalently, $\mathbb S\times \mathbb S$, where $\mathbb S = \mathbb R/\mathbb Z$ is the one-dimensional circle. Amusingly, this also indicates that tori are much simpler than spheres.

Check out this animation by Youtube channel Geometric Animations of the transformation I described above:

So what are non-contractible loops like in the square representation?

Non-contractible loops in the square representation are those which cross the edges. The two non-contractible loops we represented on the torus earlier are now represented as follows:

Fundamental Loops on Square Representation of the Torus

Why would these loops be non-contractible?

Let’s consider the green loop. The reasoning for the blue one will be similar.

OK… So why is the green loop non-contractible?

That’s because it crosses the top edge. In fact, for any continuous deformation of the green loop, we can track the intersection of the deformed loop with the top edge, which proves that it cannot disappear. Similarly, we can draw a horizontal line in the middle of the square, and any deformation of the loop would also have to cross this horizontal line. Thus, any deformation of the green loop must intersect both the top edge and the middle horizontal line. It can therefore not be contracted to a point. This proves that the green loop is not contractible.

So the torus has non-contractible loops while the sphere doesn’t, and this proves that they are not homeomorphic?

Exactly! More generally, we now know that any space with non-contractible loop is not homeomorphic to a sphere.

Is that Poincaré conjecture?

No. Poincaré conjecture concerns the reciprocal phrase. Namely, it asks whether closed surfaces with no non-contractible loop are homeomorphic to a sphere…

Poincaré Conjecture

Poincaré gave a name to these surfaces and spaces with no non-contractible loop. He called them simply connected. Poincaré managed to prove the result for two-dimensional manifolds, also known as surfaces. His theorem is one of these amazingly simple ones, as it can be written with 10 words:

Theorem: Any closed simply-connected surface is homeomorphic to a sphere.

How did he prove it?

Unfortunately, the only proofs I know, which involve the classification of 2-dimensional closed surfaces with technics of cutting and gluing, would be too long to explain here. These are nice proofs with no really technical difficulty. You can check it out in this great lecture by Norman Wildberger.

If you know a simpler proof which could be presented here, please tell me!
But this is not Poincaré conjecture, is it?

No. Poincaré conjecture concerns higher dimension manifolds. In dimension n greater or equal to 2, Poincaré conjecture is stated as follows:

Theorem: Any closed simply connected n-manifold is homeomorphic to a n-sphere.

You should now be able to understand every single word here except one…

What’s a n-sphere?

That’s the one! A n-sphere is defined as the set of points at distance 1 to the origin in a (n+1)-dimensional normed vector space.

So how do we represent these n-spheres?

Hummm… Tough one. I give up for high dimensions, but I can provide a representation for dimension 3. A 3-sphere is the interior of the 2-sphere whose boundary is glued as a single point, in a similar way that we have described the 2-sphere with the interior of a 1-sphere. The interior of a n-sphere is known as a (n+1)-ball. So, in other words, a 3-sphere is a 3-ball whose boundary is glued into a single point.

Does this work?

It does! One construction consists in noting that a point on the 3-sphere lying in the 4 dimensional space is nearly known by 3 of its coordinates. In fact, if the 3 coordinates form a vector which belongs to a 3-ball, there is exactly 2 possible values for the last coordinate, which sort of correspond to the North and the South hemi-3-sphere. And if the 3 coordinates belong to the 2-sphere, then the 4th coordinate is uniquely defined. This corresponds to a sort of 2-dimension equator which belongs to both hemi-3-sphere. As a result, the 3-sphere can be thought as the union of two 3-balls which are to be glued along their boundaries.

I’m not sure I see what you mean…

Check this nice animation by Patrick Massot where the two hemi-3-sphere of the 3-sphere are displayed separately.

Patrick Massot wrote this great article on Poincaré conjecture on images.math.cnrs.fr and poincare.fr. It’s in French though… But if you can read French, you should definitely check it out (as well as other articles of these two websites!). I’d like to personally thank him for sending me these videos and allowing me to include them here.

And we can glue these boundaries by inverting one of the 3-balls as follows:

3-Sphere into 3-Ball

Note that the center of the second 3-ball is inverted into the boundary of the final 3-ball. The final 3-ball can then be resized such that his radius equals 1. We eventually obtain a 3-ball whose boundary should be all glued together as one single point.

The homeomorphism from the 3-ball to the sphere can be written as a mapping of a point (x1, x2, x3) with (x1, x2, x3, sgn(z) sqrt(|z|)), where z = 1-2(x12+x22+x32). The value of the 4th coordinate thus goes from 1 to -1 as we go from the center of the 3-ball to its edge.
So I guess we can use a similar reasoning as for the 2-sphere to prove that the 3-sphere is simply connected…

Yes! In fact, this construction is more general and works for any n-sphere. Any n-sphere is thus a n-ball whose boundary is a single point. By deforming loops such that they never reach this point, we can then prove that any loop is homotopic to a loop which belongs to the n-ball, and can thus be contracted using a mere homothety. This proves that any n-sphere is simply connected.

This is good, but Poincaré conjecture is about the reciprocal, right?

Yes, but this is a much more difficult problem. In fact, in 1904, Poincaré himself wrote: this question would take us too far (cette question nous entraînerait trop loin). He was definitely right! It took mathematicians a century to finally solve it entirely. Progresses have been made steadily, as the theorem was first proven in the 1960s for dimensions 7 and higher. Amusingly, the smaller the dimension, the harder the problem. In 1982, dimension 4 was solved, and there was only the problem in dimension 3 left.

And then Perelman solved it in dimension 3 in 2003…

Yes. And this came as a surprise, as he methods were definitely not conventional in topology.

What do you mean?

Gregori Perelman

Topologists mainly use technics of cutting and pasting like those I’ve presented in this article. But Perelman’s method rather consisted in using the dynamics of heated objects to prove Poincaré conjecture.

The dynamics of heated objects?

Yes. The idea is that, as objects get heated, they become rounder and rounder. More curved portions get straightened quicker. Eventually, they become spheres. By using this idea to deform the geometry of spaces, Perelman proved that all 3-manifolds could be deformed into one of the fundamental classes of closed 3-manifolds.

I’m not sure I understand…

So let’s see another of Patrick Massot’s animations:

In particular, if the initial 3-manifold is simply connected, it gets deformed into the 3-sphere. Which proves the Poincaré conjecture.

We’re getting to topics which are way beyond my expertise. If you can, please write about this! Note though that you can find nice animations on this page, which, unfortunately, I haven’t been able to include here. The first video represents the 3-sphere as the union of 2 3-balls glued together (the left hand side of the figure above). The third one illustrates the deformation of a manifold with Perelman’s heating technics.

Let’s Conclude

Poincaré conjecture has been a cornerstone for the classification of closed manifolds. While closed surfaces have been classified mainly by Bernhard Riemann, the classification of closed 3-manifolds had a deep connection with Poincaré conjecture. In 1982, William Thurston, probably the greatest topologist of the 20th century, conjectured that the geometry of any closed 3-manifold could be classified as one of 8 possible geometries. Perelman’s proof, along with Poincaré conjecture, answered Thurston’s conjecture positively.

There is a lot more to be said in topology of closed manifolds. For one thing, it has strong connections with graph theory and polyhedra, as you can read it in my article on the utilities problem. Also, I plan on writing an article soon on the amazing non-orientable surfaces, which involve the Möbius band, the projective plane or the Klein bottle. Stay tuned!


Subscribe to Science4All to stay in touch with awesome science:

Food for Thoughts

  • The title of one of Alex Dainis' videos says that red blood cells are donut-shaped (but to my greatest disappointment they are not). Does this make sense topologically?Tough question... Cell membranes can be cut (as in mitosis), but I don't know if they can be glued. An interesting similar problem regards toroidal soap bubbles. Mathematician Frank Morgan claimed it couldn't, but performer Tom Noddy did create one.
  • What happens if we glued opposite sides of a square in opposite directions?Hehe... You get some amazing non-orientable surfaces! I'll write an article on that soon.
  • Provide a representation of the 3-dimensional torus.A cube whose opposite sides are glued.

Contributors

  • No one so far... So you can be the first to contribute to this article!

Goingfurther Articles

  • Non-Euclidean Geometry and Map-MakingScott McKinney Non-Euclidean Geometry and Map-Making
    By Scott McKinney | Updated:2013-01 | Views: 1558
    Geometry literally means "the measurement of the Earth", and more generally means the study of measurements of different kinds of space. Geometry on a flat surface, and geometry on the surface of a sphere, for example, are fundamentally different. A consequence of this disparity is the fact that it is impossible to create a perfectly accurate (flat) map of the Earth's (spherical) surface. Every map of the Earth necessarily has distortions. In this post we look at a few different methods of map-making and evaluate their distortions as well as their respective advantages.
  • Euler's Formula and the Utilities ProblemLê Nguyên Hoang Euler's Formula and the Utilities Problem
    By Lê Nguyên Hoang | Updated:2014-06 | Views: 4467
    I was a kid when I was first introduced to the deceptively simple utilities problem. It's only lately that I've discovered its solution! And it's an amazing one! Indeed, it provides a wonderful insight into some fundamental mathematics, including Euler's formula! This is nothing less than the gateway to the wonderful world of algebraic topology!
  • The Tortuous Geometry of the Flat TorusLê Nguyên Hoang The Tortuous Geometry of the Flat Torus
    By Lê Nguyên Hoang | Updated:2014-06 | Views: 5868
    Take a square sheet of paper. Can you glue opposite sides without ever folding the paper? This is a conundrum that many of the greatest modern mathematicians, like Gauss, Riemann, and Mandelbrot, couldn't figure out. While John Nash did answer yes, he couldn't say how. After 160 years of research, Vincent Borrelli and his collaborators have finally provided a revolutionary and breathtaking example of a bending of a square sheet of paper! And it is spectacularly beautiful!
  • Homotopy Type Theory and Higher Inductive TypesLê Nguyên Hoang Homotopy Type Theory and Higher Inductive Types
    By Lê Nguyên Hoang | Updated:2014-04 | Views: 815
    In this article, we explore the possibilities allowed by higher inductive types. They enable a much more intuitive formalization of integers and new mind-blowing definitions of the (homotopical) circle and sphere.

Related Articles


 

You must log in to comment this article.