Generalized Poincaré conjecture

In the mathematical area of topology, the generalized Poincaré conjecture is a statement that a manifold which is a homotopy sphere is a sphere. More precisely, one fixes a category of manifolds: topological (Top), piecewise linear (PL), or differentiable (Diff). Then the statement is

The name derives from the Poincaré conjecture, which was made for (topological or PL) manifolds of dimension 3, where being a homotopy sphere is equivalent to being simply connected and closed. The generalized Poincaré conjecture is known to be true or false in a number of instances, due to the work of many distinguished topologists, including the Fields medal awardees John Milnor, Steve Smale, Michael Freedman, and Grigori Perelman.

Here is a summary of the status of the generalized Poincaré conjecture in various settings.

A fundamental fact of differential topology is that the notion of isomorphism in Top, PL, and Diff is the same in dimension 3 and below; in dimension 4, PL and Diff agree, but Top differs. In dimension above 6 they all differ. In dimensions 5 and 6 every PL manifold admits an infinitely differentiable structure that is so-called Whitehead compatible.[1]

The case n = 1 and 2 has long been known, by classification of manifolds in those dimensions.

The generalized Poincaré conjecture is true topologically, but false smoothly in some dimensions. This results in constructions of manifolds that are homeomorphic, but not diffeomorphic, to the standard sphere, which are known as the exotic spheres: you can interpret these as non-standard smooth structures on the standard (topological) sphere.

Michel Kervaire and Milnor showed that the oriented 7-sphere has 28 different smooth structures (or 15 ignoring orientations), and in higher dimensions there are usually many different smooth structures on a sphere.[11] It is suspected that certain differentiable structures on the 4-sphere, called Gluck twists, are not isomorphic to the standard one, but at the moment there are no known invariants capable of distinguishing different smooth structures on a 4-sphere.[12]

For piecewise linear manifolds, the Poincaré conjecture is true except possibly in dimension 4, where the answer is unknown, and equivalent to the smooth case. In other words, every compact PL manifold of dimension not equal to 4 that is homotopy equivalent to a sphere is PL isomorphic to a sphere.[1]