Cerf theory

Cerf theory

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

f:M \to \mathbb R

on a smooth manifold M, their generic singularities and the topology of the subspaces these singularities define, as subspaces of the function space.

Contents

An example

Marston Morse proved that, provided M is compact, any smooth function

f:M \to \Bbb R

could be approximated by a Morse function. So for many purposes, one can replace arbitrary functions on M by Morse functions.

As a next step, one could ask, 'if you have a 1-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 family:

f_t(x)=(1/3)x^3-tx,\,

as a 1-parameter family of functions on M=\mathbb R. At time

t=-1\,

it has no critical points, but at time

t=1\,

it is a Morse function with two critical points

x=\pm 1.\,

Jean Cerf[1] showed that a 1-parameter family of functions between two Morse functions could 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 t = 0 an index 0 and index 1 critical point are created (as t increases).

A stratification of an infinite-dimensional space

Let's return to the general case that M is a compact manifold. Let \operatorname{Morse}(M) denote the space of Morse functions

f : M \to \mathbb R\,

and \operatorname{Func}(M) the space of smooth functions

f : M \to \mathbb R.\,

Morse proved that

\operatorname{Morse}(M) \subset \operatorname{Func}(M)\,

is an open and dense subset in the C^\infty 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 \operatorname{Func}(M) (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 \operatorname{Func}(M) is infinite-dimensional if M is not a finite set. By assumption, the open co-dimension 0 stratum of \operatorname{Func}(M) is \operatorname{Morse}(M), ie: \operatorname{Func}(M)^0=\operatorname{Morse}(M). In a stratified space X, frequently X0 is disconnected. The essential property of the co-dimension 1 stratum X1 is that any path in X which starts and ends in X0 can be approximated by a path that intersects X1 transversely in finitely many points, and does not intersect Xi for any i > 1.

Thus Cerf theory is the study of the positive co-dimensional strata of \operatorname{Func}(M), i.e.: \operatorname{Func}(M)^i for i > 0. In the case of

f_t(x)=x^3-tx,\,

only for t = 0 is the function not Morse, and

f_0(x)=x^3\,

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

A single time parameter, statement of theorem

The Morse Theorem asserts that if f : M \to \mathbb R is a Morse function, then near a critical point p it is conjugate to a function g : \mathbb R^n \to \mathbb R of the form

g(x_1,x_2,\cdots,x_n) = f(p) + \epsilon_1 x_1^2 + \epsilon_2 x_2^2 + \cdots + \epsilon_n x_n^2

where \epsilon_i \in \{\pm 1\}.

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

Precisely, if f_t : M \to \mathbb R is a 1-parameter family of smooth functions on M with t \in [0,1], and f0,f1 Morse, then there exists a smooth 1-parameter family F_t : M \to \mathbb R such that F0 = f0,F1 = f1, F is uniformly close to f in the Ck-topology on functions M \times [0,1] \to \mathbb R. Moreover, Ft is Morse at all but finitely many times. At a non-Morse time the function has only one degenerate critical point p, and near that point the family Ft is conjugate to the family

g_t(x_1,x_2,\cdots,x_n) = f(p) + x_1^3+\epsilon_1 tx_1 + \epsilon_2 x_2^2 + \cdots + \epsilon_n x_n^2

where  \epsilon_i \in \{\pm 1\}, t \in [-1,1]. If \epsilon_1 = -1 this is a 1-parameter family of functions where two critical points are created (as t increases), and for \epsilon_1 = 1 it is a 1-parameter family of functions where two critical points are destroyed.

Origins

The PL-Schoenflies problem for S^2 \subset \mathbb R^3 was solved by Alexander in 1924. His proof was adapted to the smooth case by Morse and Baiada. The essential property was used by Cerf in order to prove that every orientation-preserving diffeomorphism of S3 is isotopic to the identity[2], seen as a 1-parameter extension of the Schoenflies theorem for S^2 \subset \mathbb R^3. The corollary Γ4 = 0 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 1-parameter extension of Smale's proof of the h-cobordism theorem (the rewriting of Smale's proof into the functional framework was done by Morse, also Milnor [4], and also by Cerf-Gramain-Morin [5] following a suggestion of Thom).

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

Applications

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

Generalization

A stratification of the complement of an infinite co-dimension subspace of the space of smooth maps \{ f : M \to \mathbb R \} was eventually developed by Sergeraert [8].

During the seventies, the classification problem for pseudo-isotopies of non-simply connected manifolds was solved by Hatcher and Wagoner[9], discovering algebraic Ki-obstructions on π1M (i = 2) and π2M (i = 1) and by Igusa, discovering obstructions of a similar nature on π1M (i = 3) [10].

References

  1. ^ French mathematician, born 1928.[1]
  2. ^ J.Cerf, Sur les difféomorphismes de la sphère de dimension trois (Γ4=0), Lecture Notes in Mathematics, No. 53. Springer-Verlag, Berlin-New York 1968.
  3. ^ J.Cerf, La stratification naturelle des espaces de fonctions différentiables réelles et le théorème de la pseudo-isotopie, Inst. Hautes Études Sci. Publ. Math. No. 39 (1970) 5--173.
  4. ^ J. Milnor, Lectures on the h-cobordism theorem, Notes by L.Siebenmann and J.Sondow, Princeton Math. Notes 1965
  5. ^ Le theoreme du h-cobordisme (Smale) Notes by Jean Cerf and Andre Gramain (Ecole Normale Superieure, 1968).
  6. ^ J. Mather, Classification of stable germs by R-algebras, Publ. Math. IHES (1969)
  7. ^ M. Golubitsky, V.Guillemin. Stable Mappings and Their Singularities. Springer-Verlag Graduate Texts in Mathematics 14 (1973)
  8. ^ F. Sergeraert "Un theoreme de fonctions implicites sur certains espaces de Frechet et quelques applications," Ann. Sci. Ecole Norm. Sup. (4) 5 (1972), 599-660.
  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. ^ K.Igusa, Stability theorem for smooth pseudoisotopies. K-Theory 2 (1988), no. 1-2, vi+355.

Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Cerf (surname) — Cerf is a surname, and may refer to: Bennett Cerf (1898–1971), publisher and co founder of Random House Christopher Cerf (born 1941), his son, American author, composer lyricist, and record and television producer Jonathan Cerf, his son, author… …   Wikipedia

  • Raphaël Cerf — ist ein französischer Mathematiker. Cerf studierte an der Ecole Normale Superieure, wo Gérard Ben Arous seine Dissertation betreute. Er ist Professor am Labor für statistische Modellierung der Universität Paris Süd in Orsay. 2000 erhielt er den… …   Deutsch Wikipedia

  • Exotic sphere — In differential topology, a mathematical discipline, an exotic sphere is a differentiable manifold M that is homeomorphic but not diffeomorphic to the standard Euclidean n sphere. That is, M is a sphere from the point of view of all its… …   Wikipedia

  • List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… …   Wikipedia

  • Kirby calculus — In mathematics, the Kirby calculus in geometric topology is a method for modifying framed links in the 3 sphere using a finite set of moves, the Kirby moves. It is named for Robion Kirby. Using four dimensional Cerf theory, he proved that if M… …   Wikipedia

  • Relativity priority dispute — Albert Einstein presented the theories of Special Relativity and General Relativity in groundbreaking publications that either contained no formal references to previous literature, or referred only to a small number of his predecessors for… …   Wikipedia

  • Squashed entanglement — Squashed entanglement, also called CMI entanglement (CMI can be pronounced see me ), is an information theoretic measure of quantum entanglement for a bipartite quantum system. If varrho {A, B} is the density matrix of a system (A,B) composed of… …   Wikipedia

  • Al Gore — This article is about the former U.S. Vice President. For his father, who was also a U.S. Senator, see Albert Gore, Sr. Al Gore …   Wikipedia

  • Jürgen Habermas — Penseur universel, Philosophe et Sociologue XXe siècle Naissance 18 juin 1929 …   Wikipédia en Français

  • Hegel’s Phenomenology of Spirit — Robert C.Solomon G.W.F.Hegel (1770–1831) was the greatest systematic philosopher of the nineteenth century. As a young man he followed and was (at least at first) enthusiastic about the French Revolution. Then came the Reign of Terror of 1793,… …   History of philosophy

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”