[论文解读] p-Tower Groups over Quadratic Imaginary Number Fields

Cam McLeman|arXiv (Cornell University)|Aug 18, 2010

Algebraic Geometry and Number Theory参考文献 12被引用 4

一句话总结

本文提出了一种类上同调准则，用于判断奇素数 $p$ 下，二次虚数域上的 $p$-类域塔是否有限或无限。通过分析群上同调中的三重Massey乘积并应用Golod-Shafarevich不等式，作者在$(3,3)$猜想成立的假设下，针对类群 $p$-秩为2的情形，推导出无限性的必要且充分条件，并提出一种计算方法来评估该条件。

ABSTRACT

The modern theory of class field towers has its origins in the study of the p-class field tower over a quadratic imaginary number field, so it is fitting that this problem be the first in the discipline to be nearing a solution. We survey the state of the subject and present a new cohomological condition for a quadratic imaginary number field to have an infinite p-class field tower (for p odd). Under an additional hypothesis, we refine this to a necessary and sufficient condition and describe an algorithm for evaluating this condition for a given quadratic imaginary number field.

研究动机与目标

• 解决长期存在的问题：确定奇素数 $p$ 下，二次虚数域上的 $p$-类域塔是否有限或无限。
• 基于群上同调中的三重Massey乘积与迹不变量，建立类上同调条件。
• 在$(3,3)$猜想假设下，将该条件精炼为必要且充分的判别准则。
• 提出一种算法方法，用于判断给定二次虚数域上 $p$-塔的有限性。

提出的方法

• 利用Zassenhaus滤子和 $p$-塔群作为pro-$p$群的结构，分析群表示中关系的层级。
• 应用Golod-Shafarevich不等式，通过关系的数量与深度来界定群的Zeta函数，并据此检测无限性。
• 计算 $H^3(G, \bbF_p)$ 中三重Massey乘积的迹，以确定关系在Zassenhaus滤子中所处的最小层级。
• 利用Koch-Venkov的结果 $r_4 = 0$，证明当某些Massey乘积迹为零时，关系必须位于至少第五层级。
• 借助$(3,3)$猜想，将条件简化为在 $\bbF_p$ 上一个 $2 \times 2$ 迹不变量矩阵的可逆性。
• 构建一个算法，通过计算 $\dim_{\bbF_p} G_3/G_4$ 来判断有限性：若为偶数，则塔有限；若为奇数，则塔无限。

实验结果

研究问题

• RQ1 在何种上同调条件下，奇素数 $p$ 下二次虚数域上的 $p$-类域塔是无限的？
• RQ2 能否通过伽罗瓦群上同调的不变量（特别是三重Massey乘积）来判断 $p$-塔的有限性？
• RQ3 类群的 $p$-秩与 $p$-塔群结构之间的确切关系是什么？
• RQ4 如何利用$(3,3)$猜想推导出 $p$-塔有限性的必要且充分条件？
• RQ5 是否存在一种算法程序，可判断给定二次虚数域上 $p$-塔的有限性？

主要发现

• 若两个关系的三重Massey乘积迹 $\operatorname{tr}_{\rho_i}\langle\chi_1,\chi_1,\chi_2\rangle$ 与 $\operatorname{tr}_{\rho_i}\langle\chi_1,\chi_2,\chi_2\rangle$ 均为零，则关系被迫进入Zassenhaus滤子的第五级，导致 $p$-塔无限。
• 当类群的 $p$-秩为2且$(3,3)$猜想成立时，$p$-塔有限当且仅当某个 $2 \times 2$ 迹不变量矩阵在 $\bbF_p$ 上可逆。
• 该算法决策程序简化为计算 $\dim_{\bbF_p} G_3/G_4$：若为偶数，则塔有限；若为奇数，则塔无限。
• 证明表明，若两个关系位于第五级或更高，则不足以使一个2生成的pro-$p$群保持有限，这与Golod-Shafarevich不等式矛盾。
• 该方法通过使用上同调不变量（特别是Massey乘积的迹）来推断结构深度，避免了直接计算关系。
• 该框架在$(3,3)$猜想下，为 $p$-塔有限性提供了完整的上同调刻画，并为 $p > 3$ 提供了实用的决策程序。