Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Milnor was constructing exotic spheres (at least in dimension 7) by bundle theory. Having proven the existence of such an exotic beast, I wonder if something as this is possible:

Let $\mathbb{S}^n$ be the n-sphere with a standard structure, $\Sigma^n$ be one of the exotic spheres. Topologically, we have $\mathbb{S}^n = \mathbb{D}^n \cup_{\partial\mathbb{D}^n} \mathbb{D}^n$, where boundary identification is understood.

Question: does there exist a $g:\partial\mathbb{D}^n \rightarrow \partial\mathbb{D}^n$, where I don't specify (on purpose) what kind of a map $g$ is, such that $\mathbb{D}^n \cup_g \mathbb{D}^n = \Sigma^n$ ?

share|improve this question
add comment

1 Answer

up vote 5 down vote accepted

Yes. This procedure is called clutching (and the resulting spheres are clutched spheres or twisted spheres In this procedure $g$ is a diffeomorphism.

If $g$ extends to a diffeomorphism of the whole ball, it is easy to see that $\Sigma$ is diffeomorphic to the standard sphere. On the other hand, as $g$ does extend to a homeomorphism of the whole ball (by Alexander's trick), $\Sigma$ is homeomorphc to the standard ball.

A theorem of Smale guarantees that in dimension $>4$, every exotic sphere can be constructed this way. In dimension $\leq 3$, we know there is no exotic spheres. And in dimension $4$, no exotic clutched sphere exists (because every diffeomorphism of $S^3$ extends to $D^4$, a theorem due to Cerf), but we still don't know whether exotic spheres exist.

share|improve this answer
    
Thanks for your answer. –  Willem Noorduin Sep 13 '11 at 8:36
    
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.