|
|
| Line 1: |
Line 1: |
| [[File:Klein bottle.svg|thumb|The [[Klein bottle]], immersed in 3-space.]]
| | Hello. Allow me introduce the author. Her name is Refugia Shryock. I am a meter reader but I strategy on changing it. Body building is what my family and I appreciate. Puerto Rico is where he and his spouse reside.<br><br>Feel free to visit my web site [http://gcjcteam.org/index.php?mid=etc_video&document_srl=655020&sort_index=regdate&order_type=desc std home test] |
| :''For a closed immersion in algebraic geometry, see [[closed immersion]].''
| |
| In [[mathematics]], an '''immersion''' is a [[differentiable map]] between [[differentiable manifold]]s whose [[pushforward (differential)|derivative]] is everywhere [[injective]]. Explicitly, ''f'' : ''M'' → ''N'' is an immersion if
| |
| | |
| :<math>D_pf : T_p M \to T_{f(p)}N\,</math>
| |
| | |
| is an injective map at every point ''p'' of ''M'' (where the notation ''T<sub>p</sub>X'' represents the [[tangent space]] of ''X'' at the point ''p''). Equivalently, ''f'' is an immersion if it has constant [[rank (differential topology)|rank]] equal to the dimension of ''M'':
| |
| | |
| :<math>\operatorname{rank}\,D_p f = \dim M.</math>
| |
| | |
| The map ''f'' itself need not be injective, only its derivative.
| |
| | |
| A related concept is that of an [[Embedding#Differential_topology|embedding]]. A smooth embedding is an injective immersion ''f'' : ''M'' → ''N'' which is also a [[topological embedding]], so that ''M'' is [[diffeomorphic]] to its image in ''N''. An immersion is precisely a local embedding – i.e. for any point ''x'' ∈ ''M'' there is a [[neighbourhood (topology)|neighbourhood]], ''U'' ⊂ ''M'', of ''x'' such that ''f'' : ''U'' → ''N'' is an embedding, and conversely a local embedding is an immersion.
| |
| | |
| [[File:Immersedsubmanifold nonselfintersection.jpg|thumb|An injectively [[immersed submanifold]] that is not an embedding.]]
| |
| If ''M'' is compact, an injective immersion is an embedding, but if ''M'' is not compact then injective immersions need not be embeddings; compare to continuous bijections versus [[homeomorphism]]s.
| |
| | |
| ==Regular homotopy==
| |
| A '''[[regular homotopy]]''' between two immersions ''f'' and ''g'' from a manifold ''M'' to a manifold ''N'' is defined to be a differentiable function ''H'' : ''M'' × [0,1] → ''N'' such for all ''t'' in [0, 1] the function ''H<sub>t</sub>'' : ''M'' → ''N'' defined by ''H<sub>t</sub>''(''x'') = ''H''(''x'', ''t'') for all ''x'' ∈ ''M'' is an immersion, with ''H''<sub>0</sub> = ''f'', ''H''<sub>1</sub> = ''g''. A regular homotopy is thus a [[homotopy]] through immersions.
| |
| | |
| == Classification ==
| |
| [[Hassler Whitney]] initiated the systematic study of immersions and regular homotopies in the 1940s, proving that for 2''m'' < ''n''+1 every map ''f'' : ''M<sup>m</sup>'' → ''N<sup>n</sup>'' of an ''m''-dimensional manifold to an ''n''-dimensional manifold is [[homotopic]] to an immersion, and in fact to an [[embedding]] for 2''m'' < ''n''; these are the [[Whitney immersion theorem]] and [[Whitney embedding theorem]].
| |
| | |
| [[Smale|Stephen Smale]] expressed the regular homotopy classes of immersions ''f'' : ''M<sup>m</sup>'' → '''R'''<sup>''n''</sup> as the [[homotopy groups]] of a certain [[Stiefel manifold]]. The [[sphere eversion]] was a particularly striking consequence.
| |
| | |
| [[Morris Hirsch]] generalized Smale's expression to a [[homotopy theory]] description of the regular homotopy classes of immersions of any ''m''-dimensional manifold ''M<sup>m</sup>'' in any ''n''-dimensional manifold ''N<sup>n</sup>''.
| |
| | |
| The Hirsch-Smale classification of immersions was generalized by [[Mikhail Gromov (mathematician)|Mikhail Gromov]].
| |
| | |
| === Existence ===
| |
| [[File:Moebius Surface 1 Display Small.png|thumb|The [[Möbius strip]] does not immerse in codimension 0 because its tangent bundle is non-trivial.]]
| |
| The primary obstruction to the existence of an immersion ''i'' : ''M<sup>m</sup>'' → '''R'''<sup>''n''</sup> is the [[stable normal bundle]] of ''M,'' as detected by its [[characteristic classes]], notably its [[Stiefel–Whitney class]]es. That is, since '''R'''<sup>''n''</sup> is parallelizable, the pullback of its tangent bundle to ''M'' is trivial; since this pullback is the direct sum of the (intrinsically defined) tangent bundle on ''M,'' ''TM,'' which has dimension ''m,'' and of the normal bundle ν of the immersion ''i,'' which has dimension ''n''−''m'', for there to be a [[codimension]] ''k'' immersion of ''M,'' there must be a vector bundle of dimension ''k,'' ξ<sup>''k''</sup>, standing in for the normal bundle ν, such that ''TM'' ⊕ ξ<sup>''k''</sup> is trivial. Conversely, given such a bundle, an immersion of ''M'' with this normal bundle is equivalent to a codimension 0 immersion of the total space of this bundle, which is an open manifold.
| |
| | |
| The stable normal bundle is the class of normal bundles plus trivial bundles, and thus if the stable normal bundle has cohomological dimension ''k,'' it cannot come from an (unstable) normal bundle of dimension less than ''k''. Thus, the cohomology dimension of the stable normal bundle, as detected by its highest non-vanishing characteristic class, is an obstruction to immersions.
| |
| | |
| Since characteristic classes multiply under direct sum of vector bundles, this obstruction can be stated intrinsically in terms of the space ''M'' and its tangent bundle and cohomology algebra. This obstruction was stated (in terms of the tangent bundle, not stable normal bundle) by Whitney.
| |
| | |
| For example, the [[Möbius strip]] has non-trivial tangent bundle, so it cannot immerse in codimension 0 (in '''R'''<sup>2</sup>), though it embeds in codimension 1 (in '''R'''<sup>3</sup>).
| |
| | |
| In 1960, [[William S. Massey]] {{harv|Massey|1960}} showed that these characteristic classes (the Stiefel–Whitney classes of the stable normal bundle) vanish above degree ''n''−α(''n''), where α(''n'') is the number of “1” digits when ''n'' is written in binary; this bound is sharp, as realized by [[real projective space]]. This gave evidence to the ''Immersion Conjecture,'' namely that every ''n''-manifold could be immersed in codimension ''n''−α(''n''), i.e., in '''R'''<sup>2''n''−α(''n'')</sup> and was proven in 1985 by Ralph Cohen {{harv|Cohen|1985}}.
| |
| | |
| === Codimension 0 ===
| |
| Codimension 0 immersions are equivalently [[relative dimension|''relative'' dimension]] 0 ''[[Submersion (mathematics)|submersions]],'' and are better thought of as submersions. A codimension 0 immersion of a [[closed manifold]] is precisely a [[covering map]], i.e., a [[fiber bundle]] with 0-dimensional (discrete) fiber. By [[Ehresmann's theorem]] and Phillips' theorem on submersions, a [[proper map|proper]] submersion of manifolds is a fiber bundle, hence codimension/relative dimension 0 immersions/submersions behave like submersions.
| |
| | |
| Further, codimenson 0 immersions do not behave like other immersions, which are largely determined by the stable normal bundle: in codimension 0 one has issues of [[fundamental class]] and cover spaces. For instance, there is no codimension 0 immersion '''S'''<sup>1</sup> → '''R'''<sup>1</sup>, despite the circle being parallelizable, which can be proven because the line has no fundamental class, so one does not get the required map on top cohomology. Alternatively, this is by [[invariance of domain]]. Similarly, although '''S'''<sup>3</sup> and the 3-torus '''T'''<sup>3</sup> are both parallelizable, there is no immersion '''T'''<sup>3</sup> → '''S'''<sup>3</sup> – any such cover would have to be ramified at some points, since the sphere is simply connected.
| |
| | |
| Another way of understanding this is that a codimension ''k'' immersion of a manifold corresponds to a codimension 0 immersion of a ''k''-dimensional vector bundle, which is an [[open manifold|''open'' manifold]] if the codimension is greater than 0, but to a closed manifold in codimension 0 (if the original manifold is closed).
| |
| | |
| ==Multiple points==
| |
| A '''''k''-tuple point''' (double, triple, etc.) of an immersion ''f'' : ''M'' → ''N'' is an unordered set {''x''<sub>1</sub>, ..., ''x<sub>k</sub>''} of distinct points ''x<sub>i</sub>'' ∈ ''M'' with the same image ''f''(''x<sub>i</sub>'') ∈ ''N''. If ''M'' is an ''m''-dimensional manifold and ''N'' is an ''n''-dimensional manifold then for an immersion ''f'' : ''M'' → ''N'' in [[general position]] the set of ''k''-tuple points is an ''n''−''k''(''n''−''m'')-dimensional manifold. An '''embedding''' is an immersion without multiple points (where ''k'' > 1). Note, however, that the converse is false: there are injective immersions that are not embeddings.
| |
| | |
| The nature of the multiple points classifies immersions; for example, immersions of a circle in the plane are classified up to regular homotopy by the number of double points.
| |
| | |
| At a key point in [[surgery theory]] it is necessary to decide if an immersion ''f'' : '''S'''<sup>''m''</sup> → ''N<sup>2m</sup>'' of an ''m''-sphere in a 2''m''-dimensional manifold is regular homotopic to an embedding, in which case it can be killed by surgery. [[C.T.C. Wall|Wall]] associated to ''f'' an invariant μ(''f'') in a quotient of the [[fundamental group]] ring '''Z'''[π<sub>1</sub>(''N'')] which counts the double points of ''f'' in the [[universal cover]] of ''N''. For ''m'' > 2, ''f'' is regular homotopic to an embedding if and only if μ(''f'') = 0 by the [[Hassler Whitney|Whitney]] trick.
| |
| | |
| One can study embeddings as "immersions without multiple points", since immersions are easier to classify. Thus, one can start from immersions and try to eliminate multiple points, seeing if one can do this without introducing other singularities – studying "multiple disjunctions". This was first done by [[André Haefliger]], and this approach is fruitful in codimension 3 or more – from the point of view of surgery theory, this is "high (co)dimension", unlike codimension 2 which is the knotting dimension, as in [[knot theory]]. It is studied categorically via the "[[calculus of functors]]" by [http://www.math.brown.edu/faculty/goodwillie.html Thomas Goodwillie], [http://www.math.wayne.edu/~klein/ John Klein], and [http://www.maths.abdn.ac.uk/staff/display.php?key=m.weiss Michael S. Weiss].
| |
| | |
| ==Examples and properties==
| |
| * The [[Klein bottle]], and all other non-orientable closed surfaces, can be immersed in 3-space but not embedded.
| |
| [[File:Quadrifolium.svg|thumb|The [[quadrifolium]], the 4-petaled rose.]]
| |
| * A mathematical [[Rose (mathematics)|rose]] with ''k'' petals is an immersion of the circle in the plane with a single ''k''-tuple point; ''k'' can be any odd number, but if even must be a multiple of 4, so the figure 8 is not a rose.
| |
| * By the [[Whitney–Graustein theorem]] the regular homotopy classes of immersions of the circle in the plane are classified by the [[winding number]] which is also the number of double points counted algebraically (i.e. with signs).
| |
| * The [[sphere eversion|sphere can be turned inside out]]: the standard embedding ''f'' : '''S'''<sup>2</sup> → '''R'''<sup>3</sup> is related to ''f''<sub>1</sub> = −''f''<sub>0</sub> : '''S'''<sup>2</sup> → '''R'''<sup>3</sup> by a regular homotopy of immersions ''f<sub>t</sub>'' : '''S'''<sup>2</sup> → '''R'''<sup>3</sup>.
| |
| * [[Boy's surface]] is an immersion of the [[real projective plane]] in 3-space; thus also a 2-to-1 immersion of the sphere.
| |
| * The [[Morin surface]] is an immersion of the sphere; both it and Boy's surface arise as midway models in sphere eversion.
| |
| | |
| <gallery widths="300px" heights="300px">
| |
| File:BoysSurfaceTopView.PNG|[[Boy's surface]]
| |
| File:MorinSurfaceAsSphere'sInsideVersusOutside.PNG|The [[Morin surface]]
| |
| </gallery>
| |
| | |
| === Immersed plane curves === | |
| [[File:Winding Number Around Point.svg|thumb|300px|This curve has [[total curvature]] 6π, and [[turning number]] 3, though it only has [[winding number]] 2 about ''p''.]]
| |
| {{main|Whitney–Graustein theorem|Total curvature|Turning number}}
| |
| Immersed plane curves have a well-defined [[turning number]], which can be defined as the [[total curvature]] divided by 2''π''. This is invariant under regular homotopy, by the [[Whitney–Graustein theorem]] – topologically, it is the degree of the [[Gauss map]], or equivalently the [[winding number]] of the unit tangent (which does not vanish) about the origin. Further, this is a [[complete set of invariants]] – any two plane curves with the same turning number are regular homotopic.
| |
| | |
| Every immersed plane curve lifts to an embedded space curve via separating the intersection points, which is not true in higher dimensions. With added data (which strand is on top), immersed plane curves yield [[knot diagram]]s, which are of central interest in [[knot theory]]. While immersed plane curves, up to regular homotopy, are determined by their turning number, knots have a very rich and complex structure.
| |
| | |
| === Immersed surfaces in 3-space ===
| |
| The study of immersed surfaces in 3-space is closely connected with the study of knotted (embedded) surfaces in 4-space, by analogy with the theory of [[knot diagram]]s (immersed plane curves (2-space) as projections of knotted curves in 3-space): given a knotted surface in 4-space, one can project it to an immersed surface in 3-space, and conversely, given an immersed surface in 3-space, one may ask if it lifts to 4-space – is it the projection of a knotted surface in 4-space? This allows one to relate questions about these objects.
| |
| | |
| A basic result, in contrast to the case of plane curves, is that not every immersed surface lifts to a knotted surface.<ref>{{Harv|Carter|Saito|1995}}, {{Harv|Carter|Kamada|Saito|2004|loc=[http://books.google.com/books?id=erc9fktHqhsC&pg=PA17 Remark 1.23, p. 17]}}</ref> In some cases the obstruction is 2-torsion, such as in ''[http://www.southalabama.edu/mathstat/personal_pages/carter/nukos.jpg Koschorke's example],''<ref>{{Harv|Koschorke|1979}}</ref> which is an immersed surface (formed from 3 Möbius bands, with a [[Tripoint (disambiguation)|triple point]]) that does not lift to a knotted surface, but it has a double cover that does lift. A detailed analysis is given in {{Harv|Carter|Saito|1998}}, while a more recent survey is given in {{Harv|Carter|Kamada|Saito|2004}}.
| |
| | |
| == Generalizations ==
| |
| {{main|Homotopy principle}}
| |
| A far-reaching generalization of immersion theory is the [[homotopy principle]]:
| |
| one may consider the immersion condition (the rank of the derivative is always ''k'') as a [[partial differential relation]] (PDR), as it can be stated in terms of the partial derivatives of the function. Then Smale–Hirsch immersion theory is the result that this reduces to homotopy theory, and the homotopy principle gives general conditions and reasons for PDRs to reduce to homotopy theory.
| |
| | |
| ==See also==
| |
| *[[Submersion (mathematics)|Submersion]]
| |
| *[[Immersed submanifold]]
| |
| *[[Isometric immersion]]
| |
| | |
| ==References==
| |
| {{reflist}}
| |
| {{refbegin}}
| |
| * {{Citation|title=Embeddings and immersions |first=Masahisa |last=Adachi |url=http://books.google.com/books?id=JcMwHWSBSB4C | postscript =, translation Kiki Hudson|isbn=978-0-8218-4612-4|year=1993}}
| |
| *{{Citation|authorlink=Vladimir Arnold|first=V. I.|last=Arnold|first2=A. N.|last2=Varchenko|first3=S. M.|last3=Gusein-Zade|title=Singularities of Differentiable Maps: Volume 1|publisher=Birkhäuser|year=1985|isbn=0-8176-3187-9}}
| |
| *{{Citation|first=J. W.|last=Bruce|first2=P. J.|last2=Giblin|title=Curves and Singularities|publisher=Cambridge University Press|year=1984|isbn=0-521-42999-4}}
| |
| *{{Citation |first1=J. Scott |last1=Carter |first2=Masahico |last2=Saito |year=1995 |title= Surfaces in 3-Space That Do Not Lift to Embeddings in 4-Space |url= http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.1505 |postscript=published in conference proceedings Knot theory, Banach center publications, 42 Warzawa (1998), 29–47.}}
| |
| *{{Citation |first1=J. Scott |last1=Carter |first2=Masahico |last2=Saito |year=1998 |title=Knotted Surfaces and Their Diagrams |series=Mathematical Surveys and Monographs |volume=55 |pages=258 |isbn=978-0-8218-0593-0 }}
| |
| *{{Citation |first1=J. Scott |last1=Carter |first2=Seiichi |last2=Kamada |first3=Masahico |last3=Saito |title=Surfaces in 4-space |year=2004 }}
| |
| *{{Citation|authorlink=Mikhail Gromov (mathematician)|first=M.|last=Gromov|title=Partial differential relations|publisher=Springer|year=1986|isbn=3-540-12177-3}}
| |
| *Hirsch M. ''Immersions of manifolds''. [[Trans. A.M.S.]] 93 1959 242—276.
| |
| *{{Citation |last=Koschorke |first=Ulrich |title=Multiple points of Immersions and the Kahn-Priddy Theorem |journal=Math Z. |year=1979 |pages=223–236 |issue=169}}
| |
| *Smale, S. ''A classification of immersions of the two-sphere.'' Trans. Amer. Math. Soc. 90 1958 281–290.
| |
| *Smale, S. ''The classification of immersions of spheres in Euclidean spaces''. [[Annals of Mathematics|Ann. of Math.]] (2) 69 1959 327—344.
| |
| *{{citation
| |
| |last=Spring
| |
| |first=D.
| |
| |url=http://www.ams.org/bull/2005-42-02/S0273-0979-05-01048-7/S0273-0979-05-01048-7.pdf |title=The Golden Age of Immersion Theory in Topology: 1959-1973
| |
| |journal=[[Bulletin of the American Mathematical Society]]
| |
| |issue=42
| |
| |pages=163–180
| |
| |year=2005
| |
| }}
| |
| *Wall, C. T. C.: ''Surgery on compact manifolds''. 2nd ed., Mathematical Surveys and Monographs 69, A.M.S.
| |
| {{refend}}
| |
| ==External links==
| |
| *[http://www.map.mpim-bonn.mpg.de/Immersion Immersion] at the Manifold Atlas
| |
| *[http://www.encyclopediaofmath.org/index.php/Immersion_of_a_manifold Immersion of a manifold] at the Encyclopedia of Mathematics
| |
| | |
| [[Category:Differential topology]]
| |
| [[Category:Maps of manifolds]]
| |
| [[Category:Smooth functions]]
| |