[论文解读] The Bloch-Kato Conjecture and Galois Theory

Dikran Karagueuzian, John Labute+1 more|arXiv (Cornell University)|Dec 27, 2010

Algebraic Geometry and Number Theory参考文献 20被引用 5

一句话总结

本文研究了伽罗瓦理论中 Bloch-Kato 猜想的群论意义，聚焦于最大 $p$-扩张的伽罗瓦群结构。研究证明，对于此类群，其在受限 $p$-群表示中的关系满足 $R^{(n,S)} = R \bigcap S^{(n+1)}$（对所有 $n \geq 1$），这表明它们是二次定义的，并且该结论在包含单位根的全局与局部域中成立。

ABSTRACT

We investigate the relations in Galois groups of maximal p-extensions of fields, the structure of their natural filtrations, and their relationship with the Bloch-Kato conjecture proved by Rost and Voevodsky with Weibel's patch. Our main focus is on the third degree, but we provide examples for all degrees.

研究动机与目标

• 理解 Bloch-Kato 猜想在最大 $p$-扩张伽罗瓦群背景下的群论意义。
• 研究伽罗瓦群 $G = \operatorname{Gal}(F(p)/F)$ 的关系结构，特别是滤子 $R^{(n,S)}$ 及其与下 $p$-列 $S^{(n+1)}$ 的关系。
• 确定自然映射 $i: \operatorname{gr}(R,S) \to \operatorname{gr}(R)_{\text{ind}}$ 为同构的条件，这表征了二次定义的 pro-$p$ 群。
• 建立对于包含本原 $p$-次单位根的全局与局部域，伽罗瓦群 $\operatorname{Gal}(F(p)/F)$ 为二次定义的结论。
• 通过分次李代数，提供这些伽罗瓦群中关系结构的李代数表征。

提出的方法

• 使用 Hochschild-Serre 族谱序列，将伽罗瓦上同调 $H^n(F)$ 与伽罗瓦群 $G = \operatorname{Gal}(F(p)/F)$ 的上同调联系起来，从而将问题简化为群论问题。
• 应用滤子 $G^{(n)} = (G^{(n-1)})^p [G^{(n-1)}, G]$ 及其在自由 pro-$p$ 群 $S$ 上的提升，定义 $R^{(n,S)} = (R^{(n-1,S)})^p [R^{(n-1,S)}, S]$。
• 引入分次李代数 $\operatorname{gr}(S)$ 和映射 $i: \operatorname{gr}(R,S) \to \operatorname{gr}(R)_{\text{ind}}$，以分析关系的首项形式。
• 利用从 $S$ 到有限商群 $S_i$ 的典范投影，证明若每个 $S_i/R_i$ 均为二次定义，则在极限下有 $R^{(n,S)} = R \cap S^{(n+1)}$ 成立。
• 应用 Demushkin 理论与投影极限的结果，证明 $\operatorname{Gal}(F(p)/F)$ 在全局与局部域中为二次定义。
• 利用 Rost 与 Voevodsky 证明的同构 $h_*: k_*F \to H^*(F)$，推导出上同调结构蕴含群论关系条件 $R^{(n,S)} = R \cap S^{(n+1)}$。

实验结果

研究问题

• RQ1 在伽罗瓦群 $G = \operatorname{Gal}(F(p)/F)$ 中，$R^{(n,S)} = R \cap S^{(n+1)}$ 对所有 $n \geq 1$ 成立的条件是什么？
• RQ2 自然映射 $i: \operatorname{gr}(R,S) \to \operatorname{gr}(R)_{\text{ind}}$ 为同构的条件是什么？这对其群表示有何含义？
• RQ3 伽罗瓦群 $\operatorname{Gal}(\mathbb{Q}(2)/\mathbb{Q})$ 是否为二次定义？
• RQ4 Bloch-Kato 猜想如何约束 $\operatorname{Gal}(F(p)/F)$ 的滤子与关系结构？
• RQ5 最大 $p$-扩张伽罗瓦群的关系结构的李代数表征是什么？

主要发现

• 对于任意包含本原 $p$-次单位根的域 $F$，伽罗瓦群 $G = \operatorname{Gal}(F(p)/F)$ 满足 $R^{(3,S)} = R \cap S^{(4)}$，该结果扩展了已知的 $n=2$ 情况。
• 对所有 $n \geq 1$，$R^{(n,S)} = R \cap S^{(n+1)}$ 成立的充要条件是自然映射 $i: \operatorname{gr}(R,S) \to \operatorname{gr}(R)_{\text{ind}}$ 为同构，这表征了二次定义的 pro-$p$ 群。
• 若 $F$ 为全局域（当 $p=2$ 时为全虚域）或包含 $\zeta_p$ 的局部域，则 $\operatorname{Gal}(F(p)/F)$ 为二次定义，即对所有 $n$ 有 $R^{(n,S)} = R \cap S^{(n+1)}$。
• 伽罗瓦群 $\operatorname{Gal}(F(p)/F)$ 为二次定义，当且仅当 $R$ 的极小生成集的首项形式在 $\operatorname{gr}(S)$ 中生成 $\operatorname{gr}(R)_{\text{ind}}$ 作为理想。
• 映射 $i$ 为双射，当且仅当群表示 $G = S/R$ 为二次定义，从而建立了精确的群论判别准则。
• 对于 $\mathbb{Q}(2)/\mathbb{Q}$，$\operatorname{Gal}(\mathbb{Q}(2)/\mathbb{Q})$ 是否为二次定义的问题仍为开放问题，尽管基于其他域的类似结果，预期其为二次定义。