Exotic R4
A smooth 4-manifold homeomorphic yet not diffeomorphic to euclidean space / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Exotic R4?
Summarize this article for a 10 year old
In mathematics, an exotic is a differentiable manifold that is homeomorphic (i.e. shape preserving) but not diffeomorphic (i.e. non smooth) to the Euclidean space The first examples were found in 1982 by Michael Freedman and others, by using the contrast between Freedman's theorems about topological 4-manifolds, and Simon Donaldson's theorems about smooth 4-manifolds.[1][2] There is a continuum of non-diffeomorphic differentiable structures of as was shown first by Clifford Taubes.[3]
This article may be too technical for most readers to understand. (May 2021) |
Prior to this construction, non-diffeomorphic smooth structures on spheres – exotic spheres – were already known to exist, although the question of the existence of such structures for the particular case of the 4-sphere remained open (and still remains open as of 2024). For any positive integer n other than 4, there are no exotic smooth structures on in other words, if n ≠ 4 then any smooth manifold homeomorphic to is diffeomorphic to [4]