[论文解读] The 4-class group of real quadratic number fields

Franz Lemmermeyer|arXiv (Cornell University)|Oct 24, 2013

Algebraic Geometry and Number Theory参考文献 7被引用 3

一句话总结

本文使用双二次互素符号和判别式因式分解性质，对实二次数域中4类群的结构提供了初等证明，证明了：一个在无穷远处无分支的循环四次扩张是完全实的，当且仅当双二次互素符号 $(d_1/d_2)_4$ 与 $(d_2/d_1)_4$ 的乘积为+1；并证明了若类群的4-秩至少为4，则2-类域塔是无限的，通过Hajir的方法强化了Maire的结果。

ABSTRACT

In this paper we give an elementary proof of results on the structure of 4-class groups of real quadratic number fields originally due to A. Scholz. In a second (and independent) section we strengthen C. Maire's result that the 2-class field tower of a real quadratic number field is infinite if its ideal class group has 4-rank at least $4$, using a technique due to F. Hajir.

研究动机与目标

• 提供A. Scholz关于实二次数域4类群结果的初等证明，且不依赖类域论。
• 强化Maire的结果：当理想类群的4-秩至少为4时，2-类域塔为无限。
• 利用双二次互素符号刻画在无穷远处无分支的完全实循环四次扩张的存在性。
• 通过 $\mathbb{F}_2$ 上的向量空间及其纤维分解，分析判别式 $C_4^+$-因式分解的结构。
• 证明在某些情况下，多个独立的 $C_4^+$-因式分解的存在性，意味着存在一个因式为素判别式，或具有特定交集模式的因式分解。

提出的方法

• 使用通过局部符号定义的双二次雅克比符号 $(d/d')_4$，包括对 $d=2$ 的约定。
• 将无分支循环四次扩张的问题约化为求解形如 $x^2 - d_1 y^2 = d_2 z^2$ 的丢番图方程，其中 $d = d_1 d_2$。
• 对方程应用模约化技巧，推导出双二次符号乘积的条件。
• 将 $C_4^+$-因式分解建模为 $\mathbb{F}_2^t / X$ 中的向量，其中 $t$ 是整除 $d$ 的素判别式的个数，并利用坐标和定义纤维分解 $V_\nu$。
• 在 $\mathbb{F}_2$-向量空间中应用组合论证，包括狄利克雷抽屉原理，证明在4维子空间中存在特定配置。
• 使用迹映射 $T_{2k}$ 定义对应于具有 $2k$ 个负素因子的因式分解的子空间 $V^{(2k)}$，并分析其纤维结构。

实验结果

研究问题

• RQ1 当一个实二次域的循环四次扩张在无穷远处无分支时，其为完全实扩张的条件是什么？
• RQ2 当一个判别式的多个 $C_4^+$-因式分解存在时，其何时蕴含存在一个因式为素数的因式分解？
• RQ3 乘积 $(d_1/d_2)_4 (d_2/d_1)_4$ 与扩张 $k(\sqrt{d_1}, \sqrt{\alpha})$ 的实性之间有何关系？
• RQ4 若实二次域的类群的4-秩至少为4，其2-类域塔是否可能为无限？
• RQ5 对 $V$ 的4维子空间中满足 $a + b + c = 0$ 的解的存在性，$C_4^+$-因式分解结构的何种条件会强制其成立？

主要发现

• 一个在无穷远处无分支的循环四次扩张 $k(\sqrt{d_1}, \sqrt{\alpha})$ 是完全实的，当且仅当 $(d_1/d_2)_4 (d_2/d_1)_4 = +1$，其中 $d = d_1 d_2$ 是一个 $C_4^+$-因式分解。
• 若存在一个在无穷远处无分支的循环八次扩张包含此类四次扩张，则必有 $(d_1/d_2)_4 = (d_2/d_1)_4 = +1$。
• 当 $t = 6$ 时，任何 $V$ 中的4维子空间 $U$，若避开 $V_1$，则必与 $V_2$ 非平凡相交，这意味着存在一个 $C_4^+$-因式分解，其一个因式为素判别式，或存在两个因式分解共享一个公共素因子。
• 当 $t = 7$ 时，任何 $V^{(2k)}$ 中的4维子空间 $U$，必与 $V^{(2k)}_1$ 或 $V^{(2k)}_2$ 非平凡相交，从而无法避免低权重配置。
• 纤维基数 $\#V_\nu$ 被显式计算：当 $t = 2s+1$ 为奇数时，$\#V_\nu = \binom{t}{\nu}$；当 $t = 2s$ 且 $\nu = s$ 时，$\#V_\nu = \frac{1}{2}\binom{t}{s}$。
• 若存在一个 $V^{(2k)}$ 的4维子空间 $U$，满足 $U \cap V^{(2k)}_1 = U \cap V^{(2k)}_2 = \varnothing$，则导致矛盾，从而证明此类子空间必包含权重为1或2的元素。