Namespaces
Variants
Actions

Difference between revisions of "Diffeomorphism"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (MR/ZBL numbers added)
m (→‎References: latexify)
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
 +
<!--
 +
d0316501.png
 +
$#A+1 = 40 n = 1
 +
$#C+1 = 40 : ~/encyclopedia/old_files/data/D031/D.0301650 Diffeomorphism,
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
''differentiable homeomorphism, smooth homeomorphism''
 
''differentiable homeomorphism, smooth homeomorphism''
  
A one-to-one continuously-differentiable mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d0316501.png" /> of a differentiable manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d0316502.png" /> (e.g. of a domain in a Euclidean space) into a differentiable manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d0316503.png" /> for which the inverse mapping is also continuously differentiable. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d0316504.png" />, one says that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d0316505.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d0316506.png" /> are diffeomorphic. From the point of view of differential topology, diffeomorphic manifolds have the same properties, and one is interested in a classification of manifolds up to a diffeomorphism (this classification is not identical with the coarser classification up to a [[Homeomorphism|homeomorphism]], except for cases involving small dimensions).
+
A one-to-one continuously-differentiable mapping $  f : M \rightarrow N $
 +
of a differentiable manifold $  M $(
 +
e.g. of a domain in a Euclidean space) into a differentiable manifold $  N $
 +
for which the inverse mapping is also continuously differentiable. If $  f ( M) = N $,  
 +
one says that $  M $
 +
and $  N $
 +
are diffeomorphic. From the point of view of differential topology, diffeomorphic manifolds have the same properties, and one is interested in a classification of manifolds up to a diffeomorphism (this classification is not identical with the coarser classification up to a [[Homeomorphism|homeomorphism]], except for cases involving small dimensions).
  
 
Even though the term "diffeomorphism" was introduced comparatively recently, in practice numerous transformations and changes of variables which have been used in mathematics for long periods of time are diffeomorphisms, while many families of transformations are groups of diffeomorphisms. This applies, in particular, to diffeomorphisms which preserve a supplementary structure on the manifold (e.g. a contact, symplectic, conformal, or complex structure). In the past such diffeomorphisms had special appellations (in the above examples, contact transformations, canonical mappings, conformal mappings, and biholomorphic mappings), and these are often replaced at the time of writing (1970s) by the term "diffeomorphism" with an adjective characterizing the preserved structure (e.g. "symplectic diffeomorphismsymplectic diffeomorphism" rather than "canonical transformation" ).
 
Even though the term "diffeomorphism" was introduced comparatively recently, in practice numerous transformations and changes of variables which have been used in mathematics for long periods of time are diffeomorphisms, while many families of transformations are groups of diffeomorphisms. This applies, in particular, to diffeomorphisms which preserve a supplementary structure on the manifold (e.g. a contact, symplectic, conformal, or complex structure). In the past such diffeomorphisms had special appellations (in the above examples, contact transformations, canonical mappings, conformal mappings, and biholomorphic mappings), and these are often replaced at the time of writing (1970s) by the term "diffeomorphism" with an adjective characterizing the preserved structure (e.g. "symplectic diffeomorphismsymplectic diffeomorphism" rather than "canonical transformation" ).
  
Topological (more exactly, homotopic) properties of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d0316507.png" /> of all diffeomorphisms of a manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d0316508.png" /> onto itself, in which a topology has been introduced in a suitable manner, have also been studied. They may be unexpectedly complicated (see, e.g., [[#References|[1]]], [[#References|[4]]], [[#References|[5]]], which also contain reviews and references). This problem is connected with a number of important problems in homotopic topology (e.g. with the homotopy groups of spheres). In principle, knowledge of the properties of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d0316509.png" /> would be of assistance in solving these problems, but at the time of writing (1987) the situation seems to be almost the opposite: Advances in the study of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d03165010.png" /> involve the use of the already known features of the problems or, at best, are realized in parallel with the solutions of these problems and by the same methods. As regards the algebraic properties of the group of diffeomorphisms of class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d03165011.png" /> (including the case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d03165012.png" />) of a closed <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d03165014.png" />-dimensional manifold, it has been proved that if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d03165015.png" />, then its connected component of the unit is a simple group, i.e. has no non-trivial normal subgroups (see [[Normal subgroup|Normal subgroup]]; cf. [[#References|[2]]], ; the situation is not clear for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d03165016.png" />). As regards a non-closed <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d03165017.png" />-dimensional manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d03165018.png" />, it has been proved that the group of all diffeomorphisms of class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d03165019.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d03165020.png" />) which may be connected with the identity mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d03165021.png" /> by way of a continuous family of diffeomorphisms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d03165022.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d03165023.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d03165024.png" />; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d03165025.png" />) which does not displace points outside a certain compact set (depending on the family), is simple.
+
Topological (more exactly, homotopic) properties of the group $  \mathop{\rm Diff}  M $
 +
of all diffeomorphisms of a manifold $  M $
 +
onto itself, in which a topology has been introduced in a suitable manner, have also been studied. They may be unexpectedly complicated (see, e.g., [[#References|[1]]], [[#References|[4]]], [[#References|[5]]], which also contain reviews and references). This problem is connected with a number of important problems in homotopic topology (e.g. with the homotopy groups of spheres). In principle, knowledge of the properties of $  \mathop{\rm Diff}  M $
 +
would be of assistance in solving these problems, but at the time of writing (1987) the situation seems to be almost the opposite: Advances in the study of $  \mathop{\rm Diff}  M $
 +
involve the use of the already known features of the problems or, at best, are realized in parallel with the solutions of these problems and by the same methods. As regards the algebraic properties of the group of diffeomorphisms of class $  C  ^ {r} $(
 +
including the case $  r = \infty $)  
 +
of a closed $  n $-
 +
dimensional manifold, it has been proved that if $  r \neq n + 1 $,  
 +
then its connected component of the unit is a simple group, i.e. has no non-trivial normal subgroups (see [[Normal subgroup|Normal subgroup]]; cf. [[#References|[2]]], ; the situation is not clear for $  r = n + 1 $).  
 +
As regards a non-closed $  n $-
 +
dimensional manifold $  M $,  
 +
it has been proved that the group of all diffeomorphisms of class $  C  ^ {r} $(
 +
$  r \neq n + 1 $)  
 +
which may be connected with the identity mapping $  1 _ {M} $
 +
by way of a continuous family of diffeomorphisms $  f _ {t} $(
 +
0 \leq  t \leq  1 $,  
 +
$  f _ {0} = 1 _ {M} $;  
 +
$  f _ {1} = f  $)  
 +
which does not displace points outside a certain compact set (depending on the family), is simple.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> P.L. Antonelli, D. Burghelea, P.J. Kahn, "The non-finite homotopy type of some diffeomorphism groups" ''Topology'' , '''11''' : 1 (1972) pp. 1–49 {{MR|0292106}} {{ZBL|0225.57013}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> W. Thurston, "Foliations and groups of diffeomorphisms" ''Bull. Amer. Math. Soc.'' , '''80''' : 2 (1974) pp. 304–307 {{MR|0339267}} {{ZBL|0295.57014}} </TD></TR><TR><TD valign="top">[3a]</TD> <TD valign="top"> J.N. Mather, "Commutators of diffeomorphisms" ''Comm. Math. Helv.'' , '''49''' : 4 (1974) pp. 512–528 {{MR|0356129}} {{ZBL|0289.57014}} </TD></TR><TR><TD valign="top">[3b]</TD> <TD valign="top"> J.N. Mather, "Commutators of diffeomorphisms II" ''Comm. Math. Helv.'' , '''50''' : 1 (1975) pp. 33–40 {{MR|0375382}} {{ZBL|0299.58008}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> F.T. Farrell, W.C. Hsiang, "On the rational homotopy groups of the diffeomorphism groups of disks, spheres and aspherical manifolds" R.J. Milgram (ed.) , ''Algebraic and geometric topology'' , ''Proc. Symp. Pure Math.'' , '''32.1''' , Amer. Math. Soc. (1978) pp. 325–328</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> D. Burghelea, R. Lashof, "Geometric transfer and the homotopy type of the automorphism groups of a manifold" ''Trans. Amer. Math. Soc.'' , '''269''' : 1 (1982) pp. 1–38 {{MR|0637027}} {{ZBL|0489.57008}} </TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> P.L. Antonelli, D. Burghelea, P.J. Kahn, "The non-finite homotopy type of some diffeomorphism groups" ''Topology'' , '''11''' : 1 (1972) pp. 1–49 {{MR|0292106}} {{ZBL|0225.57013}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> W. Thurston, "Foliations and groups of diffeomorphisms" ''Bull. Amer. Math. Soc.'' , '''80''' : 2 (1974) pp. 304–307 {{MR|0339267}} {{ZBL|0295.57014}} </TD></TR><TR><TD valign="top">[3a]</TD> <TD valign="top"> J.N. Mather, "Commutators of diffeomorphisms" ''Comm. Math. Helv.'' , '''49''' : 4 (1974) pp. 512–528 {{MR|0356129}} {{ZBL|0289.57014}} </TD></TR><TR><TD valign="top">[3b]</TD> <TD valign="top"> J.N. Mather, "Commutators of diffeomorphisms II" ''Comm. Math. Helv.'' , '''50''' : 1 (1975) pp. 33–40 {{MR|0375382}} {{ZBL|0299.58008}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> F.T. Farrell, W.C. Hsiang, "On the rational homotopy groups of the diffeomorphism groups of disks, spheres and aspherical manifolds" R.J. Milgram (ed.) , ''Algebraic and geometric topology'' , ''Proc. Symp. Pure Math.'' , '''32.1''' , Amer. Math. Soc. (1978) pp. 325–328</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> D. Burghelea, R. Lashof, "Geometric transfer and the homotopy type of the automorphism groups of a manifold" ''Trans. Amer. Math. Soc.'' , '''269''' : 1 (1982) pp. 1–38 {{MR|0637027}} {{ZBL|0489.57008}} </TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====
The diffeomorphism classification of compact two-dimensional manifolds is presented in [[#References|[a1]]]. For manifolds of dimensions three or fewer the classification by diffeomorphism, homeomorphism and combinatorial equivalence coincide; see [[#References|[a5]]], [[#References|[a6]]]. For compact simply-connected manifolds <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d03165026.png" /> of dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d03165027.png" /> one of the most useful tools for obtaining a diffeomorphism is the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d03165029.png" />-cobordism theorem of Smale [[#References|[a7]]], see also [[#References|[a4]]]: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d03165030.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d03165031.png" /> are diffeomorphic provided there is a compact manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d03165032.png" /> of dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d03165033.png" /> whose boundary is the disjoint union <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d03165034.png" />, and both <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d03165035.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d03165036.png" /> are deformation retracts of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d03165037.png" /> (cf. [[Deformation retract|Deformation retract]]; [[H-cobordism|<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d03165038.png" />-cobordism]]). In fact, in this case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d03165039.png" /> is diffeomorphic to the Cartesian product of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d03165040.png" /> (or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d03165041.png" />) and the closed unit interval.
+
The diffeomorphism classification of compact two-dimensional manifolds is presented in [[#References|[a1]]]. For manifolds of dimensions three or fewer the classification by diffeomorphism, homeomorphism and combinatorial equivalence coincide; see [[#References|[a5]]], [[#References|[a6]]]. For compact simply-connected manifolds $  M _ {1} , M _ {2} $
 +
of dimension $  n \geq  5 $
 +
one of the most useful tools for obtaining a diffeomorphism is the $  h $-
 +
cobordism theorem of Smale [[#References|[a7]]], see also [[#References|[a4]]]: $  M _ {1} $
 +
and $  M _ {2} $
 +
are diffeomorphic provided there is a compact manifold $  N $
 +
of dimension $  n + 1 $
 +
whose boundary is the disjoint union $  M _ {1} \cup M _ {2} $,  
 +
and both $  M _ {1} $
 +
and $  M _ {2} $
 +
are deformation retracts of $  N $(
 +
cf. [[Deformation retract|Deformation retract]]; [[H-cobordism| $  h $-
 +
cobordism]]). In fact, in this case $  N $
 +
is diffeomorphic to the Cartesian product of $  M _ {1} $(
 +
or $  M _ {2} $)  
 +
and the closed unit interval.
  
Many further results have been obtained by combining the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d03165042.png" />-cobordism theorem with other tools from algebraic and differential topology; see [[#References|[a1]]], [[#References|[a3]]].
+
Many further results have been obtained by combining the $  h $-
 +
cobordism theorem with other tools from algebraic and differential topology; see [[#References|[a1]]], [[#References|[a3]]].
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> W.B. Browder, "Surgery on simply-connected manifolds" , Springer (1972) {{MR|0358813}} {{ZBL|0239.57016}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> M.W. Hirsch, "Differential topology" , Springer (1976) pp. Chapt. 6 {{MR|0448362}} {{ZBL|0356.57001}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> R.C. Kirby, L.C. Siebenmann, "Foundational essays on topological manifolds, smoothings, and triangulations" , Princeton Univ. Press (1977) pp. 155–213 {{MR|0645390}} {{ZBL|0361.57004}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> J. Milnor, "Lecture notes on the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031650/d03165043.png" />-cobordism theorem" , Princeton Univ. Press (1965) {{MR|190942}} {{ZBL|}} </TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> E.E. Moise, "Geometric topology in dimensions 2 and 3" , Springer (1977) {{MR|0488059}} {{ZBL|0349.57001}} </TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> J. Munkres, "Obstructions to smoothing of piecewise-differentiable homeomorphisms" ''Ann. of Math.'' , '''72''' (1960) pp. 521–554 {{MR|121804}} {{ZBL|0108.18101}} </TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> S. Smale, "On the structure of manifolds" ''Amer. J. Math.'' , '''84''' (1962) pp. 387–399 {{MR|0153022}} {{ZBL|0109.41103}} {{ZBL|0101.16103}} </TD></TR></table>
+
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> W.B. Browder, "Surgery on simply-connected manifolds" , Springer (1972) {{MR|0358813}} {{ZBL|0239.57016}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> M.W. Hirsch, "Differential topology" , Springer (1976) pp. Chapt. 6 {{MR|0448362}} {{ZBL|0356.57001}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> R.C. Kirby, L.C. Siebenmann, "Foundational essays on topological manifolds, smoothings, and triangulations" , Princeton Univ. Press (1977) pp. 155–213 {{MR|0645390}} {{ZBL|0361.57004}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> J. Milnor, "Lecture notes on the $h$-cobordism theorem" , Princeton Univ. Press (1965) {{MR|190942}} {{ZBL|}} </TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> E.E. Moise, "Geometric topology in dimensions 2 and 3" , Springer (1977) {{MR|0488059}} {{ZBL|0349.57001}} </TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> J. Munkres, "Obstructions to smoothing of piecewise-differentiable homeomorphisms" ''Ann. of Math.'' , '''72''' (1960) pp. 521–554 {{MR|121804}} {{ZBL|0108.18101}} </TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> S. Smale, "On the structure of manifolds" ''Amer. J. Math.'' , '''84''' (1962) pp. 387–399 {{MR|0153022}} {{ZBL|0109.41103}} {{ZBL|0101.16103}} </TD></TR></table>

Latest revision as of 11:43, 26 March 2023


differentiable homeomorphism, smooth homeomorphism

A one-to-one continuously-differentiable mapping $ f : M \rightarrow N $ of a differentiable manifold $ M $( e.g. of a domain in a Euclidean space) into a differentiable manifold $ N $ for which the inverse mapping is also continuously differentiable. If $ f ( M) = N $, one says that $ M $ and $ N $ are diffeomorphic. From the point of view of differential topology, diffeomorphic manifolds have the same properties, and one is interested in a classification of manifolds up to a diffeomorphism (this classification is not identical with the coarser classification up to a homeomorphism, except for cases involving small dimensions).

Even though the term "diffeomorphism" was introduced comparatively recently, in practice numerous transformations and changes of variables which have been used in mathematics for long periods of time are diffeomorphisms, while many families of transformations are groups of diffeomorphisms. This applies, in particular, to diffeomorphisms which preserve a supplementary structure on the manifold (e.g. a contact, symplectic, conformal, or complex structure). In the past such diffeomorphisms had special appellations (in the above examples, contact transformations, canonical mappings, conformal mappings, and biholomorphic mappings), and these are often replaced at the time of writing (1970s) by the term "diffeomorphism" with an adjective characterizing the preserved structure (e.g. "symplectic diffeomorphismsymplectic diffeomorphism" rather than "canonical transformation" ).

Topological (more exactly, homotopic) properties of the group $ \mathop{\rm Diff} M $ of all diffeomorphisms of a manifold $ M $ onto itself, in which a topology has been introduced in a suitable manner, have also been studied. They may be unexpectedly complicated (see, e.g., [1], [4], [5], which also contain reviews and references). This problem is connected with a number of important problems in homotopic topology (e.g. with the homotopy groups of spheres). In principle, knowledge of the properties of $ \mathop{\rm Diff} M $ would be of assistance in solving these problems, but at the time of writing (1987) the situation seems to be almost the opposite: Advances in the study of $ \mathop{\rm Diff} M $ involve the use of the already known features of the problems or, at best, are realized in parallel with the solutions of these problems and by the same methods. As regards the algebraic properties of the group of diffeomorphisms of class $ C ^ {r} $( including the case $ r = \infty $) of a closed $ n $- dimensional manifold, it has been proved that if $ r \neq n + 1 $, then its connected component of the unit is a simple group, i.e. has no non-trivial normal subgroups (see Normal subgroup; cf. [2], ; the situation is not clear for $ r = n + 1 $). As regards a non-closed $ n $- dimensional manifold $ M $, it has been proved that the group of all diffeomorphisms of class $ C ^ {r} $( $ r \neq n + 1 $) which may be connected with the identity mapping $ 1 _ {M} $ by way of a continuous family of diffeomorphisms $ f _ {t} $( $ 0 \leq t \leq 1 $, $ f _ {0} = 1 _ {M} $; $ f _ {1} = f $) which does not displace points outside a certain compact set (depending on the family), is simple.

References

[1] P.L. Antonelli, D. Burghelea, P.J. Kahn, "The non-finite homotopy type of some diffeomorphism groups" Topology , 11 : 1 (1972) pp. 1–49 MR0292106 Zbl 0225.57013
[2] W. Thurston, "Foliations and groups of diffeomorphisms" Bull. Amer. Math. Soc. , 80 : 2 (1974) pp. 304–307 MR0339267 Zbl 0295.57014
[3a] J.N. Mather, "Commutators of diffeomorphisms" Comm. Math. Helv. , 49 : 4 (1974) pp. 512–528 MR0356129 Zbl 0289.57014
[3b] J.N. Mather, "Commutators of diffeomorphisms II" Comm. Math. Helv. , 50 : 1 (1975) pp. 33–40 MR0375382 Zbl 0299.58008
[4] F.T. Farrell, W.C. Hsiang, "On the rational homotopy groups of the diffeomorphism groups of disks, spheres and aspherical manifolds" R.J. Milgram (ed.) , Algebraic and geometric topology , Proc. Symp. Pure Math. , 32.1 , Amer. Math. Soc. (1978) pp. 325–328
[5] D. Burghelea, R. Lashof, "Geometric transfer and the homotopy type of the automorphism groups of a manifold" Trans. Amer. Math. Soc. , 269 : 1 (1982) pp. 1–38 MR0637027 Zbl 0489.57008

Comments

The diffeomorphism classification of compact two-dimensional manifolds is presented in [a1]. For manifolds of dimensions three or fewer the classification by diffeomorphism, homeomorphism and combinatorial equivalence coincide; see [a5], [a6]. For compact simply-connected manifolds $ M _ {1} , M _ {2} $ of dimension $ n \geq 5 $ one of the most useful tools for obtaining a diffeomorphism is the $ h $- cobordism theorem of Smale [a7], see also [a4]: $ M _ {1} $ and $ M _ {2} $ are diffeomorphic provided there is a compact manifold $ N $ of dimension $ n + 1 $ whose boundary is the disjoint union $ M _ {1} \cup M _ {2} $, and both $ M _ {1} $ and $ M _ {2} $ are deformation retracts of $ N $( cf. Deformation retract; $ h $- cobordism). In fact, in this case $ N $ is diffeomorphic to the Cartesian product of $ M _ {1} $( or $ M _ {2} $) and the closed unit interval.

Many further results have been obtained by combining the $ h $- cobordism theorem with other tools from algebraic and differential topology; see [a1], [a3].

References

[a1] W.B. Browder, "Surgery on simply-connected manifolds" , Springer (1972) MR0358813 Zbl 0239.57016
[a2] M.W. Hirsch, "Differential topology" , Springer (1976) pp. Chapt. 6 MR0448362 Zbl 0356.57001
[a3] R.C. Kirby, L.C. Siebenmann, "Foundational essays on topological manifolds, smoothings, and triangulations" , Princeton Univ. Press (1977) pp. 155–213 MR0645390 Zbl 0361.57004
[a4] J. Milnor, "Lecture notes on the $h$-cobordism theorem" , Princeton Univ. Press (1965) MR190942
[a5] E.E. Moise, "Geometric topology in dimensions 2 and 3" , Springer (1977) MR0488059 Zbl 0349.57001
[a6] J. Munkres, "Obstructions to smoothing of piecewise-differentiable homeomorphisms" Ann. of Math. , 72 (1960) pp. 521–554 MR121804 Zbl 0108.18101
[a7] S. Smale, "On the structure of manifolds" Amer. J. Math. , 84 (1962) pp. 387–399 MR0153022 Zbl 0109.41103 Zbl 0101.16103
How to Cite This Entry:
Diffeomorphism. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Diffeomorphism&oldid=24410
This article was adapted from an original article by D.V. Anosov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article