In effect, what Poincaré suggested was that anything without holes has to be a sphere. The one qualification was that this “anything” had to be what mathematicians call compact, or closed, meaning that it has a finite extent: no matter how far you strike out in one direction or another, you can get only so far away before you start coming back, the way you can never get more than 12,500 miles from home on the Earth.

In the case of two dimensions, like the surface of a sphere or a doughnut, it is easy to see what Poincaré was talking about: imagine a rubber band stretched around an apple or a doughnut; on the apple, the rubber band can be shrunk without limit, but on the doughnut it is stopped by the hole.

With three dimensions, it is harder to discern the overall shape of something; we cannot see where the holes might be. “We can’t draw pictures of 3-D spaces,” Dr. Morgan said, explaining that when we envision the surface of a sphere or an apple, we are really seeing a two-dimensional object embedded in three dimensions. Indeed, astronomers are still arguing about the overall shape of the universe, wondering if its topology resembles a sphere, a bagel or something even more complicated.

Poincaré’s conjecture was subsequently generalized to any number of dimensions, but in fact the three-dimensional version has turned out to be the most difficult of all cases to prove. In 1960 Stephen Smale, now at the Toyota Technological Institute at Chicago, proved that it is true in five or more dimensions and was awarded a Fields Medal. In 1983, Michael Freedman, now at Microsoft, proved that it is true in four dimensions and also won a Fields.

“You get a Fields Medal for just getting close to this conjecture,” Dr. Morgan said.

In the late 1970’s, Dr. Thurston extended Poincaré’s conjecture, showing that it was only a special case of a more powerful and general conjecture about three-dimensional geometry, namely that any space can be decomposed into a few basic shapes.

Mathematicians had known since the time of Georg Friedrich Bernhard Riemann, in the 19th century, that in two dimensions there are only three possible shapes: flat like a sheet of paper, closed like a sphere, or curved uniformly in two opposite directions like a saddle or the flare of a trumpet. Dr. Thurston suggested that eight different shapes could be used to make up any three-dimensional space.