[论文解读] Hopf-Galois extensions for monoidal Hom-Hopf algebras

Yuanyuan Chen, Liangyun Zhang|arXiv (Cornell University)|Sep 18, 2014

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

一句话总结

本文通过引入全积分理论与Hom-Hopf Galois扩张理论，建立了单性Hom-Hopf代数上的Schneider仿射性定理。证明了在忠实平坦的Hom-Hopf Galois扩张下，相对Hom-Hopf模是仿射生成的，通过扭曲结合律与余结合律结构，将经典Hopf-Galois理论推广至Hom代数框架。

ABSTRACT

We investigate the theory of Hopf-Galois extensions for monoidal Hom-Hopf algebras. As the main result of this paper, we prove the Schneider's affineness theorems in the case of monoidal Hom-Hopf algebras in terms of the theory of the total integral and Hom-Hopf Galois extensions. In addition, we obtain the affineness criterion for relative Hom-Hopf module associated with faithfully flat Hom-Hopf Galois extensions.

研究动机与目标

• 将经典Hopf-Galois扩张理论推广至单性Hom-Hopf代数的背景中。
• 通过全积分理论研究相对Hom-Hopf模的仿射性。
• 在单性Hom-Hopf代数的框架下建立Schneider的仿射性定理。
• 为与忠实平坦Hom-Hopf Galois扩张相关的相对Hom-Hopf模提供一个仿射性判别准则。

提出的方法

• 将全积分理论适配至单性Hom-Hopf代数，以分析Hom-Hopf Galois扩张。
• 引入相对Hom-Hopf模作为具有扭曲余作用结构的Hom-Hopf代数上的模。
• 使用单余范畴 $\widetilde{\mathcal{H}}(\mathcal{M}_k)$ 来形式化具有扭曲结合律与单位元的Hom结构。
• 应用忠实平坦Hom-Hopf Galois扩张的概念，推导涉及 $A \Box_H U$、$A \Box_H V$ 与 $A \Box_H W$ 的正合序列。
• 在 $\widetilde{\mathcal{H}}(\mathcal{M}_k)$ 中使用左对偶构造，以 $ (M^*, (\mu^*)^{-1}) $ 作为 $ (M, \mu) $ 的对偶。
• 通过忠实平坦性，利用序列 $ 0 \to A \Box_H U \to A \Box_H V \to A \Box_H W \to 0 $ 的正合性，确立 $ A $ 的右 $ (H, \alpha) $-余平坦性。

实验结果

研究问题

• RQ1 如何将Schneider的仿射性定理扩展至单性Hom-Hopf代数的框架？
• RQ2 全积分在Hom代数框架下对刻画Hom-Hopf Galois扩张起到何种作用？
• RQ3 在何种条件下，通过忠实平坦的Hom-Hopf Galois扩张，相对Hom-Hopf模是仿射生成的？
• RQ4 范畴 $\widetilde{\mathcal{H}}(\mathcal{M}_k)$ 的单余结构如何支持Hom-Hopf代数及其模的构造？
• RQ5 在Hom-Hopf代数框架中，通过自同构 $\alpha$ 实现的余结合律扭曲具有何种意义？

主要发现

• 本文证明：若 $ A $ 是 $ B $ 上的忠实平坦Hom-Hopf Galois扩张，则相对Hom-Hopf模 $ A \Box_H M $ 是仿射生成的。
• 通过序列 $ 0 \to A \Box_H U \to A \Box_H V \to A \Box_H W \to 0 $ 的正合性，建立了相对Hom-Hopf模的仿射性判别准则，该正合性源于忠实平坦性。
• 全积分理论被成功适配至单性Hom-Hopf代数，使得在该框架下推导出Schneider的仿射性定理成为可能。
• 范畴 $\widetilde{\mathcal{H}}(\mathcal{M}_k)$ 通过 $ (M^*, (\mu^*)^{-1}) $ 支持左对偶性，这对在Hom框架下构造对偶对象至关重要。
• 通过涉及 $ A \Box_H U $、$ A \Box_H V $ 与 $ A \Box_H W $ 的序列的正合性，推导出 $ A $ 的右 $ (H, \alpha) $-余平坦性，从而确认了模结构的仿射性。
• 结果通过引入自同构 $ \alpha $ 的Hom扭曲，将经典Hopf-Galois理论推广，扩展了非结合代数与形变代数的框架。