## Perelman's work leading to the 2006 Fields Medal

Grigory Perelman has been awarded the Fields Medal for his contributions to geometry and his revolutionary insights into the analytical and geometric structure of the Ricci flow.

Perelman was born in 1966 and received his doctorate from St. Petersburg State University. He quickly became renowned for his work in Riemannian geometry and Aleksandrov geometry, the latter being a form of Riemannian geometry for metric spaces. Some of Perelman's results in Aleksandrov geometry are summarized in his 1994 ICM talk. We state one of his results in Riemannian geometry. In a short and striking article, Perelman proved the so-called Soul Conjecture.

**Soul Conjecture** (conjectured by J Cheeger and D Gromoll in 1972, proved by Perelman in 1994):

*M*be a complete connected noncompact Riemannian manifold with nonnegative sectional curvatures. If there is a point where all of the sectional curvatures are positive, then

*M*is diffeomorphic to Euclidean space.

*The entropy formula for the Ricci flow and its geometric applications*;

*Ricci flow with surgery on three-manifolds*;

*Finite extinction time for the solutions to the Ricci flow on certain three-manifolds*], Perelman presented proofs of the Poincaré conjecture and the geometrization conjecture.

The Poincaré conjecture dates back to 1904. The version stated by Poincaré is equivalent to the following.

**Poincaré conjecture**:

**Geometrization conjecture**:

*M*is a connected closed orientable 3-dimensional manifold, then there is a connected sum decomposition

*M*=

*M*

_{1}#

*M*

_{2}# ... #

*M*

_{N}

*M*

_{i}contains a 3-dimensional compact submanifold-with-boundary

*G*

_{i}a subset of

*M*

_{i}with the following properties:

1.

*G*

_{i}is a graph manifold.

2. The boundary of

*G*

_{i}, if nonempty, consists of 2-tori that are incompressible in

*M*

_{i}.

3.

*M*

_{i}-

*G*

_{i}admits a complete finite-volume Riemannian metric of constant negative curvature.

*G*

_{i}is allowed to be the empty set or

*M*

_{i}. (For example, if

*M*=

*S*

^{3}then we can take

*M*

_{1}=

*G*

_{1}=

*S*

^{3}.) The geometrization conjecture implies the Poincaré conjecture. Thurston proved that the geometrization conjecture holds for Haken 3-manifolds.

JOC/EFR July 2011

The URL of this page is:

http://www-history.mcs.st-andrews.ac.uk/Extras/Perelman_Medal.html