[论文解读] A result of Lemmermeyer on class numbers

Paul Monsky|arXiv (Cornell University)|Sep 21, 2010

Analytic Number Theory Research参考文献 1被引用 5

一句话总结

本文提供了弗朗茨·莱默迈尔对如下结论的无条件证明：对于满足 $ p \equiv 9 \pmod{16} $ 的素数 $ p $，纯四次域 $ \mathbb{Q}(p^{1/4}) $ 的类数满足 $ \equiv 2 \pmod{4} $。利用高斯关于实二次域类数的结果，以及两次应用模糊类数公式，莱默迈尔证明了中间扩张中类数的奇偶性，从而得出 $ \mathbb{Q}(p^{1/4}) $ 的类数可被 2 整除但不可被 4 整除。

ABSTRACT

I present Franz Lemmermeyer's proof that if p is a prime congruent to 9 mod 16 then the class number of Q(p^(1/4)) is congruent to 2 mod 4.

研究动机与目标

• 建立当 $ p \equiv 9 \pmod{16} $ 时 $ \mathbb{Q}(p^{1/4}) $ 的类数，解决此前依赖于 Birch–Swinnerton-Dyer 猜想的猜想。
• 使用代数数论工具，对类数同余 $ h(\mathbb{Q}(p^{1/4})) \equiv 2 \pmod{4} $ 提供无条件证明。
• 证明当 $ p \equiv 9 \pmod{16} $ 时，$ \mathbb{Q}(p^{1/4}) $ 的类数为偶数但不可被 4 整除，从而确认一个长期存在的猜想。
• 证明扩展域 $ F(p^{1/4}) $（其中 $ F $ 是 $ \mathbb{Q}(\mu_p) $ 的最大实子域）是 $ \mathbb{Q}(p^{1/4}) $ 的无挠二次扩张，从而表明类数不可被 4 整除。

提出的方法

• 将模糊类数公式应用于扩张 $ k(\sqrt{\epsilon})/k $，其中 $ k = \mathbb{Q}(\sqrt{p}) $，且 $ \epsilon $ 是范数为 $-1$ 的基本单位。
• 利用 $ k = \mathbb{Q}(\sqrt{p}) $ 的类数为奇数，且 $ \epsilon $ 的范数为 $-1$ 的事实，分析 $ k(\sqrt{\epsilon}) $ 中的分歧与范数条件。
• 通过在 2 和 $ \sqrt{p} $ 处的局部分析，证明在 $ k(\sqrt{\epsilon}) $ 中仅有两个 $ k $ 的素点发生分歧：一个无穷素点和一个位于 $ \sqrt{p} $ 上方的素点。
• 再次对扩张 $ F(\sqrt{\epsilon})/k(\sqrt{\epsilon}) $ 应用模糊类数公式，证明当 $ p \equiv 9 \pmod{16} $ 时，模糊类数为奇数。
• 证明 $ \sqrt{\epsilon} $ 在 $ k(\sqrt{\epsilon}) $ 中位于 $ \sqrt{p} $ 上方的两个素点处不是局部范数，这表明 $ j $ 为偶数，因此模糊类数为奇数。
• 通过类域论结合 $ F(p^{1/4}) $ 是 $ \mathbb{Q}(p^{1/4}) $ 的无挠二次扩张的事实，综合前述结果，得出 $ \mathbb{Q}(p^{1/4}) $ 的类数满足 $ \equiv 2 \pmod{4} $。

实验结果

研究问题

• RQ1 当 $ p \equiv 9 \pmod{16} $ 时，$ \mathbb{Q}(p^{1/4}) $ 的类数是多少？它是否可被 4 整除？
• RQ2 类数同余 $ h(\mathbb{Q}(p^{1/4})) \equiv 2 \pmod{4} $ 能否在不假设 Birch–Swinnerton-Dyer 猜想的前提下无条件证明？
• RQ3 模糊类数公式如何帮助确定多级伽罗瓦扩张中类数的奇偶性？
• RQ4 为何条件 $ p \equiv 9 \pmod{16} $ 确保 $ \sqrt{\epsilon} $ 在 $ k(\sqrt{\epsilon}) $ 中位于 $ \sqrt{p} $ 上方的素点处不是局部范数？
• RQ5 $ k $ 中的素点 $ (\sqrt{p}) $ 在 $ k(\sqrt{\epsilon}) $ 中的分裂行为在类数论证中起什么作用？

主要发现

• 对于满足 $ p \equiv 9 \pmod{16} $ 的素数，$ \mathbb{Q}(p^{1/4}) $ 的类数满足 $ \equiv 2 \pmod{4} $，即其可被 2 整除但不可被 4 整除。
• 扩展域 $ F(p^{1/4}) $（其中 $ F $ 是 $ \mathbb{Q}(\mu_p) $ 的最大实子域）是 $ \mathbb{Q}(p^{1/4}) $ 的无挠二次扩张，表明 $ \mathbb{Q}(p^{1/4}) $ 的类数不可被 4 整除。
• $ k(\sqrt{\epsilon}) = \mathbb{Q}(\sqrt{p}, \sqrt{\epsilon}) $ 的类数为奇数，这由模糊类数公式以及 $-1$ 在分歧的无穷素点处不是局部范数的事实所证明。
• 当 $ p \equiv 9 \pmod{16} $ 时，$ F(\sqrt{\epsilon})/k(\sqrt{\epsilon}) $ 的模糊类数为奇数，原因在于 $ \sqrt{\epsilon} $ 模 $ p $ 的像是一个本原八次单位根，其在 $ \mathbb{F}_p^* $ 中不是平方。
• $ k $ 中的素点 $ (\sqrt{p}) $ 在 $ k(\sqrt{\epsilon}) $ 中分裂，且其上方的两个素点在 $ F(\sqrt{\epsilon}) $ 中均发生分歧，这对模糊类数的计算至关重要。
• 该证明依赖于两次应用模糊类数公式，且避免了对 Birch–Swinnerton-Dyer 猜想的假设，从而为一个长期存在的猜想提供了无条件的解决。