Surgery and the Yamabe invariant (Q1970019)

Etant donnée \((V_n, g)\), \(n\geq 3\) une variété Riemannienne compacte la fonctionnelle de Yamabe est \(I(\varphi)= [4{n-1\over n-2} \int|\nabla \varphi|^2 dV+ \int R\varphi^2 dV] \|\varphi\|^{-2}_N\) avec \(N= 2n/(n-2)\) et \(R\) la courbure scalaire. Lorsque \(\varphi\in C^\infty\) est positif \((\varphi> 0)\), la métrique \(g'= \varphi^{4/(n-2)}g\) est conforme à \(g\), soit \(R'\) sa courbure scalaire. Nous avons \(I(\varphi)= (\int dV')^{-1+ 2/n} \int R' dV'.\) \(\mu_{[g]}= \inf I(\varphi)\) pour \(\varphi\in H_1\) est un invariant conforme, il ne dépend que de la classe conforme \([g]\) de \(g\). Posons \(\overline\mu= \sup_{[g]} \mu_{[g]}\). Les auteurs s'intéressent au cas où \(\overline\mu\leq 0\). On a alors \(\overline\mu= -\Biggl( \inf_{g\in{\mathcal M}} \int|R_g|^{n/2} dV_g\Biggr)^{2/n},\) \({\mathcal M}\) étant l'espace des métriques Riemanniennes sur \(V\). Le résultat de cet article est le suivant: Soient \(V\) et \(\widetilde V\) deux variétés compactes et \(W\) une variété de dimension \(k< n-2\) plongeable dans \(V\) et \(\widetilde V\) avec un fibré normal trivial. Soit \(M\) la variété obtenue en recollant \(V\) et \(\widetilde V\) le long de \(W\). a) Si \(\overline\mu(V)\leq 0\) et \(\overline\mu(\widetilde V)\leq 0\) alors \(\overline\mu(M)\geq -[|\overline\mu (V)|^{n/2}+ |\overline\mu(\widetilde V)|^{n/2}]^{2/n}\). b) Si \(\overline\mu(V)\leq 0\) et \(\overline\mu(\widetilde V)> 0\) alors \(\overline\mu(M)\geq \overline\mu(V)\). Pour la démonstration on considère une métrique \(g\) sur \(V\) [resp. \(\widetilde g\) sur \(\widetilde V\)] de volume \(\lambda\) [resp. \(\widetilde\lambda\)] avec \(\lambda+\widetilde \lambda= 1\) qui minimise la fonctionnelle de Yamabe dans \([g]\) sur \(V\) (resp. \([\widetilde g]\) sur \(\widetilde V\)) avec \(\mu_{[g]}> \overline\mu(V)- \varepsilon\) et \(\mu_{[\widetilde g]}> \overline\mu(\widetilde V)- \varepsilon\) (\(\varepsilon> 0\) petit). Puis on déforme les métriques \(g\) et \(\widetilde g\) dans un voisinage \(\Omega\) de \(W\) de volume très petit de sorte qu'au voisinage de \(W\) la nouvelle métrique \(\widehat g\) sur \(V\) soit de la forme \(\widehat g= h+ dE^2+ dt^2\) avec \(h\) une métrique sur \(W\), \(dE\) la métrique sur \(S_{n-k-1}(r)\) (\(r\) petit) et \(dt\) la métrique euclidienne sur la droite. On peut alors recoller \(V\) et \(\widetilde V\), et obtenir sur \(M\) une métrique qui soit égale à \(\widehat g\) sur \(V\).