# Smooth 4-dimensional Poincare conjecture

\begin{conjecture} If a $4$-manifold has the homotopy type of the $4$-sphere $S^4$, is it diffeomorphic to $S^4$? % Enter your conjecture in LaTeX % You may change "conjecture" to "question" or "problem" if you prefer. \end{conjecture}

The original Poincare conjecture was the assertion that a simply-connected compact boundaryless $3$-manifold is diffeomorphic (smooth Poincare conjecture) or homeomorphic (topological Poincare conjecture) to $S^3$. Because of Poincare duality, this is equivalent to the assertion that a $3$-manifold has the homotopy-type of $S^3$ then it is diffeomorphic/homeomorphic to $S^3$. This gave birth to the generalized Poincare conjecture -- that an $n$-manifold with the homotopy type of $S^n$ is diffeomorphic or homeomorphic to $S^n$.

By the work of Smale and Stallings, the topological Poincare conjecture was shown to be true provided $n \geq 5$. But for $n \geq 7$ Milnor and Kervaire showed that $S^n$ admits non-standard smooth structures so the smooth Poincare conjecture is false in general.

The generalized Poincare conjecture is an undergraduate-level point-set topology problem for $n=1$.

The $n=2$ case was proven by Poincare.

The $n=3$ case was recently proven by Perelman.

The $n=4$ case is the only outstanding case. Mike Freedman has proven that a $4$-manifold which is homotopy-equivalent to $S^4$ is homeomorphic to $S^4$, so the smooth 4-dimensional Poincare conjecture is the only outstanding problem among the generalized Poincare conjectures. Moreover, it can be considered to be reduced to the question of if $S^4$ has an exotic smooth structure.

Technically, Poincare never asserted this conjecture. He only stated it was an interesting problem. So perhaps it should be called Poincare's Egregious Problem.

It is unknown whether or not $D^4$ admits an exotic smooth structure. If not, the smooth $4$-dimensional Poincare conjecture would have an affirmative answer. Similarly, it's known that $4$-dimensional euclidean space $\mathbb R^4$ admits a continuum of pairwise non-diffeomorphic smooth structures. But it's unknown whether or not any of these exotic smooth structures extend to $D^4$, thought of as a compactification of $\mathbb R^4$.

## Bibliography

% Example: %*[B] Claude Berge, Farbung von Graphen, deren samtliche bzw. deren ungerade Kreise starr sind, Wiss. Z. Martin-Luther-Univ. Halle-Wittenberg Math.-Natur. Reihe 10 (1961), 114. % %[CRS] Maria Chudnovsky, Neil Robertson, Paul Seymour, Robin Thomas: \arxiv[The strong perfect graph theorem]{math.CO/0212070}, % Ann. of Math. (2) 164 (2006), no. 1, 51--229. \MRhref{MR2233847} % % (Put an empty line between individual entries)

[FQ] Freedman, M. Quinn, F. Topology of 4-manifolds. Princeton University Press.

[S] Smale, S., "On the structure of manifolds" Amer. J. Math. , 84 (1962) pp. 387–399

[MT] Morgan, John W.; Gang Tian. Ricci Flow and the Poincaré Conjecture. AMS/CMI (2009)

* indicates original appearance(s) of problem.