[论文解读] Tame ramification and group cohomology

Chandan Singh Dalawat, Jung-Jo Lee|arXiv (Cornell University)|May 12, 2013

Algebraic Geometry and Number Theory参考文献 6被引用 3

一句话总结

本文利用群上同调，对具有有限剩余域的局部域的本征分歧伽罗瓦扩张进行了内在参数化，证明了此类扩张的两个自然定义的上同调类是相同的。它给出了塞尔质量公式在驯服情形下的初等证明，并对素数 $ l \neq p $ 的所有 $ l^3 $ 次伽罗瓦扩张进行了分类，包括二面体和四元数情形。

ABSTRACT

We give an intrinsic parametrisation of the set of tamely ramified extensions of a local field with finite residue field and bring to the fore the role played by group cohomology. We show that two natural definitions of the cohomology class of a tamely ramified finite galoisian extension coincide, and can be recovered from the parameter. We also give an elementary proof of Serre's mass formula in the tame case and in the simplest wild case, and we classify tame galoisian extensions of degree the cube of a prime.

研究动机与目标

• 利用群上同调，对具有有限剩余域的局部域的驯服分歧扩张提供内在参数化。
• 证明驯服分歧伽罗瓦扩张的两个自然定义的上同调类是相同的。
• 从上同调参数中恢复关键不变量，如伽罗瓦闭包、扩张塔的分裂性以及伽罗瓦群结构。
• 在驯服情形下，以及在次数被 $ p $ 整除但不被 $ p^2 $ 整除的情形下，给出塞尔质量公式的初等证明。
• 对素数 $ l \neq p $ 的所有 $ l^3 $ 次伽罗瓦扩张进行分类，包括二面体和四元数类型。

提出的方法

• 使用群上同调对局部域 $ K $ 的驯服分歧扩张集合 $ \mathcal{T}_{e,f}(K) $ 进行参数化，其中分歧指数为 $ e $，剩余次数为 $ f $。
• 将“分歧直线”定义为归一化赋值映射 $ \bar{w}_f: K_f^\times / K_f^{\times e} \to \mathbb{Z}/e\mathbb{Z} $ 的截面的像，这些直线用于对 $ \mathcal{T}_{e,f}(K) $ 中的扩张进行分类。
• 在 $ \mathcal{T}_{e,f}(K) $ 与 $ G_f $-轨道在分歧直线集合上的作用之间建立一个典范双射，其中 $ G_f = \mathrm{Gal}(K_f/K) $。
• 应用库默配对及其等变性，将上同调不变量与分歧数据联系起来。
• 利用 $ G_f $ 在 $ k_f^\times / k_f^{\times e} $ 上的作用，计算伽罗瓦扩张的数量并确定其伽罗瓦群。
• 利用 $ H^2(G_f, k_f^\times / k_f^{\times e}) $ 在某些情形下为零的性质，证明扩张塔是分裂的。

实验结果

研究问题

• RQ1 如何利用群上同调对局部域的驯服分歧扩张进行内在参数化？
• RQ2 驯服分歧伽罗瓦扩张的两个标准上同调类定义是否一致？
• RQ3 塞尔质量公式是否可在驯服情形下，以及在次数被 $ p $ 整除但不被 $ p^2 $ 整除的情形下，给出初等证明？
• RQ4 在剩余特征为 $ p \neq l $ 的局部域上，$ l^3 $ 次扩张的可能伽罗瓦群有哪些？
• RQ5 非交换伽罗瓦扩张在什么条件下出现，以及如何对它们进行分类？

主要发现

• 具有分歧指数 $ e $ 和剩余次数 $ f $ 的局部域 $ K $ 的驯服分歧扩张集合 $ \mathcal{T}_{e,f}(K) $，与 $ K_f^\times / K_f^{\times e} $ 中分歧直线集合上 $ G_f $-轨道的集合之间存在典范双射。
• 驯服分歧伽罗瓦扩张的两个自然上同调类定义是一致的，且可从分歧直线参数中恢复。
• 在驯服情形下，以及在次数被 $ p $ 整除但不被 $ p^2 $ 整除的情形下，给出了塞尔质量公式的初等证明，其证明方式类似于素数次数的情形。
• 当 $ l \neq p $ 且 $ v_l(q-1) = 1 $ 时，存在 $ l $ 个 $ K $ 上的 $ l^3 $ 次非交换伽罗瓦扩张，其伽罗瓦群同构于二面体群 $ D_{l^2,l} $。
• 海森堡群 $ H_{l^3} $ 不会作为任何剩余特征 $ p \neq l $ 的局部域上 $ l^3 $ 次驯服分歧扩张的伽罗瓦群出现。
• 当 $ v_2(q-1) = m-1 $ 时，在 $ \mathcal{T}_{2^m,2}(K) $ 中存在 $ 2^{m-1} $ 个非交换伽罗瓦扩张，且由于相关上同调群的消失，对应的扩张塔是分裂的。