2025-11-12T18:37:10.266987

Octic Hilbert 2-class fields of real quadratic fields with discriminant 8p

Lemmermeyer

In this article we explain how to construct cyclic octic unramfied extensions of the real quadratic number field $k = {\mathbb Q}(\sqrt{2p}\,)$, where $p \equiv 1 \bmod 8$ is a prime number such that $h_2(k) \equiv 0 \bmod 8$. The construction only requires solving the diophantine equation $eu^2 = t^2 + 2ps^2$ in integers.

academic

Corps de classes de Hilbert octiques 2 de corps quadratiques réels de discriminant 8p

Informations fondamentales

ID de l'article: 2510.10295
Titre: Octic Hilbert 2-class fields of real quadratic fields with discriminant 8p
Auteur: Franz Lemmermeyer
Classification: math.NT (Théorie des nombres)
Date de publication: 11 octobre 2025 (soumission arXiv)
Lien de l'article: https://arxiv.org/abs/2510.10295

Résumé

Cet article explique comment construire des extensions cycliques octiques non-ramifiées du corps quadratique réel $k = \mathbb{Q}(\sqrt{2p})$ , où $p \equiv 1 \pmod{8}$ est un nombre premier satisfaisant $h_2(k) \equiv 0 \pmod{8}$ . Cette construction est réalisée par une modification appropriée de la méthode de la littérature 2 concernant $\mathbb{Q}(\sqrt{-p})$ , nécessitant uniquement la résolution d'une équation diophantienne sur les entiers $eu^2 = t^2 + 2ps^2$ .

Contexte et motivation de la recherche

Contexte du problème

Théorie des corps de classes de Hilbert: Cette recherche appartient au domaine de la théorie des corps de classes en théorie algébrique des nombres, se concentrant particulièrement sur la construction des corps de classes de Hilbert pour les corps quadratiques réels
Structure du groupe de classes des corps quadratiques: Pour les corps quadratiques réels de la forme $\mathbb{Q}(\sqrt{2p})$ , la structure du 2-groupe de classes est étroitement liée aux propriétés du nombre premier $p$
Existence d'extensions non-ramifiées: L'existence d'extensions cycliques octiques non-ramifiées est liée à la divisibilité par les puissances de 2 du nombre de classes

Motivation de la recherche

Complétude théorique: Compléter et perfectionner la théorie de construction des corps de classes de Hilbert pour les corps quadratiques réels
Méthodes de calcul: Fournir une méthode de construction explicite basée sur la résolution d'équations diophantiennes
Généralisation des résultats existants: Étendre les travaux de l'auteur sur les corps quadratiques imaginaires au cas réel

Problème central

Construire une extension cyclique octique non-ramifiée du corps quadratique réel $k = \mathbb{Q}(\sqrt{2p})$ satisfaisant des conditions spécifiques, où les conditions clés sont $p \equiv 1 \pmod{8}$ et le nombre de classes strict $h^+$ divisible par 8.

Contributions principales

Méthode de construction explicite: Fournit une méthode explicite pour construire les extensions cycliques octiques non-ramifiées de $\mathbb{Q}(\sqrt{2p})$
Résolution d'équations diophantiennes: Réduit le problème de construction à la résolution de l'équation diophantienne $eu^2 = t^2 + 2ps^2$
Conditions de discrimination: Donne les conditions de discrimination précises pour l'existence de l'extension octique
Exemples de calcul: Fournit de nombreux exemples de calculs numériques concrets et vérifications
Généralisation théorique: Généralise avec succès la théorie pertinente des corps quadratiques imaginaires au cas réel

Détails de la méthode

Définition de la tâche

Étant donné un nombre premier $p \equiv 1 \pmod{8}$ , construire une extension galoisienne cyclique octique $L/k$ du corps quadratique réel $k = \mathbb{Q}(\sqrt{2p})$ , telle que cette extension soit non-ramifiée en tous les points premiers finis.

Fondements théoriques

Structure du groupe de classes des corps quadratiques

Pour $k = \mathbb{Q}(\sqrt{2p})$ , selon la théorie des genres:

Lorsque $p \equiv 1 \pmod{4}$ , le corps de genre est $k_{gen} = \mathbb{Q}(\sqrt{2}, \sqrt{p})$
Le 2-groupe de classes est cyclique
Le nombre de classes est toujours pair

Existence d'extensions quartiques

Proposition 1: Soit $p \equiv 1 \pmod{8}$ un nombre premier, alors il existe des entiers $e, f > 0$ tels que:

$p = e^2 - 2f^2$
$e \equiv 3 \pmod{4}$ , $f \equiv 2 \pmod{4}$

Pour $\alpha = e + f\sqrt{2}$ , l'extension $K = k(\sqrt{\alpha})$ est une extension cyclique quartique non-ramifiée de $k$ .

Discrimination de la divisibilité du nombre de classes

Selon l'analyse de l'article, la divisibilité par les puissances de 2 du nombre de classes peut être discriminée par les conditions suivantes:

Propriété du nombre de classes	$N\varepsilon_{2p}$	Condition
$h \equiv 2 \pmod{4}$	$+1$	$e < 0$
$h \equiv 4 \pmod{8}$	$-1$	$e > 0, e \equiv 7 \pmod{8}$
$h \equiv 4 \pmod{8}$	$+1$	$e > 0, e \equiv 3 \pmod{8}$
$h \equiv 0 \pmod{8}$	$\pm 1$	$e > 0, e \equiv 3 \pmod{8}$

Construction de l'extension octique

Équation diophantienne centrale

La clé de la construction est la résolution de l'équation: $A^2 - \alpha B^2 = \alpha' C^2$

En posant:

$A = u\sqrt{2}$
$B = r + s\sqrt{2}$
$C = r - s\sqrt{2}$

le problème peut être transformé en la résolution de: $eu^2 = t^2 + 2ps^2$ où $t = er + 2fs$ .

Conditions de résolubilité

Lemme 5: Lorsque $e > 0$ , $e \equiv 3 \pmod{8}$ , $f \equiv 2 \pmod{4}$ , l'équation $eu^2 = t^2 + 2ps^2$ admet des solutions en entiers impairs.

La preuve procède par vérification de la résolubilité de l'équation modulo divers modules:

Modulo les réels: $e > 0$ garantit la résolubilité
Modulo 8: $e \equiv 3 \pmod{8}$ garantit la résolubilité
Modulo $p$ : nécessite la vérification de $(\frac{e}{p}) = +1$
Modulo $e$ : nécessite la vérification de $(\frac{-2p}{e}) = +1$

Points d'innovation technique

Cadre de construction unifié: Unifie la construction des extensions quartiques et octiques dans un même cadre théorique
Algorithme de résolution explicite: Fournit une méthode concrète de résolution de l'équation diophantienne
Mécanisme de sélection d'unités: Assure la non-ramification de l'extension par le choix d'unités appropriées $\varepsilon = 1 \pm \sqrt{2}$
Conditions de signe: Établit la correspondance entre les propriétés de l'extension et les signes des paramètres de représentation

Configuration expérimentale

Exemples de calcul

L'article fournit deux classes principales d'exemples de calcul:

Sources de données

Nombres premiers $p \equiv 1 \pmod{8}$ satisfaisant les conditions de nombre de classes correspondantes
Détermination des paramètres par la représentation $p = e^2 - 2f^2$
Obtention des paramètres de construction par la résolution de l'équation diophantienne

Méthodes de vérification

Calcul de la structure du groupe de classes pour vérifier les prédictions théoriques
Vérification de la non-ramification de l'extension
Vérification du caractère cyclique du groupe de Galois

Outils de calcul

L'article utilise les outils de calcul standard de la théorie algébrique des nombres pour:

Calculer le nombre de classes et la structure du groupe de classes
Vérifier le comportement de décomposition des idéaux premiers
Vérifier les propriétés de ramification de l'extension

Résultats expérimentaux

Extensions octiques totalement réelles

Pour le cas où le nombre de classes strict $h \equiv 0 \pmod{8}$ , l'article donne 6 instances concrètes:

$p$	$h$	$N\varepsilon_{2p}$	$e$	$f$	$(u,t,s,r)$
113	8	-1	11	2	(5,7,-1,1)
1201	8	-1	43	18	(37,193,-3,7)
1217	8	1	35	2	(19,101,-1,3)
1601	8	-1	67	38	(7,9,1,-1)
1777	8	-1	43	6	(47,251,3,5)
2113	8	-1	99	62	(7,25,1,-1)

Extensions octiques totalement complexes

Pour le cas où le nombre de classes $h \equiv 4 \pmod{8}$ et $N\varepsilon_{2p} = +1$ , l'article donne 9 instances:

$p$	Élément générateur $\mu$	Structure du groupe de classes
257	$[11\sqrt{2} + (3-\sqrt{2})\sqrt{35+22\sqrt{2}}](1-\sqrt{2})$	$[6] \to [3]$
337	$[5\sqrt{2} + (1-\sqrt{2})\sqrt{27+14\sqrt{2}}](1-\sqrt{2})$	$[2] \to [17,17]$
353	$[7\sqrt{2} + (1-\sqrt{2})\sqrt{19+2\sqrt{2}}](1-\sqrt{2})$	$[2] \to [17,17]$

Découvertes principales

Efficacité de la construction: Tous les cas prédits par la théorie peuvent être réalisés par la résolution d'équations diophantiennes
Variation du groupe de classes: La structure du groupe de classes après extension est conforme aux prédictions théoriques
Complexité de calcul: Pour les nombres premiers plus grands, la résolution de l'équation diophantienne peut nécessiter le traitement de problèmes de diviseurs communs

Travaux connexes

Contexte historique

Théorie classique des corps de classes: Fondations établies par Hilbert, Weber, Takagi et autres
Recherche sur les corps quadratiques: Théorie des formes binaires quadratiques de Gauss
Développements modernes: Outils modernes tels que la loi de réciprocité de Scholz

Travaux directement connexes

Travaux antérieurs de l'auteur:
- 1 Thèse de doctorat sur la construction des corps de classes
- 2 Construction des corps de classes de Hilbert 2 pour les corps quadratiques imaginaires
Théories connexes:
- Théorie de la décomposition C4
- Applications de la théorie des genres aux corps quadratiques

Unicité de la contribution de cet article

Généralisation au domaine réel: Première généralisation systématique de la méthode des corps quadratiques imaginaires au cas réel
Méthode de calcul: Fournit un algorithme de construction plus concret et opérationnel que la théorie générale
Complétude: Donne une caractérisation complète des conditions d'existence

Conclusions et discussions

Conclusions principales

Théorème d'existence: Lorsque $p \equiv 1 \pmod{8}$ et le nombre de classes strict est divisible par 8, $\mathbb{Q}(\sqrt{2p})$ admet une extension cyclique octique non-ramifiée
Algorithme de construction: Cette extension peut être construite explicitement par la résolution de l'équation diophantienne $eu^2 = t^2 + 2ps^2$
Conditions de discrimination: Le caractère totalement réel ou totalement complexe de l'extension peut être discriminé par le signe du paramètre $e$

Signification théorique

Perfectionnement de la théorie des corps de classes: Fournit une contribution importante à la théorie des corps de classes de Hilbert pour les corps quadratiques réels
Théorie des nombres calculatoire: Fournit des algorithmes efficaces pour les problèmes de calcul connexes
Valeur de généralisation: La méthode a le potentiel de généralisation à des cas plus généraux

Limitations

Restrictions de conditions: La méthode s'applique uniquement aux nombres premiers de classes de congruence spécifiques
Complexité de calcul: Pour les grands nombres premiers, la résolution de l'équation diophantienne peut faire face à des problèmes d'efficacité
Portée théorique: Traite actuellement uniquement le cas du 2-groupe de classes

Directions futures

Généralisation à des degrés supérieurs: Étudier les extensions cycliques de seizième degré ou supérieur
Autres discriminants: Considérer les corps quadratiques avec d'autres formes de discriminants
Optimisation du calcul: Améliorer les algorithmes de résolution des équations diophantiennes
Exploration d'applications: Explorer les applications potentielles en cryptographie et autres domaines

Évaluation approfondie

Avantages

Rigueur théorique:
- Le raisonnement mathématique est rigoureux, chaque étape étant soutenue par une théorie suffisante
- Combine les outils classiques de la théorie des genres et la théorie moderne des corps de classes
Innovativité de la méthode:
- Généralise avec succès la méthode des corps quadratiques imaginaires au cas réel
- Fournit une méthode de construction explicite basée sur les équations diophantiennes
Complétude du calcul:
- Fournit de nombreux exemples numériques concrets
- Vérifie la correction des prédictions théoriques
- Donne le processus de calcul complet
Valeur pratique:
- L'algorithme est opérationnel
- Fournit des outils utiles pour la recherche connexe

Insuffisances

Portée d'application:
- Limité aux nombres premiers satisfaisant des conditions de congruence spécifiques
- Les exigences sur le nombre de classes sont plutôt strictes
Efficacité de calcul:
- Pour les grands nombres premiers, la complexité de calcul peut être élevée
- L'algorithme général de résolution des équations diophantiennes n'est pas suffisamment discuté
Profondeur théorique:
- Principalement une généralisation et application de méthodes existantes
- Manque de percée théorique fondamentale

Influence

Contribution académique:
- Fournit de nouveaux outils et méthodes pour la recherche en théorie algébrique des nombres
- Fait progresser le développement de la théorie des corps de classes de Hilbert pour les corps quadratiques réels
Perspectives d'application:
- Possède une valeur pratique en théorie algébrique des nombres calculatoire
- Peut jouer un rôle dans les applications liées à la cryptographie
Reproductibilité:
- L'article fournit des détails de calcul suffisants
- La méthode possède une bonne reproductibilité

Scénarios d'application

Recherche théorique: Recherche en théorie algébrique des nombres et théorie des corps de classes
Mathématiques calculatoires: Problèmes de calcul nécessitant la construction d'extensions algébriques spécifiques
Mathématiques appliquées: Applications potentielles en théorie du codage et cryptographie
Enseignement: Utilisation comme exemple concret de théorie des corps de classes pour l'enseignement

Références bibliographiques

L'article cite les principaux travaux connexes de l'auteur:

F. Lemmermeyer, Die Konstruktion von Klassenkörpern, Ph.D. Diss. Univ. Heidelberg, 1995
F. Lemmermeyer, Hilbert 2-class fields and 2-descent, Publ. Math. Debr. 88 (2016), 319–343
F. Lemmermeyer, Dirichlet's Lemma in number fields, arXiv:2502.00526v2

Ces références constituent les fondations théoriques et les sources méthodologiques de cette recherche, reflétant la recherche systématique de l'auteur dans ce domaine.