Théorie de Grothendieck-Teichmüller

La théorie de Grothendieck-Teichmüller, ou théorie de Galois géométrique, est un domaine de recherche en mathématiques qui exhibe des liens profonds et surprenants entre des branches a priori distantes : la géométrie algébrique, la théorie algébrique des nombres, la combinatoire, la théorie de Galois, la théorie des groupes, la théorie de Teichmüller et la topologie.

Dans les grandes lignes, l'origine de la théorie est d'étudier le groupe de Galois absolu , dont on ne peut « décrire » aucun élément (à l'exception de la conjugaison), au travers de ses actions géométriques.

Histoire et motivation

Esquisse d'un programme 
Les principes d'une « théorie de Galois-Teichmüller » — reliant la théorie de Teichmüller des surfaces de Riemann et la théorie de Galois des corps algébriques de nombres et les courbes algébriques définies sur eux — ont été posés par Alexander Grothendieck dans La longue marche à travers la théorie de Galois en 1981 et Esquisse d'un programme en 1983-1984. Le point de départ est d'étudier , le groupe de Galois absolu sur ℚ, au travers de son action sur des objets topologiques et géométriques : courbes, groupes fondamentaux, dessins d'enfants, difféotopies.

Si X est une variété algébrique définie sur ℚ, si on note  son groupe fondamental (topologique) et  son groupe fondamental algébrique, qui est le complété profini du précédent, alors il existe une action extérieure canonique
.
En particulier, l'action du groupe de Galois sur le groupe fondamental algébrique préserve les classes de conjugaison des groupes d'inertie.

Dans Esquisse d'un programme, il est avant tout question de , dont le groupe fondamental algébrique s'identifie au groupe libre profini à deux générateurs , avec . Les groupes d'inertie sont ,  et , et l'action du groupe de Galois les préserve, donc on sait que pour tout élément , il existe α, β, γ ∈  et  (on peut choisir f = 1) tels que
.

On peut alors définir une application

qui associe à un élément  de  l'automorphisme  associé à la paire 
.

Cette application, injective d'après le , n'est pas un homomorphisme de groupes. En revanche, si on associe à la multiplication  la paire , alors c'est un isomorphisme sur son image.

L'action de  sur  envoie un sous-groupe d'indice fini  sur . Autrement dit, en termes de dessins d'enfants : pour tout corps de nombre, on peut définir un dessin d'enfant, et l'ensemble des dessins est équipé d'une action de Galois de manière naturelle.

Grothendieck décrit plusieurs pistes pour étudier le groupe de Galois absolu de manière géométrique :
 essayer de caractériser  comme un groupe d'automorphismes de groupes fondamentaux algébriques d'espaces de modules respectant des propriétés « de type Galois » ;
 expliquer l'action de  sur ces groupes comme une espèce de « jeu de lego » ;
 comprendre que les groupes d'automorphismes de groupes fondamentaux algébriques d'espaces de modules de dimension inférieure à deux « doivent » agir sur tous les groupes fondamentaux des espaces de modules de dimension supérieure.

La plupart des résultats en théorie de Grothendieck-Teichmüller concerne les mapping class groups, on démontre notamment explicitement que l'action du groupe de Galois est locale sur les .

Les groupes de Grothendieck-Teichmüller 

Vladimir Drinfeld introduit en 1991 le  qui se rapporte au groupe de Galois absolu, réalisant ainsi le projet de Grothendieck.

En utilisant la notation  pour l'image de  par un homomorphisme de groupes profinis , on pose :
  un automorphisme de  et  ;
  un automorphisme de  et  ;
  un automorphisme de  et  ;
où  et  son complété profini.

On définit  comme l'ensemble des paires  telles que  s'étendent en un automorphisme de  avec
  ;
 , où .

Le groupe de Grothendieck-Teichmüller profini est alors le sous-ensemble  de  qui vérifie la relation pentagonale

dans  avec .
Il s'avère que  de  sont effectivement des groupes profinis.

Drinfeld a notamment montré que  agit sur tous les groupes de tresses d'Artin. On a :
.
La conjecture centrale est qu'il s'agit en fait d'un isomorphisme :
.

Yves André a montré qu'il y a une construction p-adique de  qui rend compte des groupes de Galois p-adiques<ref>André, Yves. On a geometric description of  and a p-adic avatar of .' Duke Mathematical Journal 119.1 (2003): 1-39.</ref> :

où  est le sous-groupe de  constitué des automorphismes qui fixent le groupe fondamental p-adique.

Yasutaka Ihara contribue à l'étude de ce groupe et introduit l'algèbre de Lie correspondante notée , dont la définition est simplifiée par Hidekazu Furusho en observant qu'elle est redondante. Cette algèbre de Lie est davantage liée à la théorie des déformations des quasi-algèbres de Hopf tressées, et correspond à un groupe de Grothendieck-Teichmüller dit k-pro-unipotent.

 Fonction zêta multiple 

Les valeurs de la fonction zêta multiple, pour des arguments positifs, forment une ℚ-algèbre lorsque dotés de deux opérations de produit croisé (« shuffle product » et « stuffle product ») et du produit. On a par exemple :

.
On peut déduire de nombreuses relations à partir de ces deux opérations, et la question est de savoir si on peut identifier toutes les relations de la sorte.

On définit à partir de cette algèbre l'algèbre de Lie  (« double shuffle »). La conjecture est que l'on a un isomorphisme

entre l'algèbre de Lie de Grothendieck-Teichmüller et l'algèbre de Lie double shuffle, engendrant toutes les relations algébriques entre les valeurs de la fonction zêta multiple.

Furusho a montré en 2008 que l'application  donne l'inclusion :
.

Récemment, la théorie des motifs a permis, en particulier dans l'étude des motifs de Tate mixtes, à Don Zagier (et indépendamment Goncharov, Terasoma) d'établir la meilleure borne connue sur la dimension de l'algèbre des nombres multizêtas.

 Opérades et quantification 

Maxime Kontsevitch a proposé une  des variétés de Poisson. Une autre quantification proposée par Tamarkin a amené Kontsevitch à formuler la conjecture que le groupe de Grothendieck-Teichmüller agit sur de telles quantifications, reliant la théorie des motifs aux théories quantiques des champs.

 Notes et références 

 Voir aussi 
 Sources et bibliographie 
 Alexander Grothendieck, Esquisse d'un programme, 1984
 Alexander Grothendieck, La longue marche in à travers la théorie de Galois'', 1981
 
 
 Leila Schneps, An introduction to Grothendieck-Teichmüller theory, cours au Massachusetts Institute of Technology, 2012.
 Leila Schneps, The Grothendieck-Teichmueller group GT: a survey, 1997
 H. Nakamura, Galois rigidity of pure sphere braid groups and profinite calculus, J. Math. Sci. Univ. Tokyo 1 (1994), 71-136
 Benoit Fresse, Operads and Grothendieck-Teichmüller groups, 2012

Article connexe 
 

Théorie de Galois
Alexandre Grothendieck