The course will cover as much of perelmans proof as possible. I say was because as katie mentioned earlier, it has now been solved by a man called grigori perelman. In fact, the purpose of this book is to prove the following more general theorem. The converse result we shall now prove a weakened converse to the orem 2. Geometry 21 inductive reasoning and conjecturing a. For example, the riemann hypothesis is a conjecture from number theory that amongst other things makes predictions about the distribution of prime numbers.
Every simply connected, closed 3manifold is homeomorphic to the 3sphere an equivalent form of the. Hodge conjecture for kahler varieties, coherent sheaf version. Poincare in 1904, who sought to mathematically define the. In mathematics, the poincare conjecture is a theorem about the characterization of the 3sphere. Perelmans results say he has proved a much broader conjecture about the geometry of three. Geometrically, it means that the tangent vector x0t of the curve is at any time equal to the vector. The integral cohomology group h2 of such a manifold is free abelian. 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. Poincares conjecture is one of the seven millennium problems that bring a onemilliondollar award for a solution. 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. Poincares conjecture implies con jecture 1 if the following hypothesis is tme.
Through the coordinate transformation the original metric can allways be transformed to the diagonal form. The poincare conjecture, before being proved, was one of the most important open questions in topology. In this paper, we shall present the hamiltonperelman theory of. 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. Sometimes, a conjecture is called a hypothesis when it is used frequently and repeatedly as an assumption in proofs of other results. Poincares conjecture is implied by a conjecture on free. Mar 25, 20 perelmans proof, along with poincare conjecture, answered thurstons conjecture positively.
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. 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. Several ways to apply a multivalued multiargument function to a family of filters. In the second case, serranos conjecture predicts that x is fano if. 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. Or, stated differently, in three dimensions, any surface that has the geometry of a sphere actually is a sphere. Generalized poincares conjecture in dimensions greater than. Colin rourke the poincare conjecture states that a homotopy 3sphere is a genuine 3sphere. Sep 22, 2014 the poincare conjecture is that, every simply connected, closed 3manifold is homeomorphic to the 3sphere. Oshea tells the fascinating story of this mathematical mystery and its solution by the eccentric mr. The existence of such an l implies that m3 is a 3sphere.
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. The poincare conjecture is that, every simply connected, closed 3manifold is homeomorphic to the 3sphere. There is one problem on this list in common with hilberts list, the riemann hypothesis. This work depends on the accumulative works of many geometric analysts in the past thirty years. Jul 01, 2010 so what is the poincare conjecture anyway. One of the clay millennium problems is the poincare conjecture. Hodge conjecture for kahler varieties, vector bundle version. The poincare conjecture, a 100yearold mathematical conundrum, has been solved. For one thing, it has strong connections with graph theory and polyhedra, as you can read it in my article on the utilities problem. A counterexample to the strong version of freedmans conjecture. Applications and the proof 3 in order for xt to be a solution curve, it has to satisfy x0 fx.
Proof of the soul conjecture of cheeger and gromoll pdf. Sep 22, 2014 the poincare conjecture and grigori perelman. 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. Unfortunately, there is a shortage of problem books. There is a lot more to be said in topology of closed manifolds. Perelmans results go well beyond a solution to the problem at hand, as did those of dr. In this paper, we give a complete proof of the poincar. Dec 26, 2007 oshea tells the fascinating story of this mathematical mystery and its solution by the eccentric mr. Po in car conjecture 393 we obtain an orientation preserving diffeomorphism. Free group, handlebody, homeomorphism, 3manifold, simply connected, 3sphere. 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. 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. Then every hodge class on x is a linear combination with rational coefficients of chern classes of vector bundles on x.
Mar, 2010 the poincare conjecture is first and only of the clay millennium problems to be solved. 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. The conjecture implies that if a space does not have essential holes, then it is a sphere. The poincare conjecture, named after french mathematician henri poincare 18541912, states that a threedimensional manifold with the homotopy of the sphere is the sphere. Russian reports he has solved a celebrated math problem. The poincare conjecture and grigori perelman ib maths. If one takes mi and m, jequivalent disregarding orientation, one finds that mi and m2 are diff eomorphic. 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. The poincare conjecture had been shown to be true in every dimension except the fourth and proving this was the millennium problem. Hales takes on wuyi hsiangs 1990 announcement that he had proved the kepler conjecture. It was originally formulated in 1908, by steinitz and tietze this conjecture is now known to be false. Poincare wikipedia since it was proposed by polymath h.
Make a conjecture and draw a figure to illustrate your conjecture. 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. 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. Poincare conjecture is im plied by a single grouptheoretic conjecture. 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. In 2006 the russian mathematician grigori perelman was awarded the mathematical equivalent of the mathematical nobel prize the fields medal. Poincares conjecture is implied by a conjecture on free groups. Hamilton to use the ricci flow to attempt to solve the problem. Apr 23, 2014 the famed poincare conjecture the only millennium problem cracked thus far. Generalized poincares conjecture in dimensions greater. Based on it, we shall give the first written account of a complete proof. 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. 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.
How to tackle the smooth poincare conjecture mathoverflow. Here a link l is weakly a b slice if the reembeddings of a i. In this book we present a complete and detailed proof of the. 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. To put it in an even simpler terms, the solution curve xt. 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.
The poincare conjecture clay mathematics institute. It should be noted that the piecewise linear or di. Most explanations of the problem are overlysimplistic or overlytechnical, but on this blog i try to hit a nice middleground. Perelmans proof of the poincare conjecture terry tao. 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. Introduction to poincare conjecture and the hamilton. 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. Let v denote the fvector space of all polynomials in fx. 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. At first glance that may look quite complicated so looking at the definitions in turn. However, as a warm up, ill begin with the simpler and more classical theory of twodimensional manifolds, i. Would the following conjectures imply cramers conjecture. 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. Nowadays, there are a lot of excellent quantum field theory textbooks.
210 1272 307 342 1333 15 772 256 1319 483 98 1386 959 1347 97 893 750 202 647 1013 258 1223 1000 215 544 1152 173 1282 664 1278 1007