[論文レビュー] On some properties of the category of cocommutative Hopf algebras

Christine Vespa, Marc Wambst|arXiv (Cornell University)|Feb 13, 2015

Algebraic structures and combinatorial models参考文献 8被引用数 6

ひとこと要約

この論文は、標数0の体上の余可換ホップ代数の圏が半アーベル的であることを確立し、そのアーベル核を可換かつ余可換ホップ代数の圏として同定する。半アーベル圏理論におけるカテゴリー的道具—特にハートルとロイゾーの公理—を用いて、この核が最大のアーベル的部分圏であることを証明し、したがって、余可換ホップ代数の全圏がアーベル的でないことを確認する。

ABSTRACT

By a recent work of Gran-Kadjo-Vercruysse, the category of cocommutative Hopf algebras over a field of characteristic zero is semi-abelian. In this paper, we explore some properties of this categoy, in particular we show that its abelian core is the category of commutative and cocommutative Hopf algebras.

研究の動機と目的

• 標数0の体上の余可換ホップ代数の圏のカテゴリー的構造を調査すること。
• グラン、カドジョ、ヴァーキルスの最近の研究に基づき、この圏が半アーベル圏の公理を満たすかどうかを同定すること。
• この半アーベル圏のアーベル核、すなわち最大のフルなアーベル的部分圏を同定すること。
• 可換かつ余可換ホップ代数の圏がアーベル核であることを示し、全圏がアーベル的でないことを証明すること。

提案手法

• ハートルとロイゾーによる半アーベル圏の公理的特徴付けを採用し、公理A1–A4の検証を行う。
• 核、余核、有限極限および余極限の存在を用いて、有限完備性と余完備性（A1）を証明する。
• スプリットエピモルフィズムに関して、射 $<\kappa, s>: K \amalg Y \to X$ の余核性質（A2）を、両側イデアルでありかつ余イデアルである部分ホップ代数とイデアルの間のニューマンの対応に依拠して確立する。
• 余核の引き戻しが余核である（A3）ことを、ホップ代数の商と核の構造の性質を用いて検証する。
• 余核の下での核の像が核である（A4）ことを、グラン、カドジョ、ヴァーキルス（2020）の結果に依拠して確認する。
• 半アーベル圏におけるアーベル的対象の特徴付けを用いて、アーベル核がちょうど可換かつ余可換ホップ代数の対象からなることを示す。

実験結果

リサーチクエスチョン

• RQ1 標数0の体上の余可換ホップ代数の圏は半アーベル的か？
• RQ2 標数0における余可換ホップ代数の圏のアーベル核は何か？
• RQ3 アーベル核がアーベル的であるにもかかわらず、なぜ余可換ホップ代数の圏自体がアーベル的でないのか？
• RQ4 特に代数的構造とコ代数的構造の双対性を考慮した場合、ホップ代数のカテゴリー的性質—特に半アーベル圏における振る舞い—はどのように影響を受けるか？
• RQ5 可換性と余可換性は、ホップ代数の半アーベル圏のアーベル核を決定づける役割を果たすのか？

主な発見

• 標数0の体上の余可換ホップ代数の圏は、半アーベル圏のすべての公理を満たしており、グラン、カドジョ、ヴァーキルスの定理0.1を確認する。
• 余可換ホップ代数の圏のアーベル核は、正確に可換かつ余可換ホップ代数の圏に一致する。
• この結果から、余可換ホップ代数の圏がアーベル的でないことが示され、そのアーベル核が真の部分圏であることが導かれる。
• 可換かつ余可換ホップ代数の圏がアーベル的であるという古典的結果が、系として回復される。
• この証明は、部分ホップ代数と両側イデアルでありかつ余イデアルであるものとの間のニューマンの対応に強く依拠しており、これは余核および引き戻しの公理の検証に不可欠である。
• 圏における半直積構成は $K \# Y$ として実現され、標準的なホップ代数理論および核函手のモノイド構造と整合的である。