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

This paper derives explicit formulas for the Iwasawa invariants $\lambda_2$ of cyclotomic $\mathbb{Z}_2$-extensions of multi-quadratic number fields using Hasse units and ramification analysis, and subsequently applies these results to establish criteria for determining the parity of their class numbers under Greenberg's conjecture.

The Gist

Imagine you are an architect trying to understand the stability of a massive, infinitely growing skyscraper. In the world of mathematics, this skyscraper is a Number Field (a complex system of numbers), and the "floors" of the building are layers of extensions that get more and more complicated as you go up.

This paper by Qinhao Li and Derong Qiu is like a detailed engineering report on how to predict the structural integrity (specifically, the "class number") of a very specific type of skyscraper: the Multi-Quadratic Number Field.

Here is the breakdown of their work using simple analogies:

1. The Setting: The Infinite Tower (Iwasawa Theory)

Imagine a tower built on a foundation of rational numbers ($\mathbb{Q}$).

• The Foundation: The basic numbers we use every day (1, 2, 3...).
• The Floors: Mathematicians build "extensions" on top. A "Multi-Quadratic" field is like a tower built by stacking square roots on top of each other (e.g., $\sqrt{2}$, $\sqrt{3}$, $\sqrt{5}$).
• The Infinite Extension: The authors are studying a specific version of this tower that goes up forever, adding layers of complexity in a very regular pattern (called a $\mathbb{Z}_2$-extension). Think of it as an elevator that keeps going up, doubling the size of the floor at every stop.

2. The Problem: The "Class Number" (The Building's Stability)

In this mathematical world, every floor has a "Class Number."

• Analogy: Think of the Class Number as a measure of chaos or imperfection in the floor's design.
  • If the Class Number is 1, the floor is perfectly symmetrical and stable.
  • If the Class Number is even (divisible by 2), there is a specific kind of "twist" or instability in the structure.
  • If the Class Number is odd, the structure is "stable" in a different way.

The big question the authors ask is: "Is the Class Number of these infinite towers even or odd?" This is crucial because if it's odd, the field has a very special, clean property.

3. The Tools: The "Blueprints" (Iwasawa Invariants)

To predict the stability of the infinite tower without building every single floor, mathematicians use a tool called Iwasawa Invariants (specifically $\lambda$, $\mu$, and $\nu$).

• Analogy: These are like blueprints or formulas that tell you how the "chaos" (Class Number) grows as you go higher.
  • $\lambda$ (Lambda) is the most important one here. It tells you the rate at which the chaos grows.
  • If $\lambda = 0$, the chaos doesn't grow; the tower remains perfectly stable forever.
  • If $\lambda > 0$, the chaos grows, and the tower becomes more complex.

4. The Discovery: The "Greenberg Conjecture" and the Formula

The authors spent the paper deriving a master formula to calculate $\lambda$ for these specific multi-quadratic towers.

• The Challenge: These towers are built from many different square roots ($\sqrt{d_1}, \sqrt{d_2}, \dots$). Calculating the stability is like trying to predict the weather in a city where every street has a different wind pattern.
• The Breakthrough: They used a method called the Riemann-Hurwitz formula (which is like a "conservation of energy" law for these number towers) and studied the "Hasse units" (special numbers that act like the steel beams holding the tower together).
• The Result: They found a precise recipe. If you know which prime numbers (like 3, 5, 7, 11...) are used to build the tower, you can plug them into their formula to get the exact value of $\lambda$.

The "Greenberg Conjecture" Assumption:
They assume a famous guess by mathematician Greenberg is true (which says that for "totally real" towers, the chaos rate $\lambda$ is zero). Under this assumption, they simplified their formula to give a clear answer for Imaginary multi-quadratic fields (towers that include $\sqrt{-1}$).

5. The Application: The "Odd/Even" Test

The most practical part of the paper is Theorem 1.5. They used their formula to answer the question: "When is the Class Number odd?"

They found that for these specific imaginary towers to be "stable" (have an odd class number), they must be built in very specific ways. It's like saying, "This skyscraper will only stand straight if it is built using exactly these three types of bricks."

They listed the only four valid blueprints for a stable tower:

1. Tower A: Built with $\sqrt{2}$ and $\sqrt{-p}$ (where $p$ is a prime like 3, 11, 19...).
2. Tower B: Built with $\sqrt{2}$, $\sqrt{-1}$, and $\sqrt{-p}$ (where $p$ is 3, 5, 11...).
3. Tower C: Built with $\sqrt{2}$, $\sqrt{-p}$, and $\sqrt{-q}$ (where both $p$ and $q$ are primes like 3, 11, 19...).
4. Tower D: Built with just $\sqrt{2}$ and $\sqrt{-1}$.

The "Gotcha":
They also found a special case. If you build a tower with $\sqrt{2}$ and $\sqrt{-p}$ where $p$ is a prime like 5, 13, or 21 (numbers that are 5 mod 8), the tower is not perfectly stable. It has a "twist" (the class number is even), but it's not too twisted (it's not divisible by 4).

Summary in Plain English

Imagine you have a set of Lego instructions for building infinite towers.

• The Paper's Goal: To figure out which sets of instructions result in a tower that is perfectly balanced (odd class number) versus one that is slightly wobbly (even class number).
• The Method: They developed a new mathematical "calculator" (the formula for $\lambda$) that looks at the ingredients (the prime numbers) and predicts the wobble.
• The Conclusion: They discovered that only four specific combinations of ingredients create a perfectly balanced tower. If you use any other combination, the tower will have a structural flaw (an even class number).

This is a significant achievement because it turns a vague question about infinite complexity into a concrete checklist that anyone can use to determine the stability of these mathematical structures.

Technical Summary

Here is a detailed technical summary of the paper "Iwasawa invariants and class number parity of multi-quadratic number fields" by Qinhao Li and Derong Qiu.

1. Problem Statement

The paper addresses two interconnected problems in algebraic number theory:

1. Calculation of Iwasawa Invariants: Specifically, determining the $\lambda_2$ invariant (the Iwasawa $\lambda$-invariant for $p=2$) for the cyclotomic $\mathbb{Z}_2$-extensions of imaginary multi-quadratic number fields.
2. Class Number Parity: Establishing explicit criteria to determine whether the class number ($h_K$) of such fields is odd or even.

The authors focus on fields of the form $K = F(\sqrt{d_1}, \dots, \sqrt{d_r}, \sqrt{-d})$, where $F$ is a totally real abelian number field, and $d_i, d$ are square-free positive integers. The study is motivated by Greenberg's Conjecture, which posits that for totally real number fields, the Iwasawa invariants $\lambda$ and $\mu$ vanish ($\lambda = \mu = 0$).

2. Methodology

The authors employ a combination of classical Iwasawa theory, cohomological methods, and explicit ramification analysis:

• Iwasawa-Kida Theory: They utilize the generalized Riemann-Hurwitz formula for Iwasawa invariants (Theorem 3.1), which relates the $\lambda$-invariant of a base field to that of a cyclic extension. This formula accounts for ramified primes and the cohomology of unit groups.
• Hasse Unit Analysis: A significant portion of the work involves analyzing the index of units $[E_K : E_{K^+} W_K]$, where $E$ denotes units, $K^+$ the maximal real subfield, and $W$ roots of unity. The authors determine when this index is 1 or 2, which directly affects the $\lambda$-invariant calculation.
• Ramification and Decomposition: They meticulously study the ramification behavior of prime ideals in the tower of fields $K_n$ (the $n$-th layer of the $\mathbb{Z}_2$-extension). They use properties of the cyclotomic $\mathbb{Z}_2$-extension of $\mathbb{Q}$ ($Q_\infty$) and lemmas regarding the splitting of primes in quadratic extensions (e.g., Corollaries 2.6–2.9).
• Inductive Arguments: The main theorems are proven using induction on the degree of the multi-quadratic extension, breaking the problem into cases based on whether $\sqrt{d}$ lies in the maximal real subfield and the divisibility properties of the discriminants.
• Genus Field Theory: To address class number parity, they relate the vanishing of Iwasawa invariants to the structure of the genus field and the elementary abelian 2-subextension of the field.

3. Key Contributions and Results

A. Explicit Formula for $\lambda_2(K)$

The paper derives a general explicit formula for $\lambda_2(K)$ for $K = F(\sqrt{d_1}, \dots, \sqrt{d_r}, \sqrt{-d})$.

• Theorem 1.4 / Theorem 3.9: The authors provide a recursive formula:
  $$\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$$
  Here:
  • $s_i$ and $f_i$ count specific places (primes) ramifying in intermediate extensions.
  • $\delta$ is a correction term (0 or 1) depending on whether $\sqrt{d}$ lies in $K^+(\sqrt{2})$.
  • $t_i$ are products of the square-free integers defining the field.
• Special Case ($F=\mathbb{Q}$): When the base field is $\mathbb{Q}$, the formula simplifies to a sum involving the 2-adic valuation of $p^2-1$ for primes dividing the discriminants.
  $$\lambda_2(K) = \lambda_2(K^+) + \sum_{p | \prod d_i, p \neq 2} 2^{\nu_2(p^2-1) + r - \theta - 4} + \sum_{p | d, p \nmid 2\prod d_i} 2^{\nu_2(p^2-1) + r - \theta - 3} - 2^{r-\theta} + \delta$$
  where $\theta$ depends on whether $\sqrt{2} \in K$.

B. Class Number Parity Criteria

Under the assumption of Greenberg's Conjecture (that $\lambda_2(K^+) = 0$ for totally real fields), the authors derive necessary and sufficient conditions for the class number of an imaginary multi-quadratic field $K$ (containing $\sqrt{2}$) to be odd.

• Theorem 1.5 / Theorem 4.5: For an imaginary multi-quadratic field $K$ with $\sqrt{2} \in K$, the class number $h_K$ is odd ($2 \nmid h_K$) if and only if$K$ is isomorphic to one of the following forms:

  1. $\mathbb{Q}(\sqrt{2}, \sqrt{-p})$ with $p \equiv 3 \pmod 8$.
  2. $\mathbb{Q}(\sqrt{2}, \sqrt{-1}, \sqrt{-p})$ with $p \equiv 3, 5 \pmod 8$.
  3. $\mathbb{Q}(\sqrt{2}, \sqrt{-p}, \sqrt{-q})$ with distinct primes $p, q \equiv 3 \pmod 8$.
  4. $\mathbb{Q}(\sqrt{2}, \sqrt{-1})$.

• Refined Result: The paper also notes that for $K = \mathbb{Q}(\sqrt{2}, \sqrt{-p})$ with $p \equiv 5 \pmod 8$, the class number is even but not divisible by 4 ($2 \mid h_K$but$4 \nmid h_K$).

C. Correction of Previous Literature

The authors identify a discrepancy in a previous result (Corollary 3.5 in [CCH]) regarding the 2-part of the class group for fields of the form $\mathbb{Q}(\sqrt{2}, \sqrt{-p}, \sqrt{-q})$. Their analysis, supported by known examples (e.g., $\mathbb{Q}(\sqrt{2}, \sqrt{-11}, \sqrt{-33})$ having class number 1), suggests that the class number can be odd in cases where previous literature claimed it was even.

4. Significance

• Explicit Computations: The paper moves beyond theoretical existence to provide computable formulas for Iwasawa invariants in complex multi-quadratic settings, which are notoriously difficult to calculate.
• Bridging Theory and Arithmetic: By linking the analytic Iwasawa invariants ($\lambda_2$) directly to the arithmetic property of class number parity, the work offers a powerful tool for verifying Greenberg's conjecture in specific families of fields.
• Resolution of Ambiguities: The detailed analysis of unit indices and ramification clarifies the conditions under which the class number is odd, correcting potential errors in prior classifications of imaginary triquadratic fields.
• Generalization: The results generalize previous work on bi-quadratic and tri-quadratic fields to arbitrary multi-quadratic extensions over totally real abelian fields.

In summary, Li and Qiu provide a rigorous framework for calculating $\lambda_2$ invariants and determining class number parity in imaginary multi-quadratic fields, offering explicit criteria that rely on the congruence properties of the defining primes and the validity of Greenberg's conjecture.