[論文レビュー] 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

ひとこと要約

この論文は、全積分の理論とホム・ホップ・ガロア拡張の理論を導入することで、モノイダル・ホム・ホップ代数におけるシュナイダーシュのアフィン性定理を確立する。忠実平坦なホム・ホップ・ガロア拡張の下で、相対的ホム・ホップ加群がアフィン的生成であることを証明し、ねじれ付きの結合則と余結合則構造を用いて、古典的ホップ・ガロア理論をホム代数の文脈へ拡張する。

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.

研究の動機と目的

• 古典的ホップ・ガロア拡張理論をモノイダル・ホム・ホップ代数の文脈へ一般化すること。
• 全積分の理論を用いて、相対的ホム・ホップ加群のアフィン性を調査すること。
• モノイダル・ホム・ホップ代数の文脈でシュナイダーシュのアフィン性定理を確立すること。
• 忠実平坦なホム・ホップ・ガロア拡張に関連する相対的ホム・ホップ加群のアフィン性基準を提供すること。

提案手法

• ホム・ホップ・ガロア拡張を分析するために、全積分の理論をモノイダル・ホム・ホップ代数へ適応する。
• ねじれ付きの余作用構造を持つホム・ホップ代数上の加群として、相対的ホム・ホップ加群を導入する。
• 結合則と単位元の同型がねじれ付きの構造を持つホム構造を形式化するために、モノイダル圏 $\widetilde{\mathcal{H}}(\mathcal{M}_k)$ を用いる。
• 忠実平坦なホム・ホップ・ガロア拡張の概念を適用し、$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 シュナイダーシュのアフィン性定理は、どのようにモノイダル・ホム・ホップ代数の文脈へ拡張できるか？
• RQ2 全積分は、ホム代数フレームワークにおけるホム・ホップ・ガロア拡張を特徴付けるために、どのような役割を果たすか？
• RQ3 忠実平坦なホム・ホップ・ガロア拡張のもとで、相対的ホム・ホップ加群がどのような条件下でアフィン的生成されるか？
• RQ4 $\widetilde{\mathcal{H}}(\mathcal{M}_k)$ のモノイダル構造は、ホム・ホップ代数およびその加群の構成をどのように支援するか？
• RQ5 自動同型 $\alpha$ を用いた余結合則のねじれが、ホム・ホップ代数の文脈でどのような意義を持つのか？

主な発見

• 論文は、$ A $ が $ B $ 上で忠実平坦なホム・ホップ・ガロア拡張であるならば、相対的ホム・ホップ加群 $ A \Box_H M $ がアフィン的生成であることを証明している。
• 忠実平坦性から導かれる完全列 $ 0 \to A \Box_H U \to A \Box_H V \to A \Box_H W \to 0 $ の完全性を用いて、相対的ホム・ホップ加群のアフィン性基準が確立された。
• 全積分の理論がモノイダル・ホム・ホップ代数へうまく適応され、この文脈でシュナイダーシュのアフィン性定理が導出された。
• 圏 $\widetilde{\mathcal{H}}(\mathcal{M}_k)$ は、$(M^*, (\mu^*)^{-1})$ を用いた左双対性を支持しており、これはホム設定における双対対象の構成に不可欠である。
• 完全列 $ A \Box_H U $、$ A \Box_H V $、$ A \Box_H W $ に関する完全性から、$ A $ の右 $ (H, \alpha) $-余平坦性が導かれ、加群構造のアフィン性が裏付けられた。
• 結果として、自動同型 $ \alpha $ を用いたホム・ツイストを組み込むことで、非結合的かつ変形された代数へと拡張された、古典的ホップ・ガロア理論の一般化が達成された。