Homotopy spheres I (Ex)
From Manifold Atlas
Revision as of 23:23, 26 August 2013 by Diarmuid Crowley (Talk | contribs)
In the following, you should use the -cobordism Theorem, [Smale1962a, Theorem 3.1].
Exercise 0.1.
- Show that every homotopy -sphere is diffeomorphic to a manifold where is a diffeomorphism.
- Using 1. show that the group of homotopy -spheres, , can be identified with the set of oriented diffeomorphism classes of smooth structures on , at least for .
- What happens for ?
- If is a homotopy -sphere,, show that is diffeomorphic to : this is [Kervaire&Milnor1963, Lemma 2.4].
[edit] References
- [Kervaire&Milnor1963] M. A. Kervaire and J. W. Milnor, Groups of homotopy spheres. I, Ann. of Math. (2) 77 (1963), 504–537. MR0148075 (26 #5584) Zbl 0115.40505
- [Smale1962a] S. Smale, On the structure of manifolds, Amer. J. Math. 84 (1962), 387–399. MR0153022 (27 #2991) Zbl 0109.41103