The main aim of this paper is to investigate Greenberg's conjecture for real biquadratic fields. More precisely, we propose the following problem: What are real biquadratic number fields $k$ such that ${\rm rank}(A(k_\infty)) = {\rm rank}(A(k_1))$?, where $A(k_\infty)$ is the $2$-Iwasawa module of $k$ and $A(k_1)$ is the $2$-class group of $k_1$ the first layer of the cyclotomic $\mathbb Z_2$-extension of $k$. Moreover, we give several families of real biquadratic fields $k$ such that $A(k_\infty)$ is trivial or isomorphic to $\mathbb Z/2^{n} \mathbb Z$ or $\mathbb Z/2\mathbb Z \times\mathbb Z/2^n \mathbb Z$, where $n$ is a given positive integer. The reader can also find some results concerning the $2$-rank of the class group of certain real triquadratic fields.
Greenberg's conjecture and Iwasawa module of Real biquadratic fields I 论文ID : 2503.15727标题 : Greenberg's conjecture and Iwasawa module of Real biquadratic fields I作者 : Mohamed Mahmoud Chems-Eddin分类 : math.NT (数论)发表时间 : 2025年10月14日 (arXiv v2)论文链接 : https://arxiv.org/abs/2503.15727 本文旨在研究实二次双二次域的Greenberg猜想。具体而言，作者提出了以下问题：哪些实二次双二次数域k k k rank ( A ( k ∞ ) ) = rank ( A ( k 1 ) ) \text{rank}(A(k_\infty)) = \text{rank}(A(k_1)) rank ( A ( k ∞ )) = rank ( A ( k 1 )) A ( k ∞ ) A(k_\infty) A ( k ∞ ) k k k A ( k 1 ) A(k_1) A ( k 1 ) k k k Z 2 \mathbb{Z}_2 Z 2 k 1 k_1 k 1 A ( k ∞ ) A(k_\infty) A ( k ∞ ) Z / 2 n Z \mathbb{Z}/2^n\mathbb{Z} Z / 2 n Z Z / 2 Z × Z / 2 n Z \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2^n\mathbb{Z} Z /2 Z × Z / 2 n Z n n n
Greenberg猜想的核心地位 ：1976年Greenberg猜想断言，对于完全实数域的分圆Z ℓ \mathbb{Z}_\ell Z ℓ μ \mu μ λ \lambda λ 已有进展的局限性 ：虽然Ferrero和Washington证明了对于有理数域上的阿贝尔数域，μ \mu μ 特殊情况的研究价值 ：通过研究特定的数域族（如实二次双二次域），可以为理解一般情况提供重要洞察。作者提出研究rank ( A ( k ∞ ) ) = rank ( A ( k 1 ) ) \text{rank}(A(k_\infty)) = \text{rank}(A(k_1)) rank ( A ( k ∞ )) = rank ( A ( k 1 ))
完整分类结果 ：给出了形式A)、B)、C)的实二次双二次域K K K rank ( A ( K ∞ ) ) ≤ 2 \text{rank}(A(K_\infty)) \leq 2 rank ( A ( K ∞ )) ≤ 2 rank ( A ( K ∞ ) ) = rank ( A ( K ) ) \text{rank}(A(K_\infty)) = \text{rank}(A(K)) rank ( A ( K ∞ )) = rank ( A ( K )) 结构定理 ：确定了特定实二次双二次域族的Iwasawa模的精确结构，包括平凡情况和具体的有限阿贝尔群结构。计算方法 ：提供了有效计算某些二次双二次域的Iwasawa模大小的程序性方法。新的数域族构造 ：构造了无穷多个实二次双二次数域和实二次数域，其2-Iwasawa模的秩等于2且4-秩等于1。研究实二次双二次域K = Q ( d 1 , d 2 ) K = \mathbb{Q}(\sqrt{d_1}, \sqrt{d_2}) K = Q ( d 1 , d 2 ) K 1 / K K_1/K K 1 / K rank ( A ( K ∞ ) ) = rank ( A ( K 1 ) ) \text{rank}(A(K_\infty)) = \text{rank}(A(K_1)) rank ( A ( K ∞ )) = rank ( A ( K 1 ))
作者采用以下系统性方法：
预筛选 ：首先排除所有K K K K 1 K_1 K 1 K 1 / K K_1/K K 1 / K 分类框架 ：基于Conner-Hurrelbrink和Kučera的结果，将满足条件的域分为六种形式A)-F)。秩分析 ：对每种形式，确定rank ( A ( K ) ) ≤ 2 \text{rank}(A(K)) \leq 2 rank ( A ( K )) ≤ 2 rank ( A ( K ) ) = rank ( A ( K 1 ) ) \text{rank}(A(K)) = \text{rank}(A(K_1)) rank ( A ( K )) = rank ( A ( K 1 )) 定义1.1 ：数域k k k k ′ k' k ′
这一概念的引入简化了对2-类群秩的分析，因为对于QO-扩张k / k ′ k/k' k / k ′ rank ( A ( k ) ) = t k / k ′ − 1 − e k / k ′ \text{rank}(A(k)) = t_{k/k'} - 1 - e_{k/k'} rank ( A ( k )) = t k / k ′ − 1 − e k / k ′ t k / k ′ t_{k/k'} t k / k ′ e k / k ′ e_{k/k'} e k / k ′
作者大量使用范数剩余符号( ⋅ , ⋅ ) (\cdot, \cdot) ( ⋅ , ⋅ ) e k / k ′ e_{k/k'} e k / k ′
引理2.3 ：如果存在整数n ≥ n 0 n \geq n_0 n ≥ n 0 rank ( A ( k n ) ) = rank ( A ( k n + 1 ) ) \text{rank}(A(k_n)) = \text{rank}(A(k_{n+1})) rank ( A ( k n )) = rank ( A ( k n + 1 )) m ≥ n m \geq n m ≥ n rank ( A ( k m ) ) = rank ( A ( k n ) ) \text{rank}(A(k_m)) = \text{rank}(A(k_n)) rank ( A ( k m )) = rank ( A ( k n ))
这保证了稳定性，使得通过有限步计算就能确定整个塔的行为。
对于形式A)、B)、C)的实二次双二次域K K K K ≠ L K \neq L K = L rank ( A ( K ∞ ) ) ≤ 2 \text{rank}(A(K_\infty)) \leq 2 rank ( A ( K ∞ )) ≤ 2 rank ( A ( K ∞ ) ) = rank ( A ( K ) ) \text{rank}(A(K_\infty)) = \text{rank}(A(K)) rank ( A ( K ∞ )) = rank ( A ( K )) K K K
平凡Iwasawa模 ：K = Q ( q , r ) K = \mathbb{Q}(\sqrt{q}, \sqrt{r}) K = Q ( q , r ) q ≡ 3 ( m o d 4 ) q \equiv 3 \pmod{4} q ≡ 3 ( mod 4 ) r r r r ≡ 3 , 5 ( m o d 8 ) r \equiv 3, 5 \pmod{8} r ≡ 3 , 5 ( mod 8 ) r ≡ 7 ( m o d 8 ) r \equiv 7 \pmod{8} r ≡ 7 ( mod 8 ) q ≡ 3 ( m o d 8 ) q \equiv 3 \pmod{8} q ≡ 3 ( mod 8 ) 此时A ( K ∞ ) = 0 A(K_\infty) = 0 A ( K ∞ ) = 0 秩1的情况 ：K = Q ( q , r s ) K = \mathbb{Q}(\sqrt{q}, \sqrt{rs}) K = Q ( q , rs ) q ≡ 3 ( m o d 4 ) q \equiv 3 \pmod{4} q ≡ 3 ( mod 4 ) r , s r, s r , s ( q s ) = ( q r ) = − 1 (\frac{q}{s}) = (\frac{q}{r}) = -1 ( s q ) = ( r q ) = − 1 此时rank ( A ( K ∞ ) ) = 1 \text{rank}(A(K_\infty)) = 1 rank ( A ( K ∞ )) = 1 秩2的情况 ：K = Q ( q , r s ) K = \mathbb{Q}(\sqrt{q}, \sqrt{rs}) K = Q ( q , rs ) q ≡ 3 ( m o d 4 ) q \equiv 3 \pmod{4} q ≡ 3 ( mod 4 ) r , s r, s r , s ( q r ) = ( q s ) = 1 (\frac{q}{r}) = (\frac{q}{s}) = 1 ( r q ) = ( s q ) = 1 r ≡ s ≡ 3 , 5 ( m o d 8 ) r \equiv s \equiv 3, 5 \pmod{8} r ≡ s ≡ 3 , 5 ( mod 8 ) 此时rank ( A ( K ∞ ) ) = 2 \text{rank}(A(K_\infty)) = 2 rank ( A ( K ∞ )) = 2 对于K = Q ( q , r s ) K = \mathbb{Q}(\sqrt{q}, \sqrt{rs}) K = Q ( q , rs ) r ≡ s ≡ q ≡ 3 ( m o d 4 ) r \equiv s \equiv q \equiv 3 \pmod{4} r ≡ s ≡ q ≡ 3 ( mod 4 ) A ( K ∞ ) ≅ Z / 2 Z A(K_\infty) \cong \mathbb{Z}/2\mathbb{Z} A ( K ∞ ) ≅ Z /2 Z
在特定条件下，A ( K ∞ ) ≅ A ( K ) ≅ Z / 2 m − 1 Z A(K_\infty) \cong A(K) \cong \mathbb{Z}/2^{m-1}\mathbb{Z} A ( K ∞ ) ≅ A ( K ) ≅ Z / 2 m − 1 Z m m m h 2 ( q r s ) = 2 m h_2(qrs) = 2^m h 2 ( q rs ) = 2 m
作者首次对实二次双二次域进行了如此完整和系统的分类，涵盖了所有可能的情况。
通过详细计算各种范数剩余符号，作者能够精确确定单位群商的结构，这是计算e k / k ′ e_{k/k'} e k / k ′
作者不仅分析了基域，还深入研究了第一层K 1 K_1 K 1
不仅给出了存在性结果，还提供了具体的构造方法和计算程序。
作者通过大量具体计算验证了理论结果，包括：
单位群结构的计算 类数公式的应用 范数剩余符号的数值验证 文中给出了多个具体的数域例子，展示了不同情况下Iwasawa模的结构。
Iwasawa理论基础 ：Iwasawa在1959年建立了基本框架Greenberg猜想 ：1976年提出，至今仍是开放问题Ferrero-Washington定理 ：证明了阿贝尔域情况下μ = 0 \mu = 0 μ = 0 近期进展 ：多位学者对特殊数域族进行了研究本文是该领域的重要进展，首次给出了实二次双二次域的完整分类结果。
给出了29种满足条件的实二次双二次域的完整分类 确定了相应Iwasawa模的精确结构 证明了在这些情况下Greenberg猜想成立（μ = λ = 0 \mu = \lambda = 0 μ = λ = 0 仅处理了形式A)、B)、C)的域，形式D)、E)、F)留待后续工作 主要集中在2-Iwasawa理论，对奇素数的情况未涉及 某些技术计算较为复杂，可能存在进一步简化的空间 完成形式D)、E)、F)的分析 推广到更一般的多二次域 研究奇素数情况下的类似问题 理论贡献重大 ：首次完整解决了实二次双二次域的Greenberg猜想问题方法系统严谨 ：采用了完整的分类框架和精确的计算方法结果具体明确 ：不仅给出存在性，还提供了具体的构造和计算方法技术创新显著 ：在范数剩余符号的应用和单位群分析方面有重要创新计算复杂度高 ：某些证明涉及大量的情况分析和符号计算完整性有限 ：仅处理了部分情况，需要后续工作补充可读性挑战 ：技术细节较多，对非专业读者有一定门槛学术价值 ：为Iwasawa理论和类域理论提供了重要的具体结果方法论贡献 ：所用方法可推广到其他数域族的研究计算工具 ：提供了有效的计算框架，具有实用价值代数数论研究，特别是Iwasawa理论 类域理论的具体应用 计算数论中的算法设计 论文引用了44篇相关文献，涵盖了Iwasawa理论、类域理论、二次域理论等多个方面的经典和最新研究成果，体现了作者对该领域的深入了解和全面把握。
总体评价 ：这是一篇高质量的数论研究论文，在Greenberg猜想这一重要问题上取得了实质性进展。虽然技术性较强，但方法严谨，结果明确，对该领域的发展具有重要推动作用。
