# Chirurgie (topologie)

En mathématiques, et particulièrement en topologie géométrique, la chirurgie est une technique, introduite en 1961 par John Milnor, permettant de construire une variété à partir d'une autre de manière « contrôlée ». On parle de chirurgie parce que cela consiste à « couper » une partie de la première variété et à la remplacer par une partie d'une autre variété, en identifiant les frontières ; ces transformations sont étroitement liées à la notion de décomposition en anses. La chirurgie est un outil essentiel dans l'étude et la classification des variétés de dimension supérieure à 4.
Plus précisément, l'idée est de partir d'une variété $M$ qu'on connaît bien, et d'opérer chirurgicalement sur elle pour construire une variété $M'$ ayant les propriétés que l'on souhaite, de telle sorte que les effets de ces opérations sur les groupes d'homologie, d'homotopie, ou sur d'autres invariants de la variété soient calculables.
La classification des sphères exotiques par Kervaire et Milnor en 1963 amena à l'émergence de la chirurgie comme un outil majeur de la topologie en grande dimension.

## Chirurgie sur une variété

Dans tout cet article, on note $S^{p}$ la sphère de dimension p, et $D^{p+1}$ la boule (fermée) de dimension p+1 dont $S^{p}$ est le bord. L'observation fondamentale justifiant la chirurgie est que l'espace $S^{p}\times S^{q-1}$ peut être vu, soit comme la frontière de $D^{p+1}\times S^{q-1}$, soit comme la frontière de $S^{p}\times D^{q}$. Par conséquent, étant donné une variété $M$ de dimension $n=p+q$ et un plongement $\phi \colon S^{p}\times D^{q}\to M$, on peut définir une autre variété $M'$ de dimension $n$ par
    $M'=(M-\operatorname {int~im} \phi )\cup _{\phi |_{S^{p}\times S^{q-1}}}D^{p+1}\times S^{q-1}.$
On dit que la variété $M'$ est produite par chirurgie, coupant $S^{p}\times D^{q}$ et collant $D^{p+1}\times S^{q-1}$, ou plus précisément par $p$-chirurgie si l'on veut expliciter $p$. À proprement parler, $M'$ est une variété à coins, mais il y a une façon canonique de les lisser.
La chirurgie est proche de l'opération d'attachement d'anses (mais ne lui est pas identique). Étant donné une variété à bord de dimension $(n+1)$, $(L,\partial L)$, et un plongement $\phi \colon S^{p}\times D^{q}\to \partial L$, on définit une autre variété à bord de dimension $(n+1)$, $(L',\partial L')$, par
    $L'=L\cup _{\phi |_{S^{p}\times D^{q}}}D^{p+1}\times D^{q}.$
On dit que $L'$ est obtenue en attachant une $(p+1)$-anse, $\partial L'$ étant obtenue à partir de $\partial L$ par la $p$-chirurgie
    $\partial L'=(\partial L-\operatorname {int~im} \phi )\cup _{\phi |_{S^{p}\times S^{q-1}}}D^{p+1}\times S^{q-1}.$
Une opération de chirurgie sur $M$ ne construit pas seulement une nouvelle variété $M'$, mais aussi un cobordisme $W$ entre $M$ et $M'$. La cicatrice de l'opération est le cobordisme $(W;M,M')$, où
    $W=M\times I\cup _{S^{p}\times D^{q}\times \{1\}}D^{p+1}\times D^{q}$,
la variété de dimension $(n+1)$ ayant pour bord $\partial W=M\cup M'$ étant obtenue à partir du produit $M\times I$ en attachant une $(p+1)$-anse $D^{p+1}\times D^{q}$.
La chirurgie est une opération symétrique, en ce que la variété $M$ peut être reconstruite à partir de la variété $M'$ par une $(q-1)$-chirurgie, dont la cicatrice coïncide avec celle de la chirurgie initiale (à l'orientation près).
Dans la plupart des applications, la variété $M$ possède une structure géométrique supplémentaire, par exemple une application vers un espace de référence, ou la donnée d'une fibration. On veut alors qu'après chirurgie, la variété $M'$ possède une structure analogue. Par exemple, un outil important de la théorie est la chirurgie sur les applications normales (en) : une telle opération change une application normale en une autre application normale ayant la même classe de bordisme.

### Exemples
#### Chirurgie sur le cercle

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

#### Chirurgie sur la 2-sphère

Il y a à présent deux classes de possibilités distinctes, puisqu'on peut couper $S^{0}\times D^{2}$ ou $S^{1}\times D^{1}$.
* $S^{1}\times D^{1}$ : on retire un cylindre de la 2-sphère, ce qui laisse deux disques. Recollant $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).
* $S^{0}\times D^{2}$ : ayant coupé deux disques $S^{0}\times D^{2}$, on recolle le cylindre $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 $S^{1}\times S^{1}$ ; sinon, on obtient la bouteille de Klein (figure 2c).
* Figure 2a.
* Figure 2b.
* Figure 2c. Cette variété, isomorphe à une bouteille de Klein, ne peut se plonger dans l'espace usuel.

#### Fonctions de Morse

Soit $f$ une fonction de Morse sur une variété de dimension $(n+1)$, et $c$ une valeur critique dont la pré-image contient un seul point critique. Si l'indice de ce point critique est $p+1$, alors l'hypersurface de niveau $M'=f^{-1}(c+\epsilon )$ est obtenu à partir de $M=f^{-1}(c-\epsilon )$ par une $p$-chirurgie, et le bordisme $W:=f^{-1}([c-\epsilon ,c+\epsilon ])$ s'identifie à la cicatrice de cette chirurgie.
Plus explicitement, il existe une carte locale autour du point critique dans laquelle la fonction $f$ prend la forme $-\Vert x\Vert ^{2}+\Vert y\Vert ^{2}$, avec $x\in \mathbb {R} ^{p+1},y\in \mathbb {R} ^{q}$, et $p+q+1=n+1$. La figure 3 montre, dans cette carte locale, la variété $M$ en bleu et la variété $M'$ en rouge. La région colorée entre $M$ et $M'$ correspond au bordisme $W$. On voit sur cette figure que $W$ est difféomorphe à l'union $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ù $M\times I$ est colorée en jaune, et $D^{p+1}\times D^{q}$ en vert. La variété $M'$, étant une composante de la frontière de $W$, s'obtient par conséquent à partir de $M$ par une $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é $M$ peut être vue comme un bordisme allant de la frontière $\partial M$ (qui peut être vide) vers la variété vide, et donc peut être obtenue à partir de $\partial M\times I$ en attachant des anses.

### Effets sur les groupes d'homotopie, et comparaison avec l'attachement de cellules

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 $\phi$ remplaçant l'application d'attachement. Coller simplement une $(q+1)$-cellule à une $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 $\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 $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 $p$-chirurgie sur une variété $M$ peut souvent être utilisée pour supprimer un élément $\alpha \in \pi _{p}(M)$. Il y a cependant deux aspects importants à considérer : d'abord, l'élément $\alpha \in \pi _{p}(M)$ doit être représentable par un plongement $\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 $p$ est au moins de l'ordre de la moitié de la dimension de $M$).

## Application à la classification des variétés

La principale application de la théorie reste la classification des variétés (en) de dimension plus grande que quatre. Les questions centrales auxquelles cherche à répondre la théorie sont :
* Un espace donné X a-t-il le même type d'homotopie qu'une variété différentielle de même dimension ?
* Est-ce qu'une équivalence homotopique $f\colon M\to N$ donnée entre deux variétés différentielles est homotope à un difféomorphisme ?
La seconde question est d'ailleurs essentiellement une forme plus précise de la première.
La chirurgie ne fournit pas un ensemble complet d'invariants permettant de répondre à ces questions. C'est plutôt une théorie de l'obstruction : on détermine une obstruction primaire, et il apparait une obstruction secondaire appelée l’obstruction chirurgicale (en) qui n'est définie que lorsque l'obstruction primaire est nulle, et qui dépend d'ailleurs des choix faits lors de la vérification de cette nullité.

### L'approche chirurgicale

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 $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 $Z[\pi _{1}(X)]$. Plus précisément, la réponse est positive si et seulement si l'obstruction de chirurgie (en) $\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 $\pi _{1}(X)=0$. On sait que $L_{4k}(Z)$ est isomorphe à $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) $\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 $[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 $[X,G/O]\to L_{n}(Z[\pi _{1}(X)])$ est nulle.

### Ensembles structuraux et suite exacte de chirurgie

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 $X$ est formé d'équivalences homotopiques $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 $X$ soit non vide est que $X$ soit un complexe de Poincaré de dimension $n$, c'est-à-dire que les groupes d'homologie et de cohomologie soient reliés par des isomorphismes $H^{*}(X)\cong H_{n-*}(X)$ d'une variété de dimension $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.