Hirsch-Smale theory
m (→Results) |
(→Applications) |
||
Line 48: | Line 48: | ||
The equivalence between (i) and (ii) is proved by induction over the dimension of subsimplices in a triangulation of $M$ using Theorem 3.9 (which can be adapted from $\left(D^k,S^{k-1}\right)$ to $\left(\Delta^k,\partial \Delta^k\right)$) for the inductive step. The equivalence between (ii) and (iii) is a general fact from the theory of fiber bundles. | The equivalence between (i) and (ii) is proved by induction over the dimension of subsimplices in a triangulation of $M$ using Theorem 3.9 (which can be adapted from $\left(D^k,S^{k-1}\right)$ to $\left(\Delta^k,\partial \Delta^k\right)$) for the inductive step. The equivalence between (ii) and (iii) is a general fact from the theory of fiber bundles. | ||
{{beginthm|Corollary |}} Parallelizable $k$-manifolds can be immersed into ${\mathbb R}^{k+1}$.{{endthm}} | {{beginthm|Corollary |}} Parallelizable $k$-manifolds can be immersed into ${\mathbb R}^{k+1}$.{{endthm}} | ||
− | + | {{beginthm|Corollary |}} Compact $3$-manifolds can be immersed into ${\mathbb R}^4$.{{endthm}} | |
{{beginthm|Corollary |}} Exotic $7$-spheres can be immersed into ${\mathbb R}^8$.{{endthm}} | {{beginthm|Corollary |}} Exotic $7$-spheres can be immersed into ${\mathbb R}^8$.{{endthm}} | ||
</wikitex> | </wikitex> |
Latest revision as of 06:46, 7 December 2012
This page has not been refereed. The information given here might be incomplete or provisional. |
Contents |
[edit] 1 Introduction
An immersion is a map of manifolds which is locally an embedding, i.e. such that for each there exists an open neighbourhood with and an embedding. A regular homotopy of immersions is a homotopy such that each () is an immersion.
Hirsch-Smale theory is the name now given to the study of regular homotopy classes of immersions and more generally the space of immersions via their derivative maps. It is one of the spectacular success stories of geometric topology and in particular the h-principle.
[edit] 2 Results
Definition 2.1. For a submanifold and a manifold , a pair is called an -immersion if
- is an immersion,
- is a linear bundle map, and
- there exists an open neighborhood ofTex syntax errorin and an immersion such that and .
Theorem 2.3. Let be a smooth -immersion.
If and , then can be extended to an -immersion .[Hirsch1959], Theorem 3.9.
This theorem does not hold for .
If , then conditions for the extendibility of are given in [Blank1967] (see also [Poénaru1995]), more details are worked out in [Frisch2010].
[edit] 3 Applications
Theorem 3.1.
LetTex syntax errorbe a smooth manifold of dimension . Then the following assertions are equivalent: (i)
Tex syntax errorcan be immersed into ,
(ii) there exists a -equivariant map , where is the -frame bundle and is the Stiefel manifold,
(iii) the bundle associated to with fiber has a cross section.
[Hirsch1959, Theorem 6.1]
The equivalence between (i) and (ii) is proved by induction over the dimension of subsimplices in a triangulation ofTex syntax errorusing Theorem 3.9 (which can be adapted from to ) for the inductive step. The equivalence between (ii) and (iii) is a general fact from the theory of fiber bundles.
[edit] 4 References
- [Blank1967] Samuel Joel Blank, Extending Immersions and regular Homotopies in Codimension 1, PhD Thesis Brandeis University, 1967.
- [Frisch2010] Dennis Frisch, Classification of Immersions which are bounded by Curves in Surfaces, PhD Thesis TU Darmstadt, 2010.
- [Hirsch1959] M. W. Hirsch, Immersions of manifolds, Trans. Amer. Math. Soc. 93 (1959), 242–276. MR0119214 (22 #9980) Zbl 0118.18603
- [Poénaru1995] V. Poénaru, Extension des immersions en codimension 1 (d'aprés Samuel Blank), Séminaire Bourbaki, Vol.10, Soc. Math. France (1995), Exp. No. 42, 473–505. MR1610469