10. Le cas des applications
Étant donné deux variétés N et P de classe C∞, avec N compacte, une application f : N → P de classe C∞ est dite stable si son orbite locale, sous l'action du groupe Diff N × Diff P est ouverte. Lorsque P = R, nous avons vu que les applications stables forment un ouvert dense de C∞(N, P) et ont pour seules singularités des points de Morse. Dès 1955, H. Whitney a montré que, si N et P sont de dimension deux, les applications stables forment un ouvert dense et ont pour seules singularités des plis et des fronces. Il fallut attendre R. Thom pour avoir les premiers exemples de couples (N, P) pour lesquels les applications stables ne sont pas denses ; en fait, seules les dimensions n et p de N et de P interviennent. Utilisant la notion de déploiement K-versel (à laquelle nous avons fait allusion au chapitre 9), J. Mather a pu classer les germes stables en termes algébriques et en déduire pour quels couples (n, p) les applications stables formaient un sous-ensemble dense de C∞(N, P).
Enfin, Thom et Mather ont pu montrer que les applications topologiquement stables (on se permet des changements de coordonnées simplement continus) forment toujours un ouvert dense. L'idée d'une démonstration est que presque toute application f : N → P est T.S.F. (c'est-à-dire telle que la restriction de f à son lieu singulier Σ(f ) soit un morphisme fini au sens de la géométrie algébrique, ce qui est la forme globale de la finitude de τ(f ) pour un germe de fonction). Une telle application se plonge dans un déploiement K-versel f ′ : N′ → P′ qui, grâce à sa stabilité, peut être stratifié. Enfin, pour presque toute f, les sous-variétés N de N′ et P de P′ sont transverses aux stratifications de N′ et de P′, ce qui permet de conclure en appliquant un théorème d'isotopie de Thom.
À l'extrême opposé, citons un bel exemple de Thom d'une famille d'applications polynomiales dont le type topologique varie continûment en fonction du paramètre […]
… pour nos abonnés, l'article se prolonge sur 15 pages…
