Technique qui relie la topologie différentielle d'une variété lisse aux points critiques de fonctions réelles lisses (fonctions de Morse) définies sur elle : les points critiques non dégénérés ont des indices bien définis et correspondent à des attachements de poignées, et les inégalités de Morse relient le nombre de points critiques à l'homologie.

Principe

Les points critiques non dégénérés d'une fonction de Morse correspondent à des changements topologiques élémentaires (attachement d'une poignée d'indice k), et les lignes de flot du gradient organisent la façon dont ces poignées sont attachées ; l'analyse des indices et des valeurs critiques donne des décompositions cellulaires et des bornes homologiques (inégalités de Morse).

Démonstration

Sur un tore standard plongé dans R^3, la fonction hauteur a quatre points critiques non dégénérés d'indices 0, 1, 1 et 2. Les traiter par ordre de valeur croissante produit une 0‑poignée, deux 1‑poignées et une 2‑poignée, reproduisant la topologie du tore et concordant avec les nombres de Betti via les inégalités de Morse.

Mauvaise application

Appliquer la théorie de Morse à des fonctions avec points critiques dégénérés sans perturbation, à des fonctions non lisses sans structure de gradient, ou traiter des sous‑variétés critiques de Morse–Bott comme des points critiques isolés. Négliger la compacité ou les conditions au bord (par exemple sur des variétés non compactes) peut rendre les conclusions invalides.

Conséquence

Permet de calculer ou d'estimer l'homologie, de produire des décompositions par poignées et des cobordismes, et sous-tend des preuves comme le théorème h‑cobordisme ; elle fournit un éclairage géométrique sur la façon dont la topologie change lorsque les niveaux d'une fonction varient.

Inversion

Remplacer les fonctions de Morse par des fonctions de Morse–Bott (sous‑variétés critiques) ou par des fonctions avec points critiques dégénérés modifie la correspondance : les sous‑variétés critiques exigent une analyse plus élaborée (théorie de Morse–Bott) et la correspondance simple poignée‑point critique se décompose.

Limite

Fonctionne dans la catégorie lisse pour les variétés qui admettent des fonctions de Morse (toute variété lisse en admet) et exige la non‑dégénérescence des points critiques ; pour les variétés à bord on utilise des fonctions de Morse avec comportement contrôlé au bord ou la théorie relative de Morse. Elle ne s'applique pas directement aux catégories purement topologiques sans structure lisse, bien que des analogues existent (PL, théorie de Morse discrète).

Tension sémantique

Étroitement liée aux décompositions par poignées et à la théorie de Cerf ; elle est parfois confondue avec la théorie de Morse discrète ou avec la dynamique de gradient générale. La tension réside dans le passage entre les points de vue analytique (fonctions, gradients) et combinatoire (poignées, cellules) et dans la généralisation des points critiques isolés aux familles.

Synthèse

La théorie de Morse traduit les données d'une fonction lisse (points critiques non dégénérés et indices) en opérations topologiques de construction (attachement de poignées), fournissant des décompositions explicites, des inégalités pour l'homologie et une image dynamique via les flots de gradient expliquant comment la topologie d'une variété découle de ses ensembles de niveau.