Poincare conjecture solved (1 Viewer)

Sober

Member
Joined
Dec 6, 2005
Messages
215
Gender
Male
HSC
2003
According to this and various other sources. I didn't really know much about this problem, but it is of interest as it is the first of the millenium prizes that have strong claims to it.
 

Templar

P vs NP
Joined
Aug 11, 2004
Messages
1,979
Gender
Male
HSC
2004
We all thought Perelman had what could have been a proof, but he never submitted it for official verification until last year. Regardless of whether there's any flaws in the proof, it will still be at least two years or so before the prize is actually awarded. Although we have always believed that Poincare is one of the easier Millenium problems.
 

Slidey

But pieces of what?
Joined
Jun 12, 2004
Messages
6,600
Gender
Male
HSC
2005
What are the ramifications of solving it?
 

Sober

Member
Joined
Dec 6, 2005
Messages
215
Gender
Male
HSC
2003
It is a well known problem in topology that has withstood 100 years of great minds. That and the blokes get $1 000 000. As in most discovories the applications may not be as evident now (or maybe they are but I'm not in the know) nonetheless it is an important advancement for that field.
 
Joined
Jul 7, 2002
Messages
722
Gender
Undisclosed
HSC
N/A
The Poincare conjecture states that a closed, smooth, simply connected 3-manifold is diffeomorphic to S<sup>3</sup>:

Poincare, H. Cinquieme complementa l’analysis situs, Rend. Circ. Mat. Palermo. 18, 1904, pp. 45-110.

The first person to prove the Poincare conjecture was Grisha Perelman:

Perelman, G., The entropy formula for the Ricci flow and its geometric applications, November, 2002 (http://arxiv.org/pdf/math.DG/0211159)

Perelman, G., Ricci flow with surgery on three-manifolds, March, 2003 (http://arxiv.org/pdf/math.DG/0303109)

Perelman, G., Finite extinction time for the solutions to the Ricci flow on certain three-manifolds, July, 2003 (http://arxiv.org/pdf/math.DG/0307245)

Thereafter it has been a grandiose fill-in-the-blanks exercise. Perelman's proof is sketchy and lacking in detail. The first to fill in the blanks were Bruce Kleiner and John Lott:

Kleiner, B. and Lott, J., Notes on Perelman's papers, May, 2006 (http://arxiv.org/pdf/math.DG/0605667)

The exact reference to the next proof by Cao and Zhu which you mention is

Cao, H-D. and Zhu, X-P., A Complete Proof of the Poincaré and Geometrization Conjectures - Application of the Hamilton-Perelman Theory of the Ricci Flow, Asian Journal of Mathematics 10 (2) pp. 165-492., June 2006. (http://www.intlpress.com/AJM/p/2006/10_2/AJM-10-2-165-492.pdf)
 
Last edited:
Joined
Jul 7, 2002
Messages
722
Gender
Undisclosed
HSC
N/A
There's a good article on it with these new developments in the September issue of the AMS Notices at

Jackson, A., Conjectures No More?: Consensus Forming on the Proofs of Poincaré and Geometrization Conjectures, Notices of the AMS, 53 (8), September, 2006, pp. 897-901. (http://www.ams.org/notices/200608/comm-perelman.pdf)

But there is an incorrect statement in it on page 899, about the Cao-Zhu article:

"The issue has not been made available electronically on the journal’s website and is available only as a printed paper publication."

This is incorrect. It is true that for a while, the entire paper was not available, but in fact it now is available. I've emailed the author correcting this.

The url is http://www.intlpress.com/AJM/p/2006/10_2/AJM-10-2-165-492.pdf
 
Last edited:

STx

Boom Bap
Joined
Sep 5, 2004
Messages
473
Location
Sydney
Gender
Male
HSC
2006
So the 'Geometrization Conjecture' helps to explain the shape of the universe?
 
Joined
Jul 7, 2002
Messages
722
Gender
Undisclosed
HSC
N/A
It was in the SMH 21/8/2006:

http://www.smh.com.au/news/world/maths-genius-living-in-poverty/2006/08/20/1156012411120.html

Perelman won a Fields medal yesterday but didn't go to Spain to get the medal. The Herald article says he can't afford to go to get the Fields medal. But this afternoon's MX says that the real reason is that he's angry at not being re-elected as a member of St Petersburg's Steklov Mathematical Institute:

Major maths event minus a superstar, MX, August, 23, 2006, page 8. (see attachment below)

http://www.icm2006.org/dailynews/nota_prensa_en.doc
http://www.icm2006.org/dailynews/fields_perelman_info_en.pdf
http://www.icm2006.org/dailynews/perelman.jpg
http://icm2006.org/AbsDef/ts/Lottlight-GP.pdf
 
Last edited:
Joined
Jul 7, 2002
Messages
722
Gender
Undisclosed
HSC
N/A
The most reputable sources are of course the official press releases.

However, I decided to include other sources because they often offer other aspects which are not in the official press releases.

I think the MX article is right.

It says on the AMS website at http://www.ams.org/dynamic_archive/home-news.html#fields-2006 "In announcing the medal awarded to Perelman, John Ball, president of the International Mathematical Union, stated that Perelman had declined to accept the medal. At a later press conference, Ball said that he had spoken personally and at length with Perelman about his decision to decline the medal. While Ball was disappointed that Perelman remained steadfast in refusing the award, he noted that it is Perelman's right to refuse the medal if he wishes and described their discussions as polite and pleasant. Ball also said that Perelman will be recorded as having been awarded a Fields Medal but as having declined to accept it."

Refusal to accept the medal is quite a different proposition than merely not being able to afford to go to Spain to get it.

So I think I'll keep the MX article rather than delete it.
 
Last edited:
Joined
Jul 7, 2002
Messages
722
Gender
Undisclosed
HSC
N/A
But here's another article with interesting comments on proofs:

<a href="http://www.angelfire.com/ab7/fourunit/burden.pdf">New Scientist article, August 26, 2006 - Burden of proof</a>
 
Last edited:

absolution*

ymyum
Joined
Sep 27, 2003
Messages
3,474
Gender
Male
HSC
2004
buchanan said:
But here's another article with interesting comments on proofs:

<a href="http://www.angelfire.com/ab7/fourunit/burden.pdf">New Scientist article, August 26, 2006 - Burden of proof</a>
Interesting article. Ta.
 

Users Who Are Viewing This Thread (Users: 0, Guests: 1)

Top