Hales takes on wuyi hsiangs 1990 announcement that he had proved the kepler conjecture. Poincare in 1904, who sought to mathematically define the. Oshea tells the fascinating story of this mathematical mystery and its solution by the eccentric mr. Unfortunately, there is a shortage of problem books. The poincare conjecture had been shown to be true in every dimension except the fourth and proving this was the millennium problem. It can be generalised to all dimensions and was proved for n 2 in the 1920s, for n. Perelmans proof of the poincare conjecture terry tao. Dec 26, 2007 oshea tells the fascinating story of this mathematical mystery and its solution by the eccentric mr. In this paper, we give a complete proof of the poincar. Proof of the soul conjecture of cheeger and gromoll pdf.
Based on it, we shall give the first written account of a complete proof. In fact, the purpose of this book is to prove the following more general theorem. This problem book is based on the exercises and lectures which i have given to undergraduate and graduate students of the faculty of physics, university of belgrade over many years. A counterexample to the strong version of freedmans. We discuss some of the key ideas of perelmans proof of poincar\es conjecture via the hamilton program of using the ricci flow, from the perspective of the modern theory of nonlinear partial differential equations. Existence theory for ricci flow, finite time blowup in the simply connected case, bishopcheegergromov comparison theory, perelman entropy, reduced length and reduced volume and applications to non. This work depends on the accumulative works of many geometric analysts in the past thirty years. Then every hodge class on x is a linear combination with rational coefficients of chern classes of vector bundles on x. It should be noted that the piecewise linear or di. The integral cohomology group h2 of such a manifold is free abelian. Let v denote the fvector space of all polynomials in fx.
Free group, handlebody, homeomorphism, 3manifold, simply connected, 3sphere. Geometry 21 inductive reasoning and conjecturing a. Applications and the proof 3 in order for xt to be a solution curve, it has to satisfy x0 fx. The poincare conjecture, named after french mathematician henri poincare 18541912, states that a threedimensional manifold with the homotopy of the sphere is the sphere. The converse is also valjd modulo a hypothesis on the uniqueness of decomposition of the 3sphere as the union of two handlebodies intesecting in a torus. In the 1980s, hamilton initiated the program of using ricci.
Introduction to poincare conjecture and the hamilton. Perelmans results say he has proved a much broader conjecture about the geometry of three. A read is counted each time someone views a publication summary such as the title, abstract, and list of authors, clicks on a figure, or views or downloads the fulltext. Poincare conjecture, in topology, conjecturenow proven to be a true theoremthat every simply connected, closed, threedimensional manifold is topologically equivalent to s3, which is a generalization of the ordinary sphere to a higher dimension in particular, the set of points in. Po in car conjecture 393 we obtain an orientation preserving diffeomorphism. The course will cover as much of perelmans proof as possible. In studying manifolds under the relation of jequivalence, one can use the methods of cobordism and homotopy theory, both of which are fairly well developed. Poincares conjecture is one of the seven millennium problems that bring a onemilliondollar award for a solution. If one takes mi and m, jequivalent disregarding orientation, one finds that mi and m2 are diff eomorphic. Mar, 2010 the poincare conjecture is first and only of the clay millennium problems to be solved. Nowadays, there are a lot of excellent quantum field theory textbooks.
Make a conjecture and draw a figure to illustrate your conjecture. Sometimes, a conjecture is called a hypothesis when it is used frequently and repeatedly as an assumption in proofs of other results. How to tackle the smooth poincare conjecture mathoverflow. To put it in an even simpler terms, the solution curve xt. The conjecture states that there is only one shape possible for a finite universe in which every loop can be contracted to a single point. Jul 21, 2015 the poincare conjecture had been shown to be true in every dimension except the fourth and proving this was the millennium problem. In the second case, serranos conjecture predicts that x is fano if. Sep 22, 2014 the poincare conjecture and grigori perelman. Poincare wikipedia since it was proposed by polymath h. Mar 25, 20 perelmans proof, along with poincare conjecture, answered thurstons conjecture positively.
A counterexample to the strong version of freedmans conjecture. The proof by the russian mathematician grigori perelman, which he first presented in 2002, has been confirmed by an international group of mathematicians whose findings were presented to participants at a conference held at the abdus salam international. Poincares conjecture implies con jecture 1 if the following hypothesis is tme. Jan, 2016 the poincare conjecture, named after french mathematician henri poincare 18541912, states that a threedimensional manifold with the homotopy of the sphere is the sphere. In mathematics, the hodge conjecture is a major unsolved problem in the field of algebraic geometry that relates the algebraic topology of a nonsingular complex algebraic variety to its subvarieties. Through the coordinate transformation the original metric can allways be transformed to the diagonal form. The proof by the russian mathematician grigori perelman, which he first presented in 2002, has been confirmed by an international group of mathematicians whose findings were presented to participants at a conference held at the abdus salam international centre for theoretical physics ictp in trieste. Colin rourke the poincare conjecture states that a homotopy 3sphere is a genuine 3sphere. In 2006 the russian mathematician grigori perelman was awarded the mathematical equivalent of the mathematical nobel prize the fields medal. Perelmans results go well beyond a solution to the problem at hand, as did those of dr. Hamilton to use the ricci flow to attempt to solve the problem.
It was originally formulated in 1908, by steinitz and tietze this conjecture is now known to be false. A stronger version of freedmans conjecture, that the borromean rings are not even weakly a bslice, has been the main focus in the search for an obstruction to surgery. The conjecture implies that if a space does not have essential holes, then it is a sphere. Apr 23, 2014 the famed poincare conjecture the only millennium problem cracked thus far. For one thing, it has strong connections with graph theory and polyhedra, as you can read it in my article on the utilities problem. For example, the riemann hypothesis is a conjecture from number theory that amongst other things makes predictions about the distribution of prime numbers. Would the following conjectures imply cramers conjecture.
Geometrically, it means that the tangent vector x0t of the curve is at any time equal to the vector. There is a lot more to be said in topology of closed manifolds. The existence of such an l implies that m3 is a 3sphere. Grigory perelman, a russian mathematician, has offered a proof that is likely to win the fields medal, the mathematical equivalent of a nobel prize, in august 2006. Fn, there is a nontrivial polynomial of degree at most o njsj 1 n which vanishes on all of s or in algebraic geometry language, any set s. Poincares conjecture is implied by a conjecture on free. In mathematics, the poincare conjecture is a theorem about the characterization of the 3sphere. The poincare conjecture clay mathematics institute. The hauptvermutung german for main conjecture of geometric topology is the conjecture that any two triangulations of a triangulable space have a common refinement, a single triangulation that is a subdivision of both of them. Wall street journal in 1904, henri poincare, a giant among mathematicians who transformed the fledging area of topology into a powerful field essential to all mathematics and physics, posed the poincare conjecture, a tantalizing puzzle that speaks to the possible shape of the. Most explanations of the problem are overlysimplistic or overlytechnical, but on this blog i try to hit a nice middleground.
Every simply connected, closed 3manifold is homeomorphic to the 3sphere an equivalent form of the. Russian reports he has solved a celebrated math problem. In this paper, we shall present the hamiltonperelman theory of. Generalized poincares conjecture in dimensions greater. Sep 22, 2014 the poincare conjecture is that, every simply connected, closed 3manifold is homeomorphic to the 3sphere. Introduction to poincare conjecture and the hamiltonperelman program david glickenstein math 538, spring 2009 january 20, 2009 1 introduction this lecture is mostly taken from taos lecture 2. The converse result we shall now prove a weakened converse to the orem 2. Nov 24, 2009 this video presents a visual overview of the poincare conjecture, background, solution, mathematics, ensuing controversy and a few figures surround the solution. In search of the shape of the universe donal oshea the poincare conjecture is one of the few mathematical results that has managed to catch the interest of the mainstream media.
Or, stated differently, in three dimensions, any surface that has the geometry of a sphere actually is a sphere. I say was because as katie mentioned earlier, it has now been solved by a man called grigori perelman. There is one problem on this list in common with hilberts list, the riemann hypothesis. The proof is essentially after dvirs original paper 8 with some minor technical simpli cations that have appeared afterwards in literature essentially due to alon and tao. The poincare conjecture, a 100yearold mathematical conundrum, has been solved. One of the clay millennium problems is the poincare conjecture. Poincare conjecture is im plied by a single grouptheoretic conjecture. Poincares conjecture is implied by a conjecture on free groups. Here a link l is weakly a b slice if the reembeddings of a i. Hodge conjecture for kahler varieties, vector bundle version. Bernard russo uci the poincar e conjecture the mathematics of smooth behavior 10 in the early years of the twentieth century, poincar e and other mathematicians set out to classify higherdimensional analogues of surfaces, called \manifolds. The poincare conjecture and grigori perelman ib maths. Jun 06, 2006 the neverknowinglyundersold chinese news agency xinhua is reporting that a team of chinese scientists has solved poincares conjecture, one of the longestoutstanding mathematical problems that.
Jul 01, 2010 so what is the poincare conjecture anyway. Hodge conjecture for kahler varieties, coherent sheaf version. However, as a warm up, ill begin with the simpler and more classical theory of twodimensional manifolds, i. Fnis contained in an algebraic variety which is the zeroset of a polynomial of degree o njsj 1 n.
Several ways to apply a multivalued multiargument function to a family of filters. The poincare conjecture, before being proved, was one of the most important open questions in topology. This problem was directly solved between 2002 and 2003 by grigori perelman, and as a consequence of his demonstration of the thurston geometrisation conjecture, which culminated in the path proposed by richard hamilton. At first glance that may look quite complicated so looking at the definitions in turn. The poincare conjecture is that, every simply connected, closed 3manifold is homeomorphic to the 3sphere. In this book we present a complete and detailed proof of the.
1490 30 1531 189 913 250 1233 294 1241 979 1324 1152 766 1290 982 256 1010 699 600 492 651 1343 1527 779 1413 18 833 409 1002 1456 656 1214 1270 748 616 1062 136 110 1243 1013 730 1068 267