Dessin d'enfant (mathématiques)

En mathématiques, les dessins d'enfants, tels qu'ils ont été introduits par Alexandre Grothendieck dans son Esquisse d'un programme, sont des objets combinatoires permettant d'énumérer de manière simple et élégante les classes d'isomorphisme de revêtements étales de la droite projective privée de trois points. Le groupe de Galois absolu ${\displaystyle G_{\mathbb {Q} }={\mbox{Gal}}({\bar {\mathbb {Q} }}/\mathbb {Q} )}$ opérant de manière naturelle sur de tels revêtements, le but de la théorie des dessins d'enfants est de traduire cette action en termes combinatoires.

Combinatoire

Un dessin d'enfant est un graphe abstrait connexe muni de deux structures additionnelles :

• Une structure bipartite sur ses sommets, c'est à dire une distinction entre sommets blancs et noirs de telle sorte que les extrémités d'une arête n'aient jamais la même couleur ;
• Un ordre cyclique des arêtes concourantes en un même sommet.

La première de ces deux conditions implique, par exemple, que le graphe ne possède pas de boucle (arête ayant les deux extrémités qui coïncident). L'ordre cyclique est crucial dans la définition ; en guise d'exemple, les deux derniers dessins sur la droite de la figure 1 sont distincts tout en correspondant au même graphe abstrait.

Le degré d'un dessin d'enfant est le nombre d'arêtes qui le composent. La valence d'un sommet est le nombre d'arêtes auxquelles il appartient. Le degré est donc égal à la somme des valences des sommets blancs (ou la somme des valences des sommets noirs). Il existe un nombre fini de dessins d'enfants de degré fixé.

Figure 1. Les sept dessins d'enfants de degré 3.

Topologie

Figure 2. Les générateurs canoniques du groupe fondamental de la sphère privée de trois points.

Soit ${\displaystyle S}$ la sphère privée de trois points ${\displaystyle P_{1},P_{2}}$ et ${\displaystyle P_{3}}$. Ayant fixé un point base ${\displaystyle b}$ de ${\displaystyle S}$, le groupe fondamental topologique ${\displaystyle \pi _{1}^{top}=\pi _{1}^{top}(S,b)}$ est libre, engendré par deux éléments. De manière plus précise, les lacets simples ${\displaystyle x}$ et ${\displaystyle y}$ autour de ${\displaystyle P_{1}}$ et ${\displaystyle P_{2}}$ constituent des générateurs canoniques de ${\displaystyle \pi _{1}^{top}}$, le lacet ${\displaystyle z}$ autour de ${\displaystyle P_{3}}$ étant obtenu par la relation ${\displaystyle xyz=1}$. On rappelle qu'il existe une bijection entre l'ensemble des classes d'isomorphie de revêtements topologiques (finis) de ${\displaystyle S}$ et les classes de conjugaison de sous-groupes d'indice fini de ${\displaystyle \pi _{1}^{top}}$.

Figure 3. Action de monodromie sur les arêtes.

Étant donné un dessin d'enfant, il est maintenant possible de définir une action à droite de ${\displaystyle \pi _{1}^{top}}$ sur l'ensemble de ses arêtes : le générateur ${\displaystyle x}$ (resp. ${\displaystyle y}$) envoie une arête ${\displaystyle e}$ sur la première arête obtenue en tournant en sens anti-horaire autour du sommet noir (resp. blanc) de ${\displaystyle e}$. Cette action, décrite dans la figure 3, est appelée action de monodromie; elle est transitive, car le graphe sous-jacent au dessin d'enfant est supposé connexe. En particulier, les stabilisateurs des arêtes sont des sous-groupes conjugués de ${\displaystyle \pi _{1}^{top}}$ d'indice égal au degré du dessin d'enfant. On associe donc à un dessin d'enfant une classe de conjugaison de sous-groupes de ${\displaystyle \pi _{1}^{top}}$. Réciproquement, étant donné une telle classe de conjugaison ${\displaystyle C}$, il est possible de lui associer un dessin d'enfant: ses arêtes sont par définition les éléments de l'ensemble ${\displaystyle \Gamma =\pi _{1}^{top}/H}$ des classes à droite d'un représentant ${\displaystyle H}$ de ${\displaystyle C}$. La multiplication à droite par un élément de ${\displaystyle \pi _{1}^{top}}$ définit une action sur ${\displaystyle \Gamma }$ et deux arêtes ont un sommet noir (resp. blanc) en commun si et seulement si elles appartiennent à la même orbite sous l'action du sous-groupe de ${\displaystyle \pi _{1}^{top}}$ engendré par ${\displaystyle x}$ (resp. par ${\displaystyle y}$). On vérifie facilement que ces constructions sont inverses l'une de l'autre. En résumé, on obtient la

Proposition/construction. Il existe une bijection entre l'ensemble des dessins d'enfants et l'ensemble des classes d'isomorphie de revêtements topologiques finis de la sphère privée de trois points.

Le paragraphe suivant propose une description plus visuelle et intuitive de cette correspondance.

Surfaces de Riemann

Il est possible de munir la surface topologique ${\displaystyle S}$ introduite dans le paragraphe précédent d'une structure de surface de Riemann, unique à isomorphisme près : elle est en effet isomorphe à la sphère de Riemann privée de trois points, que l'on peut supposer être ${\displaystyle 0,1}$ et ${\displaystyle \infty }$. Il s'ensuit que si ${\displaystyle f:Y\to S}$ est un revêtement topologique, il existe une structure de surface de Riemann sur ${\displaystyle Y}$, unique à isomorphisme près, telle que ${\displaystyle f}$ induise un revêtement de surfaces de Riemann. La surface de Riemann ${\displaystyle Y}$ possède une unique compactification ${\displaystyle X}$, et le morphisme ${\displaystyle f}$ se prolonge de manière unique en un revêtement de la sphère de Riemann ${\displaystyle {\hat {\mathbb {C} }}}$ uniquement ramifié au-dessus des points ${\displaystyle 0,1}$ et ${\displaystyle \infty }$. Un tel revêtement est appelé application de Belyi et le couple ${\displaystyle (X,f)}$ est une paire de Belyi.

Soit maintenant ${\displaystyle f:X\to {\hat {\mathbb {C} }}}$ une application de Belyi. Le dessin d'enfant correspondant peut se réaliser concrètement en considérant la préimage ${\displaystyle \Gamma \subset X}$ via ${\displaystyle f}$ de l'intervalle unité ${\displaystyle [0,1]\subset {\hat {\mathbb {C} }}}$. Tout d'abord, ${\displaystyle \Gamma }$ est un complexe simplicial de dimension ${\displaystyle 1}$ i.e. un graphe. L'ordre cyclique sur les arêtes concourantes en un même sommet est induit par l'orientation de la surface de Riemann ${\displaystyle X}$. Les sommets noirs (resp. blancs) sont les éléments de la fibre ${\displaystyle f^{-1}(0)}$ (resp. ${\displaystyle f^{-1}(1)}$). Leur valence n'est autre que l'indice de ramification du point correspondant. Le complémentaire de ${\displaystyle \Gamma }$ est union disjointe de domaines, isomorphes à des disques (en tant que surfaces de Riemann) ; ce sont les faces du dessin d'enfant. Dans le contexte des surfaces de Riemann, la proposition de la section précédente peut alors se reformuler de la manière suivante :

Proposition. Il existe une bijection entre l'ensemble des dessins d'enfants et l'ensemble des classes d'isomorphie d'applications de Belyi.

Courbes algébriques

Figure 4. Les équations des dessins d'enfants de degré 3.

Le théorème d'existence de Riemann, et plus généralement les théorèmes d'algébrisation GAGA affirment que tout revêtement fini de la sphère de Riemann se réalise par analytification d'un revêtement de la droite projective. En particulier si ${\displaystyle (X,f)}$ est une paire de Belyi (cf. le paragraphe précédent), on peut supposer que ${\displaystyle X}$ est une courbe algébrique (projective, lisse) définie sur ${\displaystyle {\overline {\mathbb {Q} }}}$ (cf Théorème de Belyi et action galoisienne). On peut alors parler des équations d'un dessin d'enfant : ce sont celles qui définissent la courbe ${\displaystyle X}$ d'une part, et celles qui définissent le revêtement ${\displaystyle f}$ de l'autre. Il est important de remarquer que ces équations ne sont pas uniques. Il est assez facile d'obtenir les équations des dessins d'enfant ayant un degré relativement petit, mais le cas général se révèle bien plus difficile. La figure 4 fournit la liste des équations des dessins d'enfants de degré ${\displaystyle 3}$.

Action galoisienne

Il est naturel de se demander quelles courbes se réalisent comme revêtements de la droite projective non ramifiés en dehors de trois points. La réponse est fournie par le célèbre théorème de Belyi, qui peut être considéré comme une uniformisation arithmetique pour les courbes algébriques :

Théorème (Belyi). Soit ${\displaystyle X}$ une courbe projective lisse définie sur ${\displaystyle \mathbb {C} }$. Les conditions suivantes sont équivalentes:

- Il existe une application de Belyi ${\displaystyle X\to \mathbb {P} _{\mathbb {C} }^{1}}$,

- La courbe ${\displaystyle X}$ peut être définie sur ${\displaystyle {\bar {\mathbb {Q} }}}$ (i.e. il existe une courbe ${\displaystyle Y}$ définie sur ${\displaystyle {\bar {\mathbb {Q} }}}$ telle que la courbe ${\displaystyle Y_{\mathbb {C} }}$ obtenue par extension des scalaires de ${\displaystyle {\bar {\mathbb {Q} }}}$ à ${\displaystyle \mathbb {C} }$ soit isomorphe à ${\displaystyle X}$).

Ce résultat affirme que tout dessin d'enfant possède des équations dont les coefficients sont des nombres algébriques. De plus, on peut montrer que si deux applications de Belyi définies sur ${\displaystyle {\bar {\mathbb {Q} }}}$ sont isomorphes sur ${\displaystyle \mathbb {C} }$, alors elles le sont déjà sur ${\displaystyle {\bar {\mathbb {Q} }}}$. Il est alors possible de définir une action du groupe de Galois absolu sur les dessins d'enfants : fixons une application de Belyi ${\displaystyle f:X\to \mathbb {P} ^{1}}$ définie sur ${\displaystyle {\bar {\mathbb {Q} }}}$ associée à un dessin d'enfant ${\displaystyle D}$. Pour tout élément ${\displaystyle \sigma \in {\mbox{Gal}}({\bar {\mathbb {Q} }}/\mathbb {Q} )}$, le revêtement ${\displaystyle ^{\sigma }\!f:\,^{\sigma }\!X\to \mathbb {P} ^{1}}$ obtenu en faisant agir ${\displaystyle \sigma }$ sur les coefficients définissant ${\displaystyle f}$ est encore une application de Belyi. Le dessin d'enfant correspondant, noté ${\displaystyle ^{\sigma }D}$, est appelé conjugué galoisien de ${\displaystyle D}$. L'un des objectifs de la théorie des dessins d'enfants de Grothendieck est de décrire cette action en termes combinatoires.

Notes et références

Voir aussi

Bibliographie

• Belyĭ, G. V., Galois extensions of a maximal cyclotomic field. Izv. Akad. Nauk SSSR Ser. Mat. 43 (1979), no. 2, 267–276.
• Grothendieck, A., Esquisse d'un programme. London Math. Soc. Lecture Note Ser., 242, Geometric Galois actions, 1, 5–48, Cambridge Univ. Press, Cambridge, 1997.
• Serre, J.-P., Géométrie algébrique et géométrie analytique. Ann. Inst. Fourier, Grenoble 6 (1955--1956), 1–42.

• Portail des mathématiques
• Portail de la géométrie