Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Pereleman's Proof.

  1. Mar 22, 2009 #1


    User Avatar
    Gold Member

    What fields of interest in topology (or else) should I learn to fully understand his proof?
    Is there a comprehensible list?

    Thanks in advance.
  2. jcsd
  3. Mar 22, 2009 #2
    "Ricci Flow and the Poincaré Conjecture" by John Morgan and Gang Tian http://claymath.org/library/" [Broken] requires only minimal background (basics from differential geometry, homotopy theory and PDEs).
    Last edited by a moderator: May 4, 2017
  4. Mar 22, 2009 #3


    User Avatar
    Gold Member

    This is why I ask is there a comprehensible list, but thanks nontheless.
  5. Mar 31, 2009 #4
    My guess is you are not going to FULLY understand his proof unless you spend the next ten years at it, and even then perhaps not.
  6. Apr 2, 2009 #5
    You need to understand the basics of course (differential geometry, topology), as well as advanced Riemannian geometry (comparison theorems, etc.) as well as advanced PDE (specifically hyperbolic equations). Furthermore, it wouldn't hurt to have some background in the calculus of variations, since those ideas form the basic framework for techniques like the Ricci flow.
  7. Apr 9, 2009 #6
    Perelman uses a lot of advanced techniques in differential geometry and geometric analysis. I would recommend you read Peter Petersen's text on Riemannian Geometry, L.C. Evans text on Partial Differential Equations, Peter Li's notes on Geometric Analysis and then read Richard Hamilton's seminal papers on Ricci Flow and Geometrization from the 80s. Finally, read a full proof of Perelman's argument; there is John Morgan and Gang Tian's proof (which is available on arXiv), then there is also one done by some of Yau's students and I believe Bruce Kleiner and John Lott also wrote a proof while they were at Michigan.

    You need a background in graduate Riemannian Geometry, a workable background in PDEs. There are some good "intro" books, like Knopf and Chow then there is Chow and Ni (both from San Diego). But these are generally 2nd or 3rd year grad differential geometry texts.

    It should be noted that this is a geometric analysis argument. John Morgan recalls talking to ST Yau a few years ago saying that the Poincare Conjecture (which is a topological problem) will be solved only using topological methods while Yau said you need to implement geometry. Perelman is NOT a topologist by trade; he is a remarkable differential geometer and incredibly innovative. Perelman originally published his papers on arXiv and the papers were less than 40 pages a piece, while Morgan and Tian's proof is approximately 500+ pages. Perelman is from the Russian school of thought where some proofs are not totally explicit and leaves a lot to the reader.

    Also, Perelman solved the bigger problem of Thurston Geometrization, of which the Poincare Conjecture is a "corollary." Quite an extraordinary corollary!

    Sadly Perelman quit after the controversy involved with Yau and his students. I feel like I have been robbed that such a talented mathematician has quit; I will never able to read any new papers by Perelman. Please come out of retirement Grisha!
    Last edited: Apr 9, 2009
  8. Apr 10, 2009 #7
    There is one professor at my university who understands the proof, and this is only because his research area is comparison Riemannian geometry with heavy use of PDE. Unless you plan on going into research in Riemannian geometry, you probably won't ever fully understand the proof.
  9. Apr 14, 2009 #8


    User Avatar
    Gold Member

    Zhentil, I know it's quite hard, but I have patience, you need to have it if you are dealing with maths and physics, don't you? (-:

    And a good memory, which I have because of lack of coffee drinking! (-:
  10. Apr 14, 2009 #9
    If you have the patience why not start out with Richard Hamilton's papers on Ricci flow? He invented this idea which underlies the proof of Thurston's Geometrization conjecture.

    His collaborator Matt Grayson also has a famous paper in the Annals of Mathematics on curvature flow of closed curves.

    This work is certainly important background to Perleman and is much simpler (though not simple).
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Threads - Pereleman's Proof Date
I Proof of Stokes' theorem Apr 8, 2017
I Confusion on Bianchi Identity proof Sep 21, 2016
Proof of dimension of the tangent space May 21, 2015
Cyclic Graph Proof? Jan 3, 2015