[論文レビュー] Tannaka Reconstruction of Weak Hopf Algebras in Arbitrary Monoidal Categories

Micah Blake McCurdy|ArXiv.org|Mar 2, 2009

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

ひとこと要約

この論文は、モノイダル関手とコモノイダル関手のための図式的記法を導入することで、任意のモノイダル圏における弱ホップ代数へのタンナカ双対性の拡張を実現する。$F: A \to B$ が分離的フロベニウス関手であり、$A$ がモノイダル圏で $B$ がブレード的かつ自己双対的圏であるとき、タンナカ再構成により $B$ 内に弱双代数が得られ、$A$ が自己双対的であるならば、弱ホップ代数が得られる。

ABSTRACT

We introduce a variant on the graphical calculus of Cockett and Seely for monoidal functors and illustrate it with a discussion of Tannaka reconstruction, some of which is known and some of which is new. The new portion is: given a separable Frobenius functor F: A --> B from a monoidal category A to a suitably complete or cocomplete braided autonomous category B, the usual formula for Tannaka reconstruction gives a weak bialgebra in B; if, moreover, A is autonomous, this weak bialgebra is in fact a weak Hopf algebra.

研究の動機と目的

• 標準的ホップ代数の設定を超えて、タンナカ再構成を弱ホップ代数へ一般化すること。
• ブレード的かつ自己双対的圏 $B$ におけるタンナカ再構成が弱双代数または弱ホップ代数をもたらす条件を確立すること。
• モノイダルおよびコモノイダル関手のための洗練された図式的記法を構築し、適用することで再構成プロセスを簡素化・明確化すること。
• フロベニウス関手および分離的関手が再構成対象における弱双代数および弱ホップ代数構造を保証する役割を明確にすること。
• 再構成プロセスが弱い状況では随伴関手をもたらさないことが示され、これは古典的な強い状況とは区別されること。

提案手法

• コケットとシーリーにインspiredされた図式的記法を採用し、変形に対して不変性と明確性を高めるために修正を加えた。
• 再構成された代数的対象を $B$ に定義するために、$E_F = \int_{a \in A} [Fa, Fa]$ という終域構成を用いる。
• 関手 $F$ が分離的フロベニウス関手（モノイダルかつコモノイダルで、追加の整合性公理を満たす）であるという条件を課すことにより、弱双代数構造を保証する。
• 図式的記法を用いて弱双代数および弱ホップ代数の公理を検証し、整合性条件が $F$ の構造写像に関する恒等式に還元されることを示す。
• 弱双代数の単位公理は $F$ がフロベニウス関手である場合にのみ満たされ、図式的記法と排出形式計算によって示される。
• 余単位公理は、$F$ がモノイダルおよびコモノイダルであることのみで成立する。
• 反対称子公理は畳み込み図を用いて分析し、弱反対称子公理は $F$ がモノイダルおよびコモノイダルであり、畳み込み $S \star E_F \star S = S$ が成り立つ場合に成立することが示される。

実験結果

リサーチクエスチョン

• RQ1 ブレード的かつ自己双対的圏 $B$ におけるタンナカ再構成が弱双代数をもたらす条件は何か？
• RQ2 関手 $F$ の分離的フロベニウス性が再構成対象における弱双代数構造を保証する仕組みは何か？
• RQ3 再構成対象が弱ホップ代数（弱双代数にとどまらない）であるためには、どのような追加条件が必要か？
• RQ4 図式的記法は、再構成プロセスにおける弱双代数および弱ホップ代数公理の検証をどのように簡素化するか？
• RQ5 なぜ再構成プロセスは弱い状況では随伴関手をもたらさないのか？これは、古典的な強いモノイダル設定とはどのように異なるのか？

主な発見

• 関手 $F: A \to B$ が分離的フロベニウス関手であり、$A$ がモノイダル圏で $B$ が適切に完備またはコ完備なブレード的かつ自己双対的圏であるとき、タンナカ再構成 $E_F$ は $B$ 内の弱双代数である。
• $A$ が自己双対的であり、$F$ が分離的フロベニウス関手であるならば、$E_F$ は $B$ 内の弱ホップ代数である。これは、古典的タンナカ双対性を弱い設定に拡張するものである。
• 弱双代数の単位公理は、図式的記法と排出形式計算により、$F$ がフロベニウス関手である場合にのみ満たされる。
• 弱双代数の余単位公理は、$F$ がモノイダルおよびコモノイダルであることのみで成立する。
• 弱反対称子公理は畳み込み図を用いて検証され、$F$ がモノイダルおよびコモノイダルである場合に、$S \star E_F \star S = S$ という重要な恒等式が成り立つ。
• 再構成プロセスは弱い状況では随伴関手をもたらさない。これは、古典的な強いモノイダル再構成とは対照的であり、その際には表現関手と再構成関手の間に随伴関係が存在する。