On the maximal unramified pro-2-extension of $\mathbb{Z}_2$-extension of certain real biquadratic fields

Technische Samenvatting: Over de maximale onafgewikkelde pro-2-extensie van de $\mathbb{Z}_2$-extensie van bepaalde reële biquadratische velden

Probleemstelling
Het artikel behandelt de structuur van de Galoisgroep $G_{k_\infty} = \text{Gal}(L(k_\infty)/k_\infty)$, waarbij $L(k_\infty)$ de maximale onafgewikkelde pro-$\ell$-extensie is van de cyclotomische $\mathbb{Z}_\ell$-extensie $k_\infty$ van een getallenveld $k$. Specifiek onderzoekt de auteur het geval waarbij $\ell=2$ en $k$ een reëel biquadratisch veld is.

Het centrale probleem betreft het bepalen van de structuur van het Iwasawa-module $X(k)$ (de inverse limiet van de 2-klassenvelden van de lagen $k_n$) en de bijbehorende Galoisgroep $G_{k_\infty}$. Terwijl de conjectuur van Greenberg stelt dat voor totaal reële velden de Iwasawa-invarianten $\lambda$ en $\mu$ verdwijnen (wat impliceert dat $X(k)$ eindig is), blijft de precieze structuur van het niet-abelse deel van de Galoisgroep $G_{k_\infty}$ een open onderzoeksgebied, met name voor reële velden. Eerdere literatuur heeft zich grotendeels gericht op kwadratische velden; dit werk tracht deze onderzoeken uit te breiden naar reële biquadratische velden.

Methodologie
De auteur maakt gebruik van instrumenten uit de algebraïsche getallentheorie en de klassieke klassenlichaamtheorie om specifieke families van reële biquadratische velden te construeren. De methodologie berust op:

1. Constructie van veldfamilies: Het definiëren van een familie van velden $F = \mathbb{Q}(\sqrt{pq}, \sqrt{ps})$ waarbij $p, q, s$ verschillende priemgetallen zijn die aan specifieke congruentievoorwaarden voldoen ($p \equiv 5 \pmod 8$, $q \equiv 3 \pmod 8$, $s \equiv 3 \pmod 4$) en Legendre-symbool beperkingen ($\left(\frac{p}{q}\right) = \left(\frac{p}{s}\right) = 1$).
2. Klassengetalberekeningen: Het benutten van de ambigue klassengetalformule (Lemma 2.3) en de formule van Kuroda voor multiquadratische velden (Lemma 2.5) om de 2-klassengetallen ($h_2$) van de basisvelden en hun subvelden te berekenen.
3. Eenheidsgroepanalyse: Het bepalen van fundamentele eenheidssystemen voor multiquadratische velden om de eenheidsindex $q(k)$ te berekenen, die cruciaal is voor het toepassen van de klassengetalformules.
4. Torenanalyse: Het analyseren van de Hilbert 2-klassenlichaam-toren ($k \subset k^{(1)} \subset k^{(2)} \dots$) en het gedrag van 2-klassengroepen onder onafgewikkelde extensies. De auteur gebruikt de stelling van Fukuda (Lemma 2.4) om de stabiliteit van 2-klasse-rangen en -getallen over de lagen van de cyclotomische $\mathbb{Z}_2$-extensie vast te stellen.
5. Groepstheoretische Classificatie: Het toepassen van bekende resultaten over de structuur van 2-groepen (specifiek $V, Q_{2m}, D_{2m}, S_{2m}$) wanneer de 2-klassegroep isomorf is aan $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$. De structuur van de Galoisgroep wordt afgeleid op basis van de 2-klassegetallen van specifieke onafgewikkelde kwadratische subextensies.

Belangrijkste Bijdragen en Resultaten

1. Constructie van Specifieke Families: Het artikel construeert twee families van reële biquadratische velden $F$ zodanig dat voor alle lagen $n \ge 0$ van hun cyclotomische $\mathbb{Z}_2$-extensies de 2-klassegroep isomorf is aan $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$. Dit impliceert dat de Iwasawa-invarianten $\lambda = \mu = 0$ zijn, waarmee de conjectuur van Greenberg voor deze specifieke families wordt bevestigd.

2. Classificatie van Galoisgroepen: De hoofdstelling (Theorem 1.1) vestigt een dichotomie in de structuur van de Galoisgroep $G_{F_\infty}$ op basis van de 2-klassegetallen van gerelateerde velden:

   • Abelse Casus: Als $h_2(pqs) = h_2(C(K)) = 4$ (waarbij $C(K) = \mathbb{Q}(\sqrt{2p}, \sqrt{2s}, \sqrt{q})$), is de groep $\text{Gal}(L(F_n)/F_n)$ abels voor alle $n \ge 0$.
   • Niet-abelse Casus: Als $h_2(pqs) = h_2(C(K)) = 8$, is de groep $\text{Gal}(L(F_n)/F_n)$ niet-abels voor alle $n \ge 0$, specifiek isomorf aan ofwel de quaternionengroep $Q_8$ of de dihedral groep $D_8$.

3. Triquadraticische Velden Resultaten: Het artikel biedt een propositie (Proposition 1.2) betreffende reële triquadraticische velden van de vorm $C(F) = \mathbb{Q}(\sqrt{p}, \sqrt{q}, \sqrt{s})$. Het demonstreert dat voor deze velden de 2-klassegroep van de lagen in de cyclotomische $\mathbb{Z}_2$-extensie cyclisch en niet-triviaal is. In het specifieke geval waar $h_2(pqs) = 4$, is de 2-klassegroep isomorf aan $\mathbb{Z}/2\mathbb{Z}$.

4. Numerieke Voorbeelden: De auteur biedt een tabel met specifieke priemgetallen-triples $(p, q, s)$ die aan de voorwaarden van de stelling voldoen, en verifieert de berekende 2-klassegetallen ($h_2(pqs)$ en $h_2(C(K))$) met behulp van Pari/GP software.

Betekenis
Het artikel beweert de eerste voorbeelden in de literatuur te bieden van families van reële biquadratische velden waarbij de lagen van de cyclotomische $\mathbb{Z}_2$-extensie voldoen aan de voorwaarde van het hebben van een 2-klassegroep isomorf aan $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$, terwijl ze verschillend gedrag vertonen in hun maximale onafgewikkelde pro-2-extensies (één familie levert een abelse Galoisgroep op, de andere een niet-abelse).

Door deze voorbeelden expliciet te construeren, draagt het werk bij aan het begrip van de conjectuur van Greenberg voor reële velden en biedt het concrete instanties waar de structuur van de maximale onafgewikkelde pro-$p$-extensie precies kan worden bepaald. De resultaten benadrukken de afhankelijkheid van de structuur van de Galoisgroep van de arithmetische eigenschappen (met name de 2-klassegetallen) van gerelateerde multiquadratische subvelden.