[论文解读] Galois theory for weak Hopf algebras

S. Caenepeel, E. De Groot|ArXiv.org|Jun 9, 2004

Algebraic structures and combinatorial models参考文献 3被引用 11

一句话总结

本文利用余环框架，为弱霍普夫代数建立伽罗瓦理论，确立了经典伽罗瓦扩张与强分次环的弱类比。研究证明：对于广群代数，一个 $G$-模代数是伽罗瓦的，当且仅当它是强分次的；对于对偶广群代数，本文建立了莫蒂塔上下文及典范映射的同构条件，推广了经典与部分伽罗瓦理论。

ABSTRACT

We develop Hopf-Galois theory for weak Hopf algebras, and recover analogs of classical results for Hopf algebras. Our methods are based on the recently introduced Galois theory for corings. We focus on the situatation where the weak Hopf algebra is a groupoid algebra or its dual. We obtain weak versions of strongly graded rings, and classical Galois extensions.

研究动机与目标

• 将经典的霍普夫-伽罗瓦理论推广至弱霍普夫代数的设定。
• 解决尽管弱霍普夫代数在非交换几何与量子对称性中日益重要，却缺乏系统性伽罗瓦理论的问题。
• 将经典结果（如伽罗瓦扩张与强分次环的刻画）推广至弱设定。
• 应用伽罗瓦余环理论于弱霍普夫代数，特别是广群代数及其对偶。
• 建立典范映射为同构的条件，将伽罗瓦扩张与莫蒂塔上下文及拟投射生成元联系起来。

提出的方法

• 作者采用余环与余模的理论，特别是布热津斯基与维斯鲍尔发展的伽罗瓦余环框架。
• 他们为环扩张 $B \to A$ 定义了一个典范余环 $\mathcal{D} = A \otimes_B A$，其共乘法与余元由代数结构诱导。
• 对于广群代数，他们定义了 $G$-模代数结构，并分析了余不变子环 $A^{G}$，将其识别为 $T = A^G$。
• 他们构造了模 $Q = \{ \sum_{\sigma \in G_1} u_\sigma (\sigma \cdot a) \mid a \in A \}$，作为典范映射的对偶像。
• 他们利用连接映射 $\tau$ 与 $\mu$，在 $T = A^G$、$\underline{\mathrm{Hom}}(H,A)$ 与 $A$ 之间建立了一个莫蒂塔上下文。
• 他们证明：典范映射 $\mathrm{can}$ 是同构，当且仅当 $B = T$ 且莫蒂塔上下文是严格的，或等价地，当 $A$ 是 $B$-拟投射生成元且 $\mathrm{can}$ 是同构。

实验结果

研究问题

• RQ1 在何种条件下，弱霍普夫代数（特别是广群代数）上的 $G$-模代数是伽罗瓦扩张？
• RQ2 如何利用余环形式化，将经典伽罗瓦理论推广至弱霍普夫代数？
• RQ3 在弱设定下，伽罗瓦扩张与强分次代数之间有何关系？
• RQ4 对于弱霍普夫代数，何时典范映射 $\mathrm{can}: A \otimes_B A \to \mathcal{D}$ 是同构？
• RQ5 莫蒂塔上下文如何自然地出现在弱霍普夫代数的伽罗瓦理论中？在何种条件下它们是严格的？

主要发现

• 对于有限广群 $G$，一个 $G$-模代数 $A$ 是伽罗瓦的，当且仅当它是强分次的，将乌尔布里希的结果推广至弱设定。
• 典范映射 $\mathrm{can}: A \otimes_B A \to \mathcal{D}$ 是同构，当且仅当 $B = T = A^G$ 且莫蒂塔上下文是严格的。
• 典范映射对偶的模 $Q$ 作为阿贝尔群同构于 $A$，并自然地赋予 $\underline{\mathrm{Hom}}(H,A)$ 与 $T$ 上的双模结构，使其成为一个莫蒂塔上下文。
• 映射 $\tau: A \otimes_{\underline{\mathrm{Hom}}(H,A)} A \to T$ 是满射，当且仅当存在 $a \in A$ 使得 $\sum_{\sigma \in G_1} \sigma \cdot a = 1$，这是可分性条件的弱类比。
• 典范映射 $\mathrm{can}$ 是同构，当且仅当 $A$ 是 $B$-忠实平坦左模且 $B = T$，或等价地，当 $A$ 是左 $B$-拟投射生成元。
• 伴随函子 $F$ 与 $G$ 构成范畴等价，当且仅当 $B = T$ 且莫蒂塔上下文是严格的，从而在伽罗瓦设定下建立了范畴等价。