[論文レビュー] Weak Crossed Biproducts and Weak Projections

J. M. Fernández Vilaboa, R. González Rodrı́guez+1 more|ArXiv.org|Jun 9, 2009

Algebraic structures and combinatorial models参考文献 1被引用数 4

ひとこと要約

本稿では、弱ホップ代数の設定において、古典的なクロス積構造を一般化する弱交叉双代数を、弱射影を持つ弱代数的構造を構成するための一般枠組みとして導入する。弱代数的構造における弱射影が常に弱交叉双代数構造を誘導することを証明し、正確な因子分解をもつ群oidsに対してその構造を明示的に計算する。

ABSTRACT

We present the universal theory of weak crossed biproducts, and we prove that every weak projection of weak bialgebras induces an example of this crossed structure. As an example, we give the construction of a weak projection of a weak bialgebra associated to a groupoid that admits an exact factorization.

研究の動機と目的

• 古典的なクロス積構成法を弱代数的構造および弱ホップ代数の設定に一般化する、弱交叉双代数の一般理論を構築すること。
• 標準的な単位元および余単位元の性質が成立しない弱設定における、既存のクロス積フレームワークの限界を克服すること。
• 普遍的性質を用いた弱交叉双代数の特徴付けを行い、弱射影からどのようにしてそれらが生じるかの条件を同定すること。
• 正確な因子分解をもつ群oidsに対して、弱交叉双代数の明示的構成を提供すること。
• 既知のさまざまな弱代数的構造（例えば、バイクロスプロダクトや量子群oids構造）を、一貫した圏論的枠組みの下で統一すること。

提案手法

• braided monoidal圏において、前単位 ν と前余単位 υ を用いて弱交叉双代数を定義し、C⊗B 上の自己準同型 ∇C⊗B を関連付ける。
• cocycleに類似した性質とねじれ型の整合性条件を満たす、ねじれ付き積およびねじれ付き余積写像を用いて、C⊗B 上の代数的および余代数的構造を構成する。
• Bespalov と Drabant の圏論的枠組みを用い、明示的な cocycle を必要としない、クロス積および余積構造の一般化を行う。
• f:B→D および g:D→B という準同型を導入し、g∘f=idB を満たすようにする。ここで f は代数的および余代数的準同型であり、g は余代数的準同型および B-加群準同型である。
• ∇C⊗B の性質と余単位／積の整合性を検証することで、弱交叉双代数の普遍的性質を確立する。このとき、C×B は ∇C⊗B の像として定義され、同型 α:C×B→D が成り立つ。
• 誘導された構造が弱代数的構造の公理を満たし、g が弱射影であることを、∇C⊗B の性質と余単位／積の整合性の検証により確認する。

実験結果

リサーチクエスチョン

• RQ1 単位元および余単位元が乗法的または余乗法的でない弱ホップ代数の設定において、古典的なクロス積および余積構造はどのように一般化できるか？
• RQ2 弱代数的構造の文脈において、弱交叉双代数を特徴付ける普遍的性質は何か？
• RQ3 弱代数的構造における弱射影が、いつ弱交叉双代数構造を生じるか？
• RQ4 正確な因子分解をもつ群oidsに対して、弱交叉双代数はどのように明示的に計算できるか？
• RQ5 braided monoidal圏において、冪等的準同型および前単位／前余単位は、弱交叉双代数の構造にどのように寄与するか？

主な発見

• 弱ホップ代数 B に射影される弱代数的構造 D の任意の弱射影 (f,g) は、D に弱交叉双代数構造を誘導する。
• 弱交叉双代数は、前単位 ν と前余単位 υ を用いて構成され、C⊗B 上の冪等的自己準同型 ∇C⊗B に関連づけられる。ここで C×B は ∇C⊗B の像である。
• 同型 α:C×B→D により、D は代数的構造がスモッシュ積、余代数的構造がコスモッシュ余積として与えられる弱交叉双代数として実現される。
• 準同型 f:B→D は代数的および余代数的準同型であり、g:D→B は余代数的準同型および右 B-加群準同型であり、g∘f=idB を満たす。
• δD∘f=(f⊗f)∘δB および τB^C=(εC⊗δB)∘∇C⊗B が成り立つことで、f が余乗法的であり、g が余代数的構造と整合的であることが保証される。
• 正確な因子分解をもつ群oidsに対しては、因子分解から誘導される前単位および前余単位を用いて、弱交叉双代数構造を明示的に計算できる。