View source for Differential topology

A branch of topology dealing with the topological problems of the theory of differentiable manifolds and differentiable mappings, in particular diffeomorphisms, imbeddings and bundles. Attempts at a successive construction of topology on the basis of manifolds, mappings and differential forms date back to the end of 19th century (H. Poincaré), but at that time a full realization of this procedure proved impossible. A systematic construction of differential topology could be realized only in the 1930s, as a result of joint efforts of prominent mathematicians.

Important general mathematical concepts were developed in differential topology. These include fibrations and bundles over a space, and the differential-geometric and topological concepts connected with it: connections, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032290/d0322901.png" />-structures, characteristic classes, and also rigged (framed) manifolds. Of major importance in the development of differential topology was the theory of (co)bordisms, with its several applications in algebraic and analytical geometry (the Riemann–Roch theorem), the theory of elliptic operators (the index theorem), and also in topology itself. The 1950s witnessed the discovery of various different smooth structures on spheres; this was followed by the classification of manifolds having the homotopy type of the spheres and by the proof of the generalized Poincaré conjecture: The solution was found for the problem of finding a complete system of diffeomorphism invariants of all simply-connected manifolds (of a dimension not less than 5). In the 1960s fundamental topological problems were solved by applying the methods of differential topology: It was found that the characteristic classes of real manifolds were topologically invariant; the relation between the categories of differentiable, piecewise-linear and topological manifolds were clarified; the methods of classification of smooth manifolds were generalized to include non-simply-connected manifolds (though admittedly not very effectively); and algebraic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032290/d0322902.png" />-theory and Hermitian <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032290/d0322903.png" />-theory were created. For non-simply-connected manifolds, fundamental relationships were discovered between the characteristic classes and Hermitian forms over the fundamental group of the manifold and the homology. Subsequently, fundamental results were obtained by methods of functional analysis and by algebraic methods, concerning the homotopy invariance of classes and the theory of Hermitian forms over cochains with an involution. Of major importance are methods concerning the problem of classification of imbeddings of one manifold into another and its various generalizations.

A separate branch of differential topology, related to the calculus of variations, is the global theory of extremals of various functionals on manifolds of geodesics. It strongly influenced the development of topology itself by making possible a classification of vector bundles and, subsequently, by producing a method of studying the topological invariants, provided by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032290/d0322904.png" />-theory. Multi-dimensional global problems of the calculus of variations on manifolds proved to be more difficult; the problem which was principally studied was the problem of minimal surfaces, as the extremals of Dirichlet-type functionals. In the 1970s the theory of elementary particles gave rise to several essentially new problems in multi-dimensional variational calculus.

Another special trend in differential topology, related to differential geometry and to the theory of dynamical systems, is the theory of foliations (Pfaffian systems which are locally totally integrable). Thus, the existence was established of a closed leaf in any two-dimensional smooth foliation on many three-dimensional manifolds (e.g. spheres). Several results in the qualitative theory of foliations were intended to clarify the problem of the existence of an important class of hyperbolic dynamical systems on manifolds. In a subsequent — differential-geometric — development of the theory of foliations, a special analogue of the theory of characteristic classes of fibre bundles, based on the homology theory of Lie algebras of vector fields, was established.

A major achievement of the methods of differential topology is the theory of "generic" singularities of mappings and functions. The methods of differential topology found application in classical problems of algebraic geometry; formerly, results obtained in this field (in particular, theorems on ovals of algebraic curves) were isolated and remained apart from the main development of topology and geometry. The development of differential topology produced several new problems and methods in algebra, e.g., so-called stable algebra, the method of formal groups, etc., and also in the theory of partial differential equations and dynamical systems, functional analysis and geometry.

The interest on the part of modern physics in the methods of differential topology greatly increased in the 1970s. This was due to the increased importance of so-called gauge fields (connections in fibre bundles with space-time as the base) in the theory of elementary particles, the difficult topology of solutions in the theory of liquid crystals, and the theory of phase transitions — particularly, liquid helium at low temperatures.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> L.S. Pontryagin, "Smooth manifolds and their applications in homotopy theory" , Moscow (1976) (In Russian) {{MR|0445517}} {{ZBL|0084.19002}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> H. Whitney, "Differentiable manifolds" ''Ann. of Math.'' , '''37''' (1936) pp. 645–680 {{MR|1503303}} {{ZBL|0016.08501}} {{ZBL|0015.32001}} {{ZBL|62.1454.01}} {{ZBL|62.0806.03}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> R. Thom, , ''Fibre spaces and their applications'' , Moscow (1958) pp. 293–351 (In Russian; translated from English)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> S.P. Novikov, ''Izv. Akad. Nauk SSR Ser. Mat.'' , '''28''' : 2 (1964) pp. 365–474</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> J.W. Milnor, "Differential topology" , ''Lectures on modern mathematics'' , '''II''' , Wiley (1964) pp. 165–183 {{MR|0178474}} {{ZBL|0142.40803}} {{ZBL|0123.16201}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> S. Smale, "A survey of some recent developments in differential topology" ''Bull. Amer. Math. Soc.'' , '''69''' (1963) pp. 131–145 {{MR|0144351}} {{ZBL|0133.16507}} </TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> J. Milnor, A. Wallace, "Differential topology" , Moscow (1972) (In Russian; translated from English) {{MR|0353326}} {{ZBL|1225.01040}} {{ZBL|1122.01020}} {{ZBL|0142.40803}} {{ZBL|0123.16201}} </TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top"> J.R. Munkres, "Elementary differential topology" , Princeton Univ. Press (1963) {{MR|0163320}} {{ZBL|0107.17201}} </TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top"> J. Milnor, "Lectures on the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032290/d0322905.png" />-cobordism theorem" , Princeton Univ. Press (1965) {{MR|190942}} {{ZBL|}} </TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top"> V.A. Rokhlin, D.B. Fuks, "Beginners course in topology: Geometric chapters" , Springer (1984) (Translated from Russian) {{MR|759162}} {{ZBL|}} </TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top"> C.P. Rourke, B.J. Sanderson, "Introduction to piecewise-linear topology" , Springer (1972) {{MR|0350744}} {{ZBL|0254.57010}} </TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top"> C.T.C. Wall, "Surgery on compact manifolds" , Acad. Press (1970) {{MR|0431216}} {{ZBL|0219.57024}} </TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top"> F. Browder, "Surgery on simply-connected manifolds" , Springer (1972) {{MR|0358813}} {{ZBL|0239.57016}} </TD></TR><TR><TD valign="top">[14]</TD> <TD valign="top"> P.E. Conner, E.E. Floyd, "Differentiable periodic maps" , Springer (1964) {{MR|0176478}} {{ZBL|0125.40103}} </TD></TR><TR><TD valign="top">[15]</TD> <TD valign="top"> R.E. Stong, "Notes on cobordism theory" , Princeton Univ. Press (1968) {{MR|0248858}} {{ZBL|0181.26604}} </TD></TR><TR><TD valign="top">[16]</TD> <TD valign="top"> S.P. Novikov, "The topology of foliations" ''Trudy Moskov. Mat. Obshch.'' , '''14''' (1965) pp. 248–278 (In Russian) {{MR|0200938}} {{ZBL|}} </TD></TR><TR><TD valign="top">[17]</TD> <TD valign="top"> , ''Integer flows and minimal surfaces'' , Moscow (1973) (In Russian; translated from English and Italian)</TD></TR><TR><TD valign="top">[18]</TD> <TD valign="top"> A.S. Mishchenko, "Hermitian <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032290/d0322906.png" />-theory. The theory of characteristic classes and methods of functional analysis" ''Russian Math. Surveys'' , '''31''' : 2 (1976) pp. 71–138 ''Uspekhi Mat. Nauk.'' , '''31''' : 2 (1976) pp. 69–134 {{MR|2810191}} {{MR|2551881}} {{MR|2407859}} {{MR|2342865}} {{MR|2276911}} {{MR|2171671}} {{MR|1865951}} {{MR|1865950}} {{MR|1841760}} {{MR|1401584}} {{MR|1209904}} {{MR|1189162}} {{MR|1181028}} {{MR|1143142}} {{MR|1261408}} {{MR|0979315}} {{MR|0979309}} {{MR|0865932}} {{MR|0831650}} {{MR|0836571}} {{ZBL|}} </TD></TR><TR><TD valign="top">[19]</TD> <TD valign="top"> , ''Smooth dynamical systems'' , Moscow (1977) (In Russian; translated from English) {{MR|}} {{ZBL|0357.58006}} </TD></TR></table>



====Comments====


====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> M.W. Hirsch, "Differential topology" , Springer (1976) {{MR|0448362}} {{ZBL|0356.57001}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> J.W. Milnor, "Morse theory" , Princeton Univ. Press (1963) {{MR|0163331}} {{ZBL|0108.10401}} </TD></TR></table>