Topology and the Million-Dollar Poincare Conjecture

ByABC News
April 30, 2002, 9:09 AM

May 5 -- It's not often that the abstract mathematical discipline of topology is in the news, but a respected British mathematician announced last month that he has proved a nearly century-old puzzle, the Poincaré conjecture, about spheres and their generalizations to higher-dimensional spaces.

The theorem has been shown to hold for every dimension except three, and should Southampton University Professor Martin Dunwoody's proposed proof (available through his Web site) withstand the scrutiny of his peers, it will finally settle this famous unsolved question. The conjecture is so well-known and its proof has been so elusive that the Clay Institute of Boston last year offered $1 million for its solution. (It is one of only seven problems on the institute's list.)

Topological Tidbits

Before getting to the Poincaré conjecture, let me describe a few ideas from topology that provide a flavor of its results.

Topology is that branch of geometry concerned only with those basic properties of geometric figures that remain unchanged when the figures are twisted and distorted, stretched and shrunk, subjected to any "schmooshing" at all as long as they're not ripped or torn.

Size and shape are not topological properties since clay balls, dice, and oranges, for example, can be contracted, expanded or transformed into one another without ripping.

Whether a closed curve in space say an unbroken piece of thread has a knot in it or not is, however, a topological property of the curve in space. That a closed curve lying on a flat plane, no matter how convoluted it is, divides the plane into two parts the inside and the outside is a topological property of the curve in the plane. The dimensionality of a geometric figure (how many dimensions it posseses), whether or not it has a boundary and if so of what sort, these too are topological properties.

Also a matter of some significance is the genus of a figure the number of holes it contains. A sphere has genus 0 since it contains no holes, a torus (a doughnut or tire-shaped figure) has genus 1, and eyeglass frames without the lenses or pretzels have genus 2, and so on.