On the Existence of the Maximal Unramified Pro-$2$-Extension over the Cyclotomic $\mathbb{Z}_2$-Extension with Prescribed Metacyclic Galois Group

1. Il Problema di Ricerca

Il lavoro si inserisce nel contesto della teoria dei numeri algebrici, specificamente nello studio delle estensioni non ramificate di campi numerici e della loro connessione con la teoria di Iwasawa. I problemi centrali affrontati sono:

• Realizzabilità di Gruppi Galoisiani: Si indaga se certi gruppi 2-finiti metabeliani di rango 2, con abelianizzazione isomorfa a $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2^n\mathbb{Z}$, possano essere realizzati come gruppi di Galois dell'estensione pro-2 non ramified massima ($L(k_\infty)/k_\infty$) su campi numerici specifici.
• Classificazione dei Gruppi Metaciclici: In particolare, l'attenzione è focalizzata sui gruppi metaciclici-nonmodulari. Mentre i casi per $n=1$ (gruppi di Klein, quaternioni, diedrali, semidiedrali) sono ben noti, la realizzabilità per $n > 1$ di strutture metacicliche non modulari (classificate in quattro tipi basati su generatori e relazioni) rimane una questione aperta.
• Congettura di Greenberg: L'obiettivo è verificare la congettura di Greenberg (che afferma che il gruppo di Iwasawa $\Lambda$-modulo è finito per campi totalmente reali) per famiglie specifiche di campi multiquadratici reali, analizzando la stabilità del rango 4 del gruppo di classe 2 lungo la torre di Iwasawa ciclotomica $\mathbb{Z}_2$.

2. Metodologia

Gli autori combinano strumenti avanzati dalla teoria dei gruppi, dalla teoria dei campi di classe e dalla teoria dei numeri:

• Teoria dei Gruppi: Utilizzano la classificazione dei gruppi 2-finiti metabeliani di rango 2. In particolare, si basano sulle presentazioni di gruppi metaciclici-nonmodulari (Tipi 1, 2, 3, 4) definite da Azizi, Rezzougui e Zekhnini. Analizzano i sottogruppi di indice 2 e 4 e le loro abelianizzazioni per determinare la struttura del gruppo di Galois $G = \text{Gal}(L(k_\infty)/k_\infty)$.
• Teoria dei Campi di Classe: Sfruttano la corrispondenza tra sottogruppi del gruppo di classe di Hilbert 2 e estensioni non ramificate. La struttura del gruppo di Galois è dedotta dai ranghi dei gruppi di classe dei sottocampi quadratici e biquadratici intermedi nella torre di Hilbert.
• Analisi dei Campi Numerici:
  • Considerano campi quadratici reali $F = \mathbb{Q}(\sqrt{\eta qrs})$, campi biquadratici reali $K = \mathbb{Q}(\sqrt{\eta q}, \sqrt{rs})$ e campi triquadratici reali $F = \mathbb{Q}(\sqrt{\eta q}, \sqrt{r}, \sqrt{s})$, dove $q, r, s$ sono numeri primi dispari con condizioni specifiche di congruenza ($q \equiv 3 \pmod 4$, $r \equiv s \equiv 5 \pmod 8$).
  • Utilizzano la formula del numero di classe di Kuroda-Wada per calcolare i numeri di classe dei campi multiquadratici.
  • Applicano il metodo di Wada per determinare i sistemi fondamentali di unità e l'indice $q(k)$ necessario per le formule di classe.
  • Analizzano le proprietà delle unità fondamentali ($\varepsilon_d$) e i loro normi, in particolare studiando quando espressioni come $2\delta_{\eta,1}q(\gamma-1)$ sono quadrati perfetti in $\mathbb{N}$, dove $\gamma$ deriva dall'unità fondamentale $\varepsilon_{\eta qrs} = \gamma + \gamma'\sqrt{\eta qrs}$.
• Teorema di Fukuda: Usano il teorema di Fukuda per dimostrare la stabilità del numero di classe 2 e del rango del gruppo di classe lungo la torre $\mathbb{Z}_2$, garantendo che $A(k_n) \simeq A(k_\infty)$ per $n$ sufficientemente grande.

3. Contributi Chiave e Risultati Principali

A. Condizioni per Gruppi Metaciclici Non-Modulari (Teorema 3.10)

Gli autori forniscono una condizione necessaria e sufficiente affinché il gruppo di Galois dell'estensione pro-2 non ramified massima di un campo quadratico reale $F = \mathbb{Q}(\sqrt{\eta qrs})$ sia un gruppo metaciclico-nonmodulare di Tipo 1 con $\alpha=2$.

• Ipotesi: $q \equiv 3 \pmod 4$, $r \equiv s \equiv 5 \pmod 8$, condizioni sui simboli di Legendre e di Jacobi, e $N(\varepsilon_{rs}) = 1$.
• Risultato: Il gruppo di Galois è isomorfo a un gruppo di Tipo 1 se e solo se i simboli di quarto ordine soddisfano $\left(\frac{r}{s}\right)_4 \neq \left(\frac{s}{r}\right)_4$.
• Struttura del Gruppo: In questo caso, il gruppo di Galois ammette la presentazione:
  $$\langle a, b \mid a^4 = 1, b^{2^m} = 1, b^{-1}ab = a^{-1} \rangle$$
  dove $m$ è legato al numero di classe 2 di $F$.

B. Stabilità del Rango 4 e Congettura di Greenberg (Corollario 3.12)

Il paper costruisce famiglie di campi biquadratici reali che soddisfano la congettura di Greenberg.

• Viene dimostrato che per certi campi $K = \mathbb{Q}(\sqrt{\eta q}, \sqrt{rs})$, il modulo di Iwasawa 2 ($A(K_\infty)$) è isomorfo a $A(K)$.
• Viene calcolato esplicitamente il rango 4 del modulo di Iwasawa. A seconda delle condizioni sui simboli di quarto ordine, il gruppo di classe può essere isomorfo a $\mathbb{Z}/4\mathbb{Z} \times \mathbb{Z}/2^{m-1}\mathbb{Z}$ (rango 4 pari a 2) o $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2^m\mathbb{Z}$.

C. Campi Triquadratici (Teorema 3.15)

Un risultato significativo è la costruzione di una famiglia di campi triquadratici reali $F = \mathbb{Q}(\sqrt{\eta q}, \sqrt{r}, \sqrt{s})$ che soddisfano la congettura di Greenberg.

• Per questi campi, il gruppo di classe 2 e il modulo di Iwasawa sono isomorfi a $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2^{m-1}\mathbb{Z}$.
• Risultato Cruciale: Il gruppo di Galois dell'estensione pro-2 non ramified massima su $F_\infty$ è abeliano. Questo contrasta con il caso dei campi quadratici sottostanti, dove il gruppo è non-abeliano (metaciclico-nonmodulare), dimostrando come l'estensione a campi di grado superiore possa "abbassare" la complessità del gruppo di Galois.

D. Esempi Numerici

Gli autori forniscono tabelle (Tabella 5 e 6) con esempi concreti calcolati tramite PARI/GP, mostrando come le condizioni teoriche (simboli di quarto ordine, valori di $h_2$) si traducano in strutture specifiche dei gruppi di Galois.

4. Significato e Impatto

• Avanzamento della Teoria di Iwasawa: Il lavoro fornisce nuovi esempi concreti di campi numerici per cui la congettura di Greenberg è verificata, un problema aperto per molte classi di campi.
• Classificazione dei Gruppi di Galois: Risponde positivamente alla "Question 2" degli autori, dimostrando che tutti e quattro i tipi di gruppi metaciclici-nonmodulari (o almeno il Tipo 1 con $\alpha=2$) sono realizzabili come gruppi di Galois di estensioni pro-2 non ramificate su campi ciclotomici $\mathbb{Z}_2$.
• Nuove Tecniche: L'uso combinato delle formule di Kuroda-Wada, dell'analisi delle unità fondamentali e della teoria dei gruppi per determinare la stabilità del rango 4 offre un metodo robusto per studiare la struttura dei moduli di Iwasawa in campi multiquadratici.
• Distinzione tra Tipi di Campi: Dimostra una differenza fondamentale nel comportamento dei gruppi di Galois tra campi quadratici (dove si ottengono gruppi non-abeliani) e campi triquadratici (dove si ottengono gruppi abeliani) sotto le stesse condizioni aritmetiche sui primi $q, r, s$.

In sintesi, il paper è un contributo sostanziale alla comprensione della struttura dei gruppi di Galois delle estensioni pro-2 non ramificate, fornendo criteri precisi per la loro realizzazione e confermando la congettura di Greenberg per nuove famiglie di campi multiquadratici.