[論文レビュー] 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$ に対して、二段階近似 $\mathfrak{G} = G/G''$ を超えて、完全な $p$-類体塔群 $G = \mathrm{Gal}(\mathbb{F}_p^\infty K/K)$ を特定すること。
• アーティンパターンだけでは候補群を区別できない場合の、完全な $p$-塔群の曖昧性を解消すること。
• 多層構造 IPAD やシャファレヴィッチ被覆などの高度な計算技法を発展・適用し、非メタアベリアン $p$-塔群を区別すること。
• 二次体上に $p \in \{2,3,5\}$ に対して三段階の $p$-類体塔が存在することを確立し、関連する後代木に新たな構造的現象を示すこと。
• 精密な移行標的データを用いて、臨界的複素二次体の第二 $3$-類群の $3$-進対数的位数に対する鋭い下界を求める。

提案手法

• 候補 $p$-塔群を制約するため、移行標的型 $\tau(K) = (\mathrm{Cl}_p L)$ と核 $\varkappa(K) = (\ker J_{L|K})$ からなるアーティンパターン $\mathrm{AP}(K) = (\tau(K), \varkappa(K))$ を用いる。
• 二階の多重層構造 IPAD、特に第二層移行標的型 $\tau_2(K)$ を用いて、$\mathfrak{G} = \mathrm{G}_p^2 K$ の同定を精緻化する。
• シャファレヴィッチ被覆の概念を応用し、$\mathrm{Shafarevich}$ の定理による $\varrho$, $r$, $\theta$ を用いた $d_2(G) = \dim_{\mathbb{F}_p} H^2(G, \mathbb{F}_p)$ の関係ランクの上限を分析する。
• $p$-群生成アルゴリズムと後代木サーチを用いて、与えられたメタアベリアン群 $\mathfrak{G}$ の完全被覆 $\mathrm{cov}_c(\mathfrak{G})$ を探索し、可能な $p$-塔群 $G$ を同定する。
• MAGMA などの計算代数システムを用いて、$3^2$ 次の分岐しない双巡回拡大 $M|K$ に対して $\mathrm{Cl}_3(M)$ を計算し、$\tau_2(K)$ の構成を可能にする。
• IPOD の占有数を導入し、同一の IPAD を持つが異なる群構造を持つ体を区別する。これにより、標準的 IPAD が不十分な場合の曖昧性を解消する。

実験結果

リサーチクエスチョン

• RQ1 二段階近似 $\mathfrak{G} = G/G''$ が複数の候補を生じる場合、完全な $p$-類体塔群 $G$ が一意に特定可能か。
• RQ2 標準的 IPAD が不十分な場合、非メタアベリアン $p$-塔群を区別するためにアーティンパターンを超える何らかの追加不変量が必要か。
• RQ3 関係ランク $d_2(G)$ が $\mathfrak{G}$ の被覆内での $G$ の構造を制約し、非妥当な候補を除外するためにどのように利用できるか。
• RQ4 複素二次体で $3$-類群型 $(1^3)$ を持つものについて、第二 $3$-類群 $\mathfrak{G}$ の最小対数的位数は何か。また、その下界はどのように求められるか。
• 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}$ の相対的位置関係を反映する、後代木構造に新たなトポロジーを明らかにする。