Extensions non ramifiées de corps de nombres quadratiques avec groupe de Galois $2.A_n$

Informations fondamentales

• ID de l'article: 2505.10100
• Titre: Unramified extensions of quadratic number fields with Galois group $2.A_n$
• Auteur: Joachim König (Korea National University of Education)
• Classification: math.NT (Théorie des nombres)
• Date de publication: 15 octobre 2025 (arXiv v2)
• Lien de l'article: https://arxiv.org/abs/2505.10100

Résumé

Cet article réalise une infinité de groupes de recouvrement $2.A_n$ (où $A_n$ est le groupe alterné) comme groupes de Galois d'extensions de Galois non ramifiées partout sur une infinité de corps de nombres quadratiques. Après des travaux antérieurs étudiant des cas particuliers ou prouvant des résultats conditionnels, ce sont les premières réalisations inconditionnelles d'une infinité de ces groupes.

Contexte et motivation de la recherche

Problème fondamental

Cette recherche aborde une question ouverte en théorie inverse de Galois : tout groupe fini peut-il apparaître comme groupe de Galois d'une extension de Galois non ramifiée d'un corps de nombres quadratique ? Ici, « extension non ramifiée » inclut les places archimédiennes.

Importance du problème

1. Signification théorique: C'est l'une des questions centrales de la théorie inverse de Galois, impliquant les connexions profondes entre les propriétés arithmétiques des corps de nombres et les structures de groupe
2. Heuristique de Cohen-Lenstra: L'heuristique de Cohen-Lenstra et ses généralisations non-abéliennes fournissent des prédictions asymptotiques pour le comptage de tels corps de nombres quadratiques
3. Défis techniques: Même pour l'existence d'une infinité de tels corps de nombres quadratiques pour un groupe $G$ donné, des réponses n'ont été obtenues que pour des groupes très particuliers (comme les groupes alternés $A_n$)

Limitations des approches existantes

1. Les travaux antérieurs 4 ont fourni une preuve erronée pour le cas $n=7$ (basée sur une mauvaise interprétation de la structure des groupes de recouvrement de $S_7$)
2. Le travail 3 a prouvé le cas pour tous les $n$, mais dépend de la conjecture de Bunyakovsky largement ouverte
3. Absence de réalisations non ramifiées inconditionnelles d'une infinité de groupes $2.A_n$

Contributions principales

1. Première preuve inconditionnelle: Réalisation de $2.A_n$ comme groupe de Galois d'extensions non ramifiées sur des corps de nombres quadratiques pour une infinité de $n$ satisfaisant des conditions spécifiques
2. Innovation méthodologique: Combinaison de la théorie des problèmes d'immersion avec les méthodes des corps de fonctions, réalisant l'objectif par contrôle du comportement de ramification
3. Construction explicite: Fourniture de familles polynomiales concrètes dont les corps de décomposition possèdent les propriétés requises
4. Traitement des cas particuliers: Fourniture d'une méthode alternative pour le cas $n=6$, réalisant la non-ramification de $\text{SL}_2(\mathbb{F}_9) \cong 2.A_6$

Détails de la méthode

Théorème principal

Théorème 1.1: Soit $n \geq 4$ satisfaisant l'une des conditions suivantes:

• $n \equiv 3 \pmod{8}$ et $n$ est premier
• $n \equiv 2 \pmod{8}$ et $n-1$ est premier ou un carré parfait

Alors il existe une infinité de corps de nombres quadratiques possédant une extension de Galois non ramifiée avec groupe de Galois $2.A_n$ (le groupe de recouvrement double de $A_n$).

Cœur technique: Méthode des problèmes d'immersion

Proposition 2.1 (Problème d'immersion central)

Soit $K/\mathbb{Q}$ une extension de Galois avec groupe de Galois $S_n$, et $F/\mathbb{Q}$ l'unique sous-extension quadratique de $K/\mathbb{Q}$. Si pour chaque nombre premier $p$ ramifié dans $K/\mathbb{Q}$, l'une des conditions suivantes est satisfaite:

i) Le groupe d'inertie est engendré par une transposition $(a,b) \in S_n$, et le groupe de décomposition est contenu dans $\langle(a,b)\rangle \times \text{Alt}(\{1,\ldots,n\} \setminus \{a,b\})$

ii) Le groupe d'inertie est engendré par une involution avec $4j+1$ transpositions disjointes, et chaque involution du groupe de décomposition a $d \equiv 0,1 \pmod{4}$ transpositions disjointes

alors $K/\mathbb{Q}$ s'immerge dans une extension $2.S_n^+$-extension $L/\mathbb{Q}$ telle que $L/F$ est une extension $2.A_n$ non ramifiée en tous les places non-archimédiennes.

Méthode de construction par corps de fonctions

Théorème 2.2 (Cas impair)

Pour $n \geq 7$, $n \equiv 3 \pmod{4}$, considérons le polynôme: $f(X) = f_t(X) = X^{n-1}(X-1) + n^{\frac{n-1}{2}} \cdot \left(\frac{n-1}{2}\right)^{-n} \cdot t^{n-1}$

Pour une infinité de $t \in \mathbb{Z}$ premiers à $n(n-1)$, le corps de décomposition $K$ de $f$ est une extension $S_n$ de $\mathbb{Q}$ possédant les propriétés locales requises.

Théorème 2.3 (Cas pair)

Pour $n \geq 6$, $n \equiv 2 \pmod{4}$, considérons le polynôme: $f(X) = f_t(X) = X^{n-1}(X-1) + (n-1)^{-\frac{n}{2}}\left(\frac{n}{2}\right)^{n-1}t^{-n}$

De manière similaire, on obtient une extension $S_n$ possédant les propriétés requises.

Innovations techniques clés

1. Contrôle au niveau géométrique: Construction d'extensions avec comportement de ramification spécifique sur le corps de fonctions $\mathbb{Q}(t)$
2. Application du théorème de spécialisation: Utilisation du théorème de spécialisation d'inertie pour contrôler le comportement local des extensions arithmétiques
3. Choix du sous-corps quadratique: Sélection de corps quadratiques imaginaires pour assurer la non-ramification aux places archimédiennes

Configuration expérimentale et vérification

Cadre de vérification théorique

Cet article est principalement un travail de mathématiques théoriques, la vérification s'effectuant par des preuves mathématiques rigoureuses:

1. Principe local-global: Utilisation des principes local-global connus pour vérifier la résolubilité des problèmes d'immersion
2. Analyse du polygone de Newton: Analyse du comportement local des polynômes en chaque place première
3. Théorème d'irréductibilité de Hilbert: Assurance que une infinité de valeurs de paramètres conservent le groupe de Galois requis

Cas concret: Vérification numérique pour $n=6$

Pour le cas $n=6$, l'article fournit la fonction rationnelle concrète: $f(X) = \frac{X^6+53X^4-5940X^2+62208}{X(3X^4-172X^2+1600)}$

Par vérification numérique:

• Cette fonction possède 10 valeurs critiques rationnelles
• Le discriminant correspondant possède les propriétés requises
• Satisfait toutes les conditions de la Proposition 4.2

Résultats expérimentaux

Réalisations principales

1. Preuve du Théorème 1.1: Réalisation de $2.A_n$ pour une infinité de $n$ satisfaisant les conditions
2. Instances concrètes:
   • Tous les $n = (2k+1)^2 + 1$, $k \in \mathbb{N}$
   • Une densité positive de nombres premiers $n$ (par le théorème de Dirichlet sur les progressions arithmétiques)

Percées dans les cas particuliers

Théorème 4.1: Il existe une infinité de corps de nombres quadratiques (incluant une infinité de corps quadratiques réels) possédant une extension de Galois non ramifiée avec groupe de Galois $\text{SL}_2(\mathbb{F}_9)$.

C'est la première réalisation de telles extensions sur des corps quadratiques réels.

Vérification technique

1. Calcul des discriminants polynomiaux: Vérification des propriétés de discriminant pour les familles polynomiales spécifiques
2. Analyse du comportement local: Confirmation de la structure des groupes d'inertie et de décomposition en chaque place
3. Application du théorème de Green-Tao: Utilisation du théorème de Green-Tao sur les valeurs premières de formes linéaires pour assurer une infinité de réalisations

Travaux connexes

Développement historique

1. Uchida (1970): Preuve de la réalisation non ramifiée des groupes alternés $A_n$
2. Travaux antérieurs 4,6: Étude des cas particuliers $n=5,7$ mais avec des problèmes techniques
3. Résultats conditionnels 3: Résultats généraux basés sur la conjecture de Bunyakovsky

Comparaison des méthodes techniques

1. Méthode des problèmes d'immersion: Approche par problèmes d'immersion centrale utilisée ici vs méthodes de construction traditionnelles
2. Techniques des corps de fonctions: Utilisation de la spécialisation d'extensions de corps de fonctions vs construction arithmétique directe
3. Méthodes de calcul: Vérification numérique explicite pour les petits cas

Conclusion et discussion

Conclusions principales

1. Première réalisation inconditionnelle d'une infinité de groupes de recouvrement $2.A_n$ comme groupes de Galois d'extensions non ramifiées sur des corps de nombres quadratiques
2. Fourniture d'une méthode de construction systématique combinant la théorie des problèmes d'immersion et les techniques des corps de fonctions
3. Résolution d'une question ouverte importante en théorie inverse de Galois

Limitations

1. Restrictions de conditions: Le Théorème 1.1 requiert que $n$ satisfasse des conditions de congruence spécifiques et des conditions de primalité/carré
2. Obstacles techniques: Pour $n \equiv 2,3 \pmod{8}$ généraux, les méthodes actuelles peuvent ne pas s'appliquer
3. Complexité computationnelle: Les méthodes alternatives (comme le cas $n=6$) nécessitent une vérification numérique substantielle

Directions futures

1. Généralisation: Recherche de méthodes unifiées pour tous les $n \equiv 2,3 \pmod{8}$
2. Autres familles de groupes: Extension de la méthode à d'autres familles de groupes finis
3. Effectivité: Fourniture d'algorithmes plus efficaces pour construire des corps de nombres quadratiques concrets

Évaluation approfondie

Points forts

1. Percée théorique: Résolution d'une question longtemps ouverte, première preuve inconditionnelle
2. Innovation méthodologique: Combinaison ingénieuse de la théorie des problèmes d'immersion et des méthodes des corps de fonctions
3. Rigueur technique: Preuves rigoureuses couvrant une analyse locale complexe
4. Valeur pratique: Fourniture de méthodes de construction concrètes et de vérification numérique

Insuffisances

1. Portée d'application limitée: Applicable uniquement aux $n$ satisfaisant des conditions spécifiques
2. Intensité computationnelle: Les méthodes alternatives nécessitent une vérification numérique substantielle
3. Difficultés de généralisation: La généralisation de la méthode fait face à des défis techniques

Impact

1. Contribution au domaine: Fourniture de nouvelles techniques et perspectives à la théorie inverse de Galois
2. Valeur méthodologique: La combinaison de problèmes d'immersion et de méthodes des corps de fonctions peut s'appliquer à d'autres problèmes
3. Recherches ultérieures: Fourniture de nouvelles idées et outils pour la recherche sur les problèmes connexes

Scénarios d'application

Cette méthode s'applique particulièrement à:

1. L'étude des problèmes de réalisation arithmétique de groupes finis
2. La construction d'extensions de corps de nombres avec groupes de Galois spécifiques
3. L'analyse des propriétés de ramification des extensions de corps de nombres

Références

L'article cite 15 références importantes couvrant les domaines fondamentaux de la théorie inverse de Galois, des problèmes d'immersion, des méthodes des corps de fonctions et d'autres travaux classiques et récents, fournissant une base théorique solide pour cette recherche.