[論文レビュー] Internal bicategories

Christopher L. Douglas, André Henriques|arXiv (Cornell University)|Jun 19, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 17被引用数 9

ひとこと要約

本稿は、2-圏内の内部双圏（internal bicategories）を導入し、特に bordism 3-圏や conformal nets などの幾何学的・代数的構造に有用な、対称的モノイダル3-圏を符号化するための枠組みを提供する。主な貢献は、内部双圏から三圏（tricategories）を体系的に構成するもので、明示的な公理と、高次の内部弱カテゴリの公理数を予測する再帰的絵的計算式（pictorial calculus）を含む。

ABSTRACT

We define bicategories internal to 2-categories. When the ambient 2-category is symmetric monoidal categories, this provides a convenient framework for encoding the structures of a symmetric monoidal 3-category. This framework is well suited to examples arising in geometry and algebra, such as the 3-category of bordisms or the 3-category of conformal nets.

研究の動機と目的

• 対称的モノイダル圏の2-圏内での双圏の内部化を用いて、対称的モノイダル3-圏を符号化するための形式的枠組みを整備すること。
• 幾何学的・代数的構造（例：bordism 3-圏、conformal nets）に生じる高次の圏的構造に対する体系的な形式的記法の欠如を是正すること。
• 2-圏内での内部双圏、双圏（dicategories）、2-圏（2-categories）を定義・分析し、弱体化の階層を確立すること。
• CAT における内部双圏から三圏を構成することにより、CAT 内の双圏が対応する三圏をもつことの証明。
• 内部双圏の完全で絵的に符号化された公理系を提供し、公理数を再帰的組合計法により計算可能にする方法を提示すること。

提案手法

• 2-圏内での内部圏の定義を導入し、3-圏内での内部圏への拡張を基礎とすること。
• 弱体化の3段階を導入：2-圏（厳密な結合性・単位元性）、双圏（厳密な結合性）、内部双圏（弱い結合性・単位元性）を2-圏内に定義。
• 各図形がデータまたは公理を表す絵的計算式（pictorial calculus）を用い、セルの操作（例：0-セルを1-セルに置換）による複雑さを定義。
• 階層内の位置に応じて絵文字に重みを割り当て（0-セル：2、1-セル：1、2-セル：0）、再帰的関係式により数え上げを計算。
• Fibonacci数 N(k) を用いた再帰的関係式 C(k) = Σ N(i)C(k−i) を用いて、3-公理の数が正確に 46 個であることを導出。
• 構造写像のファンクター性と自然性をチェックすることで、内部双圏の公理が満たされることを検証。この際、対応する三圏の0-データを用いる。

実験結果

リサーチクエスチョン

• RQ1 幾何学的・代数的構造に生じる対称的モノイダル3-圏を、内部高次圏を用いて体系的に符号化する方法は何か？
• RQ2 対称的モノイダル圏の2-圏内での双圏の正確な構造は何か？ そして、bordism や conformal nets といった既知の3-圏的例とどのように関係するか？
• RQ3 内部2-圏、双圏、内部双圏はどのように階層的に関係し、それらに関連する構造のファンクター性は何か？
• RQ4 CAT 内の内部双圏を用いて三圏を構成可能か？ また、この構成におけるファイブランス条件（fibrancy condition）の役割は何か？
• RQ5 内部双圏の完全な公理系は何か？ そして、その公理数は再帰的組合計法により予測可能か？

主な発見

• 本稿は、CAT 内の内部双圏から三圏を構成し、CAT 内の双圏が対応する三圏をもつことの構造的結果を示した。
• 内部双圏の3-公理の数は正確に 46 個であり、Fibonacci数と絵的複雑さを用いた再帰的関係式により算出された。
• 再帰的絵的計算式により、各データおよび公理に一意な複雑さと重みが割り当てられ、すべての構成要素の完全かつ体系的な列挙が可能になった。
• この枠組みは、bordism 3-圏と conformal net 3-圏を、対称的モノイダル圏の2-圏内での内部双圏として成功裏にモデル化した。
• 三圏の構成には、双圏オブジェクトのファイブランス条件を必要とせず、0-データと基本的なファンクター性のみに依存している。
• この方法により、1-圏内での三圏は74個の公理を満たし、3-圏内での三圏は725個の公理を満たすことが予測され、スケーラビリティが示された。