[論文レビュー] Fusion 2-categories and a state-sum invariant for 4-manifolds

Christopher L. Douglas, David Reutter|arXiv (Cornell University)|Dec 31, 2018

Algebraic structures and combinatorial models参考文献 48被引用数 102

ひとこと要約

論文は融合2‑カテゴリーと球面前融合2‑カテゴリーを展開し、向きの特異4次元多様体の状態和不変量を構築する。これは既知の4次元不変量を一般化する。

ABSTRACT

We introduce semisimple 2-categories, fusion 2-categories, and spherical fusion 2-categories. For each spherical fusion 2-category, we construct a state-sum invariant of oriented singular piecewise-linear 4-manifolds.

研究の動機と目的

• 4D 位相不変量と高次カテゴリフレームワークの統一的な高次カテゴリフレームワークを模索する動機付け。
• 半単純および融合2-カテゴリーを導入し、それらとモジュール2-カテゴリーとしての多融合カテゴリーとの関係を確立する。
• 融合2-カテゴリーの球面性を定義し、それが4次元の状態和不変量を生み出すことを示す。
• 一般的な状態和公式を提示し、それが既知の4D不変量へ特化することを示す。
• 二点集合変換（ビステラー動作）による三角形分割の変更に対する状態和不変性を実証する。

提案手法

• 半単純および前半単純2-カテゴリーを定義し、2-カテゴリーの冪等完備理論を展開する。
• デュアルを持つ有限半単純モノイダル2-カテゴリーで単位が単純なものとして融合2-カテゴリーを導入する。
• 基本2-カテゴリーにおける2球面トレースを用いて球面性を展開し、球面融合2-カテゴリーを確立する。
• 単純对象と単純1-射を単体にラベル付けして、有向特異組合せ4-多様体の状態和Z_C(K)を構成し、10j型記号Z(Γ)を用いる。
• ラベリング変更、頂点の並べ替え、ビステラー変換に対する不変性を証明し、局所線形不変量を保証する。

実験結果

リサーチクエスチョン

• RQ1 融合2-カテゴリーを、4D不変量に適した完全双対可能な構造を生むようにどのように定義できるか。
• RQ2 融合2-カテゴリーのどの条件（球面性）が、特異4-多様体の状態和不変量の構築を可能にするか。
• RQ3 得られた4D状態和がCrane–Yetter–Kauffman、Yetter–Dijkgraaf–Witten、Mackaay、Cuiなどの既存不変量とどのように関係し、統合するか。
• RQ4 状態和に必要な厳密な組合せフレームワーク（ラベル、次元、10j記号）とは何か。
• RQ5 状態和不変量は三角形分割や組合せ構造に依存しないか。

主な発見

• 半単純2-カテゴリーを導入し、それらが多融合カテゴリーのモジュールに対応することを証明する。
• 融合2-カテゴリーを定義し、それらが1-カテゴリーの融合カテゴリーを2-カテゴリー設定へ一般化することを示す。
• 融合2-カテゴリーの球面性を2-球面トレースを用いて定式化し、それが定義された4D状態和不変量をもたらすことを実証する。
• 融合2-カテゴリーに由来する10j記号と単純な对象・単純な1-射ラベルを用いて、向きを持つ特異組合せ4-多様体の状態和Z_C(K)を構築する。
• 適切な場合に状態和が既知の4D不変量（Crane–Yetter–Kauffman、 twistd Yetter–Dijkgraaf–Witten、Mackaay、Cui）へ特化することを示す。
• ラベリングのスケルトン、頂点順序、ビステラー動作に依存しないことを証明し、特異4-多様体の分割線形不変量を得る。