[論文レビュー] Frobenius Objects in Cartesian Bicategories

R. F. C. Walters, Richard J. Wood|ArXiv.org|Aug 14, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 11被引用数 4

ひとこと要約

この論文は、デカルト双圏において、Frobenius対象間のマップ（左随伴射）が、正確に余モノイド準同型であることを確立し、任意の対象からFrobenius対象へのマップの圏がグループイドをなすことを示している。結果はプロファンクターの場合を一般化しており、標準的な2セルと双対構造を用いて、1-圏的レベルでの可逆性の性質を双圏的設定へと持ち上げる。

ABSTRACT

Maps (left adjoint arrows) between Frobenius objects in a cartesian bicategory B are precisely comonoid homomorphisms and, for A Frobenius and any T in B, map(B)(T,A) is a groupoid.

研究の動機と目的

• デカルト双圏におけるFrobenius対象間のマップを、余モノイド準同型を用いて特徴づけること。
• 任意の対象からFrobenius対象へのマップの圏がグループイドであることを証明し、プロファンクターの場合に知られている結果を一般化すること。
• 1-圏的設定から双圏的設定へと可逆性および双対構造を持ち上げるための技術を構築すること。
• スパンの双圏を特徴づけるための基礎的結果を提供すること。
• 可逆な2セルを用いて、モノイド双圏における2次元のFrobenius方程式を形式化すること。

提案手法

• デカルト双圏に内在する標準的なモノイドおよび余モノイド構造を利用する。
• 可逆な2セル（古典的Frobenius方程式の一般化）の形でFrobenius公理を適用し、2次元的Frobenius対象を定義する。
• マップの双対構造（左随伴を通じて）を用いて、2セル上のダガー演算 $\alpha^\dagger = \mu(1,\alpha,1)$ を定義する。
• 'S'および'X'構成の2セルを用いて可逆性の性質を導出し、合成恒等式を用いて $\alpha^\dagger = \alpha^{-1}$ を示す。
• 補題3.3を適用し、'X'構成から生じる1要素 $\Xi$ を合成 $\delta\Xi = (\alpha,\alpha,1)$ と関連付ける。
• 積の普遍性およびホム圏の構造を用いて、$\alpha\alpha^\dagger = 1_g$ および $\alpha^\dagger\alpha = 1_f$ が成り立つことを検証する。

実験結果

リサーチクエスチョン

• RQ1 デカルト双圏におけるFrobenius対象間のマップは、どのように特徴づけられるか？
• RQ2 A がFrobenius対象であるとき、なぜ $\mathrm{Map}(\mathbf{B})(T,A)$ がグループイドとなるのか？
• RQ3 プロファンクターのレベルで $\mathrm{Map}(\mathbf{B})(T,A)$ がグループイドであるという結果が、任意のデカルト双圏へとどのように一般化できるか？
• RQ4 'S'および'X'構成の2セルが、2セルの可逆性を確立するために果たす役割は何か？
• RQ5 可逆な2セルとして表現される2次元のFrobenius公理は、古典的Frobenius代数とどのように関係しているか？

主な発見

• デカルト双圏におけるFrobenius対象間のマップは、標準的な余モノイド構造に関して、正確に余モノイド準同型である。
• 任意の対象 $T$ およびデカルト双圏 $\mathbf{B}$ 内のFrobenius対象 $A$ に対して、圏 $\mathrm{Map}(\mathbf{B})(T,A)$ はグループイドである。
• ダガー演算 $\alpha^\dagger = \mu(1,\alpha,1)$ は $\alpha^\dagger = \alpha^{-1}$ を満たし、これによりすべての2セルが可逆であることが保証される。
• 'S'構成および積の普遍性を用いて、$\alpha\alpha^\dagger$ が $1_g$ に評価されることを示し、$\mu$ および $\delta$ を構造写像として用いる。
• 'X'構成による対称性と確認により、$\alpha^\dagger\alpha$ も $1_f$ に評価され、完全な可逆性が保証される。
• 証明技法は、特定の例に依存せず、標準的な双圏的構造および双対性を用いることで、既知のプロファンクターの結果を一般化している。