Subject: Celebrated Math Problem Solved, Russian Reports
Date: Tue, 15 Apr 2003 09:38:44 -0400
From: Ron Umble
To: "Steven Tedford (Steven Tedford)" ,
"Barbara Nimershiem (b_nimershiem@acad.fandm.edu)"
,
"James Hughes (hughesjr@etown.edu)"
,
"Leyla Batakci (batakcil@etown.edu)"
,
"Mike McCooey (mmccooey@fandm.edu)"
,
"Scott Walck (Scott Walck)" ,
Roxana Costinescu ,
Alex Wilce
,
Bruce Ikenaga , David Lyons ,
Iwan Praton ,
John Rosson ,
Ron Umble
CC: "Stasheff, Jim (jds@math.upenn.edu)" ,
"'dmd1@lehigh.edu'" ,
"'Sane@rmi.acnet.ge'"
FYI, Ron.
April 15, 2003
Celebrated Math Problem Solved, Russian Reports
By SARA ROBINSON
A Russian mathematician is reporting that he has proved the Poincaré
Conjecture, one of the most famous unsolved problems in mathematics.
The mathematician, Dr. Grigori Perelman of the Steklov Institute of
Mathematics of the Russian Academy of Sciences in St. Petersburg, is
describing his work in a series of papers, not yet completed.
It will be months before the proof can be thoroughly checked. But if true,
it will verify a statement about three-dimensional objects that has haunted
mathematicians for nearly a century, and its consequences will reverberate
through geometry and physics.
If his proof is accepted for publication in a refereed research journal and
survives two years of scrutiny, Dr. Perelman could be eligible for a $1
million prize sponsored by the Clay Mathematics Institute in Cambridge,
Mass., for solving what the institute identifies as one of the seven most
important unsolved mathematics problems of the millennium.
Rumors about Dr. Perelman's work have been circulating since November, when
he posted the first of his papers reporting the result on an Internet
preprint server.
Last week at the Massachusetts Institute of Technology, he gave his first
formal lectures on his work to a packed auditorium. Dr. Perelman will give
another lecture series at the State University of New York at Stony Brook
starting on Monday.
Dr. Perelman declined to be interviewed, saying publicity would be
premature.
For two months, Dr. Tomasz S. Mrowka, a mathematician at M.I.T., has been
attending a seminar on Dr. Perelman's work, which relies on ideas pioneered
by another mathematician, Richard Hamilton. So far, Dr. Mrowka said, every
time someone brings up an issue or objection, Dr. Perelman has a clear and
succinct response.
"It's not certain, but we're taking it very seriously," Dr. Mrowka said.
"He's obviously thought about this stuff very hard for a long time, and it
will be very hard to find any mistakes."
Formulated by the French mathematician Henri Poincaré in 1904, the Poincaré
Conjecture is a central question in topology, the study of the geometrical
properties of objects that do not change when the object is stretched,
twisted or shrunk.
The hollow shell of the surface of the earth is what topologists would call
a two-dimensional sphere. It has the property that every lasso of string
encircling it can be pulled tight to one spot.
On the surface of a doughnut, by contrast, a lasso passing through the hole
in the center cannot be shrunk to a point without cutting through the
surface.
Since the 19th century, mathematicians have known that the sphere is the
only bounded two-dimensional space with this property, but what about higher
dimensions?
The Poincaré Conjecture makes a corresponding statement about the
three-dimensional sphere, a concept that is a stretch for the
nonmathematician to visualize. It says, essentially, that the
three-dimensional sphere is the only bounded three-dimensional space with no
holes.
"The hard part is how to tell globally what a space looks like when you can
only see a little piece of it at a time," said Dr. Benson Farb, a professor
of mathematics at the University of Chicago. "It was pretty reasonable to
think the earth was flat."
That conjecture is notorious for the many "solutions" that later proved
false. Indeed, Poincaré himself demonstrated that his earliest version of
his conjecture was wrong. Since then, dozens of mathematicians have asserted
that they had proofs until experts found fatal flaws.
Although many experts say they are excited and hopeful about Dr. Perelman's
effort, they also urge caution, noting that not all of the proof has been
written down and that even the most reliable researchers make mistakes.
That was the case in 1993 with Dr. Andrew J. Wiles, the Princeton professor
whose celebrated proof for Fermat's Last Theorem turned out to have a
serious gap that was repaired after months of effort by Dr. Wiles and a
former student, Dr. Richard Taylor.
Dr. Perelman's results go well beyond a solution to the problem at hand, as
did those of Dr. Wiles. Dr. Perelman's results say he has proved a much
broader conjecture about the geometry of three-dimensional spaces made in
the 1970's. The Poincaré Conjecture is but a small part of that.
Dr. Perelman's personal story has parallels to that of Dr. Wiles, who,
without confiding in his colleagues, worked alone in his attic on Fermat's
Last Theorem. Though his early work has earned him a reputation as a
brilliant mathematician, Dr. Perelman spent the last eight years sequestered
in Russia, not publishing.
In his paper posted in November, Dr. Perelman, now in his late 30's, thanks
the Courant Institute at New York University, SUNY Stony Brook and the
University of California at Berkeley, because his savings from visiting
positions at those institutions helped support him in Russia.
His papers say that he has proved what is known as the Geometrization
Conjecture, a complete characterization of the geometry of three-dimensional
spaces.
Since the 19th century, mathematicians have known that a type of
two-dimensional space called a manifold can be given a rigid geometric
structure that looks the same everywhere. Mathematicians could list all the
possible shapes for two-dimensional manifolds and explain how a creature
living on the surface of one can tell what kind of space he is on.
In the 1950's, however, a Russian mathematician proved that the problem was
impossible to resolve in four dimensions and that even for three dimensions,
the question looked hopelessly complex.
In the early 1970's, Dr. William P. Thurston, a professor at the University
of California at Davis, conjectured that three-dimensional manifolds are
composed of many homogeneous pieces that can be put together only in
prescribed ways and proved that in many cases his conjecture was correct.
Dr. Thurston won a Fields Medal, the highest honor in mathematics, for his
work.
Dr. Perelman's work, if correct, would provide the final piece of a complete
description of the structure of three-dimensional manifolds and, almost as
an afterthought, would resolve Poincaré's famous question. Dr. Perelman's
approach uses a technique known as the Ricci flow, devised by Dr. Hamilton,
who is now at Columbia University.
The Ricci flow is an averaging process used to smooth out the bumps of a
manifold and make it look more uniform. Dr. Hamilton uses the Ricci flow to
prove the Geometrization Conjecture in some cases and outlined a general
program of how it could be used to prove the Geometrization Conjecture in
all cases. He ran into problems, however, coping with certain types of large
lumps that tended to grow uncontrollably under the averaging process.
"What Perelman has done is to figure out some new and interesting ways to
tame these singularities," Dr. Mrowka said. "His work relies heavily on
Hamilton's work but makes amazing new contributions to that program."
If Dr. Perelman succeeds in resolving Poincaré, he will probably share the
Clay Mathematics Institute Award with Dr. Hamilton, mathematicians said.
Even if Dr. Perelman's work does not prove the Geometrization Conjecture,
mathematicians said, it is clear that his work will make a substantial
contribution to mathematics.
"This is one of those happy circumstances where it's going to be fun no
matter what," Dr. Mrowka said. "Either he's done it or he's made some really
significant progress, and we're going to learn from it."
Copyright 2003 The New York Times Company