Iwasawa invariants and class number parity of multi-quadratic number fields

En s'appuyant sur la méthode d'Iwasawa et Kida, cet article établit des formules explicites pour les invariants $\lambda_2$ des extensions cyclotomiques $\mathbb{Z}_2$ de corps de nombres multi-quadratiques et en déduit un critère pour déterminer la parité de leur nombre de classes.

L'essentiel

🌌 Le Voyage des Nombres : Une Histoire de Clés, de Portes et de Miroirs

Imaginez que les mathématiques sont un immense château rempli de portes. Certains nombres sont des clés qui ouvrent ces portes, tandis que d'autres sont des serrures complexes. Les mathématiciens, comme Qinhao Li et Derong Qiu (les auteurs de cet article), sont des explorateurs qui tentent de comprendre comment ces clés fonctionnent lorsqu'on les utilise dans des tours infinies.

Voici ce qu'ils ont découvert, expliqué simplement :

1. Le Château des Nombres et la Tour Infinie 🏰

Dans ce monde, il existe des "champs de nombres" (des ensembles de nombres spéciaux). Certains de ces champs sont comme des maisons simples, d'autres sont des palais complexes appelés champs multi-quadratiques. Ce sont des constructions faites en empilant plusieurs racines carrées (comme $\sqrt{2}$, $\sqrt{3}$, $\sqrt{-5}$, etc.).

Les auteurs s'intéressent à une tour spéciale construite sur ces champs, appelée l'extension cyclotomique. Imaginez que vous prenez un champ de nombres et que vous y ajoutez une tour qui grandit à l'infini, étage par étage. À chaque étage, le nombre de "pièces" (appelées classes d'idéaux) change.

La question centrale est : Comment le nombre de pièces évolue-t-il à mesure que la tour grandit ?

2. Le Compteur Magique : Les Invariants d'Iwasawa 📏

Pour mesurer cette croissance, les mathématiciens utilisent un outil appelé les invariants d'Iwasawa. On peut les voir comme un compteur magique qui prédit la taille de la tour.

• Il y a un chiffre spécial, noté $\lambda$ (lambda). C'est le taux de croissance.
• Si $\lambda = 0$, cela signifie que la tour ne grossit pas indéfiniment ; elle se stabilise. C'est comme si le château avait une taille fixe, peu importe combien d'étages vous ajoutez.
• Si $\lambda > 0$, la tour devient de plus en plus complexe à mesure qu'elle monte.

L'objectif de l'article est de calculer exactement ce chiffre $\lambda$ pour des champs très spécifiques (ceux qui contiennent $\sqrt{2}$ et des nombres négatifs).

3. La Conjecture de Greenberg : Le Miroir de la Réalité 🪞

Il existe une règle non écrite, appelée la Conjecture de Greenberg. Elle dit : "Si votre champ de nombres est 'réel' (comme un miroir qui reflète la réalité sans nombres imaginaires), alors le compteur magique $\lambda$ devrait toujours être zéro."

C'est comme dire : "Si vous construisez une tour sur un sol solide, elle ne devrait jamais s'effondrer ni grandir de façon incontrôlée."
Les auteurs utilisent cette conjecture comme un guide. S'ils supposent qu'elle est vraie, ils peuvent déduire des formules très précises pour calculer $\lambda$ dans des cas complexes.

4. La Parité du Nombre de Classes : Pair ou Impair ? ⚖️

Le but ultime de l'article n'est pas seulement de compter, mais de déterminer si le nombre total de pièces dans le château est pair ou impair.

• Pair : Le château a une symétrie parfaite, comme une paire de chaussures.
• Impair : Il y a un élément unique, un "mouton noir" qui ne trouve pas de paire.

C'est crucial en mathématiques car un nombre de classes impair signifie souvent que le château est "propre" et bien rangé, sans de grosses anomalies cachées.

5. La Grande Découverte : La Recette du Château Parfait 📝

En combinant toutes leurs observations (les unités de Hasse, qui sont comme les "clés maîtresses" du château, et la façon dont les portes s'ouvrent), les auteurs ont trouvé une recette exacte.

Ils ont prouvé que pour un champ imaginaire multi-quadratique contenant $\sqrt{2}$, le nombre de classes est impair (c'est-à-dire que le château est "propre") si et seulement si le champ ressemble à l'une de ces quatre formes précises :

1. Le Duo Simple : $\mathbb{Q}(\sqrt{2}, \sqrt{-p})$ où $p$ est un nombre premier spécial (qui laisse un reste de 3 quand on le divise par 8).
2. Le Trio avec le Un : $\mathbb{Q}(\sqrt{2}, \sqrt{-1}, \sqrt{-p})$ avec des conditions similaires sur $p$.
3. Le Duo de Premiers : $\mathbb{Q}(\sqrt{2}, \sqrt{-p}, \sqrt{-q})$ où $p$ et $q$ sont deux nombres premiers différents, tous deux laissant un reste de 3 quand on les divise par 8.
4. Le Quartet de Base : $\mathbb{Q}(\sqrt{2}, \sqrt{-1})$.

L'analogie finale :
Imaginez que vous essayez de construire un château de cartes parfait. Les auteurs disent : "Vous ne pouvez réussir à avoir un château stable (nombre de classes impair) que si vous utilisez exactement ces types de cartes (ces nombres premiers spécifiques). Si vous ajoutez n'importe quelle autre carte, le château deviendra instable (nombre de classes pair)."

En Résumé

Cet article est comme un manuel de construction pour des châteaux mathématiques complexes.

1. Il donne une formule précise pour prédire la croissance de ces châteaux.
2. Il utilise une hypothèse de travail (la conjecture de Greenberg) pour simplifier les calculs.
3. Il fournit une liste de contrôle (les 4 formes) pour savoir exactement quand un château de nombres aura une structure "parfaite" (nombre de classes impair).

C'est une avancée majeure pour comprendre comment les nombres s'organisent dans l'infini, un peu comme comprendre comment les atomes s'assemblent pour former des molécules stables.

Résumé technique

Voici un résumé technique détaillé de l'article « Iwasawa invariants and class number parity of multi-quadratic number fields » de Qinhao Li et Derong Qiu, rédigé en français.

1. Problématique et Contexte

L'article s'inscrit dans le cadre de la théorie d'Iwasawa, une branche fondamentale de la théorie algébrique des nombres étudiant le comportement des groupes de classes d'idéaux dans les tours d'extensions cyclotomiques $\mathbb{Z}_p$-extensions.

Le problème central abordé par les auteurs concerne deux aspects interdépendants pour les champs multi-quadratiques (extensions de $\mathbb{Q}$ de la forme $\mathbb{Q}(\sqrt{d_1}, \dots, \sqrt{d_r}, \sqrt{-d})$) :

1. Le calcul explicite des invariants d'Iwasawa $\lambda_2$ (et $\mu_2, \nu_2$) associés aux extensions cyclotomiques $\mathbb{Z}_2$-de ces champs.
2. La détermination de la parité du nombre de classes ($h_K$) de ces champs, c'est-à-dire déterminer si $h_K$ est impair ou pair.

Bien que des résultats existants soient connus pour les corps quadratiques ou biquadratiques, les auteurs visent à généraliser ces résultats aux champs multi-quadratiques d'ordre supérieur ($2^{r+1}$) et à fournir des formules explicites reliant les invariants d'Iwasawa aux propriétés de ramification des idéaux premiers et aux unités de Hasse.

2. Méthodologie

Les auteurs utilisent une approche combinant la théorie d'Iwasawa classique, la théorie de la ramification et l'analyse des unités.

• Formule de Riemann-Hurwitz pour les invariants d'Iwasawa : Ils s'appuient sur les travaux de Kida et Iwasawa, qui établissent une relation entre les invariants $\lambda$ d'une extension $L/K$ et ceux de la base $K$, analogue à la formule de Riemann-Hurwitz pour les courbes algébriques. La formule clé (Théorème 3.1) relie $\lambda_p(L)$ à $\lambda_p(K)$, au nombre de places ramifiées et à un terme cohomologique $\chi(G, E_{K_\infty})$ lié aux unités.
• Analyse des unités de Hasse et des racines de l'unité : Une partie cruciale de la méthode consiste à étudier le rapport entre le groupe des unités $E_K$ et le produit du groupe des unités du sous-corps réel maximal $E_{K^+}$ par le groupe des racines de l'unité $W_K$. Les auteurs analysent soigneusement le cas où $\sqrt{2} \notin K$ et la structure du sous-groupe de Sylow 2 des racines de l'unité.
• Induction et décomposition : Pour les champs multi-quadratiques $K = F(\sqrt{d_1}, \dots, \sqrt{d_r}, \sqrt{-d})$, ils procèdent par induction sur le nombre de générateurs quadratiques ($r$). Ils décomposent le champ en une tour d'extensions quadratiques successives et appliquent la formule de Riemann-Hurwitz à chaque étape.
• Hypothèse de Greenberg : Pour obtenir des formules finales très explicites, les auteurs font souvent appel à la conjecture de Greenberg, qui postule que pour tout corps de nombres totalement réel $F$, les invariants $\lambda_2$ et $\mu_2$ de son extension cyclotomique $\mathbb{Z}_2$ sont nuls ($\lambda_2 = \mu_2 = 0$).

3. Contributions Clés et Résultats Principaux

Les résultats principaux sont énoncés dans les Théorèmes 1.4, 1.5 et 4.5.

A. Formules explicites pour l'invariant $\lambda_2$ (Théorème 1.4)

Les auteurs obtiennent une formule générale pour $\lambda_2(K)$ où $K = F(\sqrt{d_1}, \dots, \sqrt{d_r}, \sqrt{-d})$ est une extension de degré $2^{r+1}$sur un corps totalement réel abélien$F$.
La formule est donnée par :
$$\lambda_2(K) = 2^r \lambda_2(F(\sqrt{-t_1})) + \lambda_2(K^+) - 2^r \lambda_2(F) + \sum_{i=1}^r 2^{r-i}(s_i - f_i) + \delta$$
Où :

• $K^+$ est le sous-corps réel maximal de $K$.
• $s_i$ et $f_i$ sont des termes comptant le nombre de places ramifiées dans des extensions intermédiaires spécifiques, dépendant de la décomposition des nombres premiers dans les extensions cyclotomiques $\mathbb{Z}_2$.
• $\delta$ est un terme correctif (0 ou 1) dépendant de la présence de $\sqrt{d}$ dans $K^+(\sqrt{2})$.

Dans le cas particulier où $F = \mathbb{Q}$, la formule se simplifie considérablement en fonction des valuations 2-adiques des nombres premiers ramifiés ($\nu_2(p^2-1)$).

B. Critère de parité du nombre de classes (Théorème 1.5 et 4.5)

Sous l'hypothèse que $\sqrt{2} \in K$, les auteurs établissent un critère nécessaire et suffisant pour que le nombre de classes $h_K$ d'un champ multi-quadratique imaginaire $K$ soit impair ($2 \nmid h_K$).

Ils démontrent que $h_K$ est impair si et seulement si $K$ est isomorphe à l'une des formes suivantes :

1. $\mathbb{Q}(\sqrt{2}, \sqrt{-p})$ avec $p \equiv 3 \pmod 8$.
2. $\mathbb{Q}(\sqrt{2}, \sqrt{-1}, \sqrt{-p})$ avec $p \equiv 3, 5 \pmod 8$.
3. $\mathbb{Q}(\sqrt{2}, \sqrt{-p}, \sqrt{-q})$ avec $p, q$ premiers distincts et $p, q \equiv 3 \pmod 8$.
4. $\mathbb{Q}(\sqrt{2}, \sqrt{-1})$.

De plus, ils précisent que pour $K = \mathbb{Q}(\sqrt{2}, \sqrt{-p})$ avec $p \equiv 5 \pmod 8$, le nombre de classes est pair mais non divisible par 4 ($2 \mid h_K$et$4 \nmid h_K$).

C. Exemples et Vérifications

L'article fournit des exemples numériques (Exemples 3.12 et 3.13) montrant que leurs formules sont cohérentes avec des résultats antérieurs (notamment ceux de Mouhib et d'autres auteurs) et permettent de construire une infinité de corps CM dont le module d'Iwasawa a un rang $\mathbb{Z}_2$ donné.

4. Signification et Impact

• Généralisation : Ce travail généralise significativement les résultats connus sur les corps quadratiques et biquadratiques aux corps multi-quadratiques d'ordre arbitraire.
• Lien explicite : Il établit un lien quantitatif direct entre la ramification des idéaux premiers (via les termes $s_i$ et $f_i$) et la structure du groupe de classes via l'invariant $\lambda_2$.
• Résolution de problèmes de parité : En reliant la parité du nombre de classes à la nullité des invariants d'Iwasawa (via le Lemme 4.1 et le Théorème 4.2), les auteurs fournissent une méthode puissante pour classifier les champs multi-quadratiques imaginaires à nombre de classes impair.
• Correction de la littérature : Les auteurs notent une divergence avec un résultat antérieur (Corollary 3.5 de [CCH]) concernant le cas $\mathbb{Q}(\sqrt{2}, \sqrt{-p}, \sqrt{-q})$, et leur analyse (confirmée par des exemples numériques comme $\mathbb{Q}(\sqrt{2}, \sqrt{-11}, \sqrt{-33})$) suggère que le nombre de classes peut être impair, contrairement à ce qui était affirmé précédemment.

En résumé, cet article offre des outils computationnels puissants et des classifications précises pour l'étude des invariants d'Iwasawa et de la parité des nombres de classes dans le contexte complexe des extensions multi-quadratiques, en s'appuyant sur une analyse fine de la ramification et des unités.