[论文解读] Iwasawa Invariants of Some Non-Cyclotomic $\mathbb Z_p$-extensions

David Hubbard, Lawrence C. Washington|arXiv (Cornell University)|Mar 20, 2017

Algebraic Geometry and Number Theory被引用 3

一句话总结

该论文显式计算了当 p = 2 和 p = 3 时，非分圆 ℤₚ-扩张在虚二次域上的 Iwasawa 不变量（λ, μ, ν），采用 Iwasawa 的构造方法，涉及反对称 ℤₚ-扩张与 p 次循环扩张。关键贡献在于证明了当 s 个素数在基域中保持惰性且在循环扩张中分歧时，有 μ = s − 1，且通过显式计算在多个情形中验证了这一点。

ABSTRACT

Iwasawa showed that there are non-cyclotomic $\mathbb Z_p$-extensions with positive $μ$-invariant. We show that these $μ$-invariants can be evaluated explicitly in many situations when $p=2$ and $p=3$.

研究动机与目标

• 确定当 p = 2 和 p = 3 时，非分圆 ℤₚ-扩张的 Iwasawa 不变量 μ, λ, ν 的显式值。
• 研究 Iwasawa 的下界 μ ≥ s − 1 在非分圆情形下是否紧致。
• 计算特定数域 Kₙ = kₙ(√[p]{q}) 的类数，以评估 p-挠类群的增长。
• 分析单位指标与伽罗瓦作用下不动理想类在确定 μ-不变量中的作用。
• 探讨在何种条件下 μ > s − 1，基于局部与全局范数条件。

提出的方法

• 采用 Iwasawa 的构造：从一个虚二次域 k₀ 出发，取其反对称 ℤₚ-扩张 k∞/k₀，再通过一个 p 次循环扩张 K₀/k₀ 进行基变换，构造出 K∞/K₀。
• 应用 Chevalley 公式估算循环扩张中类群 G-不动子群的大小，以估计 Kₙ 的 p-部分类数。
• 利用 p-西洛子群类群的逆极限 X = lim← Aₙ，将其视为 Λ = ℤₚ[[T]]-模，通过模结构分析 μ-不变量。
• 利用如下事实：在 k₀/ℚ 中保持惰性的素数在 k∞/k₀ 中完全分裂，因此 K∞/K₀ 中的分歧仅来自 K₀/k₀ 中上方 q 的素数。
• 对较小的 n（特别是 n = 1）使用代数数论工具（包括单位群指标与局部范数）进行显式类数计算。
• 利用涉及 h₂′（相关域的类数）与 eₙ 上界的关系不等式，限制 μ 的可能取值，尤其在 μ = 0 或 μ = 1 时。

实验结果

研究问题

• RQ1 当 p = 3 或 p = 2 时，Iwasawa 的下界 μ ≥ s − 1 在非分圆 ℤₚ-扩张中是否紧致？
• RQ2 在非分圆情形下，μ-不变量的精确值是否可以显式计算？若可以，其条件为何？
• RQ3 在 Iwasawa 构造中，μ = s − 1 与 μ > s − 1 的决定因素是什么？
• RQ4 局部范数条件与单位群指标如何影响 ℤₚ-扩张中的 μ-不变量？
• RQ5 能否通过显式计算 Kₙ = kₙ(√[p]{q}) 的类数来推导出 μ, λ, ν 不变量？

主要发现

• 当 p = 3 且 q ≡ 2 或 5 mod 9 时，ℚ(ζ₃, √[3]{q}) 的类数不被 3 整除，因此 ℤ₃-扩张中 μ = λ = ν = 0。
• 当 q ≡ 8 mod 9 时，K₀ = ℚ(ζ₃, √[3]{q}) 的类数不被 3 整除，因此 A₀^τ = 1，且 μ = λ = ν = 0。
• 当 q ≡ 8 mod 9 且 A₁ = 9 × 3 时，单位指标为 3，且 e₁ − e₀ = 3，因此 0 ≤ μ ≤ 1，但在对 h₂ 的合理假设下可推出 μ = 0。
• 当 q = 89, 449, 431, 647, 719, 683, 773 且 A₁ = 3² 时，单位指标为 3²，且 0 ≤ μ ≤ 1；在对 h₂ 的假设下，μ = 0 极有可能。
• 当 q = 269, 521, 809 且 A₁ = 9² × 3² 时，单位指标为 3²，且 0 ≤ μ ≤ 3；对 q = 269, 809 有 μ ≤ 1，对 q = 521 有 μ ≤ 2。
• 当 q = 827 且 A₁ = 27 × 9 × 3² 时，单位指标为 3，且 0 ≤ μ ≤ 3；在假设 h₂ ∣ (h₂′)² 下，可推出 μ = 0。