<?xml version="1.0" encoding="UTF-8"?>

<record version="11" id="4698">
 <title>Poincar\'e conjecture</title>
 <name>PoincareConjecture</name>
 <created>2003-09-05 03:55:08</created>
 <modified>2008-09-12 08:58:36</modified>
 <type>Conjecture</type>
 <creator id="2760" name="yark"/>
 <author id="2760" name="yark"/>
 <author id="988" name="bwebste"/>
 <classification>
	<category scheme="msc" code="57R60"/>
 </classification>
 <preamble></preamble>
 <content>\PMlinkescapeword{information}

{\bf Conjecture} (Poincar\'e)
\emph{Every 3-manifold without boundary
that is homotopy equivalent to the $3$-sphere
is in fact homeomorphic to it.}
Or, in a more elementary form:
\emph{every simply-connected compact $3$-manifold without boundary
is homeomorphic to $S^3$}.

The first statement is known to be true
when $3$ is replaced by any other positive integer,
but for a long time resisted proof in the 3-dimensional case.
However, in 2003 Grigori Perelman announced a proof
which is now generally accepted to be correct.
For this work Perelman was offered a Fields Medal, though he declined it.

The Poincar\'e Conjecture is one of the
\PMlinkexternal{Clay Mathematics Institute}{http://www.claymath.org}
\PMlinkexternal{Millennium Prize Problems}{http://www.claymath.org/millennium/}.
For more information, see \PMlinkexternal{their page on the Poincar\'e Conjecture}{http://www.claymath.org/millennium/Poincare_Conjecture/}.
Due to the way he chose to publish his results,
full details of Perelman's proof
did not appear in a peer reviewed mathematical publication until 2006.
The Millennium Prize rules require a waiting period of two years
after such publication before the prize can be awarded.
Consequently, the prize for the Poincar\'e Conjecture
has not been awarded at the time of writing.
See also the \PMlinkexternal{Clay Mathematics Institute's page on Perelman's work}{http://www.claymath.org/millennium/Poincare_Conjecture/perelman+expositions.php}.
</content>
</record>
