IV.5 Les groupes de Mathieu

IV.5.1 Contexte

Les propriétés axiomatiques définissant un groupe fini sont élémentaires et pourtant la classification des objets vérifiant ces propriétés est vraisemblablement le théorème le plus touffu des mathématiques. On commence par considérer les sous-groupes distingués (ceux qui sont stables par conjugaison). Il reste à classifier les groupes sans sous-groupes distingués, qu'on appelle groupes simples. Ceux-ci sont les groupes cycliques d'ordre premier, les groupes alternés (de degré 5 ou plus), les groupes de Chevalley et groupes de Chevalley "twisted", le groupe de Tits et les 26 groupes sporadiques.

Les cinq groupes de Mathieu (M11 , M12 , M22 , M23 et M24) sont des groupes sporadiques. On peut en trouver des définitions comme groupes de permutations dans [45] et [12].

IV.5.2 Dessin correspondant à Aut(M22)  

J'ai calculé par ma méthode numérique le revêtement utilisé par Malle [29] pour réaliser Aut(M22) comme groupe de Galois sur Q(T). Ce calcul a été un peu plus difficile que les précédents car il y a de nombreuses étapes pour construire ce dessin. Il faut choisir soigneusement la façon dont on rajoute des points pour ne pas déséquilibrer la géométrie des étapes intermédiaires. Voir figures IV.10, IV.11, IV.12 et IV.13. Le temps de calcul est négligeable, puisque le dessin final (marqué avec une face à l'infini) est défini sur Q(sqrt -11).

  ...
Figure IV.5: Aut(M22) : aspect combinatoire du dessin.

On peut facilement vérifier sur la figure IV.5 que la monodromie (soo , s0 , s1) du revêtement est dans les classes 11A, 4C et 2B et engendre bien le groupe Aut(M22).
soo = (1,2,3,4,5,6,7,8,9,10,11)(12,13,14,15,16,17,18,19,20,21,22),
s0 = (1,9,3,2)(4,8,17,21)(5,20,19,6)(12,22,16,13)(7,18)(10,11)(14,15),
s1 = (3,8)(4,20)(6,18)(7,17)(9,11)(13,15)(16,21)(1)(2)(5)(10)(12)(14)(19)(22).

IV.5.3 Dessins correspondant à M24

``The group M24 is one of the most remarkable of all finite groups'' [13], en particulier parce qu'il intervient dans la structure des autres groupes sporadiques. On s'intéresse donc au calcul de dessins dont la monodromie engendre M24.

  ...
Figure IV.6: M24 : extraterrestre et dessin de Conder.

Le premier dessin (propre) de la figure IV.6, que Zvonkine a appelé extraterrestre, définit une extension de Q(T)(sqrt -7) de groupe de Galois M24. La monodromie est :
soo = (1,2,3)(4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24),
s0 = (1,7,5)(2,4,23)(3,22,8)(9,21,19)(10,18,12)(13,17,15),
s1 = (1,4)(2,22)(3,7)(5,6)(8,21)(9,18)(10,11)(12,17)(13,14)(15,16)(19,20)(23,24).

Conder [12] donne une définition de M24 qui correspond à un revêtement de genre 0 défini sur le corps de degré 5 de discriminant -2311323 et de polynôme générateur X5 - X4 - X2 - 4X + 4. Le dessin correspondant est le second de la figure IV.6.

IV.5.4 Revêtement correspondant à M24  

a. Rationalité

Matzat [33] a prouvé, à partir de calcul dus à F. Häfner, qu'il existe une extension régulière de Q(T) de groupe de Galois M24, ramifiée au dessus de quatre points. Il n'avait pas réussi à le calculer explicitement, ce que nous avons mené à bien (voir l'article [23]).

La preuve de l'existence d'un modèle rationnel de ce revêtement est compliquée, elle permet de savoir que le calcul explicite du revêtement peut effectivement aboutir à un modèle rationnel, mais elle n'est pas nécessaire pour mener ces calculs à terme.

Comme le revêtement correspondant à cette extension de Q(T) n'a pas de célibataire, nous obtiendrons d'abord un modèle sur Q(i). Nous en déduisons ensuite un modèle sur Q, le polynôme P ci-dessous, à coefficients dans Q(T) :

P(u) = (1+u2) B(u)2 + (T - A(u))2

avec A(u) = 115641803437317009004628044535281448962593335543045088145221615616u12 + 626355604609903799744911431879812361696225381618360944350772330496u11 + 857783185877096409511863319468234125688211122856849368609978318848u10 + 88080740861115132546504599272290397834597343353226396588729958400u9 - 2044360579432951434692976374444394700879262571672409913586424315904u8 - 5475143722890558821885980641854499068186361905255250703867300741120u7 - 7915098194760821823142546569353472116219954897777155569247687385088u6 - 8606261485891070160857017864300195449330895913416748672060967716864u5 - 6892242684910426245304385038953482144305957644307673212590062039792u4 - 4211432359386694117643177642371531969039977445473402080794314842304u3 - 1872082062997662285544516575637661132224190147802824412182076667540u2 - 535658851956460224909548877202498831723299104598077260690473552648u - 10539752687297944130116169432500844400960251281699137159101902851925/108
et
B(u) = 497930855073541362607491227688032103381849370443591345788311044096u10 + 2247466124279729012772791671105119975141086793312284796250730004480u9 + 4511506352550421307509247841822653344621269494040738994345402695680u8 + 6412425694206308627270788749164116952920226584905116935357763420160u7 + 6416753127617241617644191979736728938801492606944566101914795376640u6 + 4464975149990471124875637674124629993019905811395113462955040856064u5 + 2003277439178423819468870064822584402702435670423637216226474276864u4 + 138777346101247571424430364531859413923341606824997843710647542784u3 - 380956273497114446731514632739210828177910748030971539812432183456u2 - 281510287298644718070258765258190530609884596662730222193000312096u - 65579751162139732289229065103774858338759236102619183144664480716.

b. Éclatement de la singularité

Nous connaissons la monodromie (sa, sb, sc, sd) du revêtement. Nous en déduisons la monodromie (sa, st= sb sc, sd) d'un revêtement dégénéré, où les valeurs de ramification correspondant à b et c sont confondues.

  M24 dégénéré
Figure IV.7: M24 : f-1([0, t]) pour un revêtement dégénéré, avec flèches indiquant la direction d'éclatement des singularités

Lorsque nous ``éclatons'' la singularité en t, chaque point au dessus de la valeur de ramification t se sépare en plusieurs points de ramification au dessus de b ou c. Leur nombre dépend de leurs valences, et la direction de l'iclatement est une conséquence de la façon dont sont mélangées les orbites des permutations sb et sc.

  Éclatement
Figure IV.8: Éclatement des singularités.

c. Calcul de nombreuses solutions

Le paramètre (non rationnel) de la famille de Hurwitz le plus simple à manipuler est la position relative des quatre valeurs de ramification. Nous pourrions utiliser le birapport de ces valeurs, mais il est encore plus simple, et pas moins efficace, de fixer une de ces valeur à oo et de bouger (presque) indifféremment les trois autres.

Sachant que 144 (c'est ici la valeur de l iC) revêtements correspondent à chaque position des valeurs de ramification, nous faisons agir (progressivement) le groupe de tresses à quatre brins pour obtenir la description de tous ces revêtements. En pratique, nous fixons un des trois points mobile, nous faisons tourner les deux autres l'un autour de l'autre, puis nous changeons de point fixé.

d. Recherche d'un paramètre de la famille de revêtements  

La méthode décrite au paragraphe I.3.4.e. permet de trouver un paramètre rationnel d'une courbe. Mais, dans le cas qui nous intéresse, lorsque nous avons fixé 0 -> 0, la variété solution du système est de dimension 2. L'un des degrés de liberté correspond au paramètre de la famille de Hurwitz, l'autre à l'échelle du dessin.

Pour trouver le paramètre qui nous intéresse, nous supprimons l'influence du paramètre d'échelle en ne considérant que des fonctions x des variables du système qui soient invariantes par changement d'échelle.

Nous avons construit une fonction xP et une fonction xQ, fonctions symétriques des variables correspondant aux points de ramification d'ordre 2 (pour xP) ou 1 (pour xQ). Une relation polynomiale de degré 4 définit la courbe où vit le couple (xP , xQ). Nous trouvons un paramètre z de cette courbe.

Ensuite, nous avons choisi une fonction zP qui rompt la symétrie de la construction de xP. Nous trouvons une relation polynomiale entre z et zP qui, après désingularisation, donne un paramètre t. C'est un paramètre rationnel du revêtement.

Il suffit donc de donner une valeur rationnelle à t et de calculer le revêtement correspondant pour avoir un point rationnel de la famille, et donc une extension de Q(T).

  Revêtement final
Figure IV.9: M24 : le revêtement final

  M22 : 1..11
Figure IV.10: Aut(M22) : onze premières étapes.

  M22 : 12 x2
Figure IV.11: Aut(M22) : douzième étape avec angrandissement du centre.

  M22 : 13..16
Figure IV.12: Aut(M22) : treizième à seizième étapes.

  M22 : final
Figure IV.13: Aut(M22) : dessin final.