In mathematics, at the junction of singularity theory and differential topology, Cerf theory is the study of families of smooth real-valued functions

on a smooth manifold , their generic singularities and the topology of the subspaces these singularities define, as subspaces of the function space. The theory is named after Jean Cerf, who initiated it in the late 1960s.

An example

edit

Marston Morse proved that, provided   is compact, any smooth function   can be approximated by a Morse function. Thus, for many purposes, one can replace arbitrary functions on   by Morse functions.

As a next step, one could ask, 'if you have a one-parameter family of functions which start and end at Morse functions, can you assume the whole family is Morse?' In general, the answer is no. Consider, for example, the one-parameter family of functions on   given by

 

At time  , it has no critical points, but at time  , it is a Morse function with two critical points at  .

Cerf showed that a one-parameter family of functions between two Morse functions can be approximated by one that is Morse at all but finitely many degenerate times. The degeneracies involve a birth/death transition of critical points, as in the above example when, at  , an index 0 and index 1 critical point are created as   increases.

A stratification of an infinite-dimensional space

edit

Returning to the general case where   is a compact manifold, let   denote the space of Morse functions on  , and   the space of real-valued smooth functions on  . Morse proved that   is an open and dense subset in the   topology.

For the purposes of intuition, here is an analogy. Think of the Morse functions as the top-dimensional open stratum in a stratification of   (we make no claim that such a stratification exists, but suppose one does). Notice that in stratified spaces, the co-dimension 0 open stratum is open and dense. For notational purposes, reverse the conventions for indexing the stratifications in a stratified space, and index the open strata not by their dimension, but by their co-dimension. This is convenient since   is infinite-dimensional if   is not a finite set. By assumption, the open co-dimension 0 stratum of   is  , i.e.:  . In a stratified space  , frequently   is disconnected. The essential property of the co-dimension 1 stratum   is that any path in   which starts and ends in   can be approximated by a path that intersects   transversely in finitely many points, and does not intersect   for any  .

Thus Cerf theory is the study of the positive co-dimensional strata of  , i.e.:   for  . In the case of

 ,

only for   is the function not Morse, and

 

has a cubic degenerate critical point corresponding to the birth/death transition.

A single time parameter, statement of theorem

edit

The Morse Theorem asserts that if   is a Morse function, then near a critical point   it is conjugate to a function   of the form

 

where  .

Cerf's one-parameter theorem asserts the essential property of the co-dimension one stratum.

Precisely, if   is a one-parameter family of smooth functions on   with  , and   Morse, then there exists a smooth one-parameter family   such that  ,   is uniformly close to   in the  -topology on functions  . Moreover,   is Morse at all but finitely many times. At a non-Morse time the function has only one degenerate critical point  , and near that point the family   is conjugate to the family

 

where  . If   this is a one-parameter family of functions where two critical points are created (as   increases), and for   it is a one-parameter family of functions where two critical points are destroyed.

Origins

edit

The PL-Schoenflies problem for   was solved by J. W. Alexander in 1924. His proof was adapted to the smooth case by Morse and Emilio Baiada.[1] The essential property was used by Cerf in order to prove that every orientation-preserving diffeomorphism of   is isotopic to the identity,[2] seen as a one-parameter extension of the Schoenflies theorem for  . The corollary   at the time had wide implications in differential topology. The essential property was later used by Cerf to prove the pseudo-isotopy theorem[3] for high-dimensional simply-connected manifolds. The proof is a one-parameter extension of Stephen Smale's proof of the h-cobordism theorem (the rewriting of Smale's proof into the functional framework was done by Morse, and also by John Milnor[4] and by Cerf, André Gramain, and Bernard Morin[5] following a suggestion of René Thom).

Cerf's proof is built on the work of Thom and John Mather.[6] A useful modern summary of Thom and Mather's work from that period is the book of Marty Golubitsky and Victor Guillemin.[7]

Applications

edit

Beside the above-mentioned applications, Robion Kirby used Cerf Theory as a key step in justifying the Kirby calculus.

Generalization

edit

A stratification of the complement of an infinite co-dimension subspace of the space of smooth maps   was eventually developed by Francis Sergeraert.[8]

During the seventies, the classification problem for pseudo-isotopies of non-simply connected manifolds was solved by Allen Hatcher and John Wagoner,[9] discovering algebraic  -obstructions on   ( ) and   ( ) and by Kiyoshi Igusa, discovering obstructions of a similar nature on   ( ).[10]

References

edit
  1. ^ Morse, Marston; Baiada, Emilio (1953), "Homotopy and homology related to the Schoenflies problem", Annals of Mathematics, 2, 58 (1): 142–165, doi:10.2307/1969825, JSTOR 1969825, MR 0056922
  2. ^ Cerf, Jean (1968), Sur les difféomorphismes de la sphère de dimension trois ( ), Lecture Notes in Mathematics, vol. 53, Berlin-New York: Springer-Verlag
  3. ^ Cerf, Jean (1970), "La stratification naturelle des espaces de fonctions différentiables réelles et le théorème de la pseudo-isotopie", Publications Mathématiques de l'IHÉS, 39: 5–173, doi:10.1007/BF02684687
  4. ^ John Milnor, Lectures on the h-cobordism theorem, Notes by Laurent C. Siebenmann and Jonathan Sondow, Princeton Math. Notes 1965
  5. ^ Le theoreme du h-cobordisme (Smale) Notes by Jean Cerf and André Gramain (École Normale Supérieure, 1968).
  6. ^ John N. Mather, Classification of stable germs by R-algebras, Publications Mathématiques de l'IHÉS (1969)
  7. ^ Marty Golubitsky, Victor Guillemin, Stable Mappings and Their Singularities. Springer-Verlag Graduate Texts in Mathematics 14 (1973)
  8. ^ Sergeraert, Francis (1972). "Un theoreme de fonctions implicites sur certains espaces de Fréchet et quelques applications". Annales Scientifiques de l'École Normale Supérieure. (4). 5 (4): 599–660. doi:10.24033/asens.1239.
  9. ^ Allen Hatcher and John Wagoner, Pseudo-isotopies of compact manifolds. Astérisque, No. 6. Société Mathématique de France, Paris, 1973. 275 pp.
  10. ^ Kiyoshi Igusa, Stability theorem for smooth pseudoisotopies. K-Theory 2 (1988), no. 1-2, vi+355.