[論文レビュー] Axioms for Weak Bialgebras

Florian Nill|ArXiv.org|May 22, 1998

Advanced Operator Algebra Research参考文献 12被引用数 67

ひとこと要約

本稿は、弱ホップ代数のための新しい公理的枠組みを提示する。標準的な単位的および乗法的公理に代わり、表現カテゴリ Rep 𝒜 が単位対象をもつ剛性モノイダルカテゴリとなることを保証する「モノイダル性公理」を導入することで、弱代数的双対性の問題を解決する。主な貢献は、単純な反対称元公理に基づく自己双対的な弱ホップ代数の定義であり、これは Böhm-Szlachányi の定式化と同値であり、フェイス代数や一般化された Kac 代数へ応用可能である。

ABSTRACT

Let A be a finite dimensional unital associative algebra over a field K, which is also equipped with a coassociative counital coalgebra structure (Δ,\eps). A is called a Weak Bialgebra if the coproduct Δis multiplicative. We do not require Δ(1) = 1 \otimes 1 nor multiplicativity of the counit \eps. Instead, we propose a new set of counit axioms, which are modelled so as to guarantee that \Rep\A becomes a monoidal category with unit object given by the cyclic A-submodule \E := (A --> \eps) \subset \hat A (\hat A denoting the dual weak bialgebra). Under these monoidality axioms \E and \bar\E := (\eps

研究の動機と目的

• 量子対称性理論における双対性問題を解消する。具体的には、標準的公理のもとでは弱代数的双対が代数的構造を持たないという問題を解決すること。
• 代数とその双対が同一の型をとる自己双対的枠組みを弱代数的構造に開発すること。
• 表現カテゴリが剛性をもつことを保証する、最小限で自己完結的な公理集合によって弱ホップ代数を定義すること。
• 既存の定式化よりも単純かつ一般性の高い反対称元公理を提示し、その存在時に反対称元が一意に定まることを示すこと。
• 提案された公理と独立に開発された Böhm-Szlachányi の定式化との同値性を確立し、フェイス代数や一般化された Kac 代数といった既知の例と接続すること。

提案手法

• 乗法的性質を要請しない新しい余単位公理を提示。代わりに、Rep 𝒜 における単位対象としての左 𝒜-加群 𝒆 = (𝒜 ⇀̸ 1̂) ⊂ ̂𝒜 が正しく定義されることを保証する。
• モノイダル性公理を定義し、双対弱代数 ̂𝒜 が二つの可換な単位的部分代数 𝒆 および 𝒆̄ を含むようにする。これらがちょうど余単位が乗法的である場合にのみ自明になる。
• Rep 𝒜 が剛性をもつように保証する新しい反対称元公理を導入。反対称元が存在する場合、一意に定まる。
• モノイダル弱代数 𝒜 が反対称元 S を持つならば、その双対 ̂𝒜 がモノイダルであるための必要十分条件は、S が弱代数の反準同型であることであることを示す。
• 双対 ̂𝒜 の構造と左・右作用の相互作用を用いて、反対称元をフーリエ変換および積分を用いて明示的に定義する。
• フレームワークを応用し、例を構成。特に、𝒜 = 𝒢 ⋊ 𝒫 ⋊ 𝒢 に弱ホップ代数構造を定義し、有限次元中心を持つジョーンズツリー構成において自然に現れることを示す。

実験結果

リサーチクエスチョン

• RQ1 どのようにして弱代数的構造を定義すれば、その双対が再び弱代数的構造となるようにできるか。すなわち、量子対称性理論における双対性を保つことができるか。
• RQ2 Rep 𝒜 が単位対象をもつ剛性モノイダルカテゴリとなるために、余単位およびコ単位に必要な・十分な公理は何か。
• RQ3 既存の構成に依存せずに、表現カテゴリの剛性を保証するより単純かつ一般性の高い反対称元公理を定式化できるか。
• RQ4 提案された弱ホップ代数の定義は、Böhm-Szlachányi の定式化と同値であるか。また、フェイス代数や一般化された Kac 代数といった既知の例とどのように関係するか。
• RQ5 双対弱代数 ̂𝒜 にどのような構造的性質が現れるか。また、部分代数 𝒆 および 𝒆̄ は余単位の乗法的性質とどのように関係するか。

主な発見

• 提案されたモノイダル性公理により、表現カテゴリ Rep 𝒜 が単位対象 𝒆 = (𝒜 ⇀̸ 1̂) ⊂ ̂𝒜 をもつモノイダルカテゴリとなることが保証される。これは双対代数の適切な単位的部分代数である。
• ̂𝒜 内の部分代数 𝒆 および 𝒆̄ は可換であり、かつちょうど余単位 ε が乗法的である場合にのみ自明になる。これにより、乗法的性質の構造的特徴づけが得られる。
• 反対称元 S: 𝒜 → 𝒜 は、提案された公理によって一意に定まり、Rep 𝒜 が剛性をもつときかつそのときに限り存在する。
• 双対 ̂𝒜 がモノイダルであるための必要十分条件は、反対称元 S が弱代数の反準同型であることである。この場合、S は同時に可逆である。
• このフレームワークにより、交叉積 𝒜 = 𝒢 ⋊ 𝒫 ⋊ 𝒢 に弱ホップ代数構造が定義され、有限次元中心を持つジョーンズツリー構成において自然に現れる。
• 新しい公理は Böhm-Szlachányi の定義と同値であることが証明され、また、Hayashi のフェイス代数や Yamanouchi の一般化された Kac 代数といった既知の例を含む。