[论文解读] Galois groups and cohomological functors

Ido Efrat, Ján Mináč|arXiv (Cornell University)|Mar 8, 2011

Algebraic Geometry and Number Theory参考文献 10被引用 14

一句话总结

本文引入了绝对伽罗瓦群 $G_F$ 的一个新的极小商群 $operatorname{Gal}(F_{(3)}/F)$，该商群完全编码了模-$q$上同调环 $H^*(G_F, \mathbb{Z}/q)$。利用投影有限群上同调中的对偶性以及伽罗瓦符号的双射性，证明了该商群是此类商群中最小的，其结构可表征为所有满足伽罗瓦群同构于 $mathbb{Z}/p$ 或阶为 $p^3$、指数为 $p$ 的非交换群 $H_{p^3}$ 的正规开子群的交集，其中 $q = p$ 为奇素数。

ABSTRACT

Let $q=p^s$ be a prime power, $F$ a field containing a root of unity of order $q$, and $G_F$ its absolute Galois group. We determine a new canonical quotient $\mathrm{Gal}(F_{(3)}/F)$ of $G_F$ which encodes the full mod-$q$ cohomology ring $H^*(G_F,\mathbb{Z}/q)$ and is minimal with respect to this property. We prove some fundamental structure theorems related to these quotients. In particular, it is shown that when $q=p$ is an odd prime, $F_{(3)}$ is the compositum of all Galois extensions $E$ of $F$ such that $\mathrm{Gal}(E/F)$ is isomorphic to $\{1\}$, $\mathbb{Z}/p$ or to the nonabelian group $H_{p^3}$ of order $p^3$ and exponent $p$.

研究动机与目标

• 确定绝对伽罗瓦群 $G_F$ 的最小商群，使其能完全编码模-$q$上同调环 $H^*(G_F, \mathbb{Z}/q)$。
• 以特定伽罗瓦群的伽罗瓦扩张为基准，表征该极小商群 $\operatorname{Gal}(F_{(3)}/F)$ 的结构。
• 利用伽罗瓦符号与转置映射，建立上同调函子与群论商群之间的对偶关系。
• 证明 $H^*(G_F)$ 的次数 $\leq 2$ 部分可确定商群 $\operatorname{Gal}(F_{(3)}/F)$，从而确立一个上同调重构原理。
• 通过证明 $[3]$-商群或上同调环的同构蕴含完整最大正规 $p$-伽罗瓦群的同构，强化了现有关于正规 $p$-伽罗瓦群的结果。

提出的方法

• 定义商群 $G_{[3]} = G_F / G_{(3)}$，其中 $G_{(3)}$ 是 $q$-中心列的第三项，当 $q = p$ 为奇素数时即为 $G^{(3)}$。
• 利用伽罗瓦符号的双射性 $K^M_*(F)/qK^M_*(F) \to H^*(G_F, \mathbb{Z}/q)$，将米尔诺 $K$-理论与伽罗瓦上同调联系起来。
• 应用投影有限群 $G$ 的正规子群 $T, T_0$ 与子群 $A \leq H^2(G/T)$ 之间的对偶框架，其中 $T = G^{(2)}$，$T_0 = G_{(3)}$，$A = H^2(G^{[2]})_{\mathrm{dec}}$。
• 利用转置映射与限制映射，分析上同调类在阶为 $q$ 的循环子群上的限制像。
• 利用群上同调中的五项正合列，将转置的消失性与 $G_{(3)}$ 上的上同调类的零化子联系起来。
• 通过局部-整体原则证明极小性：当且仅当 $N \leq G_{(3)}$ 时，上溢映射 $H^*(G_F/N)_{\mathrm{dec}} \to H^*(G_F)$ 是同构。

实验结果

研究问题

• RQ1 绝对伽罗瓦群 $G_F$ 的最小商群是什么，它能完全确定模-$q$上同调环 $H^*(G_F, \mathbb{Z}/q)$？
• RQ2 如何用特定伽罗瓦群的伽罗瓦扩张来表征 $\operatorname{Gal}(F_{(3)}/F)$ 的结构？
• RQ3 在何种程度上，$H^*(G_F)$ 的次数 $\leq 2$ 部分能确定商群 $\operatorname{Gal}(F_{(3)}/F)$？
• RQ4 在何种条件下，$[3]$-商群 $G_{[3]}$ 的同构能推出完整最大正规 $p$-伽罗瓦群 $G_F(p)$ 的同构？
• RQ5 如何以正规开子群的交集形式，精确描述 $G_{(3)}$ 的群论结构，其中这些子群的商群具有指定的伽罗瓦群？

主要发现

• 商群 $\operatorname{Gal}(F_{(3)}/F) = G_F / G_{(3)}$ 是 $G_F$ 的所有商群中，能完全确定模-$q$上同调环 $H^*(G_F, \mathbb{Z}/q)$ 的最小者。
• 上溢映射 $H^*(G_F/N)_{\mathrm{dec}} \to H^*(G_F)$ 是同构当且仅当 $N \leq G_{(3)}$，从而证明了 $G_{(3)}$ 的极小性。
• 当 $q = p$ 为奇素数时，$G_{(3)}$ 是所有满足 $G_F/N \cong \mathbb{Z}/p$ 或 $H_{p^3}$（阶为 $p^3$、指数为 $p$ 的非交换群）的正规开子群 $N \trianglelefteq G_F$ 的交集。
• 当 $q = p = 2$ 时，$G_{(3)}$ 是所有满足 $G_F/N \cong \mathbb{Z}/2$、$\mathbb{Z}/4$ 或阶为 8 的二面体群 $D_4$ 的正规开子群 $N$ 的交集。
• $H^*(G_F)$ 的次数 $\leq 2$ 部分可确定 $\operatorname{Gal}(F_{(3)}/F)$，表明上同调数据至多到次数 2 即足以重构该商群。
• 当且仅当诱导映射 $\pi_{[3]}$ 或上同调映射 $\pi^*$ 是同构时，存在同构 $\pi: G_{F_1}(p) \to G_{F_2}(p)$，从而确立了一个强的阿贝尔型结果。