[论文解读] From Galois to Hopf Galois: theory and practice

Teresa Crespo, Anna Rio+1 more|arXiv (Cornell University)|Mar 25, 2014

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

一句话总结

本文通过霍普夫伽罗瓦理论将经典伽罗瓦理论推广至可分扩张，利用正规闭包的伽罗瓦群的群论条件重新表述伽罗瓦性质。通过伽罗瓦群正规化的正则子群对霍普夫伽罗瓦结构进行分类，并在高度分歧扩张中展示其在伽罗瓦模理论中的应用。

ABSTRACT

Hopf Galois theory expands the classical Galois theory by considering the Galois property in terms of the action of the group algebra k[G] on K/k and then replacing it by the action of a Hopf algebra. We review the case of separable extensions where the Hopf Galois property admits a group-theoretical formulation suitable for counting and classifying, and also to perform explicit computations and explicit descriptions of all the ingredients involved in a Hopf Galois structure. At the end we give just a glimpse of how this theory is used in the context of Galois module theory for wildly ramified extensions.

研究动机与目标

• 通过使用余交换霍普夫代数推广经典伽罗瓦理论，将其扩展至非伽罗瓦扩张。
• 通过伽罗瓦群正规化的正则子群，提供可分扩张上霍普夫伽罗瓦结构的群论表征。
• 研究在非伽罗瓦扩张中强形式伽罗瓦基本定理成立的条件。
• 将霍普夫伽罗瓦理论的应用扩展至伽罗瓦模理论，特别是高度分歧扩张的情形。
• 探讨霍普夫阶在确定数域中整闭包为自由模时的作用。

提出的方法

• 通过群代数 $k[G]$ 在 $K$ 上的作用重新表述伽罗瓦性质，然后通过将 $k[G]$ 替换为任意有限余交换 $k$-霍普夫代数 $H$ 来推广。
• 利用条件：$K/k$ 是霍普夫伽罗瓦当且仅当映射 $(1, \nu): K \bigotimes_k H \to \operatorname{End}_k(K)$ 是同构。
• 应用伽罗瓦下降法，将可分扩张上霍普夫伽罗瓦结构的分类问题转化为伽罗瓦群 $G = \mathrm{Gal}(\tilde{K}/k)$ 相关的群论问题。
• 通过存在一个被 $G$ 正规化的 $S_n$ 的正则子群 $N$ 来表征霍普夫伽罗瓦扩张，其中 $G$ 作用于陪集 $G/G'$。
• 利用霍普夫伽罗瓦理论的基本定理，建立 $H$ 的子霍普夫代数与 $K/k$ 的中间域之间的一一、反包含对应关系。
• 通过定义关联阶 $\mathfrak{A}_H = \{\alpha \in H \mid \alpha(x) \in \mathcal{O}_K \text{ 对所有 } x \in \mathcal{O}_K\}$ 扩展伽罗瓦模理论，并将 $\mathcal{O}_K$ 的自由性与 $\mathfrak{A}_H$ 是 $H$ 的霍普夫阶联系起来。

实验结果

研究问题

• RQ1 在何种群论条件下，可分扩张 $K/k$ 是霍普夫伽罗瓦？
• RQ2 强形式伽罗瓦基本定理在非伽罗瓦扩张中何时成立？
• RQ3 霍普夫伽罗瓦理论能否用于确定高度分歧扩张中整闭包 $\mathcal{O}_K$ 的自由性？
• RQ4 霍普夫伽罗瓦性质在扩张链中的传递性如何表现？
• RQ5 霍普夫阶在将诺特定理推广至非良分歧扩张时起何作用？

主要发现

• 次数为 $n$ 的可分扩张 $K/k$ 是霍普夫伽罗瓦当且仅当存在一个被 $G = \mathrm{Gal}(\tilde{K}/k)$ 正规化的 $S_n$ 的正则子群 $N$，其中 $G$ 作用于陪集 $G/G'$。
• 强形式伽罗瓦基本定理对 $K/k$ 成立当且仅当 $K/k$ 是几乎经典伽罗瓦扩张，即 $N \leq G$。
• 对于伽罗瓦群为 $S_4(6c)$、$S_4(6d)$、$F_{36}$、$2S_4$、$A_5$、$F_{36}:2$、$A_6$ 和 $S_6$ 的扩张，不存在霍普夫伽罗瓦结构，尽管其中一些扩张具有几乎经典伽罗瓦结构。
• 传递性定理指出：若 $K/k$ 和 $F/K$ 均为霍普夫伽罗瓦，则 $F/k$ 也是霍普夫伽罗瓦，但其逆命题一般不成立。
• 对于高度分歧扩张，若 $\mathfrak{A}_H$ 是 $H$ 的霍普夫阶，则 $\mathcal{O}_K$ 是 $\mathfrak{A}_H$ 上的自由模，从而推广了诺特定理。
• 存在伽罗瓦扩张，使得 $\mathcal{O}_K$ 不是 $\mathfrak{A}_{k[G]}$ 上的自由模，但却是非经典霍普夫代数 $H$ 的 $\mathfrak{A}_H$ 上的自由模，这表明霍普夫伽罗瓦结构在模理论中的实用性。