Counting Polynomials via Galois Actions on Root Subsets

Résumé Technique : Décompte des Polynômes via les Actions de Galois sur les Sous-Ensembles de Racines

1. Problématique et Contexte

Ce travail s'inscrit dans le domaine de la théorie de Galois probabiliste, qui étudie la distribution des groupes de Galois associés à des objets algébriques aléatoires. Le modèle central considéré est le « grand modèle de boîte » (large box model), où l'on dénombre les polynômes unitaires à coefficients entiers de degré fixé $n$ et de hauteur bornée par $H$.

Soit $B_n(H)$ l'ensemble des polynômes unitaires $f \in \mathbb{Z}[x]$ de degré $n$ avec une hauteur $H(f) \le H$. Pour un polynôme séparable $f$, on associe le groupe de Galois $G_f$ agissant sur l'ensemble de ses racines $\Omega_f$. Le problème fondamental est d'estimer la cardinalité de l'ensemble :
$$B(H; G, \Omega) := \{f \in B_{|\Omega|}(H) : (G_f, \Omega_f) \cong (G, \Omega)\}$$
où $(G, \Omega)$ est un groupe de permutation donné.

Bien que le théorème d'irréductibilité de Hilbert implique que presque tous les polynômes ont pour groupe de Galois le groupe symétrique $S_n$, l'objectif de ce papier est d'obtenir des bornes supérieures plus fines pour le nombre de polynômes dont le groupe de Galois est isomorphe à des sous-groupes spécifiques (non triviaux) agissant sur des ensembles de racines ou de sous-ensembles de racines.

2. Méthodologie

L'approche de l'auteur s'inspire de la stratégie développée dans des travaux antérieurs (notamment [11]), mais introduit une réduction structurelle novatrice basée sur l'action du groupe sur les sous-ensembles. La méthode se décompose en trois étapes clés :

1. Réduction par les sous-ensembles stables :
   Pour un groupe de permutation $(G, \Omega)$, l'auteur construit une famille $\Lambda$ de sous-ensembles de $\Omega$ qui est stable sous l'action de $G$ sur l'ensemble des parties $\mathcal{P}(\Omega)$. L'objectif est de trouver une famille $\Lambda$ telle que l'action de $G$ sur $\Lambda$ soit fidèle.

   • Si $\Lambda$ est décomposé en orbites $\Lambda^{(1)}, \dots, \Lambda^{(s)}$, on choisit un représentant $A_\ell \in \Lambda^{(\ell)}$.
   • Le corps de décomposition $K_f$ de $f$ est alors le composé des corps fixes $E_\ell = K_f^{\text{Stab}_G(A_\ell)}$.

2. Lemme de factorisation des corps de décomposition (Proposition 3.3) :
   L'auteur démontre que pour tout $f \in B(H; G, \Omega)$, le corps de décomposition $K_f$ est engendré par les corps de décomposition de polynômes auxiliaires $q_\ell$. Ces polynômes $q_\ell$ correspondent à l'action de $G$ sur les orbites $\Lambda^{(\ell)}$.

   • La hauteur de ces polynômes $q_\ell$ est contrôlée : si $f$ a une hauteur $H$, alors $q_\ell$ a une hauteur de l'ordre de $H^{\nu_\ell}$, où $\nu_\ell$ est un exposant dépendant des tailles des orbites et des stabilisateurs.

3. Comptage itératif (Proposition 3.4) :
   En combinant le nombre de corps de décomposition possibles avec le nombre de polynômes ayant un corps de décomposition fixé (qui est borné par $H^{1+\delta}$), l'auteur réduit le problème de compter $B(H; G, \Omega)$ à la somme des comptages sur les actions plus simples $(G, \Lambda^{(\ell)})$.

3. Résultats Principaux

Le papier établit de nouvelles bornes supérieures pour plusieurs familles de groupes de permutation, améliorant significativement les résultats précédents de Bhargava [4].

A. Actions de Produit Wreath Primitive (Théorème 1.1)
Pour les groupes transitifs $G \le S_m \wr S_r$ agissant sur $\Omega_P(m, r, k) = \binom{[m]}{k}^r$ (action primitive non élémentaire) :

• Ancienne borne (Bhargava) : $O(H^{c\sqrt{n}(\log n)^2})$.
• Nouvelle borne : $O(H^{r(\binom{m}{k} + r - 1) + 1 + \epsilon})$.
• Amélioration : Pour $r > 1$, l'exposant est nettement plus petit, passant d'une dépendance en $\sqrt{n}$ à une dépendance linéaire en $n^{1/r}$ (où $n = |\Omega|$).

B. Actions $k$-homogènes (Théorème 1.2)
Pour les groupes $G \le S_m$ agissant transitivement sur les $k$-sous-ensembles de $[m]$ (avec $k \le m/2$) :

• Ancienne borne : $O(H^{c \binom{m}{k}^{1/2} (\log \binom{m}{k})^2})$.
• Nouvelle borne : $O(H^{mk + 1 + \epsilon})$.
• Signification : La borne est désormais linéaire en $m$ (le degré de la permutation de base) plutôt qu'en la racine carrée du nombre de sous-ensembles.

C. Actions $k$-transitives (Théorème 1.3)
Pour les groupes $G \le S_m$ agissant transitivement sur les $k$-uplets d'éléments distincts de $[m]$ :

• Ancienne borne (Bhargava) : $O(H^{(m)_k - 1})$, où $(m)_k$ est le coefficient factoriel.
• Nouvelle borne : $O(H^{m + 1 + \epsilon})$.
• Résultat clé : La borne ne dépend plus de la taille exponentielle de l'ensemble des $k$-uplets, mais uniquement du degré $m$ du groupe symétrique sous-jacent.

D. Actions Régulières (Théorème 1.4)
Pour tout groupe fini $G$ agissant régulièrement sur lui-même (représentation régulière) :

• Ancienne borne : $O(H^{3|G|/11 + 1.164})$.
• Nouvelle borne : $O(H^{\mu(G) + 1 + \epsilon})$, où $\mu(G)$ est le degré de permutation fidèle minimal de $G$.
• Impact : Puisque $\mu(G)$ est souvent bien inférieur à $|G|$ (et même inférieur à $3|G|/11$ pour la plupart des groupes), cette borne est beaucoup plus précise.

4. Signification et Contributions

• Optimisation des exposants : L'article résout le problème de la croissance exponentielle des bornes en fonction de la taille de l'ensemble d'action $\Omega$. En exploitant la structure des sous-ensembles stables, l'auteur ramène le comptage à des actions sur des ensembles plus petits (souvent de taille $m$ au lieu de $\binom{m}{k}$ ou $|\Omega|$).
• Unification : La méthode est générique et s'applique à une large classe de groupes (produits en couronne, groupes $k$-homogènes, $k$-transitifs, réguliers), offrant un cadre unifié pour l'analyse de Galois probabiliste.
• Lien avec la théorie des groupes : Le résultat sur les actions régulières met en lumière l'importance du degré de permutation minimal $\mu(G)$ dans le contexte arithmétique, reliant des propriétés purement algébriques (théorie des groupes) à la distribution des polynômes entiers.

En conclusion, ce travail représente une avancée majeure dans la compréhension quantitative de la rareté des polynômes ayant des groupes de Galois spécifiques, en fournissant des bornes asymptotiques beaucoup plus serrées que celles disponibles précédemment.