[論文レビュー] Higher-Dimensional Algebra I: Braided Monoidal 2-Categories

John C. Baez, Martin Neuchl|arXiv (Cornell University)|Nov 19, 1995

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用数 23

ひとこと要約

本稿は、半厳密なブラケット付きモノイダル2カテゴリの中心の構成を通じて、カテゴリ理論における中心構成を一般化し、半厳密なブラケット付きモノイダル2カテゴリの構成を提示する。また、任意の半厳密なブラケット付きモノイダル2カテゴリが、一方の方向におけるブレードが自明であるようなものと同値であることを示す厳密化定理を証明し、4次元トポロジカル量子場理論および高次元代数の基盤的枠組みを提供する。

ABSTRACT

We begin with a brief sketch of what is known and conjectured concerning braided monoidal 2-categories and their applications to 4d topological quantum field theories and 2-tangles (surfaces embedded in 4-dimensional space). Then we give concise definitions of semistrict monoidal 2-categories and braided monoidal 2-categories, and show how these may be unpacked to give long explicit definitions similar to, but not quite the same as, those given by Kapranov and Voevodsky. Finally, we describe how to construct a semistrict braided monoidal 2-category Z(C) as the `center' of a semistrict monoidal category C. This is analogous to the construction of a braided monoidal category as the center, or `quantum double', of a monoidal category. As a corollary, our construction yields a strictification theorem for braided monoidal 2-categories.

研究の動機と目的

• 半厳密なブラケット付きモノイダル2カテゴリの厳密な枠組みを構築すること。これは、高次元代数および4次元トポロジカル量子場理論（TQFT）に不可欠である。
• モノイダルカテゴリにおける中心構成をモノイダル2カテゴリへ一般化すること。これは、カテゴリ理論における古典的中心構成を模倣する。
• ブラケット付きモノイダル2カテゴリに対して、一方のブレード成分が自明である形に同値であることを示す厳密化定理を確立すること。
• 弱いおよび半厳密なnカテゴリの文脈において、整合性と対称性の問題を明確にすること。
• 特にユニット対象および中心構成における構造的非対称性に関して、ブラケット付きモノイダル2カテゴリの定義における基礎的欠落を解消すること。

提案手法

• カプランォフとヴォエヴォズキーの定義を拡張し、明示的かつ展開された公理を用いて、半厳密なモノイダル2カテゴリおよびブラケット付きモノイダル2カテゴリを定義する。
• 半厳密なモノイダルカテゴリ $χ$ の中心 $π(χ)$ を、整合性データを伴う自然変換を用いて、半厳密なブラケット付きモノイダル2カテゴリとして構成する。
• 2-射 $\tilde{R}_{(A,B|C)}$ および $\tilde{R}_{(A|B,C)}$ を用いてブレードを符号化し、厳密化形では前者が自明であることを示す。
• 中心構成が、対象、射、2-射のすべてにおいて全単射である強ブラケット付きモノイダル2関手を生成することを証明する。
• $\xi$, $T$, および $R$-射の合成に関する明示的計算を通じてブレードの整合性を検証し、 $R^{\mathcal{Z}(\mathcal{C})}_{A,B} = (T_{A,B}, R_{(T_{A,B},-)} )$ を示す。
• 交換恒等式および整合性法則を用いて、主要な図式の可換性を検証することにより、結果として得られる2関手が強ブラケット付きモノイダル2関手の公理を満たすことを示す。

実験結果

リサーチクエスチョン

• RQ1 半厳密なモノイダルカテゴリの中心は、どのようにしてブラケット付きモノイダル2カテゴリを生成することができるか？
• RQ2 半厳密なブラケット付きモノイダル2カテゴリにおけるブレードの整合性法則は何か？ また、弱い2カテゴリにおけるそれらとはどのように関係するか？
• RQ3 任意の半厳密なブラケット付きモノイダル2カテゴリは、一方のブレード成分が自明であるようなものと厳密に同値にできるか？
• RQ4 中心構成が $\tilde{R}_{(A,B|C)}$ と $\tilde{R}_{(A|B,C)}$ の間に顕著な非対称性を示すのはなぜか？ これは必然的か、あるいは任意の選択に過ぎないか？
• RQ5 ユニット対象およびそれらのブレードは、ブラケット付きモノイダル2カテゴリの構造において果たす役割は何か？ また、対称性にどのように影響を与えるか？

主な発見

• 半厳密なモノイダルカテゴリ $\mathcal{C}$ の中心 $\mathcal{Z}(\mathcal{C})$ は、特定の整合性データを伴う自然変換を用いて構成された、半厳密なブラケット付きモノイダル2カテゴリである。
• $\mathcal{Z}(\mathcal{C})$ におけるブレードは明示的に計算され、 $R^{\mathcal{Z}(\mathcal{C})}_{A,B} = (T_{A,B}, R_{(T_{A,B},-)} )$ であることが示され、2-射成分がブレードを符号化していることがわかる。
• 強ブラケット付きモノイダル2関手 $\mathcal{Z}(\mathcal{C}) \to \mathcal{C}$ は、対象、射、2-射のすべてにおいて全単射であるため、厳密化結果が得られる。
• 本稿では、任意の半厳密なブラケット付きモノイダル2カテゴリが、 $\tilde{R}_{(-,-|-)}$ が自明であるようなものと同値であることを証明し、厳密化定理を確立する。
• 構成は構造的非対称性を露呈している： $\tilde{R}_{(A,B|C)}$ は自明であるが $\tilde{R}_{(A|B,C)}$ はそうではない。これは半厳密な設定において避けがたい定義上の選択である可能性を示唆している。
• ブレードの整合性は明示的な図式走査により検証され、 $S^+ = S^-$ および交換恒等式のおかげで、強ブラケット付きモノイダル2関手に必要な2つの図式が可換であることが示された。