On the Iwasawa $\lambda$-invariant of the cyclotomic $\mathbb{Z}_2$-extension of a family of real quadratic fields in which $2$ splits

技术摘要：关于 2 分裂的实二次域族中分圆 $\mathbb{Z}_2$-扩张的 Iwasawa $\lambda$-不变量

问题陈述
本文探讨了 Greenberg 关于全实数域的分圆 $\mathbb{Z}_p$-扩张的 Iwasawa $\lambda$-不变量的猜想。具体而言，文章聚焦于 $p=2$ 且基域 $K$ 为素数 2 分裂的实二次域 $K = \mathbb{Q}(\sqrt{pq})$ 的情形。虽然 2 为惯性或分歧的情形（即“平凡”情形）已通过类域理论和 Iwasawa 的经典结果得到充分理解，但 2 分裂的“非平凡”情形仍然具有挑战性。作者旨在证明，对于由素数 $p$ 和 $q$ 的同余条件定义的此类域族中的特定一族，$\lambda_2(K) = 0$。

方法论
证明策略结合了 Greenberg 关于分裂素情形的判据与基于 Kumakawa 工作的 capitulation（主化）论证。方法论通过以下逻辑步骤展开：

1. 归约至主化问题：利用 Greenberg 的判据，作者确立了若基域类群的 2-主部 $A_0$ 在分圆 $\mathbb{Z}_2$-扩张 $K_\infty$ 中主化（即变为主理想），则 $\lambda_2(K) = 0$。
2. 层级分析：问题被归约为分析扩张的第二层 $K_2$。作者证明，只需证明双二次扩张 $K_2/\mathbb{Q}_1$（其中 $\mathbb{Q}_1 = \mathbb{Q}(\sqrt{2})$）的 Hasse 单位指数 $q(K_2)$ 严格小于 4 即可。
3. 平方类计算：核心的技术贡献涉及对单位群的详细平方类分析。作者计算了指数 $q(K_2) = [E(K_2) : E(K_1)E(F_1)E(\mathbb{Q}_2)]$，其中 $E(L)$ 表示域 $L$ 的单位群。这需要确定二次子域单位群乘积与双二次域单位群平方的交集。
4. 局部范数障碍：证明利用 Hilbert 符号和局部范数判据，确立了特定的基本单位在相关扩张中不是范数。这依赖于四次剩余符号条件以及 Hasse 单位指数的性质。

主要贡献与结果
本文证明了定理 1.1，确立了在以下条件下，对于 $K = \mathbb{Q}(\sqrt{pq})$ 有 $\lambda_2(K) = 0$：

• $p \equiv 1 \pmod 8$ 且 $q \equiv 9 \pmod{16}$。
• Legendre 符号 $\left(\frac{p}{q}\right) = -1$。
• 四次符号条件：$\left(\frac{2}{p}\right)_4 \left(\frac{2}{q}\right)_4 \left(\frac{pq}{2}\right)_4 = -1$。
• 以下至少一项成立：$\left(\frac{2}{p}\right)_4 = -1$ 或 $\left(\frac{2}{q}\right)_4 = -1$。

主要的新的输入是显式计算，表明在这些假设下，Hasse 单位指数满足 $q(K_2) \le 2$。该界限足以触发主化论证，从而证明 $\lambda$-不变量的消失。

意义与主张
作者将此结果定位为对实二次域中 Greenberg 猜想“非平凡”情形分类的贡献。本文在以下两个具体领域主张其重要性：

1. 显式数值判据：与以往常依赖于抽象类群条件（如特定层的类群的 4-秩）的结果不同，本工作用涉及四次剩余符号的显式数值条件取代了此类条件。这使得该结果对于特定的素数 $p$ 和 $q$ 完全可验证。
2. 处理单位指数：作者强调，在他们的设定中，Hasse 单位指数的界限并非自动成立，这与 Kumakawa 的相关工作不同。本文的很大一部分篇幅致力于证明 $q(K_2) \le 2$ 所需的“平方类计算”。作者指出，这一难点使其方法与 Kumakawa 的方法区分开来，在后者的工作中，所需的界限本质上是自动成立的。

文章最后指出，此处使用的技术有可能被调整以完善 Kumakawa 的结果，具体而言，通过分析相关的单位指数和 R'edei 型数据，从而为其他域族获得显式的四次符号条件。