🔢 mathematics

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

This paper investigates the realizability of specific metacyclic-nonmodular groups with abelianization $\mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/2^m\mathbb{Z}$ as Galois groups of maximal unramified pro-$2$-extensions over various number fields, including real quadratic, biquadratic, and Fröhlich multiquadratic fields, while introducing new techniques to advance Greenberg's conjecture.

Original authors: Mohamed Mahmoud Chems-Eddin, Hamza El Mamry

Published 2026-04-07

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Mohamed Mahmoud Chems-Eddin, Hamza El Mamry

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are an architect trying to build the most complex, stable tower possible using a specific set of building blocks. In the world of mathematics, specifically Number Theory, these "building blocks" are Number Fields (which are like expanded versions of the number system), and the "structure" you are trying to build is a Galois Group.

This paper is about figuring out exactly what kind of "tower" (group structure) can be built on top of specific "foundations" (number fields) without the tower ever collapsing or becoming unstable (which mathematicians call "unramified").

Here is a breakdown of the paper's journey, translated into everyday language:

1. The Setting: The Infinite Ladder

First, imagine a number field (a specific collection of numbers) as a house. Now, imagine a special, infinite ladder attached to this house called a $\mathbb{Z}_2$ -extension.

The House: A specific set of numbers (like $\mathbb{Q}(\sqrt{d})$ ).
The Ladder: An infinite series of floors ( $k_1, k_2, k_3...$ ) going up forever. Each floor is a slightly bigger version of the house.
The Goal: The authors want to see what happens if we try to build a "maximal tower" (the largest possible extension) on top of this infinite ladder without breaking any rules (unramified).

2. The Mystery: What Shape is the Tower?

Mathematicians have known for a long time that if you build a tower on a simple house, the shape of the tower (its symmetry group) can be one of a few standard shapes.

The "Metacyclic" Shape: This is a specific, slightly complex shape that looks like a twisted cylinder.
The "Non-Modular" Twist: Most of these shapes are "modular" (predictable and standard). The authors are interested in the rare, "non-modular" ones—shapes that are a bit more chaotic or unique.

The Big Question: Can we find a specific house (a number field) where the tower built on the infinite ladder must be this rare, twisted "non-modular" shape?

3. The Ingredients: Prime Numbers as Puzzle Pieces

To build these houses, the authors use Prime Numbers (numbers divisible only by 1 and themselves, like 3, 5, 7, 13, etc.).

They pick three specific primes: $q, r,$ and $s$ .
They mix them together in a specific recipe to create a "Real Quadratic Field" (a house with a square root in it).
They have a strict set of rules for picking these primes (like $q$ must be 3 more than a multiple of 4, and $r, s$ must be 5 more than a multiple of 8). Think of this as a secret code that ensures the puzzle pieces fit together.

4. The Discovery: The "Type 1" Tower

The authors prove that if you follow their secret code for picking primes, you can guarantee the resulting tower has a very specific shape:

The Shape: A "Metacyclic-nonmodular" group of Type 1.
The Condition: It turns out the shape depends on a subtle relationship between the primes $r$ and $s$ . It's like checking if two gears mesh perfectly in a specific way. If they mesh one way, you get the "Type 1" tower. If they mesh another way, you get a different, simpler tower.

The Analogy: Imagine you are building a LEGO castle. The authors found a specific instruction manual (using primes $q, r, s$ ) that guarantees your castle will have a specific, rare turret design (Type 1). If you swap two of the bricks ( $r$ and $s$ ) in a specific way, the turret changes design.

5. Why Does This Matter? (Greenberg's Conjecture)

There is a famous, unsolved mystery in math called Greenberg's Conjecture. It basically asks: "If you keep building higher and higher on this infinite ladder, does the size of the tower eventually stop growing?"

The Authors' Contribution: They didn't just solve the whole mystery, but they built a new set of tools to test it. They showed that for the specific houses they built, the tower's size does stabilize (it stops growing after a certain point).
They also calculated the "rank" of the tower (how many independent directions it can expand). They found families of houses where the tower has a "4-rank" of 1 or 2. This is like measuring the complexity of the foundation.

6. The "Triquadratic" Twist

Finally, they took their recipe and applied it to an even more complex house: a Triquadratic Field (a house with three square roots instead of one).

They proved that even with this more complex foundation, if you follow their rules, the resulting tower is Abelian.
Translation: "Abelian" means the tower is perfectly symmetrical and predictable (like a simple cube). This is a contrast to the "twisted" towers they found earlier. It shows that by changing the foundation slightly, you can switch from a chaotic tower to a perfectly ordered one.

Summary

In short, this paper is a mathematical recipe book.

The Problem: We want to know what shapes infinite towers can take on top of number fields.
The Method: The authors mixed specific prime numbers together like ingredients in a cake.
The Result: They proved that if you mix these primes just right, you get a very specific, rare type of tower (Type 1 Metacyclic-nonmodular).
The Impact: This helps mathematicians understand the stability of these infinite structures and provides new ways to test deep, unsolved theories about how numbers behave in the infinite.

They essentially said: "If you pick your prime numbers according to this specific rule, you are guaranteed to build a tower with this exact, rare architectural style."

1. Problem Statement and Motivation

The paper addresses the Inverse Galois Problem within the context of algebraic number theory, specifically focusing on the realizability of certain finite metacyclic 2-groups as the Galois groups of maximal unramified pro-2-extensions over cyclotomic $\mathbb{Z}_2$ -extensions of number fields.

Context: Let $k$ be a number field and $k_\infty$ its cyclotomic $\mathbb{Z}_2$ -extension. Let $L(k_\infty)$ be the maximal unramified pro-2-extension of $k_\infty$ . The Galois group $G = \text{Gal}(L(k_\infty)/k_\infty)$ is a pro-2-group.
Target Groups: The authors focus on metacyclic-nonmodular 2-groups $G$ of rank 2, where the abelianization is $G^{ab} \cong \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2^n\mathbb{Z}$ (for $n \ge 2$ ).
Classification: Such groups are classified into four types (Type 1–4) based on their presentations. The paper specifically investigates the realizability of Type 1 groups (where $\alpha=2$ ) and asks whether all such structures can be realized over specific families of number fields.
Connection to Greenberg's Conjecture: The study is deeply linked to Greenberg's Conjecture, which posits that for totally real number fields, the Iwasawa $\lambda$ -invariant is zero (implying the $p$ -class group stabilizes in the cyclotomic tower). The authors aim to construct families of fields satisfying this conjecture while exhibiting specific 2-class group structures.

2. Methodology

The authors employ a combination of Class Field Theory, Group Theory, and Explicit Computation of units and class numbers.

Field Families: The study focuses on three types of multiquadratic fields:
1. Real quadratic fields: $F = \mathbb{Q}(\sqrt{\eta qrs})$ .
2. Real biquadratic fields: $K = \mathbb{Q}(\sqrt{\eta q}, \sqrt{rs})$ and $K' = \mathbb{Q}(\sqrt{r}, \sqrt{\eta qs})$ .
3. Real triquadratic fields: $\mathcal{F} = \mathbb{Q}(\sqrt{\eta q}, \sqrt{r}, \sqrt{s})$ .
- Here, $q, r, s$ are distinct odd primes with specific congruence conditions ( $q \equiv 3 \pmod 4$ , $r, s \equiv 5 \pmod 8$ ), and $\eta \in \{1, 2\}$ .
Group-Theoretic Tools:
- Utilization of the structure of metacyclic-nonmodular groups and their maximal subgroups (index 2 and 4).
- Application of Lemma 2.3: A key criterion stating that the Galois group $G_k$ is metacyclic-nonmodular if and only if the 2-rank of the class groups of all three unramified quadratic extensions of $k$ is 2.
Class Field Theory Tools:
- Kuroda's Class Number Formula: Used to relate the class number of the multiquadratic field to its quadratic subfields.
- Wada's Method: Used to compute the unit index $q(k)$ by analyzing the fundamental units of subfields and their square roots.
- Fukuda's Theorem: Used to prove the stability of the 2-class number and 2-rank in the cyclotomic $\mathbb{Z}_2$ -tower (i.e., $h_2(k_n) = h_2(k_{n+1})$ implies stability for all $n$ ).
Norm and Symbol Analysis:
- Detailed analysis of the fundamental unit $\varepsilon_{\eta qrs}$ of the quadratic subfield.
- Investigation of whether specific expressions involving the fundamental unit (e.g., $2\delta_{\eta,1}q(\gamma-1)$ ) are squares in $\mathbb{N}$ .
- Use of quartic residue symbols $\left(\frac{r}{s}\right)_4$ to distinguish between different structural outcomes.

3. Key Contributions and Results

A. Characterization of Type 1 Metacyclic-Nonmodular Groups

The paper provides a necessary and sufficient condition for the Galois group of the maximal unramified pro-2-extension of a real quadratic field $F = \mathbb{Q}(\sqrt{\eta qrs})$ to be a metacyclic-nonmodular group of Type 1 with $\alpha=2$ .

Theorem 3.10: Under specific conditions on the primes and the fundamental unit, the Galois group is of Type 1 if and only if the quartic residue symbols satisfy:
$\left(\frac{r}{s}\right)_4 \neq \left(\frac{s}{r}\right)_4$
If this condition holds, the 2-class group structure is $A(F) \cong A(F_\infty) \cong \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2^m\mathbb{Z}$ .

B. Stability of 2-Class Groups (Greenberg's Conjecture)

The authors construct infinite families of real quadratic, biquadratic, and triquadratic fields where the 2-class group stabilizes immediately in the cyclotomic tower ( $A(k) \cong A(k_\infty)$ ).

Corollary 3.12: Demonstrates families of real biquadratic fields $K$ where $A(K) \cong A(K_\infty) \cong \mathbb{Z}/4\mathbb{Z} \times \mathbb{Z}/2^{m-1}\mathbb{Z}$ .
Theorem 3.15: Constructs a family of real triquadratic fields $\mathcal{F} = \mathbb{Q}(\sqrt{\eta q}, \sqrt{r}, \sqrt{s})$ where $A(\mathcal{F}) \cong A(\mathcal{F}_\infty) \cong \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2^{m-1}\mathbb{Z}$ and the Galois group is abelian.

C. New Techniques for 4-Rank Stability

The paper introduces techniques to analyze the 4-rank of the 2-Iwasawa module.

It is shown that for the constructed families, the 4-rank of the class group remains stable (does not grow) in the cyclotomic tower.
The authors provide explicit numerical examples (using PARI/GP) verifying these theoretical results, showing cases where the 4-rank is 1 or 2.

D. Classification of Galois Structures

The paper clarifies the relationship between the quartic residue symbol $\left(\frac{r}{s}\right)_4$ and the structure of the Galois group:

If $\left(\frac{r}{s}\right)_4 \neq \left(\frac{s}{r}\right)_4$ , the group is metacyclic-nonmodular (Type 1).
If $\left(\frac{r}{s}\right)_4 = \left(\frac{s}{r}\right)_4 = 1$ , the group is not of Type 1 (it may be modular or abelian), and the class group structure changes (e.g., $A(K) \cong \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2^m\mathbb{Z}$ instead of $\mathbb{Z}/4\mathbb{Z} \times \mathbb{Z}/2^{m-1}\mathbb{Z}$ ).

4. Significance

Resolution of Inverse Galois Questions: The paper answers "Question 2" from the introduction by confirming that specific types of metacyclic-nonmodular groups (specifically Type 1) are realizable as Galois groups of maximal unramified pro-2-extensions over cyclotomic $\mathbb{Z}_2$ -extensions of multiquadratic fields.
Advancement of Greenberg's Conjecture: By constructing explicit families of fields where the 2-class group stabilizes and the Iwasawa module has a prescribed structure, the paper provides concrete evidence supporting Greenberg's conjecture for these specific multiquadratic fields.
Methodological Innovation: The integration of Wada's method for unit indices with the analysis of quartic residue symbols to determine the structure of the Galois group offers a robust framework for studying higher-rank Iwasawa modules in multiquadratic extensions.
Explicit Examples: The inclusion of Tables 5 and 6 with specific prime numbers ( $q, r, s$ ) and calculated class group structures serves as a valuable resource for verifying these theoretical predictions computationally.

In summary, this paper successfully bridges the gap between abstract group theory and concrete number field arithmetic, providing a complete characterization of when specific metacyclic groups arise as Galois groups in the context of cyclotomic $\mathbb{Z}_2$ -extensions, while simultaneously advancing the understanding of class group stability in these towers.