Processing math: 100%

> La théorie de Morse > Algèbre des inégalités de Morse

Algèbre des inégalités de Morse

Rappelons les inégalités de Morse :

Théorème Soit V une variété close et lisse, de dimension finie n1. Notons par β0,...,βn ses nombres de Betti calculés en homologie à coefficients dans un corps. Considérons une fonction de Morse définie sur V, et notons par ik le nombre de ses points critiques d’indice k, pour tout k{0,...,n}. Alors ont lieu les inégalités suivantes :

{ikik1++(1)ki0βkβk1++(1)kβ0, si 0kn1,inin1++(1)ki0=βnβn1++(1)nβ0.

Une conséquence immédiate des inégalités précédentes (que nous appellerons en abrégé « inégalités fortes ») est le système suivant d’« inégalités faibles » :

ikβk, pour tous les k{0,,n}.

Pour passer des inégalités fortes aux inégalités faibles, il suffit d’additionner les couples d’inégalités fortes successives. Par contre, les inégalités faibles n’impliquent pas les fortes, comme le montrent des exemples simples.

Dans son article « Sur une partition en cellules associée à une fonction sur une variété » de 1949 [1], René Thom esquissa la méthode suivante de preuve des inégalités de Morse faibles :

  • on choisit une métrique Riemannienne convenable sur la variété V, et on associe à chaque point critique l’ensemble des trajectoires de gradient de la fonction qui partent de ce point critique (ceci est une façon de parler ; cela signifie que la limite en temps du flot pris sur cette trajectoire est égale au point critique considéré), et on prend l’union du point critique et de toutes ces trajectoires qui proviennent de lui ;
  • cette union est une « cellule » (l’une des « cellules » du titre de l’article de Thom), c’est-à-dire qu’elle est difféomorphe à une boule ouverte ; sa dimension est égale à l’indice du point critique ;
  • lorsque l’on prend tous les points critiques de la fonction, les cellules associées partitionnent la variété V ;
  • cette décomposition n’est pas toujours associée à une structure de CW-complexe sur la variété V ; mais, comme l’écrit Thom, « elle en possède cependant certaines propriétés » ;
  • en particulier, Thom explique de la manière suivante comment on peut l’utiliser pour démontrer les inégalités de Morse faibles :


« Si l’on désigne par Kp l’ensemble des q-cellules pour qp, et par βp le pème nombre de Betti, on voit sans difficulté que tout p-cycle dans Vn peut être déformé sur Kp, donc que βp(Kp)βp(Vn) et
βp(Kp+1)=βp(Vn).

D’autre part, si l’on enlève de K(p) ip p-simplexes, un dans chacune des cellules Zp, on constate que le polyèdre restant peut être rétracté sur K(p1). Un raisonnement assez simple permet alors de montrer que le nombre ip des p-cellules est βp(Vn), ce qui démontre l’inégalité classique de M. Morse. »

Plus tard, vers 1960, Smale prouva que l’on pouvait toujours ajuster la métrique Riemannienne auxiliaire pour que la construction de Thom aboutisse à un CW-complexe. Dans ce cas, le complexe d’espaces vectoriels des chaînes cellulaires associé permet de calculer les espaces d’homologie de V, et cela pour tout corps de coefficients. La particularité de ce complexe est que la dimension de son k-ème espace de chaînes est égale au nombre ik de points critiques d’indice k.

Le but de cet article est de montrer qu’à partir de ce moment-là, les inégalité de Morse fortes découlent de manière purement algébrique : elles ont en fait lieu pour tout complexe d’espaces vectoriels.

Montrons tout d’abord que derrière les inégalités de Morse se cache une relation d’ordre partiel sur les multiplets de nombres réels :

Définition Considérons l’ensemble des suites (a0,,an) de nombres réels. La relation d’ordre de Morse M est définie sur cet ensemble par :
  • (a0,,an)M0 si et seulement si :

    {akak1++(1)ka00, pour tous les k{0,,n1},anan1++(1)ka0=0.

  • (a0,,an)M(b0,,bn)   si et seulement si :

      (a0b0,,anbn)M0.

Nous laissons comme exercice pour le lecteur la tâche de vérifier que M est bien une relation d’ordre partiel sur R{0,,n}.

La proposition suivante montre que la définition de la relation d’ordre M peut se reformuler de deux autres manières :

Proposition Considérons une suite de nombres réels (a0,,an). Alors les trois affirmations suivantes sont équivalentes :

(1) (a0,,an)M0 ;

(2) il existe des nombres réels b1,,bn positifs ou nuls tels que b1=bn=0 et :

ak=bk+bk1 pour tout k{0,,n};

(3) il existe des nombres réels b0,,bn positifs ou nuls tels que :

a0+a1t++antn=(1+t)(b0+b1t++bn1tn1).

Démonstration. L’équivalence (2) (3) est immédiate, par développement du produit (1+t)(b0+b1t++bn1tn1).

L’implication (2) (1) provient du fait que :

bk=akak1++(1)ka0, pour tous les k{0,,n},

et que ces sommes alternées sont toutes positives ou nulles par l’hypothèse
(a0,...,an)M0.

L’implication inverse s’obtient en définissant les nombres bk par les égalités précédentes.

Voici maintenant le théorème annoncé, montrant que les inégalités de Morse fortes ont lieu dès que l’on a un complexe d’espaces vectoriels :

Théorème (inégalités de Morse algébriques) Considérons un complexe d’espaces vectoriels de dimension finie sur un corps quelconque :

0CnCn1C2C1C00.

Notons par Hk le k-ème espace vectoriel d’homologie associé, par ck la dimension de Ck et par hk la dimension de Hk. Alors :

(c0,,cn)M(h0,,hn).

Démonstration. Notons les morphismes de bord du complexe donné de la manière suivante :

k:CkCk1.

Introduisons aussi les espaces de cycles Zk et de bords Bk :

Zk:=ker(k)Ck,Bk:=im(k+1)Ck.

On a donc par construction les suites exactes courtes suivantes :

0BkZkHk0,0ZkCkBk10,

et cela pour tout k{0,...,n} (en posant Bk1=0).
En notant par zk la dimension de Zk et par bk la dimension de Bk, on en déduit les égalités :

zk=bk+hk,ck=zk+bk1.

pour tout k{0,...,n}.
En éliminant zk, on obtient :

ckhk=bk+bk1 pour tout k{0,,n}.

De plus, on a bien b1=bn=0.

La conclusion résulte alors de la proposition précédente.


[1L’article est paru dans les Comptes Rendus de l’Académie des Sciences de Paris 228 (1949), 973-975.