[论文解读] Demushkin groups and inverse Galois theory for pro-p-groups of finite rank and maximal p-extensions

Ivan D. Chipchakov|arXiv (Cornell University)|Mar 10, 2011

Algebraic Geometry and Number Theory参考文献 25被引用 4

一句话总结

本文研究了域的极大 $p$-扩张的伽罗瓦群结构，重点关注有限秩的戴穆什金群。证明了当域 $E$ 满足 $Γ(E(p)/E)$ 是秩 $\geq 3$ 的戴穆什金群时，不存在非平凡的真分解群；当秩为 2 时，此类群被完全刻画。该工作通过 $p$-赫斯贝尔特赋值将反伽罗瓦理论推广至有限秩的 pro-$p$-群，并基于局部域对可实现的戴穆什金群进行了分类。

ABSTRACT

This paper proves that if $E$ is a field, such that the Galois group $\mathcal{G}(E(p)/E)$ of the maximal $p$-extension $E(p)/E$ is a Demushkin group of finite rank $r(p)_{E} \ge 3$, for some prime number $p$, then $\mathcal{G}(E(p)/E)$ does not possess nontrivial proper decomposition groups. When $r(p)_{E} = 2$, it describes the decomposition groups of $\mathcal{G}(E(p)/E)$. The paper shows that if $(K, v)$ is a $p$-Henselian valued field with $r(p)_{K} \in \mathbb N$ and a residue field of characteristic $p$, then $P \cong \widetilde P$ or $P$ is presentable as a semidirect product $\mathbb Z_{p}^τ times \widetilde P$, for some $τ\in \mathbb N$, where $\widetilde P$ is a Demushkin group of rank $\ge 3$ or a free pro-$p$-group. It also proves that when $\widetilde P$ is of the former type, it is continuously isomorphic to $\mathcal{G}(K ^{\prime}(p)/K ^{\prime})$, for some local field $K ^{\prime}$ containing a primitive $p$-th root of unity.

研究动机与目标

• 确定当伽罗瓦群为有限秩戴穆什金群时，极大 $p$-扩张伽罗瓦群中分解群的结构。
• 通过分析 $p$-赫斯贝尔特赋值域及其伽罗瓦理论性质，将反伽罗瓦理论推广至有限秩的 pro-$p$-群。
• 对有限秩可实现的戴穆什金 pro-$p$-群进行分类，特别关注包含一个 $p$-单位根的局部域的情形。
• 解决如下问题：每个秩 $\geq 3$ 的可实现戴穆什金群是否均为标准可实现的，即是否同构于某个有限扩张 $F/\mathbb{Q}_p$ 的 $\mathcal{G}(F(p)/F)$。

提出的方法

• 使用上面上积映射 $H^1(P,\mathbb{F}_p) \to H^2(P,\mathbb{F}_p)$ 的满射性以及 $H^2(P,\mathbb{F}_p)$ 的阶为 $p$ 的上同调准则来定义戴穆什金群。
• 应用局部类域论的结果，特别是对有限扩张 $F/\mathbb{Q}_p$ 的秩公式 $r = N+2$ 或 $N+1$，取决于是否存在一个 $p$-单位根。
• 利用 $p$-赫斯贝尔特赋值及其性质来分析伽罗瓦群结构，尤其关注剩余域和赋值群的行为。
• 在赋值理想背景下使用祖恩引理和极大性论证，证明当秩 $\geq 3$ 时非平凡分解群不存在。
• 应用伽罗瓦理论下降和同构定理，证明在非 $p$-赫斯贝尔特赋值下有 $\mathcal{G}(E(p)/E) \cong \mathcal{G}(E_{G(E)}(p)/E_{G(E)})$。
• 依赖于文献 [10, 11, 24, 32] 中建立的按秩和约化分量阶对戴穆什金群的分类，以刻画可能的伽罗瓦群。

实验结果

研究问题

• RQ1 对于满足 $\mathcal{G}(E(p)/E)$ 为秩 $\geq 3$ 戴穆什金群的域 $E$，是否存在非平凡的真分解群？
• RQ2 当 $\mathcal{G}(E(p)/E)$ 为秩 2 戴穆什金群时，其分解群的结构如何？
• RQ3 在何种条件下，有限秩 $\geq 3$ 的戴穆什金群是标准可实现的，即同构于某个有限扩张 $F/\mathbb{Q}_p$ 的 $\mathcal{G}(F(p)/F)$？
• RQ4 $p$-赫斯贝尔特赋值如何影响极大 $p$-扩张伽罗瓦群的结构？
• RQ5 每个秩 $\geq 3$ 的可实现戴穆什金群是否都能实现为某个局部域的极大 $p$-扩张的伽罗瓦群？

主要发现

• 若 $\mathcal{G}(E(p)/E)$ 是秩 $r(p)_E \geq 3$ 的戴穆什金群，则其不存在非平凡的真分解群。
• 当 $r(p)_E = 2$ 时，分解群被完全描述：它们对应于 $\mathbb{Z}_p$-扩张，且 $\mathcal{G}(E(p)/E) \cong \mathbb{Z}_p^2$ 当且仅当其为直和项。
• 对于满足 $r(p)_K \in \mathbb{N}$ 且剩余域特征为 $p$ 的 $p$-赫斯贝尔特赋值域 $(K,v)$，伽罗瓦群 $P$ 要么同构于 $\widetilde{P}$，要么为半直积 $\mathbb{Z}_p^\tau \rtimes \widetilde{P}$，其中 $\widetilde{P}$ 是秩 $\geq 3$ 的戴穆什金群或自由 pro-$p$-群。
• 当 $\widetilde{P}$ 为秩 $\geq 3$ 的戴穆什金群时，其连续同构于某个含 $p$-单位根的局部域 $K'$ 的 $\mathcal{G}(K'(p)/K')$。
• 当 $p > 2$ 时，条件 $\theta \geq 2$，$d \geq 3$，且 $d-2$ 被 $(p-1)p^{\theta-2}$ 整除，是 $P_{d,\theta}$ 标准可实现性的充要条件，如 (1.3)(ii) 中的分类所示。
• 本文确认：对于满足 $r(p)_E = 2$ 且含 $p$-单位根的域，存在 $p$-赫斯贝尔特赋值，从而解决了该情形下的一个开放问题。