[论文解读] Recent progress in determining p-class field towers

Daniel C. Mayer|arXiv (Cornell University)|May 31, 2016

Cryptography and Residue Arithmetic被引用 7

一句话总结

本文通过引入超越经典阿廷模式的精细群论技术，推进了数域 $p$-类域塔的确定。它采用多层 IPAD、夏法廖维奇覆盖和子孙树搜索，识别出非幂零 $p$-塔群，成功构建了 $p \in \{2,3,5\}$ 下二次域上的三阶段 $p$-类域塔，过程中揭示了新的树形拓扑结构。

ABSTRACT

For a fixed prime p, the p-class tower F(p,infinity,K) of a number field K is considered to be known if a pro-p presentation of the Galois group H = Gal( F(p,infinity,K)/K ) is given. In the last few years, it turned out that the Artin pattern AP(K) = (tau(K),kappa(K)) consisting of targets tau(K) = (Cl(p,L)) and kernels kappa(K) = (ker(J(L/K)) of class extensions J(L/K): Cl(p,K) --> Cl(p,L) to unramified abelian subfields L/K of the Hilbert p-class field F(p,1,K) only suffices for determining the two-stage approximation G = H/H" of H. Additional techniques had to be developed for identifying the group H itself: searching strategies in descendant trees of finite p-groups, iterated and multilayered IPADs of second order, and the cohomological concept of Shafarevich covers involving relation ranks. This enabled the discovery of three-stage towers of p-class fields over quadratic base fields K = Q( squareroot(d) ) for p = 2,3,5. These non-metabelian towers reveal the new phenomenon of various tree topologies expressing the mutual location of the groups H and G.

研究动机与目标

• 确定数域 $K$ 的完整 $p$-类域塔群 $G = \mathrm{Gal}(\mathbb{F}_p^\infty K/K)$，超越两阶段近似 $\mathfrak{G} = G/G''$。
• 在阿廷模式本身无法区分候选群时，解决完整 $p$-塔群识别中的歧义。
• 开发并应用先进计算技术——如多层 IPAD 和夏法廖维奇覆盖——以区分非幂零 $p$-塔群。
• 建立 $p \in \{2,3,5\}$ 下二次域上三阶段 $p$-类域塔的存在性，揭示其相关子孙树中新的结构现象。
• 利用精细的转移目标数据，为关键复二次域的第二 $3$-类群提供其 $3$-进对数阶的精确下界。

提出的方法

• 利用阿廷模式 $\mathrm{AP}(K) = (\tau(K), \varkappa(K))$，由转移目标类型 $\tau(K) = (\mathrm{Cl}_p L)$ 和核 $\varkappa(K) = (\ker J_{L|K})$ 约束候选 $p$-塔群。
• 采用二阶多层 IPAD——特别是第二层转移目标类型 $\tau_2(K)$——以细化 $\mathfrak{G} = \mathrm{G}_p^2 K$ 的识别。
• 应用夏法廖维奇覆盖概念分析关系秩 $d_2(G) = \dim_{\mathbb{F}_p} H^2(G, \mathbb{F}_p)$，利用夏法廖维奇定理中涉及 $\varrho$、$r$ 和 $\theta$ 的界限。
• 使用 $p$-群生成算法和子孙树搜索，探索给定幂零群 $\mathfrak{G}$ 的完整覆盖 $\mathrm{cov}_c(\mathfrak{G})$，识别可能的 $p$-塔群 $G$。
• 利用 MAGMA 等计算代数系统计算 $\mathrm{Cl}_3(M)$，其中 $M|K$ 为次数为 $3^2$ 的非分歧双循环扩张，以实现 $\tau_2(K)$ 的构建。
• 引入 IPOD 的占据数，以区分具有相同 IPAD 但群结构不同的域，解决标准 IPAD 不足时的歧义。

实验结果

研究问题

• RQ1 当两阶段近似 $\mathfrak{G} = G/G''$ 因存在多个候选群而不足以确定完整 $p$-类域塔群 $G$ 时，能否唯一确定 $G$？
• RQ2 在标准 IPAD 失效的情况下，为区分非幂零 $p$-塔群，除阿廷模式外还需哪些额外不变量？
• RQ3 关系秩 $d_2(G)$ 如何用于约束 $G$ 的结构，并从 $\mathfrak{G}$ 的覆盖中剔除不可行候选？
• RQ4 对于 $3$-类群类型为 $(1^3)$ 的复二次域，其第二 $3$-类群 $\mathfrak{G}$ 的最小 $3$-进对数阶是多少？如何从下方界定其值？
• RQ5 能否在 $p \in \{2,3,5\}$ 的二次域上构建三阶段 $p$-类域塔？它们表现出何种结构特征？

主要发现

• 对于复二次域 $K = \mathbb{Q}(\sqrt{-4\,447\,704})$，第二 $3$-类群 $\mathfrak{G}$ 的对数阶至少为 $17$，即 $\mathrm{lo}_3 \mathfrak{G} \geq 17$，依据其第二层 TTT $\tau_2(K) = [32^5 1^2; 4321^5; 2^5 1^3, (3^2 21^5)^2; 2^4 1^4, 32^2 1^5; (2^2 1^7)^3, (2^3 1^5)^3]$。
• 对于 $K = \mathbb{Q}(\sqrt{-5\,067\,967})$，第二 $3$-类群满足 $\mathrm{lo}_3 \mathfrak{G} \geq 16$，且 $\tau_2(K) = [3^2 2^2 1^4; (3^2 21^5)^3; 32^2 1^5; (2^3 1^5)^8]$。
• 对于 $K = \mathbb{Q}(\sqrt{-8\,992\,363})$，第二 $3$-类群满足 $\mathrm{lo}_3 \mathfrak{G} \geq 15$，且 $\tau_2(K) = [32^2 1^6, (3^2 21^5)^3; 2^4 1^4, 32^2 1^5; 2^2 1^7, (2^3 1^5)^6]$。
• 三个关键域（判别式 $d \in \{-4\,447\,704, -5\,067\,967, -8\,992\,363\}$）的第二 $3$-类群彼此非同构，尽管它们共享相同的首层 IPAD。
• IPOD 的占据数分别为 $6$、$2$ 和 $3$，成功区分了这三个域，解决了标准 IPAD 不足时的歧义。
• 本文确认了在 $p \in \{2,3,5\}$ 的二次域上存在三阶段 $p$-类域塔，揭示了子孙树结构中反映 $G$ 与 $\mathfrak{G}$ 相互位置关系的新树形拓扑。