Article [Exotic $\mathbb{R}^4$](http://en.wikipedia.org/wiki/Exotic_R4) on Wikipedia says that there is at least one maximal smooth structure on $\mathbb{R}^4$, that is such an atlas on $\mathbb{R}^4$ that any other smooth $\mathbb{R}^4$ can be embedded into it. Is the construction of such a maximal exotic $\mathbb{R}^4$ explicit? Can anyone give a reference to the construction? What is a good source (or sources) with examples of exotic smooth structures on $\mathbb{R}^4$? Thanks.



Maximal exotic $\mathbb{R}^4$
The paper by Freedman and Taylor mentioned by Carsten Schultz (above or below) is indeed the place to find the explicit construction.


Very roughly, the idea of the construction is as follows. Recall that a Casson handle is, among other things, a smooth 4-manifold which is homeomorphic (but not diffeomorphic) to the standard open 2-handle. It turns out that a countable collection of diffeomorphism classes of Casson handles suffice for solving a certain 5-dimensional h-cobordism problem. The universal $R^4$, call it $U$, is constructed by gluing together countably many copies of each of the Casson handles in the countable collection. Given an arbitrary smooth 4-manifold homeomorphic to $R^4$, we can construct an embedding (but not a proper embedding) into $U$ using the fact that $U$ contains enough Casson handles to solve any link slice problem we might encounter along the way.


Well, that was kind of vague, but hopefully not inaccurate.


