[論文レビュー] Factorisation structures of algebras and coalgebras

S. Caenepeel, Bogdan Ion+2 more|arXiv (Cornell University)|Sep 11, 1998

Algebraic structures and combinatorial models参考文献 18被引用数 3

ひとこと要約

本稿は、代数および余代数 $H$ と $L$ が構造写像 $R$ と $W$ を通じて結合する一般化された因子分解積 $L_W\bowtie_R H$ を導入する。この積が双代数をなすための必要十分条件を確立し、任意の双代数 $K$ が $K=HL$ と因子分解されるとき、その $K$ がこのような積と同型であることを証明する。これにより、Majid、Radford、Beattie–Dâscâlescu–Grünenfelder の構成が統一される。

ABSTRACT

We consider the factorisation problem for bialgebras: when a bialgebra $K$ factorises as $K=HL$, where $H$ and $L$ are algebras and coalgebras (but not necessarly bialgebras). Given two maps $R: H\ot L o L\ot H$ and $W:L\ot H o H\ot L$, we introduce a product $L_W\bowtie_R H$ and give necessary and sufficient conditions for $L_W\bowtie_R H$ to be a bialgebra. It turns out that $K$ factorises as $K=HL$ if and only if $K\cong L_W\bowtie_R H$ for some maps $R$ and $W$. As examples of this product we recover constructions introduced by Majid and Radford. Also, some of the pointed Hopf algebras that were recently constructed bu Beattie, D\u asc\u alescu and Grünenfelder appear as special cases.

研究の動機と目的

• 双代数 $K$ が $K=HL$ と分解される場合、特に $H$ と $L$ が代数および余代数であるが、必ずしも双代数ではない状況における因子分解問題を扱う。
• Hopf代数論における既存の因子分解構成、例えばMajidやRadfordのものなど、を統一的な枠組みに一般化すること。
• 新しい積 $L_W\bowtie_R H$ が双代数構造を持つための必要十分条件を提供すること。
• 任意のこのような因子分解 $K=HL$ が、適切な写像 $R$ と $W$ に対して、ちょうど同型 $K \cong L_W\bowtie_R H$ に対応することを示し、完全な分類を確立すること。

提案手法

• 二つの写像 $R: H \otimes L \to L \otimes H$ および $W: L \otimes H \to H \otimes L$ を用いて、テンソル積 $L \otimes H$ 上に新しい積 $L_W\bowtie_R H$ を定義する。
• $R$ と $W$ を用いて $L_W\bowtie_R H$ 上に代数的および余代数的構造を定義し、双代数公理と整合するようにする。
• $L_W\bowtie_R H$ が双代数であるための $R$ と $W$ に関する必要十分条件を導出し、乗法、余乗法、単位・余単位写像との可換性や、ブレード型関係を含む。
• $K=HL$ が集合として成り立つとき、$K$ と $L_W\bowtie_R H$ の間に標準的同型を確立し、因子分解がこのような積構造の存在と同値であることを示す。
• この枠組みを用いて、Majidの双交叉積やRadfordの因子分解された双代数といった既知の構成を特別な場合として回復する。
• Beattie, Dâscâlescu, Grünenfelder が最近構成した点付きHopf代数が、この積構成の自然な例として現れることを示す。

実験結果

リサーチクエスチョン

• RQ1 代数および余代数である $H$ と $L$ に対して、積 $L_W\bowtie_R H$ が双代数をなすための条件は何か？
• RQ2 $K=HL$ と因子分解される双代数 $K$ が、写像 $R$ と $W$ を用いてどのように代数的に特徴付けられるか？
• RQ3 因子分解 $K=HL$ と一般化された積 $L_W\bowtie_R H$ の間の正確な関係は何か？
• RQ4 Hopf代数論における既知の因子分解構成、例えばMajid や Radford のものなど、がこの一般枠組みの特別な場合として回復可能か？
• RQ5 Beattie, Dâscâlescu, Grünenfelder が最近構成した点付きHopf代数は、この統一された積構造に適合するか？

主な発見

• $L_W\bowtie_R H$ が双代数であるのは、$R$ と $W$ が $H$ と $L$ の代数的および余代数的構造と整合する一連の適合条件を満たすときであり、これにはブレード型関係が含まれる。
• 任意の双代数 $K$ が $K=HL$ と因子分解されるとき、適切な $R$ と $W$ の選択により $K$ は $L_W\bowtie_R H$ と同型である。これにより、このような因子分解の完全な分類が確立される。
• この構成は、Majidの双交叉積やRadfordの因子分解された双代数を一般化しており、$R$ と $W$ が追加の対称性または可逆性条件を満たす特別な場合として現れる。
• Beattie, Dâscâlescu, Grünenfelder が最近構成した点付きHopf代数は、$L_W\bowtie_R H$ の例として示され、統一的な代数的解釈が得られる。
• この枠組みにより、適切な $R$ と $W$ の選択によって、与えられた代数および余代数から新しい双代数を体系的に構成する方法が提供される。
• $K \cong L_W\bowtie_R H$ の同型は標準的かつ構造を保ち、$K$ の因子分解が $H$, $L$, $R$, $W$ の内部データと明確に結びつく。