An exotic smooth structure is, roughly speaking, a smooth structure on a topological manifold which makes the resulting smooth manifold be non-diffeomorphic to the smooth manifold given by some evident ‘standard’ smooth structure on .
Milnor (1956) gave the first examples of exotic smooth structures on the 7-sphere constructed via a -bundle over the 4-sphere , finding at least seven. Note that spheres inherit a canonical smooth structure from their canonical (topological) embedding into a Cartesian space .
Via the celebrated h cobordism theorem of Smale (Smale 1962, Milnor 1965) one gets a relation between the number of smooth structures on the -sphere (for ) and the number of isotopy classes of the equator . Then Kervaire and Milnor (1963) proved that there are only finitely many exotic smooth structures on all spheres in dimension 5 or higher. By using the connected sum operation, the set of smooth, non-diffeomorphic structures on the -sphere has the structure of an abelian group. For the 7-sphere, it is the cyclic group and Brieskorn (1966) found the generator so that is the standard sphere.
A complete classification of smooth, PL and topological structures on manifolds in dimension 5 and higher was established by Kirby and Siebenmann (1977) using obstruction theory.
Note that there exist uncountably many exotic smooth structures on (Gompf 1985, Freedman/Taylor 1986, Taubes 1987), but a unique smooth structure on for (Stallings, Zeeman 1962). There is a unique maximal exotic into which all other ‘versions’ of smoothly embed as open subsets (Freedman/Taylor 1986, DeMichelis/Freedman 1992).
There are two classes of exotic ‘s: large and small. A large exotic cannot be embedded in the 4-sphere (Gompf 1985, Taubes 1987) whereas a small exotic admits such an embedding (DeMichelis/Freedman 1992). A large exotic is constructed by using the failure to smoothly split a smooth 4-manifold (the K3 surface for instance) as connected sum of some factors (where a topological splitting exits). The small exotic (or ribbon ) is constructed by using the failure of the smooth h cobordism theorem in dimension 4 (Donaldson 1987, 1990). Bizaca and Gompf (1996) are able to present an infinite handle body of a small exotic which serve as a coordinate representation.
Moise (1952) proved that in dimension 3 there are no exotic differentiable structures, or to put in another way, 3-dimensional differentiable manifolds which are homeomorphic are diffeomorphic. In this way the 3-sphere inherits a unique differentiable structure, no matter which it is considered to be embedded in.
Rado (1925) proved that in dimension 2 there are no exotic differentiable structures (or the uniqueness of the standard structure). The classification of 1-dimensional manifolds and the uniqueness of the smooth structure can be found in the Appendix of Milnor (1965b).
The 7-spheres constructed in Milnor 1956 are all examples of fibre bundles over with fibre , with structure group . By the classification of bundles on spheres, these correspond to homotopy classes of maps , i.e. elements of . From the table at orthogonal group, this latter group is . Thus any such bundle can be described up to isomorphism by a pair of integers . When , then one can show there is a Morse function with exactly two critical points on the total space of the bundle, and hence this 7-manifold is homeomorphic to a sphere.
The fractional first Pontryagin class of the bundle is given by . Milnor constructs, using cobordism theory and Hirzebruch's signature theorem? for 8-manifolds, a mod-7 diffeomorphism invariant of the manifold, so that it is standard 7-sphere precisely when .
The first construction of exotic smooth structures was on the 7-sphere in
Smale, Stephen (1962), “On the structure of manifolds” , Amer. J. of Math. 84 : 387-399 (#Smale)
John Milnor (1965), Lectures on the h-cobordism theorem (Princeton Univ. Press, Princeton)
(see Wikipedia (spheres, ) for more for now)
Further discussion of exotic -manifolds from the general relativity point of view is in
Carl Brans, Duane Randall, Exotic differentiable structures and general relativity Gen. Rel. Grav., 25 (1993) 205–220
Carl Brans Exotic smoothness and physics J. Math. Phys. 35, (1994), 5494–5506.
The following paper contained a first proof to localize exotic smoothness in an exotic :
A more philosophical discussion can be found in:
Brans conjectured in the papers above, that exotic smoothness should be a source of an additional gravitational field (Brans conjecture). This conjecture was confirmed for compact -manifolds (using implicitly a mapping of basic classes):
Using the invariant of L. Taylor arXiv, Sladkowski confirmed the conjecture for the exotic in:
The first real connection between exotic smoothness and quantum field theory is Witten’s TQFT:
and the whole work of Seiberg and Witten leading to the celebrated invariants.
The relation to particle physics by using the algebra of smooth functions can be found in
Jan Sładkowski, Exotic smoothness, noncommutative geometry and particle physics Int. J. Theor. Phys., 35, (1996), 2075–2083
Jan Sładkowski, Exotic smoothness and particle physics Acta Phys. Polon., B 27, (1996), 1649–1652
Jan Sładkowski, Exotic smoothness, fundamental interactions and noncommutative geometry arXiv
The relation between TQFT and differential-topological invariants of smooth manifolds was clarified in:
Hendryk Pfeiffer Diffeomorphisms from finite triangulations and absence of ‘local’ degrees of freedom Phys.Lett. B, 591, (2004), 197-201
The influence of exotic smoothness for Kaluza-Klein models was discussed here:
A discussion of topological effects (also of string theory) in relation to exotic smoothness is in
An overview can be also found in
A first calculation of the state sum in quantum gravity by inclusion of exotic smoothness
A semi-classical approach to the functional integral is discussed here:
The inclusion of singularities for asymptotically flat spacetimes is discussed here (with an example of a singularity coming from exotic smoothness):