[論文レビュー] Generalised bialgebras and entwined monads and comonads

Muriel Livernet, Bachuki Mesablishvili+1 more|arXiv (Cornell University)|Mar 17, 2014

Advanced Topics in Algebra参考文献 8被引用数 4

ひとこと要約

この論文は、絡み合ったモノイドとコモノイドの圏論的枠組みにおいて、一般化されたバイアリューブラ代数に対するLodayの剛性定理を拡張する。混合双モジュールと絡み合い構造との対応を確立することで、著者たちは、絡み合いによって誘導されるコモノイド準同型が同型であるための必要十分条件を示し、Poincaré-Birkhoff-Witt定理およびCartier-Milnor-Moore定理をこの設定に一般化する。

ABSTRACT

Jean-Louis Loday has defined generalised bialgebras and proved structure theorems in this setting which can be seen as general forms of the Poincaré-Birkhoff-Witt and the Cartier-Milnor-Moore theorems. It was observed by the present authors that parts of the theory of generalised bialgebras are special cases of results on entwined monads and comonads and the corresponding mixed bimodules. In this article the Rigidity Theorem of Loday is extended to this more general categorical framework.

研究の動機と目的

• 絡み合いモノイドとコモノイドの圏論的道具を用いて、一般化されたバイアリューブラ代数に対するLodayの構造定理を一般化すること。
• 圏論的設定において、一般化されたバイアリューブラ代数とバイモノイド上の混合双モジュールの関係を明確にすること。
• 分布的法則とオペラッド理論の結果を統合するより広範な圏論的枠組みに、剛性定理を拡張すること。
• 絡み合い構造の文脈において、Poincaré-Birkhoff-Witt定理およびCartier-Milnor-Moore定理の圏論的基盤を提供すること。
• 絡み合いによって誘導される圏の同値性が、ホップモノイド性を示すことを示し、無限小バイアリューブラ代数に関する既知の結果を一般化すること。

提案手法

• モノイドのEilenberg-Moore圏とコモノイドのEilenberg-Moore圏を用いて、代数的およびコ代数的構造をモデル化する。
• モノイドとコモノイドの間の分布的法則の理論を適用し、代数とコ代数の間の絡み合い構造を定義する。
• エンティングによって、代数からコモジュールへ写像する関手 $ K: ext{Alg}({rak T}_{rak A}) o ext{Coalg}({rak G}_{rak C}) $ を導入し、対応関係を確立する。
• エンティングによって誘導されるコモノイド準同型 $ t: ext{Free} o ext{Cofree} $ を用い、条件 $ ext{Id} = ext{Id} \circ \varepsilon $ を通じてその同型性を証明する。
• 文献[14, 3.1]の同値基準を適用し、合成 $ ext{Id} \circ \varepsilon $ が同型であれば、コモノイド準同型も同型であることを示す。
• エンティングが乗法、コ乗法、およびエンティングの間の必要な可換図式（例：$ \lambda $ について）を満たすことを検証し、整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 一般化されたバイアリューブラ代数に対するLodayの剛性定理を、絡み合いモノイドとコモノイドを含む圏論的枠組みにどのように拡張できるか？
• RQ2 代数の圏とコモジュールの圏の間の関手が、圏の同値性をなすための条件は何か？
• RQ3 モノイドとコモノイドの間の分布的法則は、バイアリューブラ代数およびホップ代数の構造をどのように一般化するか？
• RQ4 モノイドとコモノイドの間のエンティング構造は、Poincaré-Birkhoff-Witt定理およびCartier-Milnor-Moore定理とどのように関係するか？
• RQ5 どのような圏論的条件下で、コモノイド準同型の存在が、関連するモノイドがホップモノイドであることを示すか？

主な発見

• 関手 $ K $ が、モノイド $ {rak T}_{rak A} $ の代数からコモノイド $ {rak G}_{rak C} $ のコモジュールへ写像するとき、合成 $ ext{Id} \circ \varepsilon $ が同型であるための必要十分条件である。
• エンティングによって誘導されるコモノイド準同型 $ t $ が同型であるための必要十分条件は、$ \varphi $ が同型であることである。ここで $ \varphi $ は $ \mathscr{M}(\varepsilon_V) \circ \delta_V $ として定義される自然変換である。
• すべての $ V $ に対して $ \varphi = \text{Id} $ が成り立つため、$ \varphi $ は同型であり、これにより $ t $ も同型であることが示される。
• 圏の同値性は、モノイド $ {rak H} $ がホップモノイドであることを示し、圏論的設定におけるホップ代数構造を一般化する。
• 理論により、LodayとRoncoの無限小バイアリューブラ代数に対する剛性定理が回復され、このようなバイアリューブラ代数がその原始的部品によって自由かつ余自由に生成されることを示す。
• テンソル代数上に定義されたエンティング $ \lambda $ は、必要な可換図式を満たしており、乗法、コ乗法、およびエンティングの間の整合性が確認される。