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 $Wsubset M$ with complement $N$, and an involution $f:partial Wto partial W$ giving a decomposition:
$M=Ncup_{id}W$, $M'=Ncup_{f}W$."
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 ${bf R^4}$ 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) ${bf B^3}times {bf R^1}$, where ${bf B^3}$ is the compact three ball. The exterior of this region is diffeomorphic to standard ${bf R^1}times {bf S^2}times{bf R^1}$. In a space-time diagram, the
confined exoticness sweeps out a world tube..."
and further:
"The smoothness properties of the ${bf R^4_Theta}$... can be
summarized by saying the global $C^0$ coordinates, $(t,x,y,z)$, are
smooth in the exterior region $[a,infty){bftimes S^2times R^1}$ given
by $x^2+y^2+z^2>a^2$ for some positive constant $a$, while the closure of
the complement of this is clearly an exotic ${bf B^3times_Theta
R^1}$. (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 $mathbb{R}^4$)? 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