My question concerns whether there is a contradiction between two particular papers on exotic smoothness, Exotic Structures on smooth 4-manifolds by Selman Akbulut and Localized Exotic Smoothness by Carl H. Brans. The former asserts:
"Let M be a smooth closed simply connected 4-manifold, and M′ be an exotic copy of M (a smooth manifold homeomorphic but not diffeomorphic to M). Then we can find a compact contractible codimension zero submanifold WsubsetM with complement N, and an involution f:partialWtopartialW giving a decomposition:
M=NcupidW, M′=NcupfW."
The latter states:
"Gompf's end-sum techniques are used to establish the existence of an infinity of non-diffeomorphic manifolds, all having the same trivial bfR4 topology, but for which the exotic differentiable structure is confined to a region which is spatially limited. Thus, the smoothness is standard outside of a region which is topologically (but not smoothly) bfB3timesbfR1, where bfB3 is the compact three ball. The exterior of this region is diffeomorphic to standard bfR1timesbfS2timesbfR1. In a space-time diagram, the
confined exoticness sweeps out a world tube..."
and further:
"The smoothness properties of the bfR4Theta... can be
summarized by saying the global C0 coordinates, (t,x,y,z), are
smooth in the exterior region [a,infty)bftimesS2timesR1 given
by x2+y2+z2>a2 for some positive constant a, while the closure of
the complement of this is clearly an exotic bfB3timesThetaR1. (Here the 'exotic' can be understood as referring to the
product which is continuous but cannot be smooth...)"
The theorem from the first paper applies to closed manifolds. Is it generalizable to open manifolds (such as mathbbR4)? If so, then its confinement of "exoticness" to a compact submanifold seems inconsistent with the world tube construction implied in the statements from the second paper.
No comments:
Post a Comment