[論文レビュー] Modular categories as representations of the 3-dimensional bordism 2-category

Bruce Bartlett, Christopher L. Douglas+2 more|arXiv (Cornell University)|Sep 22, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 33被引用数 69

ひとこと要約

この論文は、k-線形圏の2カテゴリに値をとる一度拡張された線形3次元トポロジカル量子場理論（TQFT）の標準的分類を確立する。このTQFTは、各因子における異常（またはグローバル次元）の平方根を備えたモジュラーtensorカテゴリ（MTC）に一対一対応することを示している。その分類は、向き付け、成分別シグネチャ、シグネチャ、またはp1構造といった異なる bordism 構造に依存する。この分類は任意の特徴値において成り立ち、TQFTとこれらの構造付きMTCとの間には明示的かつ標準的な双対写像が存在する。

ABSTRACT

We show that once-extended anomalous 3-dimensional topological quantum field theories valued in the 2-category of k-linear categories are in canonical bijection with modular tensor categories equipped with a square root of the global dimension in each factor.

研究の動機と目的

• k-線形圏の2カテゴリに値をとる一度拡張された線形3次元トポロジカル量子場理論（TQFT）を分類すること。
• 異なるbordism上の幾何的構造（向き付け、成分別シグネチャ、シグネチャ、p1構造）の下で、このようなTQFTを分類するのに必要な、モジュラーtensorカテゴリ（MTC）を超える正確な代数的データを特定すること。
• 広範なクラスの目標2カテゴリに対して、構造付きbordism 2カテゴリから対称モノイダル関手がすべて、有限次元半単純k-線形圏の2カテゴリに因数分解されることを示すこと。
• 高階カテゴリの枠組みを用いて、拡張TQFTとモジュラー関手の関係を統一的に明確化すること。

提案手法

• 高階圏論を用いて、向き付け、成分別シグネチャ、p1構造などの幾何的構造を備えた3次元bordism 2カテゴリをモデル化する。
• bordism 2カテゴリから2Vectk（Cauchy完備なk-線形圏の2カテゴリ）への対称モノイダル2関手の枠組みを適用する。
• 内部的ストリング図とbordism圏の提示を用いて、TQFTの代数的構造を分析する。
• Gauss和と量子次元を用いて、モジュラーtensorカテゴリの各単純因子における異常を導入・分析する。
• Deligneのtensor積と2Vectkにおける双対性を用いて、目標圏が適切に扱われ、半単純であることを保証する。
• すべてのTQFTが有限次元半単純k-線形圏の2カテゴリに因数分解されることを確立し、分類問題を有限な代数的問題に還元する。

実験結果

リサーチクエスチョン

• RQ1 一度拡張された線形3次元TQFTを分類するにあたり、モジュラーtensorカテゴリ（MTC）を超えて何のデータが必要か？
• RQ2 3次元多様体における異なる幾何的構造（向き付け、シグネチャ、p1構造）がTQFTの分類にどのように影響するか？
• RQ3 なぜ分類において異常（またはグローバル次元）の平方根が必須であり、その要件はbordism構造によってどのように変化するのか？
• RQ4 構造付きbordism 2カテゴリから一般の目標2カテゴリへのすべての対称モノイダル関手が、2Vectkへの関手に還元可能か？
• RQ5 高階圏論の文脈において、モジュラー関手と拡張TQFTの概念はどのように関係しているか？

主な発見

• 成分別シグネチャbordism 2カテゴリの線形表現は、各因子における異常の平方根を備えたモジュラーtensorカテゴリと、標準的双対写像で一対一対応する。
• 向き付け付き3次元TQFTは、各因子における異常が1であるモジュラーtensorカテゴリによって分類される。
• シグネチャ構造付きTQFTは、すべての因子で同じ異常を持つモジュラーtensorカテゴリに加え、その異常の1つの平方根の選択によって分類される。
• p1構造付きTQFTは、各因子に異常の6乗根を備えたモジュラーtensorカテゴリによって分類される。
• この分類は、有限特徴値を含む任意の特徴値において成り立ち、モジュラーtensorカテゴリが従来の意味で半単純でない場合でも適用可能である。
• これらのbordism 2カテゴリの任意の対称モノイダル関手が、有限次元半単純k-線形圏の全部分2カテゴリに因数分解されることを示した。