Tresse (mathématiques)
En mathématiques, et plus précisément en topologie et théorie des groupes, une tresse est un objet mathématique formalisant ce qu'on appelle tresse (ou natte) dans la vie courante. Les tresses ont une structure de groupe naturelle, et possèdent des liens profonds avec des domaines divers des mathématiques notamment en topologie, théorie des nœuds et combinatoire algébrique. Cette théorie trouve des applications en physique statistique, en mécanique quantique ainsi qu'en informatique théorique, par exemple en cryptographie.

Définitions 
Les groupes de tresses peuvent être définis de différentes manières équivalentes, illustrant les relations qu'ils entretiennent avec différents domaines des mathématiques.

Tresses géométriques 

Soit  un ensemble de  points du disque unité ouvert de .

On appelle brin le graphe d'une application  continue de  dans le disque unité ouvert de , dont les extrémités  et  appartiennent à .

On appelle tresse géométrique à  brins la réunion de  brins disjoints. On considère que deux tresses géométriques représentent la même tresse « conceptuelle » si elles peuvent être obtenues l'une à partir de l'autre en déplaçant les brins continûment, sans que les brins ne se traversent ni ne se détachent à leurs extrémités. On dit alors que les deux tresses géométriques sont isotopes.

On définit une loi de composition sur l'ensemble des tresses géométriques à  brins, telle que le produit de deux tresses est obtenu simplement en les empilant l'une au-dessus de l'autre. Ce produit est associatif et compatible avec la relation d'isotopie. Le produit d'une tresse avec son image dans un miroir horizontal est isotope à la tresse triviale (sans croisement), dont la classe d'équivalence joue le rôle d'élément neutre. Ceci permet donc également de définir l'inverse d'une tresse. Finalement, l'ensemble des tresses géométriques à n brins quotienté par la relation d'isotopie est un groupe, noté .

Générateurs et relations 
Le groupe de tresses  est le groupe engendré par les générateurs  et les relations
 ,
  si .

Groupe fondamental 
On définit ce qu'on appelle un espace de configuration . Autrement dit, cet espace est l'ensemble des n-uplets de nombres complexes dont tous les éléments sont distincts. On peut interpréter physiquement cet espace en remarquant qu'un nombre complexe représente les coordonnées d'un point dans un plan, ainsi l'espace de configuration  peut être vu comme l'ensemble des configurations dans lesquelles peuvent se trouver n particules dans un plan (la condition reflétant simplement le fait que deux particules ne peuvent pas se trouver au même endroit).

On remarque par ailleurs qu'en général, les brins d'une tresse n'arrivent pas dans le même ordre qu'au départ. Par exemple, sur le premier dessin, le brin qui part d'en haut à gauche arrive en bas à droite. Il existe par contre des tresses dont tous les brins arrivent à la même position que celle dont ils sont partis. Une telle tresse est appelée tresse pure. L'ensemble des tresses pures forme un sous-groupe du groupe de tresses.

Le lien entre ces deux notions est le suivant : le groupe fondamental de  est le groupe de tresses pures à n brins, noté .

Mots de tresse 

À isotopie près, une tresse abstraite peut toujours être représentée par une tresse géométrique qui ne contient jamais deux croisements à la même hauteur. Il est donc possible de projeter toute tresse dans le plan, afin d'obtenir un diagramme de tresse. Afin de ne pas perdre d'information vis-à-vis de l'espace en 3 dimensions il faut indiquer, lorsque deux brins se croisent, lequel passe devant l'autre.

Pour que les diagrammes de tresses et leur produit correspondent aux permutations et à leur composition il faut lire les diagrammes de tresses de bas en haut. Par exemple, le diagramme de tresses ci-dessous a pour permutation (1 3 4).

Ainsi prenons deux diagrammes de tresses  et  de permutation associée respective  et . Le produit  a pour permutation .

Pour étudier les tresses, il faut les comparer vis-à-vis de leur chemin et de leur permutation associée. Dans un diagramme de tresses, certains croisements sont indépendants les uns des autres.

Deux diagrammes de tresses sont dits 'isotopes' si on peut obtenir l'un à partir de l'autre en déplaçant les brins sans les « couper » et sans toucher aux extrémités.

La relation d'isotopie sur  est une relation d'équivalence.

Deux diagrammes de tresses isotopes représentent la même permutation, mais la réciproque est fausse : deux diagrammes ayant la même permutation associée ne sont pas nécessairement isotopes.

Groupes de tresses 

En quotientant  par la relation d'isotopie on obtient une structure de groupe sur l'ensemble des diagrammes de tresses à  brins. On note  et on appelle « groupe de tresses à n brins » le groupe ainsi obtenu. L'élément neutre étant bien évidemment la classe du diagramme trivial, l'inverse d'un diagramme est le diagramme obtenu en prenant son image miroir, comme on le voit sur l'exemple ci-dessous.

Par simplification on appelle tresse à  brins un élément de .

On plonge  dans  en transformant les tresses à  brins en tresses à  brins de la manière suivante.
On ajoute à droite un -ième brin qui n'en croise aucun autre, comme on le voit dans l'exemple suivant:

On note  et on appelle « groupe de tresses » le groupe
.

Applications et généralisations 
La théorie des tresses est utilisée pour décrire les anyons en physique.

La théorie des tresses est utilisée en informatique théorique notamment en lien avec la théorie des langages et en cryptographie.

Elle est également utilisée pour certains diagrammes de jonglerie.

Notes et références

Voir aussi

Articles connexes 
 
 Théorie des nœuds
 Catégorie monoïdale tressée
 Générateurs du groupe symétrique

Bibliographie

Lien externe 
 (Interview de Ester Dalvit)

Théorie des nœuds
Combinatoire algébrique
Tresse