Chirurgie (topologie)

Comme le veut la définition, une chirurgie sur le cercle consiste à couper une copie de ${\displaystyle S^{0}\times D^{1}}$ et à coller à sa place ${\displaystyle S^{0}\times D^{1}}$. La figure 1 montre que le résultat de cette opération est soit ${\displaystyle S^{1}}$ à nouveau, soit deux copies de ${\displaystyle S^{1}}$.

Il y a à présent deux classes de possibilités distinctes, puisqu'on peut couper ${\displaystyle S^{0}\times D^{2}}$ ou ${\displaystyle S^{1}\times D^{1}}$.

• ${\displaystyle S^{1}\times D^{1}}$ : on retire un cylindre de la 2-sphère, ce qui laisse deux disques. Recollant ${\displaystyle S^{0}\times D^{2}}$, c'est-à-dire deux autres disques, il est clair que le résultat est deux sphères disjointes (figure 2a).

• ${\displaystyle S^{0}\times D^{2}}$ : ayant coupé deux disques ${\displaystyle S^{0}\times D^{2}}$, on recolle le cylindre ${\displaystyle S^{1}\times D^{1}}$. Cela peut se faire de deux façons différentes, selon l'orientation du recollement sur chacun des disques frontières : si les orientations sont les mêmes (figure 2b), la variété obtenue est le tore ${\displaystyle S^{1}\times S^{1}}$ ; sinon, on obtient la bouteille de Klein (figure 2c).

Soit ${\displaystyle f}$ une fonction de Morse sur une variété de dimension ${\displaystyle (n+1)}$, et ${\displaystyle c}$ une valeur critique dont la pré-image contient un seul point critique. Si l'indice de ce point critique est ${\displaystyle p+1}$, alors l'hypersurface de niveau ${\displaystyle M'=f^{-1}(c+\epsilon )}$ est obtenu à partir de ${\displaystyle M=f^{-1}(c-\epsilon )}$ par une ${\displaystyle p}$-chirurgie, et le bordisme ${\displaystyle W:=f^{-1}([c-\epsilon ,c+\epsilon ])}$ s'identifie à la cicatrice de cette chirurgie.

Image externe
	Figure 3

Plus explicitement, il existe une carte locale autour du point critique dans laquelle la fonction ${\displaystyle f}$ prend la forme ${\displaystyle -\Vert x\Vert ^{2}+\Vert y\Vert ^{2}}$, avec ${\displaystyle x\in \mathbb {R} ^{p+1},y\in \mathbb {R} ^{q}}$, et ${\displaystyle p+q+1=n+1}$. La figure 3 montre, dans cette carte locale, la variété ${\displaystyle M}$ en bleu et la variété ${\displaystyle M'}$ en rouge. La région colorée entre ${\displaystyle M}$ et ${\displaystyle M'}$ correspond au bordisme ${\displaystyle W}$. On voit sur cette figure que ${\displaystyle W}$ est difféomorphe à l'union ${\displaystyle W\cong M\times I\cup _{S^{p}\times D^{q}}D^{p+1}\times D^{q}}$ (en négligeant le problème du lissage des coins), où ${\displaystyle M\times I}$ est colorée en jaune, et ${\displaystyle D^{p+1}\times D^{q}}$ en vert. La variété ${\displaystyle M'}$, étant une composante de la frontière de ${\displaystyle W}$, s'obtient par conséquent à partir de ${\displaystyle M}$ par une ${\displaystyle p}$-chirurgie.

Comme chaque bordisme entre variétés fermées correspond à une fonction de Morse dont les différents points critiques ont des valeurs critiques distinctes, il en résulte que tout bordisme peut se décomposer en cicatrices de chirurgies (décomposition en anses). En particulier, toute variété ${\displaystyle M}$ peut être vue comme un bordisme allant de la frontière ${\displaystyle \partial M}$ (qui peut être vide) vers la variété vide, et donc peut être obtenue à partir de ${\displaystyle \partial M\times I}$ en attachant des anses.

Intuitivement, la chirurgie est l'analogue, pour les variétés, de l'adjonction d'une cellule à un espace topologique (au sens des complexes simpliciaux, ou des CW-complexes), le plongement ${\displaystyle \phi }$ remplaçant l'application d'attachement. Coller simplement une ${\displaystyle (q+1)}$-cellule à une ${\displaystyle n}$-variété détruirait la structure de variété (pour des raisons de dimensions) ; la cellule doit donc être épaissie en en faisant le produit avec une autre cellule.

À homotopie près, la chirurgie sur un plongement ${\displaystyle \phi :S^{p}\times D^{q}\to M}$ peut être décrite comme l'adjonction d'une (p + 1)-cellule, donnant le type d'homotopie de la cicatrice, et l'excision d'une q-cellule pour obtenir ${\displaystyle N}$. La nécessité de l'excision peut se voir comme un effet de la dualité de Poincaré.

De la même façon qu'on peut attacher une cellule à un espace pour supprimer un élément d'un des groupes d'homotopie de l'espace (intuitivement, cela correspond à « boucher un trou »), une ${\displaystyle p}$-chirurgie sur une variété ${\displaystyle M}$ peut souvent être utilisée pour supprimer un élément ${\displaystyle \alpha \in \pi _{p}(M)}$. Il y a cependant deux aspects importants à considérer : d'abord, l'élément ${\displaystyle \alpha \in \pi _{p}(M)}$ doit être représentable par un plongement ${\displaystyle \phi :S^{p}\times D^{q}\to M}$ (la sphère correspondante doit être plongée par l'intermédiaire d'un fibré normal trivial) ; ainsi, il n'est pas possible d'effectuer une opération de chirurgie sur une boucle renversant l'orientation. Ensuite, l'effet de l'opération d’excision doit aussi être pris en compte, puisque cela peut modifier le groupe d'homotopie considéré (ce dernier point n'est important que lorsque ${\displaystyle p}$ est au moins de l'ordre de la moitié de la dimension de ${\displaystyle M}$).

Dans l'approche classique, développée par Browder, Novikov, Sullivan et Wall, la chirurgie est faite sur des applications normales (en) de degré 1. Grâce à la chirurgie, la question « L'application normale de degré un ${\displaystyle f\colon M\to X}$ est-elle cobordante à une équivalence homotopique ? » peut se traduire (en dimension supérieure à quatre) par une question algébrique concernant un élément d'un L-groupe de l'algèbre du groupe d'homotopie ${\displaystyle Z[\pi _{1}(X)]}$. Plus précisément, la réponse est positive si et seulement si l'obstruction de chirurgie (en) ${\displaystyle \sigma (f)\in L_{n}(Z[\pi _{1}X])}$ est nulle, n étant la dimension de M.

Par exemple, considérons le cas où la dimension n = 4k est un multiple de 4, et ${\displaystyle \pi _{1}(X)=0}$. On sait que ${\displaystyle L_{4k}(Z)}$ est isomorphe à ${\displaystyle Z}$ ; par cet isomorphisme, l'obstruction de chirurgie de f est envoyée (à un facteur scalaire près) sur la différence des signatures (en) ${\displaystyle \sigma (X)-\sigma (M)}$ de X et de M. Par conséquent, une application normale de degré un est cobordante à une équivalence homotopique si et seulement si le domaine et le codomaine ont la même signature.

Revenant à la question d'« existence » posée plus haut, on voit qu'un espace X a le type d'homotopie d'une variété différentielle si et seulement s'il provient d'une application normale de degré 1 dont l'obstruction de chirurgie est nulle. Cela amène à une suite d'obstructions : pour pouvoir parler d'applications normales, il faut que X satisfasse une version appropriée de la dualité de Poincaré, faisant de X un complexe de Poincaré (en). Si X est un complexe de Poincaré, la construction de Pontryagin-Thom (en) montre qu'une application normale de degré un vers X existe si et seulement si la fibration normale de Spivak de X se réduit à un fibré vectoriel stable (en). Si ces applications normales existent, leurs classes de bordisme (appelées invariants normaux) sont classées par les ensembles de classes d'homotopie ${\displaystyle [X,G/O]}$. Chaque invariant normal a une obstruction de chirurgie ; X est homotope à une variété différentielle si et seulement si l'une de ces obstructions est nulle ; autrement dit, il existe alors un invariant normal dont l'image par l’application d'obstruction de chirurgie ${\displaystyle [X,G/O]\to L_{n}(Z[\pi _{1}(X)])}$ est nulle.

La notion d'ensemble structural (en) donne un cadre unifié aux questions d'existence et d'unicité. Schématiquement, l'ensemble structural d'un espace ${\displaystyle X}$ est formé d'équivalences homotopiques ${\displaystyle M\to X}$ d'une variété vers X, deux applications étant identifiées par une relation de bordisme. Une condition nécessaire (mais non suffisante en général) pour que l'ensemble structural de ${\displaystyle X}$ soit non vide est que ${\displaystyle X}$ soit un complexe de Poincaré de dimension ${\displaystyle n}$, c'est-à-dire que les groupes d'homologie et de cohomologie soient reliés par des isomorphismes ${\displaystyle H^{*}(X)\cong H_{n-*}(X)}$ d'une variété de dimension ${\displaystyle n}$. Selon le choix précis de variété (différentielle, linéaire par morceaux ou topologique), il y a plusieurs définitions possibles des ensembles structuraux. Comme, d'après le théorème de s-cobordisme (en), certains bordismes entre variétés sont isomorphes (dans la catégorie correspondante) à des cylindres, les ensembles structuraux permettent une classification même à un difféomorphisme près.

Les ensembles structuraux et les applications d'obstruction de chirurgie sont reliés par la suite exacte de chirurgie (en). Cette suite permet de déterminer l'ensemble structural d'un complexe de Poincaré lorsqu'on connaît l'application d'obstruction de chirurgie. Ce calcul est possible dans de nombreux cas importants, et a permis de classifier les sphères exotiques, ainsi que de démontrer la conjecture de Borel (en) pour les variétés de courbure négative et pour celles de groupe fondamental hyperbolique.

Chirurgie de Dehn (en)

• (en) Cours de Jacob Lurie
• (en) Page web de Andrew Ranicki
• (en) Page web de Shmuel Weinberger

• Portail de la géométrie