Diameter bounds for finite simple Lie algebras

Résumé technique : Bornes de diamètre pour les algèbres de Lie simples finies

Énoncé du problème
L'article traite du problème de la détermination du diamètre des algèbres de Lie simples finies sur les corps finis $\mathbb{F}_p$. Analogue à la conjecture de Babai pour les groupes simples finis, qui postule que le diamètre d'un groupe simple non abélien $G$ par rapport à n'importe quel ensemble générateur $A$ est borné par $O((\log |G|)^D)$ pour des constantes absolues $C, D$, ce travail étudie la « version linéaire » de la conjecture pour les algèbres de Lie. Plus précisément, il cherche à prouver que pour une algèbre de Lie simple non abélienne $\mathfrak{g}$ sur $\mathbb{F}_p$ et tout ensemble générateur $A$, le diamètre $\text{diam}(\mathfrak{g}, A)$ est borné par une fonction polylogarithmique de la taille de l'algèbre.

Un défi important dans ce domaine est que, contrairement aux groupes simples finis, les algèbres de Lie simples finies ne sont pas entièrement classifiées. De plus, la correspondance entre les groupes simples finis de type Lie et les algèbres de Lie simples finies sur $\mathbb{F}_p$ n'est pas globale en raison du mauvais comportement de la formule de Baker-Campbell-Hausdorff en caractéristique finie. L'article vise à établir ces bornes indépendamment d'une classification complète, en s'appuyant plutôt sur la propriété de simplicité.

Méthodologie
Les auteurs s'appuient sur et affinent les méthodes développées par Dona [Don23], en utilisant une stratégie en deux étapes pour prouver la génération rapide :

1. Théorème de produit dans les droites : Le mécanisme central implique l'analyse de la croissance de l'ensemble $A_k$ (éléments générés en $k$ étapes) le long des sous-espaces unidimensionnels (droites). Les auteurs définissent $\ell(X)$ comme le nombre maximal d'éléments d'un ensemble $X$ situés sur une seule droite dans $\mathfrak{g}$. Ils prouvent un « théorème de produit dans les droites » (Théorème 1.6), montrant que si $\ell(A_k)$ n'est pas déjà maximal (c'est-à-dire égal à $p$), alors $\ell(A_{2k+\dim \mathfrak{g}})$ croît de manière significative, satisfaisant spécifiquement $\ell(A_{2k+\dim \mathfrak{g}}) \geq \ell(A_k)^{5/4-\epsilon}$. Cette croissance repose sur le théorème somme-produit pour les corps finis [MS23].
2. Transport des droites vers l'algèbre entière : Une fois qu'une droite est entièrement couverte (c'est-à-dire $\ell(A_k) = p$), les auteurs démontrent que l'algèbre entière peut être générée en un nombre d'étapes supplémentaires proportionnel au carré de la dimension. Ceci est réalisé en construisant une base à l'aide de « tours » de crochets de Lie par rapport à un vecteur engendrant la droite couverte (Proposition 2.3 et Proposition 1.5).

Pour le cas spécifique des algèbres de Lie classiques avec des générateurs aléatoires, les auteurs emploient une stratégie de relèvement en caractéristique 0 :

• Objets de recouvrement : Ils construisent des algèbres de Lie de caractéristique 0 (spécifiquement des $\mathbb{Q}$-recouvrements de formes sur $\mathbb{F}_p$) qui servent de revêtements universels pour des familles d'algèbres de Lie sur $\mathbb{F}_p$.
• Croissance exponentielle en caractéristique 0 : Ils prouvent que ces anneaux de recouvrement contiennent des paires d'éléments qui présentent une croissance exponentielle (Lemme 3.6, Proposition 3.7).
• Projection et aléas : En projetant ces paires favorables de l'anneau de caractéristique 0 vers $\mathbb{F}_p$, ils montrent que leurs images engendrent un grand sous-ensemble de l'algèbre. En utilisant le lemme de Schwartz-Zippel, ils étendent ce résultat à des paires d'éléments génériques (aléatoires).
• Formes non scindées : Pour les formes non scindées (issues des symétries du diagramme de Dynkin), les auteurs utilisent la descente de Galois et le théorème de densité de Chebotarev pour construire une collection finie de corps de nombres. Cela permet de couvrir un ensemble de nombres premiers de densité arbitrairement proche de 1, garantissant l'existence de revêtements appropriés pour presque tous les nombres premiers.

Principales contributions et résultats

1. Borne de diamètre générale (Théorème 1.3) : Les auteurs prouvent que pour toute algèbre de Lie simple non abélienne $\mathfrak{g}$ sur $\mathbb{F}_p$ et tout ensemble générateur $A$, le diamètre est borné par :
   $$\text{diam}(\mathfrak{g}, A) \leq C(\log |\mathfrak{g}|)^{D+\epsilon}$$
   où $D = \log 2 / \log(5/4) \approx 3.11$. Ce résultat est établi sans supposer une classification des algèbres, en se fondant uniquement sur la simplicité. Lorsque $p$ est fixé, la borne s'améliore en $O_p((\log |\mathfrak{g}|)^2)$, rejoignant la version plus forte de la conjecture de Babai pour les groupes.

2. Génération aléatoire extrêmement rapide (Théorème 1.7) : Pour les algèbres de Lie classiques (formes scindées et non scindées), les auteurs établissent une borne beaucoup plus fine lorsque les générateurs sont choisis uniformément au hasard.

   • Formes scindées : Pour un type de Lie fixé, une paire d'éléments aléatoires génère l'algèbre avec un diamètre $O(\log |\mathfrak{g}|)$ avec une probabilité tendant vers 1 quand $p \to \infty$.
   • Formes non scindées : Une borne similaire de $O(\log |\mathfrak{g}|)$ s'applique pour un ensemble de nombres premiers de densité au moins $1-\epsilon$.

3. Raffinement des travaux de Dona : L'article améliore les résultats de Dona en fournissant des constantes explicites pour l'exposant $D$ et en étendant l'analyse aux formes non scindées et aux générateurs aléatoires, qui n'avaient pas été pleinement traités dans les travaux antérieurs.

Signification et affirmations
L'article affirme prouver pleinement la version linéaire de la conjecture de Babai avec des constantes explicites pour les algèbres de Lie simples finies. La signification réside dans :

• Indépendance vis-à-vis de la classification : La preuve générale contourne l'absence d'une classification complète des algèbres de Lie simples finies, en s'appuyant uniquement sur la propriété de simplicité.
• Constantes explicites : Contrairement aux conjectures asymptotiques, les auteurs fournissent un exposant $D$ explicite $D \approx 3.11$ et discutent de la manière dont des théorèmes somme-produit plus puissants pourraient abaisser cette valeur.
• Génération aléatoire : Le travail démontre que les algèbres de Lie classiques présentent une génération « extrêmement rapide » (linéaire par rapport au logarithme de la taille) pour des générateurs aléatoires, parallèlement aux résultats pour les groupes simples finis de type de Lie fixé.
• Pont méthodologique : L'utilisation de revêtements de caractéristique 0 et d'outils de la théorie des nombres (densité de Chebotarev) pour résoudre des problèmes d'algèbres de Lie en caractéristique finie représente une approche technique novatrice dans ce contexte spécifique.

Les auteurs notent que bien que leur méthode actuelle produise un exposant $D \approx 3.11$ (ou $D=2$ pour $p$ fixé), la véritable borne pourrait être $D=1$. Ils reconnaissent que leur stratégie, qui repose sur la Proposition 1.5, produit intrinsèquement une borne qui est au moins quadratique par rapport à la dimension $\dim \mathfrak{g}$, suggérant que $D=2$ est la limite naturelle de cette approche spécifique. Ils ne prétendent pas avoir prouvé $D=1$ mais le suggèrent comme une cible plausible pour des travaux futurs.