Vitaliy Kurlin

Le codage de trois pages pour les graphes spatiaux.

Résumé

Un graphe fini est un complexe cellulaire fini de dimension 1, considéré à homéomorphisme près. Pour n>1, un n-graphe est un graphe fini avec ses sommets de degré <=n.
Un n-graphe spatial est un sous-ensemble G\subset R3, homéomorphe à un n-graphe. Un entrelacs non-orienté est un 2-graphe spatial.

Une isotopie ambiante entre deux graphes spatiaux G,H est une famille continue de homéomorphismes f_t:R3\to R3, t\in [0,1], telle que f_0=id et f_1(G)=H.
Si à chaque moment d'une isotopie f_t un voisinage de chaque sommet du graphe f_t(G) se trouve dans un plan (inconstant), alors cette isotopie f_t s'appelle rigide. Autrement cette isotopie f_t s'appelle non-rigide.

Nous construisons deux séries de semi-groupes à présentation finie RSG_n et NSG_n.
Le centre de RSG_n code tous les n-graphes spatiaux à isotopie rigide près.
Le centre de NSG_n code tous les n-graphes spatiaux à isotopie non-rigide près.
Nous construisons ce codage à l'aide des plongements de graphes dans le produit T\times R, où T est le cône sur trois points (plongements sur trois pages).