[论文解读] 1-smooth pro-p groups and Bloch-Kato pro-p groups

Evan E. Franchere|arXiv (Cornell University)|Apr 1, 2019

Algebraic Geometry and Number Theory被引用 11

一句话总结

该论文证明了，对于有限生成的p进解析的p拟p群，1-光滑性——一种形式化希尔伯特定理90的上同调条件——等价于Bloch-Kato性质，以及作为包含一个本原p次单位根的域的最大p进伽罗瓦群的实现性。该结果在该类群中证实了光滑性猜想，表明1-光滑性蕴含这些群的范数剩余同构定理（即Bloch-Kato）成立。

ABSTRACT

Let $p$ be a prime. A pro-$p$ group $G$ is said to be 1-smooth if it can be endowed with a homomorphism of pro-$p$ groups $G o1+p\mathbb{Z}_p$ satisfying a formal version of Hilbert 90. By Kummer theory, maximal pro-$p$ Galois groups of fields containing a root of 1 of order $p$, together with the cyclotomic character, are 1-smooth. We prove that a finitely generated $p$-adic analytic pro-$p$ group is 1-smooth if, and only if, it occurs as the maximal pro-$p$ Galois group of a field containing a root of 1 of order $p$. This gives a positive answer to De Clerq-Florence's "Smoothness Conjecture" - which states that the Rost-Voevodsky Theorem (a.k.a. Bloch-Kato Conjecture) follows from 1-smoothness - for the class of finitely generated $p$-adic analytic pro-$p$ groups.

研究动机与目标

• 为解决光滑性猜想，该猜想认为伽罗瓦群的1-光滑性蕴含Bloch-Kato性质。
• 刻画哪些有限生成的p进解析拟p群可作为包含一个本原p次单位根的域的最大p进伽罗瓦群出现。
• 在p进解析设定下，建立1-光滑性、Bloch-Kato性质与伽罗瓦实现性之间的精确等价关系。
• 证明1-光滑性是一种强烈的结构约束，蕴含上同调刚性以及当p=2时Bockstein类的消失。

提出的方法

• 将1-光滑性定义为：在定向拟p群(G, θ)中，每个闭子群均为Kummerian，即通过单位根特征θ满足形式化的希尔伯特90条件。
• 运用p进解析拟p群的理论，特别是其作为局部均匀群的结构，以及群上同调与李代数之间的对应关系。
• 应用范数剩余定理（Rost-Voevodsky），将Bloch-Kato性质与上同调代数的二次性联系起来。
• 在p=2的情形下，利用模2上同调中的Bockstein同态，证明Bockstein的平凡性等价于对所有α∈H¹(G, Z/2)有α²=0。
• 利用1-光滑性蕴含θ-交换结构（即Ker(θ)为自由阿贝尔拟p群）的事实，从而可约化到关于Bloch-Kato群的已知结果。
• 利用p进解析Bloch-Kato群的分类：即达到最大上同调维数与关系数的群，并证明1-光滑性强制实现这种极值结构。

实验结果

研究问题

• RQ1 对于有限生成的p进解析拟p群，1-光滑性是否蕴含Bloch-Kato性质？
• RQ2 每个1-光滑的p进解析拟p群是否都能实现为包含一个本原p次单位根的域的最大p进伽罗瓦群？
• RQ3 当p=2时，1-光滑性是否等价于上同调中Bockstein同态的消失？
• RQ4 1-光滑性是否强制p进解析拟p群为局部均匀群，从而实现最大上同调维数与关系数？

主要发现

• 对于有限生成的p进解析拟p群，1-光滑性与Bloch-Kato性质等价，如定理1.1所述。
• 定理1.1中(i)⇒(ii)的蕴含关系为该类群的光滑性猜想提供了肯定回答。
• 当p=2时，对所有α∈H¹(G, Z/2)有α²=0的条件等价于Bockstein同态为平凡，且该条件是Bloch-Kato性质的必要且充分条件。
• 定向θ的核是一个自由阿贝尔拟p群，这是1-光滑性的一个关键结构推论。
• 群G是局部均匀群，因此为p进解析群，其上同调维数cd(G)等于其最小生成元数d(G)，且在Bloch-Kato拟p群中达到最大值。
• p进解析拟p群类代表了Bloch-Kato拟p群在上同调维数与定义关系数方面的“上界”，而1-光滑性强制实现这种极值结构。