[论文解读] The Structure of Hopf Algebras Acting on Dihedral Extensions

Alan Koch, Timothy Kohl+2 more|arXiv (Cornell University)|Aug 31, 2017

Algebraic structures and combinatorial models参考文献 19被引用 4

一句话总结

本文研究了作用在具有二面体伽罗瓦群 $D_p$（$p \geq 3$ 为素数）的伽罗瓦扩张上的霍普夫代数的结构，提供了实现霍普夫-伽罗瓦结构的霍普夫代数的显式描述。结果表明存在三个霍普夫代数同构类和两个 $K$-代数同构类，且对 $p=3$ 完成了完整的韦德伯恩-阿廷分解，揭示出 $H_0 \cong \mathbb{Q}^6$ 为六个 $\mathbb{Q}$ 的直积。

ABSTRACT

We discuss isomorphism questions concerning the Hopf algebras that yield Hopf-Galois structures for a fixed separable field extension $L/K$. We study in detail the case where $L/K$ is Galois with dihedral group $D_p$, $p\ge 3$ prime and give explicit descriptions of the Hopf algebras which act on $L/K$. We also determine when two such Hopf algebras are isomorphic, either as Hopf algebras or as algebras. For the case $p=3$ and a chosen $L/K$, we give the Wedderburn-Artin decompositions of the Hopf algebras.

研究动机与目标

• 确定作用在固定可分扩张 $L/K$ 上的霍普夫代数的同构类，其中伽罗瓦群为 $D_p$，$p \geq 3$ 为素数。
• 分析这些霍普夫代数的结构如何依赖于群论数据，特别是 $\operatorname{Gal}(L/K)$ 对正规闭包的作用。
• 为霍普夫代数提供显式基和代数分解，尤其在 $p=3$ 的情况下，包括韦德伯恩-阿廷分解。
• 研究霍普夫代数之间或其在中间域上的基变换是否可能发生同构，以及在何种条件下发生。

提出的方法

• 利用格赖瑟-帕雷吉斯对可分扩张上霍普夫-伽罗瓦结构的分类，将问题简化为涉及 $\operatorname{Gal}(E/K)$ 和 $\operatorname{Gal}(E/L)$ 的群论数据，其中 $E$ 是 $L/K$ 的正规闭包。
• 应用霍普夫代数作为固定环的基本构造：$H_\lambda = (L[N_\lambda])^{\lambda(D_p)}$，其中 $N_\lambda$ 是与群作用相关的正则 $\lambda$-集。
• 采用哈根米勒和帕雷吉斯的方法，计算群环的 $K$-霍普夫代数形式，从而得到 $H_\lambda$ 的显式表示，作为多项式环 $K[x,y]/I$ 的商环，具有特定关系。
• 利用韦德伯恩-阿廷定理对 $p=3$ 时 $H_0$ 的代数结构进行分解，通过分析定义多项式公共零点的集合，确定简单分量的数量。
• 应用伽罗瓦下降和群作用技术，证明 $K$-代数同构类在基变换到中间域时保持不变。
• 验证霍普夫代数结构与二次子域 $F = K[z]/(z^2 - b)$ 的生成元选择无关，确保构造的一致性。

实验结果

研究问题

• RQ1 一个单一的 $K$-霍普夫代数是否可以实现 $L/K$ 上的多个霍普夫-伽罗瓦结构？
• RQ2 两个非同构的 $K$-霍普夫代数在基变换到中间域 $F$（满足 $K \subset F \subset L$）后是否可能同构？
• RQ3 一个单一的 $K$-代数是否可以容纳多个非同构的余代数结构，从而导致 $L/K$ 上存在不同的霍普夫-伽罗瓦结构？
• RQ4 两个非同构的 $K$-代数在基变换到中间域后是否可能作为代数同构？

主要发现

• 对于伽罗瓦群为 $D_p$ 的伽罗瓦扩张 $L/K$，$p \geq 3$ 为素数，恰好存在 $p+2$ 个霍普夫-伽罗瓦结构，且所有结构均由格赖瑟-帕雷吉斯分类通过群论数据实现。
• 存在三个同构类的 $K$-霍普夫代数实现这些结构，且该分类在基变换到任意中间域后保持不变。
• 存在两个 $K$-代数同构类，且即使在基变换到 $L$ 或任意真中间域后，这些类也保持不变。
• 对于 $p=3$，霍普夫代数 $H_0$ 具有与 $\mathbb{Q}^6$ 同构的韦德伯恩-阿廷分解，因为其定义理想在 $\mathbb{Q}$ 上的零点集恰好有六个有理点。
• 霍普夫代数 $H_0$ 显式表示为 $\mathbb{Q}[x,y]/I$，其中 $I = (y^2 + 3x^2 - 12, (x-2)(x-1)(x+1)(x+2), (x-1)(x+1)(xy))$，其余乘法、单位元和对合映射均以闭式给出。
• 霍普夫代数 $H_0$ 的结构与二次子域 $F = \mathbb{Q}(\zeta_3)$ 的生成元选择无关，确保了其为典范同构不变量。