[論文レビュー] Hom-Lie admissible Hom-coalgebras and Hom-Hopf algebras

Abdenacer Makhlouf, Sergei Silvestrov|ArXiv.org|Sep 15, 2007

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

ひとこと要約

本稿は、古典的Lie-admissible余代数およびホップ代数のねじれた一般化として、Hom-Lie-admissibleなHom-余代数およびHom-ホップ代数を導入する。これは、ねじれた結合的および余結合的性質を通じて、Hom代数構造を拡張するものである。$G$-Hom-余代数と$G$-Hom代数の双対性を確立し、反数を備えたHom-ホップ代数を定義し、反数の一意性および$ε \circ S = \varepsilon$などの重要な恒等式を証明する。これにより、非結合的代数的系における変形理論の基盤的構造が得られる。

ABSTRACT

The aim of this paper is to generalize the concept of Lie-admissible coalgebra introduced by Goze and Remm to Hom-coalgebras and to introduce Hom-Hopf algebras with some properties. These structures are based on the Hom-algebra structures introduced by the authors.

研究の動機と目的

• ねじれた構造写像を伴うHom代数設定において、Lie-admissible余代数を一般化するため、Hom-Lie-admissibleなHom-余代数を導入すること。
• 古典的ホップ代数のねじれた類似物としてHom-ホップ代数を定義・研究すること。反数およびモジュール/コモジュール構造を含むこと。
• $S_3$の部分群$G$に対して、$G$-Hom-余代数と$G$-Hom代数の間の双対性を確立し、Lie-admissible枠組みを余代数へ拡張すること。
• Hom結合的代数、Hom余結合的余代数、およびそれらのモジュール/コモジュール構造の基礎的定義と性質を提供すること。
• 低次元のHom-バイアリューブ代数を分類し、特に2次元の場合にHom-ホップ代数構造を有するものかどうかを特定すること。

提案手法

• ねじれた結合的条件：$\mu(\alpha(x) \otimes \mu(y \otimes z)) = \mu(\mu(x \otimes y) \otimes \alpha(z))$ を用いて、Hom結合的代数を定義する。
• Hom結合的代数を双対化し、余乗法$\Delta$におけるねじれた余結合的条件を用いて、Hom余結合的余代数を定義する。
• 余括弧と$\beta$-ねじれたコジャコビ和を一般化することで、Hom-Lie-admissibleなHom-余代数を導入し、ねじれた反対称性および余ジャコビ恒等式を捉える。
• $S_3$の部分群$G$に対して$G$-Hom-余代数を導入し、余代数的枠組みにおける置換対称性をモデル化。$G$-Hom-余代数がHom-Lie-admissibleであることを示す。
• 反数$S$を追加し、$S \star \mathrm{id} \star S = \eta \circ \varepsilon$ を満たすことでHom-ホップ代数を構成し、一意性および$ε \circ S = \varepsilon$ などの重要な恒等式を証明する。
• Hom結合的代数およびHom余結合的余代数におけるモジュールおよびコモジュール構造を、適合する線形写像とねじれた可換図式を満たすことで定義する。

実験結果

リサーチクエスチョン

• RQ1 Lie-admissible余代数の概念は、ねじれた構造写像を伴うHom代数設定において、どのように一般化可能か？
• RQ2 Hom-余代数がwell-definedな反数を有するHom-ホップ代数構造を有するための必要十分条件は何か？
• RQ3 $S_3$の部分群$G$に対する$G$-Hom-余代数と$G$-Hom代数の間の双対性は何か？また、それらが満たす性質は何か？
• RQ4 Hom-ホップ代数における反数の構造的性質は何か？また、それらは古典的ホップ代数の恒等式をどのように一般化するか？
• RQ5 2次元のHom結合的代数のうち、どの構造がHomバイアリューブ代数またはHom-ホップ代数構造を有するか？また、それらの余乗法および反数の性質は何か？

主な発見

• 本稿は、乗法$\mu_1$と特定の自己準同型$\alpha_1$を有するHom結合的代数から、2次元のHom-ホップ代数を構成する。ここで、余乗法は$\Delta(e_1) = e_1 \otimes e_1$、$\Delta(e_2) = e_2 \otimes e_2$ であり、反数は単位行列で与えられる。
• 分類において唯一のHomバイアリューブ代数(2)がHom-ホップ代数構造を有し、$\varepsilon(e_2) = 0$、$\Delta(e_2) = e_1 \otimes e_2 + e_2 \otimes e_1 - 2e_2 \otimes e_2$、反数$S(e_2) = e_2$ を満たし、$S \star \mathrm{id} \star S = \eta \circ \varepsilon$ を満たす。
• Hom-ホップ代数における反数は一意的であり、$\varepsilon \circ S = \varepsilon$ を満たす。これは古典的ホップ代数恒等式を一般化する。
• 乗法$\mu_2$で定義されるHom結合的代数に対して、任意の$\alpha_2$の選択に対しても、Homバイアリューブ代数構造は存在しない。これは、Hom-ホップ代数への拡張に起因する構造的障害を示している。
• $G$-Hom-余代数と$G$-Hom代数の双対性が確立され、$G$-Hom-余代数がHom-Lie-admissibleであり、その代数的双対から構造的性質を引き継ぐことが示された。
• Hom結合的代数およびHom余結合的余代数におけるモジュールおよびコモジュール構造は、適合する線形写像とねじれた可換図式を満たすことで定義され、代数自身への自然な作用が標準的例をなす。