DES TRESSES ET DES NUDS

EN MATHEMATIQUES

Thomas Aubriot, Emmanuel Wagner

R esum e : Nous reprenons le contenu dune conf erence intitul ee Des Tresses et des Nuds en Math ematiques donn ee dans le cadre du Jardin des Sciences. En particulier, nous d enissons en parall` ele les tresses et nuds dans lespace et expliquons comment ` a laide de projections et des mouvements dits de Reidemeister, nous pouvons nous ramener ` a une etude dans le plan. Ensuite nous mettons en evidence une structure sur les tresses et expliquons comment une op eration sur ces tresses permet dassocier un mot ` a une tresse, ce qui permet ensuite de classer ces tresses. Dans le cas des nuds, nous expliquons comment l etude dinvariants permet de distinguer certains nuds m eme si la classication compl` ete des nuds reste un probl` eme ouvert. Remerciements : Le CIES et le Jardin des Sciences nous ont donn e la possibilit e de faire une conf erence intitul ee Des Tresses et des Nuds en Math ematique . Cette conf erence a et e suivie dune s erie de questions qui nous ont incit es ` a prolonger notre travail. Mme Bopp, directrice de LIREM de Strasbourg, nous a permis dans le cadre de lOuvert de r ediger cet article. Nous la remercions ici ainsi que tous ceux qui nous ont incit es ` a nous engager dans ces projets. Mots-cl es : Nud Tresse Groupe Invariant.

Introduction
Les tresses et les nuds ont le privil` ege doccuper r eguli` erement la Une des publications tant dans les revues de recherche que de vulgarisation. Cet engouement sexplique par la grande diversit e des domaines reli es aux tresses et aux nuds. Une recherche rapide sur le serveur de pr epublication Arxiv donne plus de 300 r eponses pour les mot braids (tresses en anglais) ou knots (nuds) r ev elant ainsi la grande vitalit e de la recherche en math ematique dans ces domaines. Mais cet engouement provient aussi de la diversit e des applications de ces th eories [8],[9] : de la cryptographie ` a lordinateur quantique en passant par la mod elisation de trajectoires de particules ou encore la g en etique .... Nous pr esentons les tresses et les nuds en partant de lintuition que nous avons de ces objets dans la vie courante pour d enir ensuite ces objets math ematiques. Plus pr ecisement, les nuds pour les math ematiciens sont des morceaux de celle referm es dans lespace et entrem el es, tandis que les tresses sont des morceaux de celles attach es en haut et en bas et sentrem elant. Une di erence majeure avec les nuds courants est donc que les nuds et les tresses math ematiques ne se d enouent pas tous ! Une des premi` ere etapes pour simplier ces objets et mieux travailler avec les nuds et les tresses est de voir comment les repr esenter dans le plan. En projetant ces objets de lespace sur un plan de mani` ere g en erique, nous d enissons des nuds et des tresses dans le plan. Il convient alors de consid erer les mouvements de Reidemeister qui d ecrivent comment se comportent les dessins dans le plan de nos nuds ou tresses lorsque nous changeons de
c LOUVERT 113 (2006)

Thomas Aubriot, Emmanuel Wagner

projection. Ces mouvements nous permettent d etablir que les nuds et tresses de lespace peuvent etre repr esent es par leurs dessins dans le plan. Apr` es ces d enitions en parall` ele des nuds et tresses, nous expliquons comment cl oturer une tresse pour en faire un nud. Le probl` eme de la d enition etant r esolu, nous aimerions pouvoir distinguer deux nuds ou deux tresses di erents. Ce probl` eme de classication, naturel pour les math ematiciens, est di erent pour les nuds et les tresses ; en eet, une structure de groupe, semblable ` a la structure des nombres entiers relatifs vis ` a vis de laddition, peut etre mise sur les tresses. Une composition peut etre d enie en collant lune en dessous de lautre deux tresses et cette op eration est susament riche en propri et es pour nous permettre de d ecouper une tresse en tresses plus simples et de r eduire le probl` eme de la classication des tresses ` a un probl` eme plus simple (de classication de mots dont les lettres sont les tresses simples). Pour les nuds, nous pouvons encore assembler deux nuds mais cette op eration na pas la structure pr ec edente et nous nobtenons pas la classication de cette mani` ere. Pour r epondre ` a la question Quand deux nuds sont-ils semblables , les math ematiciens d enissent alors des invariants. Un invariant est un objet math ematique associ e` a un nud, par exemple son nombre minimal de croisement, qui nous permet de dire que deux nuds avec un invariant di erent sont di erents. Le probl` eme est que deux nuds di erents peuvent avoir le m eme invariant. Des invariants de plus en plus subtils et sophistiqu es ont et e attach es aux nuds mais pour le moment, aucun invariant ne permet de distinguer tous les nuds.

1. D enitions en parall` ele des tresses et des nuds

1.1. Nuds et entrelacs
Lorsquon parle de nuds, on ne simagine pas parler de math ematiques ; on associe plut ot ce terme ` a dautres domaines tels que la marine ou lescalade. De mani` ere plus simple on pense ` a ses lacets de chaussures, en dautres termes aux nuds que lon rencontre dans la vie courante, ceux que lon fait avec des bouts de celle. Regardons de plus pr` es le plus simple dentre eux, le nud plat :

Ce nud est caract eristique de ceux que lon peut faire, en particulier il est facile de le d enouer. Si lon fait un nud plus compliqu e, on pourra toujours le d enouer, m eme si comme chacun en a fait lexp erience cela peut parfois etre plus dicile et prendre plus de temps. Donc dans un certain sens tous les nuds sont les m emes puisquon peut tous les d enouer. Les math ematiciens, pour donner plus de diversit e, modient cette d enition intuitive en recollant les deux extr emit es pendantes du bout de celle, ce qui donne dans le cas du nud plat le dessin suivant :

Des tresses et des nuds en math ematiques

Pour le moment, les nuds consid er es, ont toujours une epaisseur (celle du bout de celle) ; nous allons maintenant consid erer que notre celle na pas d epaisseur, ce qui permet de la sch ematiser ainsi :

On notera que ce dessin permet dindiquer si un brin passe au-dessus ou en dessous dun autre brin. Pour pouvoir dessiner nos nuds nous avons et e oblig es de les mettre ` a plat sur une feuille, mais en r ealit e ce que nous regardons ce sont ces m emes nuds mais dans lespace ambiant (celui de dimension 3). Nous pouvons maintenant donner une d enition dun nud. D enition 1 Un nud est une courbe ferm ee sans points doubles dans lespace, cest-` a3 dire une application continue : [0, 1] R telle que (0) = (1) et (t) = (t ) pour deux el ements distincts t et t . Nous allons aussi consid erer des objets un petit peu plus g en eraux : des entrelacs. Dans tout ce que nous avons fait pr ec edemment nous navons pris quun seul bout de celle ; nous eectuons maintenant les m emes op erations avec plusieurs morceaux de celle. D enition 2 Un entrelacs est une r eunion disjointe de courbes ferm ees sans points doubles dans lespace. Voici un exemple dentrelacs :

Thomas Aubriot, Emmanuel Wagner

Une composante sera une des courbes ferm ees (ce qui correspond ` a un des bouts de celle). En utilisant ce vocabulaire, un nud est un entrelacs ` a une composante. Nous remarquons que dans notre exemple une des composantes (un des bouts de celles) est un cercle. Ce cercle est le nud (m eme si dans la vie courante on nappellerait pas cela un nud) le plus simple que lon puisse faire, on lappelle le nud trivial (trivial signiant en math ematiques le plus simple).

1.2. Tresse ` a n brins

De la m eme mani` ere que pour les nuds, nous consid erons dans lespace des bouts de celle attach es en haut et en bas comme le montre le dessin ci-dessous et sentrem elant.

Pour les dessiner, nous projetons les tresses dans le plan. Nous pouvons toujours trouver une projection qui nous permette de dessiner les tresses comme des brins attach es en haut et en bas comme le montre la gure suivante. De plus, quitte ` a d eformer les bouts de celle, il est toujours possible de consid erer que les croisements se font seulement entre deux brins.
(1,1) (1,2) (1,3) (1,4)

(0,1) (0,2) (0,3) (0,4)

Nous pouvons alors donner une premi` ere d enition math ematique dune tresse ` a n brins. D enition 3 Une tresse g eom etrique est la donn ee de n courbes ouvertes (les bouts de celle) attach ees a ` leurs extr emit es aux points de coordonn ees (1, 1), . . . , (1, n) en haut et (0, 1), . . . , (0, n) en bas, qui descendent toujours et telles que les seuls points dintersection entre ces courbes ouvertes soient des points doubles tels que nous sachions quel brin passe au-dessus de lautre. Nous repr esenterons le brin du dessus avec un trait continu et celui du dessous avec un trait coup e comme le montre lexemple pr ec edent.

Des tresses et des nuds en math ematiques

1.3. Projection et mouvements de Reidemeister

Projection des nuds Dans la partie pr ec edente, les nuds et les entrelacs ont et e d enis comme des objets vivants dans lespace, mais une repr esentation plane permet dappr ehender ces objets plus simplement. Lop eration que lon eectue est une projection (on prend notre bout de celle et on l ecrase sur un mur). On met ensuite en place une convention de dessin pour reconna tre dans chaque croisement la position relative des deux morceaux. La convention est la m eme que pour les tresses et est donn ee par les diagrammes suivants :

Par exemple, si on consid` ere le diagramme suivant et que lon part de la marque en suivant la ` eche, on passe successivement au-dessus, au-dessous, au-dessus, au-dessous, au-dessus, au-dessous et on revient au point de d epart.

Plus g en eralement, on peut toujours attribuer ` a un nud ou ` a une composante dun entrelacs un sens de parcours. Ce sens de parcours sera alors signi e sur le diagramme par une ` eche. Un nud (entrelacs) muni dun sens de parcours sera appel e un nud (entrelacs) orient e. Le dessin du nud dans le plan sappelle un diagramme de nud. Nous allons maintenant nous demander dans quelle mesure les diagrammes repr esentent les objets de lespace. Pour cela on veut que la projection soit g en erique. Le terme g en erique signie qu` a partir du diagramme on peut retouver le nud ou lentrelacs. Dans le cas contraire la projection est catastrophique comme dans les dessins ci-dessous :

Si la projection ressemble localement ` a un de ces dessins, le nud nest pas parfaitement d eni dans lespace (il y a plusieurs nuds qui ont cette projection). Heureusement, on peut montrer quil existe toujours une projection g en erique. Par diagramme dun nud ou dun entrelacs, on entend en fait une projection g en erique dun nud ou dun entrelacs.

Thomas Aubriot, Emmanuel Wagner

Mouvements de Reidemeister pour les nuds Un des probl` emes classiques en Math ematiques est le probl` eme de classication des objets que lon etudie. Dans cette optique, nous allons nous int eresser ` a la classication des nuds et des entrelacs. Nous allons donc mettre en place des crit` eres de classication. Par exemple, si vous voulez ranger votre biblioth` eque, il faut dabord d ecider si vous optez pour un classement th ematique ou alphab etique, par auteur ou par titre. Dans notre cas il faut dabord d ecider quand est-ce que deux nuds seront pour nous les m emes. Pour cela revenons un moment ` a nos celles. On prend un bout de celle, on le noue et on recolle les extr emit es. On aimerait alors que toutes les manipulations que lon peut faire avec notre morceau de celle dans lespace sans le couper nous donnent toujours le m eme nud : deux nuds sont les m emes si lon peut transformer lun en lautre par une manipulation continue dans lespace. Le terme manipulation continue signie essentiellement sans couper le bout de celle. Les manipulations autoris ees etant pr ecis ees, etudions leurs r epercussions sur les diagrammes de nuds. Elles sont essentiellement de quatres types et nous donnerons localement leurs dessins. Les d eformations entre deux croisements, comme dans lexemple suivant sont autoris ees,

ainsi que les trois types de d eformation mettant en jeu des croisements et que lon appelle mouvements de Reidemeister, du nom du math ematicien allemand qui les a d ecouverts. Ces manipulations sont dessin ees ci-dessous, la ` eche signiant que lon peut passer dun diagramme ` a lautre, dans un sens ou lautre.

R1 R2 R3

On peut remarquer que pour passer dun c ot e ` a lautre dune des ` eches on passe par une situation catastrophique. Par exemple, dans le cas de R2 pour aller de la situation de droite ` a la situation de gauche, on tire les deux bouts lun vers la droite lautre vers la gauche et juste avant davoir deux bouts parall` eles, on passe par la seconde situation catastrophique. Il reste maintenant ` a savoir si toutes les manipulations dun nud dans lespace peuvent etre vues sur un diagramme de nud gr ace aux mouvements de Reidemeister et aux manipulations entre les croisements (manipulations triviales). Reidemeister en a donn e la preuve [5].

Des tresses et des nuds en math ematiques

Th eor` eme 1 (Reidemeister 1927) Si lon peut transformer un nud en un autre nud par une manipulation continue dans lespace, on peut obtenir le m eme r esultat par une manipulation dont la projection consiste seulement en mouvements de Reidemeister et en manipulations triviales du diagramme dans le plan.

Ce th eor` eme signie que pour etudier la classication des nuds dans lespace, il sut d etudier leurs diagrammes en utilisant des manipulations triviales et des mouvements de Reidemeister. On a donc ramen e le probl` eme de lespace au plan, de la dimension trois a la dimension deux. De la m ` eme mani` ere, ce r esultat reste vrai pour les entrelacs, ainsi que pour les nuds et les entrelacs orient es. Les mouvements de Reidemeister pour les nuds et entrelacs doivent etre possible avec toutes les orientations, mais on peut montrer quils sobtiennent tous ` a partir des deux mouvements suivants.

Mouvements de Reidemeister pour les tresses. Comme pour les nuds, des projections g en eriques permettent dobtenir la d enition g eom etrique dune tresse dans le plan. Il faut donc aussi tenir compte des mouvements possibles dans lespace et de leur incidence sur le dessin dans le plan. Toutes les manipulations triviales (sans toucher aux croisements) sont donc autoris ees ainsi que les mouvements de Reidemeister. Cependant ces mouvements sont l eg` erement di erents de ceux consid er es pour les nuds, par exemple le mouvement R1 de Reidemeister imposant au brin de remonter est exclu. Nous avons en fait le mouvement R2 (en tenant compte de lorientation du haut vers le bas) et qui est repr esent e sur la gure suivante et le mouvement R3 de Reidemeister qui, lui, reste inchang e.

R2

(1)
R3

Nous pouvons alors d enir les tresses dans le plan en permettant ces mouvements et elles correspondent ` a lintuition comme larme le th eor` eme suivant (qui d ecoule du Th eor` eme de Reidemeister).

Th eor` eme 2 En autorisant les manipulations triviales sans toucher aux croisements ainsi que les mouvements R2 et R3 de Reidemeister, les tresses g eom etriques correspondent aux tresses dans lespace.

Thomas Aubriot, Emmanuel Wagner

1.4. Cl oture dune tresse en un nud

Les tresses et les nuds provenant de morceaux de celle entrem el es dans lespace, il est donc naturel dessayer de relier les deux notions math ematiques que nous venons de d enir pour repr esenter ces morceaux de celle. Cela est possible en eectuant la contruction suivante. Etant donn e une tresse, nous pouvons la cl oturer en reliant les extr emit es entre elles sans ajouter de croisement comme le montre la gure suivante.

(2) Nous obtenons alors un nud ou un entrelacs. Le th eor` eme dAlexander arme alors que tous les nuds et entrelacs peuvent etre obtenus par clot ure dune tresse. Th eor` eme 3 (Alexander 1923) Tout nud ou entrelacs est cl oture dune tresse. Ce r esultat est un r esultat dexistence aussi se pose une question naturelle : etant donn e un nud, comment trouver une tresse qui se cl oture en ce nud. Vogel [11] a donn e un algorithme pour d ecl oturer un noeud. Nous pouvons alors transporter par cl oture des r esultats des tresses sur les nuds. Cependant si on obtient certains r esultats de cette mani` ere, le probl` eme de la classication des nuds ne se d eduit pas de la classication des tresses. En eet, nous allons voir que la classication des tresses provient dune structure sur lensemble des tresses, mais cette structure ne peut pas etre mise sur les nuds. Notons aussi que des tresses tr` es di erentes peuvent donner par cl oture le m eme nud comme le montre lexemple ci-dessous.

2. Une structure pour les tresses

Dans cette partie, nous montrons comment mettre une structure sur les tresses qui nous permet de r eduire l etude des tresses a ` une etude de mots et den d eduire une classication.

2.1. Remarques g en erales

Commen cons par regarder ces ensembles de tresses et leurs liens avec des ensembles connus comme les nombres ou les permutations.

Des tresses et des nuds en math ematiques

Lien avec les nombres Notons B2 lensemble des tresses ` a deux brins. Nous avons deux types de croisements el ementaires que nous dirons positifs ou n egatifs comme lindiquent les gures suivantes.

croisement positif

croisement ngatif

Pour les tresses ` a deux brins, nous pouvons compter le nombre de croisements avec leurs signes et obtenir un nombre entier relatif associ e ` a la tresse. Le mouvement R2 de Reidemeister (1) correspond exactement aux op erations 1 1 = 0 = 1 + 1 et la tresse de lexemple (2), par exemple, correspond au nombre 3. Nous pouvons alors identier les tresses ` a deux brins avec les nombres entiers avec signes ! Pour les entiers relatifs, nous avons une op eration, laddition, qui nous donne une structure. Nous allons construire la structure correspondante pour les tresses g en erales et nous illustrerons ses propri et es gr ace a cet exemple des tresses ` ` a deux brins. Mais pour un temps encore continuons ` a regarder les liens avec un autre ensemble, les permutations. Lien avec les permutations Consid erons la tresse ` a 5 brins ci-dessous :
1 2 3 4 5

Num erotons les brins et suivons-les. Le premier brin se termine en position 2 et le deuxi` eme en position 3, le troisi` eme brin terminant en position 1. Dautre part les brins 4 et 5 restent en position 4 et 5. Nous avons donc une permutation des positions associ ees ` a cette tresse que nous noterons 1 2 3 ou encore (123). De la m eme mani` ere, consid erons une tresse ` a n brins et num erotons les brins. Suivons les brins et notons la position nale de chaque brin. Nous obtenons une permutation de {1, . . . , n} (cest-` a-dire une autre mani` ere de ranger les nombres 1 a ` n) associ ee ` a la tresse. Notons que cette permutation est invariante par les mouvements de Reidemeister et nous pouvons alors d enir une application de lensemble des tresses ` a n brins (not e Bn ) vers lensemble des permutations de {1, . . . , n} (not e Sn ). Cette application ne permet cependant pas didentier les tresses et les permutations comme le montre la gure suivante o` u la m eme permutation (123) est obtenue ` a partir dune autre tresse.
1 2 3 4 5

En un sens les tresses repr esentent les permutations avec le souvenir des op erations effectu ees !

10

Thomas Aubriot, Emmanuel Wagner

Une tresse en g en eral Jusqu` a maintenant, nous avons toujours consid er e des tresses ` a n brins. Comment d enir une tresse de mani` ere g en erale ? Prenons une tresse ` a 3 brins et juxtaposons-la ` a une tresse a deux brins triviaux (cest-` ` a-dire ne sentrem elant pas). Nous avons obtenu une tresse ` a5 brins (voir lexemple pr ec edent). De mani` ere g en erale, nous pouvons toujours juxtaposer des brins triviaux ` a c ot e dune tresse pour lui donner le nombre de brins que lon veut. On peut de cette mani` ere consid erer une tresse g en erale. Nous sommes alors pr ets ` a regarder la structure de ces tresses.

2.2. Op eration et structure sur les tresses

Pour mieux conna tre les tresses, nous aimerions savoir comment obtenir une tresse ` a partir dautres. Pour cela nous allons regarder comment cr eer une tresse ` a partir de deux autres et en faisant une analogie avec les nombres (qui correspondent aux tresses ` a deux brins) quelles propri et es, et donc quelle structure peut-on esp erer pour les tresses, structure que nous r ecapitulerons rapidement dans un tableau (voir Fig. 1). Comment construire une tresse a ` partir de deux autres ? ` partir de deux tresses, nous pouvons A eventuellement ajouter des brins pour obtenir deux tresses de m eme taille et alors coller la seconde tresse en dessous de la premi` ere et relier les brins comme le montre la gure qui suit.

Nous obtenons ainsi une op eration sur lensemble des tresses que lon appelle la composition de deux tresses. Pour lexemple des tresses ` a deux brins nous pouvons identier une tresse avec le nombre de croisement. La composition de deux tresses sidentie alors avec laddition des nombres entiers relatifs. Quelles propri et es pour cette op eration ? Par analogie avec les nombres, cherchons quelles propri et es peuvent etre v eri ees par cette composition. La composition des tresses comme laddition pour les nombres est associative. Pour les tresses, cela revient ` a dire que si nous prenons trois tresses que nous mettons les unes en dessous des autres, le r esultat de la composition est le m eme si lon relie dabord les deux tresses du dessus et ensuite que lon relie la tresse obtenue avec celle du dessous ou bien le contraire : on relie les deux tresses du dessous puis celle du dessus. La composition comme laddition poss` ede un el ement neutre. Consid erons la tresse constitu ee

Des tresses et des nuds en math ematiques

11

de brins ne sentrem elant pas ; nous lappellerons la tresse triviale. La composition avec cette tresse ne change rien et la tresse triviale est donc un el ement neutre. Chaque tresse admet une tresse inverse. Etant donn e une tresse, nous devons trouver une autre tresse qui, quand on la compose, nous donne un r esultat qui sidentie ` a la tresse triviale ( equivalent du z ero). Cela est possible en consid erant limage de la tresse dans un miroir. En composant une tresse avec son image dans un miroir, nous obtenons une tresse qui se r eduit par des mouvements de Reidemeister en la tresse triviale comme lillustre la gure suivante.

Un ensemble qui poss` ede une op eration qui v erie les propri et es pr ec edentes (associativit e et existence dun el ement neutre et dinverses pour tous les el ements) est appel e un groupe. Nous avons donc le th eor` eme. Th eor` eme 4 La composition munit lensemble des tresses dune structure de groupe. Remarquons que nous navons pas toutes les propri et es de laddition des nombres. Par exemple laddition est commutative. Pour les tresses, ceci nest plus vrai si le nombre de brins est sup erieur ou egal ` a trois. La gure suivante montre lexemple de deux tresses a trois brins telles que le compos ` e de ces deux tresses est di erent selon lordre dans lequel nous faisons lop eration (il sut pour sen convaincre de remarquer que les deux permutations associ ees sont di erentes).

Int er et de cette structure Un int er et de cette structure est de pouvoir r eduire les tresses ` a des compos es de tresses simples. En gardant toujours notre analogie avec les nombres, nous pouvons ecrire 5 = 1 + 1 + 1 + 1 + 1 et donc r eduire le nombre 5 ` a une addition de nombres simples, ici tous egaux ` a 1. Nous pouvons faire de m eme pour les tresses. Pour cela nous devons dire quelles sont les tresses simples . Nous consid erons les tresses constitu ees dun seul croisement positif

12

Thomas Aubriot, Emmanuel Wagner

1 entre les brins i et i + 1. Nous noterons cette tresse i . De m eme nous noterons i la tresse constitu ee dun seul croisement n egatif entre les brins i et i + 1.

Consid erons maintenant la tresse ` a 4 brins de la gure qui suit.

1 1 1 2 1 1

3
1 2 1 3

On etire la tresse pour isoler chaque croisement el ementaire et nous obtenons alors ce que nous appellerons un mot constitu e des lettres i . Le mot correspondant est alors 1 1 1 1 1 1 2 1 3 2 3 1 . Notons que nous pouvons obtenir plusieurs mots ` a partir dune tresse que cela soit en etirant autrement la tresse ou en faisant subir des mouvements de Reidemeister ` a la tresse. Heureusement, nous connaissons les relations que ces manipulations imposent aux mots. Pr ecis ement, lorsque nous pouvons obtenir deux mots di erents en etirant di eremment la tresse, cela impose une relation de la forme i j = j i et cela est possible d` es que les brins i, i + 1, j et j + 1 sont tous distincts cest-` a-dire quand |i j | 2. 1 1 esigne la tresse Le mouvement R2 de Reidemeister s ecrit i i = i i = T , si T d triviale.

R2
Le mouvement R3 de Reidemeister s ecrit lui i i+1 i = i+1 i i+1 .

R3

On peut ensuite montrer que seules ces relations interviennent et par suite le groupe des 1 tresses sidentie aux mots constitu es des lettres i et soumis aux relations pr ec edentes, th eor` eme d u` a E. Artin [2].

Des tresses et des nuds en math ematiques

13

Th eor` eme 5 (Artin 1947) Le groupe des tresses a ` n brins sidentie au groupe en1 gendr e par (i )i=1...n1 avec les relations i j = j i pour tout i, j tels que |i j | > 2 1 1 i = 1 pour tout i = 1, . . . , n 1 = i i i i i+1 i = i+1 i i+1 pour tout i = 1, . . . , n 2. (3)

Cette structure et cette ecriture en produits de tresses simples (g en erateurs) et ensuite en mots permet de classier les tresses et davoir des algorithmes qui d eterminent si deux tresses sont identiques. Mettre la seconde tresse en dessous de la premi` ere Oui La tresse triviale Limage dans un miroir Non (i )i=1...n1

Op eration Associativit e El ement neutre Inverse Commutativit e G en erateurs

additionner les croisements avec signe (2 + 3) + 5 = 2 + (3 + 5) 0+2 =2+0 =2 2 2 = 2 + 2 = 0 2+3 = 3+2 1

Fig. 1 R esum e de la structure des tresses

2.3. Travaux r ecents sur les structures : un ordre total

R ecemment, une nouvelle structure a et e construite sur les tresses. Dehornoy [3] a montr e comment d enir un ordre total sur les tresses, cest-` a-dire deux tresses etant donn ees, d ecider laquelle est la plus grande. Pour les tresses dites positives, cest-` a-dire ` a qui nous pouvons associer un mot qui ne comporte que les lettres i avec des puissances positives, cet ordre correspond ` a lordre lexicographique quand on se donne lordre des lettres 1 < 2 < 2 < 3 car pour la premi` . . . < n1 . Par exemple 1 2 4 2 1 ere lettre di erente nous 8 1 4 2 avons 2 < 4 . M eme si pour les autres tresses, la d enition est un peu plus compliqu ee, cet ordre permet de dire que deux tresses et sont egales si et seulement si et . Des travaux r ecents ont aussi am elior e la rapidit e de lalgorithme de di erentiation des tresses et dautres sont en cours pour cr eer des algorithmes de cryptographie ` a partir de calculs sur les tresses.

3. Invariants
Revenons aux nuds et ` a leur classication.

3.1. Utilisation du th eor` eme de Reidemeister

On pourrait ` a priori penser que le th eor` eme de Reidemeister donne la classication des nuds. En eet si on se donne deux diagrammes de nuds, il sut pour savoir sils sont les m emes dappliquer un mouvement de Reidemeister sur lun des diagrammes puis de comparer les diagrammes et de recommencer ainsi de suite. Si les deux diagrammes

14

Thomas Aubriot, Emmanuel Wagner

repr esentaient le m eme nud ce processus aboutirait, dans le cas contraire il serait sans n. Le probl` eme cest que lon ne peut pas conclure si le processus ne sarr ete pas. Dans le cas o` u les deux diagrammes repr esentent deux nuds distincts, on sy est peut- etre mal pris, ou il faut peut- etre encore travailler un peu. Pour obliger ce processus ` a prendre n, on peut essayer dappliquer les mouvements de Reidemeister seulement dans le sens o` u le nombre de croisements diminue. Malheureusement, cela ne sut pas car il faut parfois compliquer la situation (augmenter le nombre de croisements) pour ensuite r eduire le nud. Par exemple, consid erons le diagramme suivant :

En fait on peut voir que ce diagramme est equivalent ` a celui du nud trivial mais pour le transformer par mouvements de Reidemeister en un cercle, il est n ecessaire daugmenter le nombre de croisements.

3.2. Une structure pour les nuds ?

Que se passe-t-il quand on essaye de mettre une structure sur lensemble des nuds ? Le premier point est de trouver comment mettre une composition sur lensemble des nuds. Essayons de la d enir comme nous lavons fait pour les tresses : on coupe le nud et on le met ensuite dans une bo te comme le montre le dessin ci-dessous (la bo te sert juste de support visuel).

Pour composer les nuds on colle les bo tes les unes au-dessus des autres :

Ensuite on peut recoller les deux extr emit es pour obtenir un nud. Consid erons maintenant les propri et es analogues ` a celles que nous avons obtenues pour les tresses. L element neutre de cette composition est le nud trivial. Ce produit de nud est

Des tresses et des nuds en math ematiques

15

associatif et il est de plus commutatif. En serrant par exemple le premier nud on peut le passer au travers du second le long de la celle et obtenir la composition dans lautre sens. Le probl` eme est quun nud na pas dinverse pour cette op eration. N eanmoins par ce proc ed e on peut obtenir une d ecomposition des nuds en nuds premiers, qui sont ceux quon ne peut plus d ecomposer. On a alors, comme pour les nombres entiers, une arithm etique des nuds. Schubert a etudi e les propri et es de cette arithm etique dans les ann ees 50. Par exemple, le nud suivant a et e d ecompos e en trois nuds premiers.

3.3. Construction dinvariants

Ni l etude dune structure sur les nuds, ni le th eor` eme de Reidemeister, nont permis de conclure ` a une classication des nuds. N eanmoins ce th eor` eme de Reidemeister est la clef pour la construction dinvariants. An de comprendre ce quest un invariant il faut dabord pr eciser invariant par rapport ` a quoi ? Si lon consid` ere le nud, linvariance doit etre par rapport aux manipulations continues de lespace, mais comme on peut se ramener a un diagramme de nuds, linvariance est par rapport aux manipulations triviales et aux ` mouvements de Reidemeister. Pour comprendre cette id ee dinvariant, consid erons un el ement caract eristique du ` nud comme le nombre de croisements. A un diagramme, on peut associer son nombre de croisements. Mais si nous eectuons un mouvement de Reidemeister R1, par exemple, ce nombre de croisements change. Ce nest donc pas quelque chose qui d epend uniquement du nud mais aussi de sa repr esentation. Par contre, en consid erant le nombre minimal de croisements pour les diagrammes dun nud, nous avons un invariant. Les nuds suivants

nont pas le m eme nombre minimal de croisements, ils sont donc di erents, alors que les nuds ci-dessous

ont le m eme nombre minimal de croisements mais sont aussi di erents. Notons que sil est facile de se convaincre en regardant les dessins que les nuds sont repr esent es avec leur

16

Thomas Aubriot, Emmanuel Wagner

nombre minimal de croisements, trouver le nombre minimal de croisements dun nud est en g en eral un probl` eme tr` es dicile. De mani` ere g en erale un invariant est lassociation ` a un diagramme de nud dun certain objet alg ebrique (un nombre, un polyn ome... ). Pour que cette association soit un invariant, il faut quelle soit invariante par manipulations triviales et mouvements de Reidemeister. Comme on la vu sur un cas particulier, un invariant sert en g en eral ` a r epondre par la n egative ` a la question : est-ce que ces deux diagrammes repr esentent le m eme nud ? Un invariant qui serait di erent pour tous les nuds distincts serait complet. Il existe beaucoup dinvariants tels que les polyn omes dAlexander1 (construit dans les ann ees 2 1920) et de Jones (1984) qui sont, contrairement au nombre minimal de croisements, facilement calculables . Nous savons que la majorit e des invariants ne sont pas complets, n eanmoins, on conjecture que les invariants de Vassiliev (198990) le sont. En attendant, la classication des nuds reste un probl` eme ouvert.

Bibliographie
[1] J. W. Alexander (1923), A lemma on a system of knotted curves, Proc. Nat. Acad. Sci. USA. 9, 9395. [2] E. Artin (1947), Theory of Braids, Annals of Math. (2) 48, 101126. [3] P. Dehornoy (1997), A fast method for comparing braids, Advances in Math. 125, 200-235. [4] C. Kassel (2002), Cents ans de topologie alg ebrique, L Ouvert 106. [5] K. Reidemeister (1974), Knotentheorie, Reprint Springer-Verlag. [6] D. Rolfsen (1990), Knots and links, Mathematics Lecture Series 7, (Corrected reprint of the 1976 original). [7] A. Sossinsky (1999), Nuds, Gen` ese dune th eorie math ematique (Origins of a ma thematical theory), Editions du Seuil. [8] La science des nuds, th eorie et applications, Pour la science, dossier hors s erie avril 1997. [9] Des tresses pour lordinateur quantique, Pour la science, mai 2006. [10] V. Touraev (1992), Topologie des nuds, L Ouvert 66. [11] P. Vogel (1990), Representations of links by braids : A new algorithm, Comment. Math. Helvetici, 65, No. 1, 104-113. Thomas Aubriot Emmanuel Wagner IRMA Universit e Louis Pasteur, Strasbourg aubriot@math.u-strasbg.fr wagner@math.u-strasbg.fr
On pourra consulter larticle Cent ans de topologie alg ebrique de C. Kassel paru dans lOuvert 106 pour une d enition de linvariant dAlexander. 2 On pourra consulter larticle Topologie des Nuds de V. Touraev paru dans lOuvert 66 pour une d enition de linvariant de Jones.
1