3
$\begingroup$

As well known, Perelman proved Poincare conjecture by proving Thurston's Geometrization conjecture.

Somebody says that we can understand part of the universe from Poincare conjecture.

As a purely topological viewpoint, why do you think the poincare conjecutre is important and how about Smooth poincare conjecture in dimension 4?

One may simply answer that because it is extremely difficult to prove or because it made 100 years of development of history of Topology or geometry....

But I want to know your professional, new, own viewpoint.

Improve this question
$\endgroup$
3

1 Answer 1

Reset to default
6
$\begingroup$

I am no professional, and certainly don't believe its new, but I'll give it a try.

In my opinion, algebraic topology tries to characterize nice topological spaces (say CW complexes) modulo homotopy equivalence (which is the reasonable equivalence given the fact that the invariants used are usually invariants under homotopy equivalence). This characterization has a good important theorem (for me), the Whitehead's theorem.

When studying manifold topology, one would like to get classification modulo homeomorphisms so, the above study it is not enough. This gives great importance to theorems such as the classification of spheres by homotopy type.

I think it is interesting that the result from this point of view had been solved for tori (which are much simpler from the point of view of higher homotopy groups) by Hsiang and Wall (and maybe others).

In brief, I believe that Poincare Conjecture it is one of the central and most natural questions one can pose in manifold topology (or geometric topology?).

Improve this answer
$\endgroup$
1
  • $\begingroup$ I totally agree with this answer. Classification theorems are, in many ways, the fundamental task of pure mathematics. (Cf. the classification of finite simple groups.) The Poincaré Conjecture is the key ingredient needed to classify 3-manifolds. (Indeed, a complete classification is now known, as a result of Perelman's work.) And smooth Poincaré in dimension 4 is the most basic thing one might need to know in order to dream of classifying smooth (simply connected, say) 4-manifolds. $\endgroup$
    – HJRW
    Commented Sep 29 at 14:00

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .