[论文解读] Relations in the maximal pro-$p$ quotients of absolute Galois groups

Ján Mináč, Michael Rogelstad+1 more|arXiv (Cornell University)|Aug 6, 2018

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

一句话总结

本文证明了在绝对伽罗瓦群的极大 $p$-幂商中，某些关系——特别是具有单个 $p$-次幂项和非对称配置的换位子项的关系——不可能来自包含本原 $p$-次单位根的域。通过凯默理论和伽罗瓦上同调，作者构造了显式的极小伽罗瓦扩张，表明此类关系违反了单位根存在所施加的结构约束，从而将德穆什金与拉布特的经典结果推广至任意含本原 $p$-次单位根的域。

ABSTRACT

We observe that some basic but fundamental constructions in Galois theory can be used to obtain some interesting restrictions on the structure of Galois groups of maximal $p$-extensions of fields containing a primitive $p$th root of unity. This is an extension of some significant ideas of Demushkin, Labute and Serre from local fields to all fields containing a primitive $p$th root of unity. Our techniques use certain natural simple Galois extensions together with some considerations in Galois cohomology and Massey products.

研究动机与目标

• 确定哪些关系可作为含本原 $p$-次单位根的域 $F$ 的绝对伽罗瓦群的极大 $p$-幂商 $G_F(p)$ 的定义关系。
• 将局部域（如德穆什金与拉布特）的经典结果推广至任意含本原 $p$-次单位根的域。
• 通过显式伽罗瓦扩张识别特定 $p$-幂群表示作为 $G_F(p)$ 的可实现性的障碍。
• 阐明 $p$-次幂与换位子在定义 $G_F(p)$ 的关系中的作用，尤其关注当 $p$-次幂项未对称放置时的情形。

提出的方法

• 构造简单的伽罗瓦扩张 $F(a,m) = F(\sqrt[p^m]{a}, \zeta_{p^m})$，其中 $a \in F^\times$ 且 $m \in \mathbb{N}$，以检验 $G_F(p)$ 中所提议关系的有效性。
• 利用凯默理论将 $F^\times / (F^\times)^{p^k}$ 的结构与 $G_F(p)^{ab}$ 关联起来，尤其在 $\zeta_{p^k} \in F^\times$ 时。
• 应用伽罗瓦上同调与米塞积技术，检测某些群表示作为 $G_F(p)$ 可实现性的障碍。
• 通过庞特里亚金对偶性与 $p$-幂阿贝尔群的结构，分析 $G_F(p)^{ab}$ 的挠部分与自由部分。
• 利用 $F$ 中存在 $\zeta_{p^k}$ 的事实，强制 $G_F(p)^{ab}$ 中的 $p$-幂挠部分从 $p^k$ 开始，从而限制可能的定义关系形状。
• 证明若 $\zeta_{p^k} \in F^\times$，则 $G_F(p)^{ab}$ 可分解为 $\mathbb{Z}_p$-因子与指数至少为 $p^k$ 的 $p$-挠部分的乘积。

实验结果

研究问题

• RQ1 能否在含本原 $p$-次单位根的域 $F$ 中实现关系 $r = x_1^{p^s}[x_2,x_3]\cdots[x_{n-1},x_n]$，其中 $n$ 为奇数且 $s \in \mathbb{N}$，作为 $G_F(p)$ 的定义关系？
• RQ2 当 $\zeta_{p^k} \in F^\times$ 时，会对 $G_F(p)^{ab}$ 的结构施加何种约束，特别是对挠元素的指数？
• RQ3 为何关系 $r = x_1^{p^s}[x_1,x_2]\cdots[x_{n-1},x_n]$（$p$-次幂与换位子对称排列）可实现为 $G_F(p)$，而 $r = x_1^{p^s}[x_2,x_3]\cdots[x_{n-1},x_n]$（非对称排列）却不可？
• RQ4 显式伽罗瓦扩张 $F(a,m)$ 如何作为某些关系在 $G_F(p)$ 中实现的障碍？
• RQ5 凯默理论与上同调技术在多大程度上可用于区分 $G_F(p)$ 的可实现与不可实现的 $p$-幂群表示？

主要发现

• 群 $G = S / \langle r \rangle$，其中 $S$ 是 $n$ 个生成元的自由 $p$-幂群（$n$ 为奇数），且 $r = x_1^{p^s}[x_2,x_3]\cdots[x_{n-1},x_n]$，$s \in \mathbb{N}$，不能同构于任何含本原 $p$-次单位根的域 $F$ 的 $G_F(p)$。
• 当 $\zeta_{p^k} \in F^\times$ 时，$G_F(p)^{ab}$ 的挠部分的指数至少为 $p^k$，这限制了 $G_F(p)$ 中定义关系的可能形状。
• 若 $\zeta_{p^k} \in F^\times$，则 $G_F(p)^{ab}$ 的分解形式为 $\prod_J \mathbb{Z}_p \times \prod_{i=1}^l \prod_{m(i)} \mathbb{Z}/p^{s_i}\mathbb{Z}$，其中 $s_i \geq k$；若对所有 $k \geq 1$ 都有 $\zeta_{p^k} \in F^\times$，则 $l=0$。
• 扩张 $F(a,m) = F(\sqrt[p^m]{a}, \zeta_{p^m})$ 的构造提供了明确的障碍：若所提议的关系 $r$ 在此类扩张的伽罗瓦群中不为零，则其在 $G_F(p)$ 中不可能有效。
• 关系中 $p$-次幂项的对称与非对称放置——例如 $x_1^{p^s}[x_1,x_2]\cdots$ 与 $x_1^{p^s}[x_2,x_3]\cdots$——导致根本不同的可实现性条件。
• 本文将拉布特命题 6 推广至无限 $p$-幂群，表明基于 $p$-次幂与换位子结构的障碍机制在有限或局部情形之外依然稳健。