Singularities of differentiable mappings
A branch of mathematical analysis and differential geometry, in which those properties of mappings are studied which are preserved when the coordinates in the image and pre-image of the mapping are changed (or when changes are made which preserve certain supplementary structures); a general approach is proposed to the solution of various problems on degeneration of mappings, functions, vector fields, etc.; a classification is given of the most commonly encountered degenerations, and their normal forms, as well as algorithms which reduce to the normal forms, are determined.
A point of the domain of definition of a differentiable mapping (i.e. a mapping of class , see Differentiable manifold) is said to be regular if the Jacobi matrix has maximum rank at this point, and critical in the opposite case.
The classical implicit function theorem describes the structure of a mapping in a neighbourhood of a regular point; in a neighbourhood of this point and in a neighbourhood of its image, there exist coordinates in which the mapping is linear.
In many cases it is not sufficient to confine the area of study simply to regular points; it is therefore natural to consider the following questions:
a) the description of a mapping in a neighbourhood of a critical point;
b) the description of the structure of the set of critical points.
For an arbitrary mapping there are no answers to a) and b), for two reasons: In attempting to deal with all mappings, there is no chance of obtaining explicit results (for example, the set of critical points can locally be an arbitrary closed set), and for practical applications it is sufficient to know the answers for only a large set of mappings.
The questions a) and b) and many others in the theory of singularities are studied along the following lines:
1) a set of "untypical" and "pathological" mappings is excluded from consideration;
2) a criterion of "typicality" of a mapping is determined;
3) it is ascertained that every mapping can be approximated by "typical" mappings;
4) the "typical" mappings are studied.
The choice of the set of typical mappings depends on the problem to be solved and is not unique: the fewer the mappings that are typical, the easier they are to study, although 2) and 3) require that the set of typical mappings is sufficiently broad and sufficiently constructively defined.
This scheme is illustrated by the Whitney theorem: Every differentiable mapping can be approximated by a mapping such that for any point in neighbourhoods of and coordinates can be chosen at which the mapping has one of the three normal forms:
(for the typicality criterion, see , ). The work of H. Whitney (1955), in which this theorem was proved, is considered to be the beginning of the theory of singularities of differentiable mappings, although a number of individual results appeared far earlier (Morse theory of critical points of functions, Whitney's theorem on singularities of imbeddings, the work of L.S. Pontryagin on the connection between singularities and characteristic classes).
- 1 Basic concepts in the theory of singularities of differentiable mappings.
- 2 Critical points of functions.
- 3 Topological characteristics of the germ of a holomorphic function.
Basic concepts in the theory of singularities of differentiable mappings.
Germs of differentiable mappings.
Let and be smooth manifolds, , . (Hereafter, the term "smooth" will be used as a synonym for infinitely differentiable.) An equivalence class of mappings which coincide in a certain neighbourhood of the point is called a germ at the point ; the set of germs of mappings which transfer to is denoted by . The group of germs of smooth changes of variables in which preserve the point is denoted by .
An important local problem in the theory of singularities of differentiable mappings is the study of the natural action of the group
The solution of this and many similar problems is usually begun by approximating the function spaces and the infinite-dimensional groups acting on them by finite-dimensional manifolds and the actions on them by Lie groups. The results obtained are then transferred to the initial infinite-dimensional situation.
Let be smooth mappings, and let ; the mappings and have, by definition, contact of order at the point if their Taylor series at this point coincide up to the order . An equivalence class of mappings which have contact of order at the point is called a -jet. The set of all -jets of mappings which transfer to has the natural structure of a smooth manifold and is denoted by . There is a well-defined natural projection
The equivalence class of smooth changes of variables in which preserve the point and have contact of order at this point is called an invertible -jet at . The invertible -jets form a Lie group . The Lie group acts on and approximates the action of
Let . The set has the natural structure of a smooth bundle over with fibre
and structure group
where , .
Singularities and classes of singularities.
An orbit of the action of on is called a -singularity; any subset in that is invariant under is called a class of -singularities. Let be such a class. Because can be identified with , the subset is defined in , irrespective of the method of identification. The set is called a universal class of singularities (or a universal singularity if is a singularity). A universal singularity is a submanifold in of codimension equal to the codimension of in .
Let be a smooth mapping. The smooth mapping , called the -jet extension of , is obtained by assigning to each point the -jet of at . The mapping has, by definition, a singularity of type at the point if . The set of all points at which has a singularity of type is none other than . The study of the set thus divides into two stages: the study of the universal set in , which reduces to the study of in , and the study of the mutual positions of and . In the second stage one usually employs Thom's transversality theorem.
A smooth mapping of smooth manifolds is transversal to a submanifold (denoted ) if for any point either or . If , then the set is either empty or is a submanifold in of codimension equal to the codimension of in .
Thom's transversality theorem: Let be smooth manifolds and let be a submanifold in ; then the set of those for which is a massive subset in in the Whitney -topology. (A set is said to be massive (generic) if it is the intersection of a countable number of open dense subsets. A property is called generic if it holds for all in a generic subset.)
The Whitney topology. Let and let be an open set in . Let
The sets form the basis of some topology, called the Whitney -topology, on . In this topology, is a Baire space, i.e. every massive subset is dense.
In the study of the self-intersection of the image of a smooth mapping, the concept of a multi-jet is used. Let be the natural projection. Let
and let ( times). The set may be given the natural structure of a smooth manifold and is called an -fold bundle of -jets. For -fold jets, the -jet extension of a mapping , -singularities, universal singularities, etc., are defined, and the analogue of Thom's transversality theorem has been proved.
Stable differentiable mappings.
A central problem in the early days of the theory of singularities of differentiable mappings was the study of stable differentiable mappings.
A smooth mapping of smooth manifolds is said to be stable if for any mapping that is sufficiently close to there exists diffeomorphisms and such that .
For small (), as well as for and any , stable differentiable mappings are dense in the space of all proper differentiable mappings . In the space of mappings , stable mappings do not form an everywhere-dense set (see ). For certain pairs of manifolds (for example, for , ) there is no stable mapping from into . All "stable dimensions" have been found in , : For any smooth manifolds and , the stable mappings from into are dense in the space of proper differentiable mappings , equipped with the Whitney -topology, if and only if the pair satisfies at least one of the following conditions : a) and ; b) and ; c) and ; d) and ; e) and .
In proving this theorem, as well as in many other questions, the following two concepts prove to be useful: A mapping is called homotopy stable if for any smooth homotopy of the mapping there are smooth homotopies and of the identity diffeomorphisms of and such that for sufficiently small . A mapping is called infinitesimal stable if every mapping that is infinitely close to can be obtained from by diffeomorphisms of and which are "infinitely close to the identity" . For a proper mapping, the concepts of stability, homotopy stability and infinitesimal stability coincide . The problem of finding local normal forms of stable mappings reduces to the problem of classifying certain finite-dimensional local algebras , . For fixed , the number of such normal forms is finite.
If in the definition of a stable mapping, homeomorphisms and are taken instead of diffeomorphisms, then the definition of a topologically stable mapping is obtained. The theorem on the density of the set of topological stable mappings in the set of all mappings of any compact manifold into any manifold (for any ) has been proved (see ).
Finitely defined germs.
Let be some equivalence relation on the set of germs of mappings which take to . The -jet of any such germ is the segment of order of its Taylor series. A germ is said to be -defined if any other germ with the same -jet satisfies the relation . A germ is finitely defined if it is -defined for a certain . A -jet such that any two germs which have as -jet satisfy the relation , is said to be sufficient. The most commonly encountered equivalences have special names:
-equivalence — belonging to one orbit of the group of "correct" changes of coordinates.
-equivalence — belonging to one orbit of the group .
Topological equivalence — belonging to one orbit of the group .
The study of -defined germs reduces to the study of mappings defined by polynomials of degree .
The question of whether a germ is -defined with respect to -equivalence reduces to the problem of the solvability of an explicit system of finitely many linear equations.
The set of finitely defined germs with respect to -equivalence is open in , but is not dense for any . It is natural to consider the coarser relation of topological equivalence. After rejection of a subset of finite codimension from , a countable number of topological equivalence classes remains, each of which is a semi-algebraic set. It follows that the mappings with germs that are topologically equivalent to polynomial ones form an open dense set in ( is compact) .
If a mapping depends on parameters, then a family of mappings is said to be defined. If the family of mappings is studied locally, then when the parameters are changed slightly in a neighbourhood of fixed values, one speaks of a deformation of the mapping corresponding to these fixed values of the parameters. In many cases, the study of all possible deformations reduces to the study of a single natural deformation, from which all others are obtained. This deformation, in a sense the largest, contains all essentially different deformations of the given mapping. It is called the versal deformation (see , , ).
Critical points of functions.
A critical point of a function is called non-degenerate if the second differential is a non-degenerate quadratic form. A function in general position has only non-degenerate critical points, while in a neighbourhood of each of them it can be reduced to a standard form. Degenerate critical points are studied when these functions depend on parameters, and the greater the number of these parameters, the more complex critical points will be encountered that are non-removable (by a small shift) for certain values of the parameters.
A family of functions depending on any number of parameters can be transformed by a small shift into a family in which, for every value of the parameter in a neighbourhood of any point of the domain of definition, the function is represented by a polynomial in a local system of coordinates. This means that in the local study of functions it is possible to examine only polynomials and to use complex analysis.
It is natural to begin by classifying the germs at 0 of holomorphic functions in , taking two germs to be equivalent if one can be transferred into the other by the germ of a holomorphic change of coordinates in which preserves 0. A jet (Taylor polynomial) of a holomorphic function at 0 is sufficient if it defines the function up to equivalence. A germ whose critical point 0 is isolated always has a sufficient jet and, consequently, is equivalent to a polynomial. The number of non-degenerate critical points into which the critical point 0 splits when the function is shifted slightly is called the multiplicity (or Milnor number) of the critical point 0. If the multiplicity of a critical point of a function is equal to , then the -jet is sufficient. Since the multiplicity cannot increase under a small change of , the classification of functions close to a function with an isolated critical point reduces to the study of the action of the Lie group of -jets of changes of variables on the space of -jets for a sufficiently large . In a space of -jets of functions for which , , the codimension of the orbit of is equal to ; thus, the critical points of multiplicity are non-removable in families of functions which depend on parameters. A classification (see ) of all critical points of multiplicity and an algorithm for reducing any such function to a normal form have been obtained. The complexity of a critical point is defined not only by its multiplicity , but also by its modality (the number of moduli). A critical point is simple (or -modal) if among the critical points near to it there are at most finitely many pairwise non-equivalent points. Two germs of functions are called stably equivalent if they become equivalent after being added directly to non-degenerate quadratic forms in the appropriate number of variables (for germs of functions in the same number of variables, stable equivalence is the same ordinary equivalence).
Simple germs are exhausted up to stable equivalence by the following list:
: , ;
: , ;
The modality of a point under the action of a Lie group on a manifold is the smallest number such that a sufficiently small neighbourhood of is covered by a finite number of -parametric families of orbits.
A classification of germs of functions of modality 1 and 2 has also been obtained (see ). The classification of simple singularities and singularities of small modality is related to Lie groups, the Coxeter and Weyl series , , , the theory of Artin braids, the classification of regular polyhedra in -dimensional space, the Kodaira classification of degenerate elliptic curves, and the classification of triangles in the Lobachevskii plane (see , ).
A series of geometric problems requires the study of critical points of functions on a manifold with boundary.
In the complex case this situation corresponds to the study of the germ of a function defined in the space with a distinguished subspace . These germs are studied up to changes of variables in which transfer onto itself. In this situation, a classification has also been obtained of all simple germs, and of germs of modalities 1 and 2. The classification of simple boundary singularities proves to be related to the simple Lie algebras , and .
Topological characteristics of the germ of a holomorphic function.
Let be a holomorphic function in a neighbourhood of zero, with a critical point of multiplicity at zero. Let be positive numbers, let be the ball , let be its boundary, let be the disc , and let be the punctured disc . Let and . For appropriate and ( is sufficiently small and is sufficiently small in relation to ), the mapping is a smooth locally trivial fibration. The fibre of this fibration is a -dimensional manifold with a boundary that is homotopically equivalent to a bouquet of -dimensional spheres. The boundary of is a -dimensional manifold which is diffeomorphic to . Even for relatively simple , this manifold can be non-trivial. For example, the 28 manifolds
are 28 Milnor spheres (which are all homeomorphic to an ordinary -dimensional sphere, but are not pairwise diffeomorphic). The reduced homology group is isomorphic to . The intersection index defines an integer-valued bilinear form on . The transfer of fibres of the fibration along curves in defines the action of the fundamental group in the -dimensional homology space of the fibre. The automorphism of the homology group corresponding to the generator of is called the monodromy operator. The monodromy operator retains the intersection form. The eigenvalues of the monodromy operator contain information on the asymptotics of various integrals related to the function .
|||V.I. Arnol'd, S.M. [S.M. Khusein-Zade] Gusein-Zade, A.N. Varchenko, "Singularities of differentiable maps" , 1–2 , Birkhäuser (1985–1988) (Translated from Russian) Zbl 0659.58002 Zbl 0554.58001|
|||V.I. Arnol'd, "Mathematical methods of classical mechanics" , Springer (1978) (Translated from Russian) Zbl 0692.70003 Zbl 0572.70001 Zbl 0647.70001|
|||M. Golubitskii, V. Guillemin, "Stable mappings and their singularities" , Springer (1973) MR0467801|
|||P. Bröcker, L. Lander, "Differentiable germs and catastrophes" , Cambridge Univ. Press (1975) MR0494220 Zbl 0302.58006|
|||T. Poston, I. Stewart, "Catastrophe theory and its applications" , Pitman (1978) MR0501079 Zbl 0382.58006|
|||J. Milnor, "Singular points of complex hypersurfaces" , Princeton Univ. Press (1968) MR0239612 Zbl 0184.48405|
|||, Singularities of differentiable mappings , Moscow (1968) (In Russian; translated from English and French) Zbl 0933.57028 Zbl 0921.00024 Zbl 0589.58004 Zbl 0545.58001 Zbl 0513.58001 Zbl 0462.00012 Zbl 0299.35043 Zbl 0288.35020 Zbl 0216.45803 Zbl 0216.20105 Zbl 0178.26903 Zbl 0178.26902 Zbl 0061.37005|
|||C.G. Gibson, K. Wirthmüller, A.A. du Plessis, E.J.N. Looijenga, "Topological stability of smooth mappings" , Lect. notes in math. , 552 , Springer (1976) MR0436203 Zbl 0377.58006|
|||R. Thom, "Structural stability and morphogenesis" , Benjamin (1966) (Translated from French) MR1042988 MR0488156 Zbl 0698.92001 Zbl 0392.92001 Zbl 0303.92002|
|||V.I. Arnol'd, "Normal forms for functions near degenerate critical points, the Weyl groups , , and Lagrangian singularities" Funct. Anal. Appl. , 6 : 4 (1972) pp. 254–272 Funkts. Anal. i Prilozhen. , 6 : 4 (1972) pp. 3–25|
|[11a]||V.I. Arnol'd, "Lectures on bifurcation in versal families" Russian Math. Surveys , 27 : 5 (1972) pp. 54–123 Uspekhi Mat. Nauk , 27 : 5 (1972) pp. 119–184|
|[11b]||V.I. Arnol'd, "Remarks on the stationary phase method and Coxeter numbers" Russian Math. Surveys , 28 : 5 (1973) pp. 19–48 Uspekhi Mat. Nauk , 28 : 5 (1973) pp. 17–44 Zbl 0291.40005|
|[11c]||V.I. Arnol'd, "Normal forms of functions in a neighbourhood of a degenerate critical point" Russian Math. Surveys , 29 : 2 (1974) pp. 1–5 Uspekhi Mat. Nauk , 29 : 2 (1974) pp. 11–49|
|[11d]||V.I. Arnol'd, "Critical points of smooth functions and their normal forms" Russian Math. Surveys , 30 : 5 (1975) pp. 1–75 Uspekhi Mat. Nauk , 30 : 5 (1975) pp. 3–65 Zbl 0343.58001|
|||R. Thom, "The bifurcation subspace of a set of maps" N.H. Kuiper (ed.) , Manifolds (Amsterdam, 1970) , Lect. notes in math. , 197 , Springer (1971) pp. 202–208|
|[13a]||A.N. Varchenko, "Local topological properties of differentiable mappings" Math. USSR Izv. , 8 : 5 (1974) pp. 1033–1082 Izv. Akad. Nauk SSSR , 38 : 5 (1974) pp. 1037–1090 Zbl 0313.58009|
|[13b]||A.N. Varchenko, "A theorem on topological versal deformations" Math. USSR Izv. , 9 : 2 (1975) pp. 277–296 Izv. Akad. Nauk SSSR , 39 : 2 (1975) pp. 294–314 Zbl 0333.32005|
|||J. Mather, "Stability of -mappings III" Publ. Math. IHES , 35 (1969) pp. 127–156; 279–308|
|[15a]||J. Mather, "Stability of -mappings IV" Publ. Math. IHES , 37 (1970) pp. 223–248|
|[15b]||J. Mather, "Stability of -mappings V" Adv. Math. , 4 (1970) pp. 301–335 MR275461|
|[15c]||J. Mather, "Stability of -mappings VI" C.T.C. Wall (ed.) , Proc. Liverpool Singularities Symposium I , Lect. notes in math. , 192 , Springer (1971) pp. 207–253 MR293670|
|[a1]||V.I. Arnol'd, "Singularities of caustics and wave fronts" , Kluwer (1990) Zbl 0734.53001|
Singularities of differentiable mappings. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Singularities_of_differentiable_mappings&oldid=24128