[論文レビュー] Note on Frobenius monoidal functors

Brian Day, Craig Pastro|arXiv (Cornell University)|Jan 27, 2008

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

ひとこと要約

この論文は、構造が整合的であるモノイド的およびコモノイド的構造を備えたファンクター、すなわちフロベニウスモノイドファンクターを導入し、モノイド圏における双対を保存することを証明する。主な貢献は、強いモノイド性よりも弱い条件でも双対が保存されることを示したことであり、既知の結果を一般化するとともに、線形分配的ファンクターおよびスプリットモノイドファンクターと関連づける。

ABSTRACT

It is well known that strong monoidal functors preserve duals. In this short note we show that a slightly weaker version of functor, which we call "Frobenius monoidal", is sufficient.

研究の動機と目的

• 強いモノイド性よりも弱い条件で、モノイド圏における双対が保存される条件を同定すること。
• モノイド的およびコモノイド的構造を組み合わせ、整合性条件を満たすフロベニウスモノイドファンクターの定義と形式化を行うこと。
• このようなファンクターが双対的状況を保存することを確立し、強いモノイドファンクターに関する既知の結果を拡張すること。
• 線形分配的ファンクターおよびスプリットモノイドファンクターといった既存の構造と概念を関連付けること。
• 線形2圏や閉モノイド圏のような文脈における双対保存のカテゴリカルな基盤を提供すること。

提案手法

• フロベニウスモノイドファンクターを、2つのフロベニウス整合性条件 $ (i \otimes 1)(1 \otimes r) = (1 \otimes r)(i \otimes 1) $ および $ (1 \otimes i)(r \otimes 1) = (r \otimes 1)(1 \otimes i) $ を満たすモノイド的およびコモノイド的構造を備えたファンクターとして定義する。
• ヤオダの補題を用いてコエンダイスを含む同型を導出する：$ F \cong \int^{A,B,C} \mathscr{A}(A\otimes B\otimes C, -) \cdot F(A\otimes B\otimes C) $。これは主結果の証明に不可欠である。
• コエンダイスと自然変換を含む図式を構成し、$ F $ がフロベニウスモノイド的である場合にフロベニウス方程式が可換であることを検証する。
• $ \mathscr{A} $ の閉じた構造を活用して $ \mathscr{A}(A\otimes B\otimes C, -) $ を $ \mathscr{A}(C, [A\otimes B, -]) $ に書き直し、ヤオダの補題を用いてさらに簡略化を可能にする。
• ヤオダの補題を繰り返し適用することで、複雑なコエンダイス表現を恒等ファンクターに還元し、$ F \cong \int^{X} \mathscr{A}(X, -) \cdot FX $ を示す。
• 同型 $ F*F \cong \int^{A,B,C} \mathscr{A}(A\otimes B\otimes C, -) \cdot F(A\otimes B) \otimes FC $ を用いて、コエンダイス図式におけるフロベニウス方程式の検証を行う。

実験結果

リサーチクエスチョン

• RQ1 強いモノイド性よりも弱い条件下でも、双対の保存が保証されるか？
• RQ2 モノイド的およびコモノイド的構造の間のどの整合性条件が双対の保存を保証するか？
• RQ3 フロベニウスモノイドファンクターは、線形分配的ファンクターおよびスプリットモノイドファンクターといった既存の構造とどのように関係するか？
• RQ4 コエンダイス表現 $ \int^{A,B,C} \mathscr{A}(A\otimes B\otimes C, -) \cdot F(A\otimes B\otimes C) $ が $ F $ に簡略化される条件は何か？
• RQ5 コエンダイス図式と自然同型を用いて、フロベニウス方程式をカテゴリカルに検証できるか？

主な発見

• フロベニウスモノイドファンクターは双対的状況を保存する：$ \mathscr{A} $ における双対 $ (A, B, e, n) $ が存在するならば、$ \mathscr{B} $ においても $ (FA, FB, e, n) $ が双対である。
• 自然評価射 $ \int^{A,B} \mathscr{A}(A\otimes B, -) \cdot F(A\otimes B) \to F $ は同型であり、双対保存に不可欠である。
• $ \mathscr{A} $ が閉であり、フロベニウス条件が満たされる場合、同型 $ F \cong \int^{A,B,C} \mathscr{A}(A\otimes B\otimes C, -) \cdot F(A\otimes B\otimes C) $ が成り立つ。
• コエンダイスの可換図式を用いてフロベニウス方程式が検証され、2つの自然変換 $ \int 1\otimes i\otimes 1 $ と $ \int 1\otimes r $ が可換であることが示される。
• 証明はヤオダの補題を用いて複雑なコエンダイス表現を簡略化し、最終的に $ \int^{X} \mathscr{A}(X, -) \cdot FX \cong F $ を示す。
• この結果は、強いモノイドファンクターから双対を保存するという事実を、線形分配的ファンクターおよびスプリットモノイドファンクターを含むより広いファンクターのクラスへ一般化する。