[论文解读] The Kernel Unipotent Conjecture and the vanishing of Massey products for odd rigid fields

Ján Mináč, Nguyêñ Duy Tân+1 more|arXiv (Cornell University)|Dec 10, 2013

Algebraic Geometry and Number Theory参考文献 24被引用 9

一句话总结

本文證明了奇剛性域與秩為2的戴穆什金群的核n-幂零猜想與n重馬西產物消失猜想，為自由p進伽羅瓦群以外的一個顯著新類型域確立了這些性質。本文構造了不滿足核n-幂零性質的p進群，顯示這些猜想的緊緻性，並提供了新的過濾結果與伽羅瓦群的自動實現定理。

ABSTRACT

A major difficult problem in Galois theory is the characterization of profinite groups which are realizable as absolute Galois groups of fields. Recently the Kernel $n$-Unipotent Conjecture and the Vanishing $n$-Massey Conjecture for $n\geq 3$ were formulated. These conjectures evolved in the last forty years as a byproduct of the application of topological methods to Galois cohomology. We show that both of these conjectures are true for odd rigid fields. This is the first case of a significant family of fields where both of the conjectures are verified besides fields whose Galois groups of $p$-maximal extensions are free pro-$p$-groups. We also prove the Kernel Unipotent Conjecture for Demushkin groups of rank 2, and establish a number of further related results.

研究动机与目标

• 驗證奇剛性域的核n-幂零猜想與n重馬西產物消失猜想。
• 將已知滿足這些猜想的域家族擴展至自由p進伽羅瓦群以外的p-最大擴張。
• 構造不滿足核n-幂零性質的p進群範例，顯示這些猜想對所有p進群並非普遍成立。
• 比較澤森豪斯過濾與下降p-中心序列，並建立新的自動伽羅瓦實現定理。

提出的方法

• 使用p-澤森豪斯過濾與下降p-中心序列分析p進群的結構。
• 構造自由p進群S，其由N個生成元生成，並商以一閉合正規子群R，使得RS_{(3)} = R_0S_{(3)}，其中R_0由換位關係[x_1,x_2][x_i,x_j]^{-1}生成。
• 定義G_{\mathcal{L}} = \bigcap_{H \in \mathcal{L}} \bigcap_{\rho} \ker(\rho)，其中ρ遍歷所有群同態G → H，以測試核n-幂零性質。
• 應用換位子在模S_{(3)}下的線性獨立性，以證明[\bar{x}_1, \bar{x}_2] \not\in G_{(3)}，從而確立過濾中的非零性。
• 利用映射到有限群H（|H| < N）的群同態，證明[\bar{x}_1, \bar{x}_2] \in G_{\mathcal{L}}，顯示G_{\mathcal{L}}逃逸出p-中心序列的第n項。
• 利用[Vo]、[EM2]與[Ef1]中的已知結果，證明所構造的群無法實現為含p次單位根的域的最大p進伽羅瓦群。

实验结果

研究问题

• RQ1 核n-幂零猜想與n重馬西產物消失猜想是否對所有n ≥ 3與素數p在奇剛性域上成立？
• RQ2 核n-幂零性質是否可能被無法實現為含p次單位根的域的最大p進伽羅瓦群的p進群所違反？
• RQ3 在伽羅瓦理論中出現的p進群中，澤森豪斯過濾與下降p-中心序列在多大程度上一致？
• RQ4 絕對伽羅瓦群的結構性質（如[EM1, MS2, EM2]中所述）是否對所有無扭p進群成立，或僅對特定類別成立？
• RQ5 能否基於核n-幂零與馬西產物消失性質建立新的自動伽羅瓦實現定理？

主要发现

• 核n-幂零猜想與n重馬西產物消失猜想均在奇剛性域上得到驗證，這是對自由p進群以外的一個重要新類型域的首次驗證。
• 對每個n ≥ 3，構造了不滿足核n-幂零性質的p進群範例，且這些群無法實現為含p次單位根的域的最大p進伽羅瓦群。
• 群G = S/R，其中R = R_0 S_{(3)}，為無扭群，且滿足[\bar{x}_1, \bar{x}_2] \not\in G_{(3)}，顯示p-中心序列未能捕捉此類群中的所有正規子群。
• 當對所有H ∈ \mathcal{L}均有N > |H|時，元素[\bar{x}_1, \bar{x}_2]屬於G_{\mathcal{L}}但不屬於G_{(n)}（n ≥ 3），從而證明G_{\mathcal{L}} \not\subseteq G_{(n)}，違反核n-幂零條件。
• 結果顯示[EM1, MS2, EM2]中推導出的絕對伽羅瓦群性質無法推廣至一般無扭p進群，如附錄中的反例所示。
• 本文確立了當N > p^{(n-1)n/2}時，核n-幂零性質對G失效，提供了失效的定量閾值。