[论文解读] Counting Galois ${\mathbb U}_4({\mathbb F}_p)$-extensions using Massey products

Ján Mináč, Nguyêñ Duy Tân|arXiv (Cornell University)|Aug 12, 2014

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

一句话总结

本文提出一种新方法，利用Masse y乘积和幂零表示，计数伽罗瓦扩张的个数，其伽罗瓦群为 $\mathbb{U}_4(\mathbb{F}_p)$，即 $\mathbb{F}_p$ 上的 $4 \times 4$ 幂零矩阵群。该文为局部域上此类扩张的个数提供了显式公式，并将该方法推广至其他域，同时在德穆什金的 pro-$p$ 群中简化了 $n$-重 Massey 乘积的定义条件。

ABSTRACT

We use Massey products and their relations to unipotent representations to parametrize and find an explicit formula for the number of Galois extensions of a given local field with the prescribed Galois group ${\mathbb U}_4({\mathbb F}_p)$ consisting of unipotent four by four matrices over ${\mathbb F}_p$. Further applications of this method involve the counting of certain Galois extensions with restricted ramifications, and counting the numbers of Galois ${\mathbb U}_4({\mathbb F}_p)$-extensions of some other fields. For each Demushkin pro-$p$-group, we find a very simple version of the condition when the $n$-fold Massey product of one-dimensional cohomological elements of $G$ with coefficients in ${\mathbb F}_p$, is defined. As an easy consequence, we determine those ${\mathbb U}_n({\mathbb F}_p)$ which occur as an epimorphic image of any given Demushkin group.

研究动机与目标

• 通过 Massey 乘积对局部域上伽罗瓦群为 $\mathbb{U}_4(\mathbb{F}_p)$ 的扩张进行参数化与计数。
• 将计数方法扩展至其他域，包括代数数域。
• 简化德穆什金的 pro-$p$ 群中 $n$-重 Massey 乘积的定义条件。
• 确定哪些 $\mathbb{U}_n(\mathbb{F}_p)$ 群可作为给定德穆什金群的满同态像。
• 为包含一个 $p$ 次单位根的域的绝对伽罗瓦群的最大 pro-$p$ 商群结构提供一种新的、更强的限制。

提出的方法

• 利用 Massey 乘积及其与幂零表示的关系，对 $\mathbb{U}_4(\mathbb{F}_p)$-扩张进行参数化。
• 应用 $n$-重 Massey 乘积理论于德穆什金群，推导出其定义的简化条件。
• 利用德穆什金群自由积的结构，计算到 $\mathbb{U}_4(\mathbb{F}_p)$ 的满同态个数。
• 通过在分解 $V \oplus W$ 上使用双线性形式 $(\cdot,\cdot)_1$ 和 $(\cdot,\cdot)_2$ 来建模上同调约束。
• 计算满足相对于这两种形式正交条件的线性无关三元组 $(x,y,z)$ 的个数。
• 将这些计数结果与群论论证及 Möbius 反演相结合，推导出扩张个数的最终公式。

实验结果

研究问题

• RQ1 局部域上伽罗瓦群为 $\mathbb{U}_4(\mathbb{F}_p)$ 的扩张个数是多少？
• RQ2 Massey 乘积如何用于参数化与计数含有 $p$ 次单位根的域上的 $\mathbb{U}_4(\mathbb{F}_p)$-扩张？
• RQ3 德穆什金的 pro-$p$ 群中 $n$-重 Massey 乘积的定义的最小条件是什么？
• RQ4 哪些 $\mathbb{U}_n(\mathbb{F}_p)$ 群可作为给定德穆什金群的满同态像？
• RQ5 简化的 Massey 乘积条件是否能导致对绝对伽罗瓦群最大 pro-$p$ 商群结构的新约束？

主要发现

• 局部域 $K$ 上 $\mathbb{U}_4(\mathbb{F}_p)$-扩张的个数由一个闭式公式给出，其中包含 $p^d$、$p^e$ 和 $p^{d+e}$ 项，$d$ 与 $e$ 分别为 $G_K(p)$ 的自由积分解中德穆什金群的秩。
• 此类扩张个数的公式被显式计算为包含 $p$-幂与类似二项式系数的项之和，反映了上同调正交结构。
• 本文证明：在德穆什金群中，若 $q$-不变量大于 2，则 $n$-重 Massey 乘积可定义，这显著简化了经典定义。
• 当 $n=4$ 时，通过分析两个德穆什金群在自由积中到 $\mathbb{U}_4(\mathbb{F}_p)$ 的像，计算出从自由积到 $\mathbb{U}_4(\mathbb{F}_p)$ 的满同态个数。
• 该方法可通过约化为上同调数据与双线性形式，实现对其他域上 $\mathbb{U}_4(\mathbb{F}_p)$-扩张的计数。
• 结果表明，高阶 Massey 乘积的消失对伽罗瓦群施加了强结构约束，支持核幂零猜想。