[論文レビュー] G-Extensions of Quantum Group Categories and Functorial SPT

Ammar Husain|arXiv (Cornell University)|May 26, 2016

Algebraic structures and combinatorial models参考文献 19被引用数 4

ひとこと要約

本稿は、拡張型トポロジカル場理論（TFT）枠組み内での量子群カテゴリのG-拡張を用いて、3次元における対称性保護型トポロジカル（SPT）相を評価するフレームワークを提案する。マッピングクラス群作用とホモトピー不変量を用いてG-拡張を分類することで、デフォルトを伴う完全拡張TFTを構築し、ドリンフェルト中心構成とbraided fusionカテゴリを用いて異常流入と異常なしの場理論を実現する。

ABSTRACT

In this short mostly expository note, we sketch a program for gauging fully extended topological field theories in 3 dimensions. One begins with the spherical fusion category with which one wants to do Levin-Wen or Turaev-Viro. One then computes a homotopic space with certain $π_\bullet$ given by autoequivalences, invertible objects and the ground (algebraic) field. Then for each desired symmetry group $G$ one looks at mapping $BG$ into that. This classifies equivalence classes of G-extended fusion categories. This is an equivalence at a fully extended level so will allow many defects rather than only evaluating partition functions on closed manifolds. We can now use these categories to build a new fully extended 3d topological field theory, but now possibly with extra data. This is the result of permeating defect walls and saying how that affects the assignment to the point strata.

研究の動機と目的

• 有限対称群の3次元対称性保護型トポロジカル相におけるゲージ化の体系的技法の開発。
• 融合カテゴリのG-拡張を用いて、レヴィン＝ヴェンおよびトゥレイェフ＝ヴィロモデルを完全拡張トポロジカル場理論に拡張し、デフォルトを含むものとする。
• ドリンフェルト中心とbraided fusionカテゴリが任意子励起および異常流入をどのように符号化するかを明確化する。
• コボルディズム仮説と$(∞,3)$-カテゴリの文脈において、G-拡張と等変構造との対応を確立する。
• ホモトピー論的データを用いて、量子群カテゴリから異常なし場理論を構築する計算的フレームワークを提供する。

提案手法

• 完全拡張3次元TFTと$(∞,3)$-カテゴリにおける融合カテゴリと双モジュラーの完全双対的対象との関係を、コボルディズム仮説を用いて確立する。
• 自己同値による対称性作用を符号化するため、$BG \to \text{Hom}^\text{eq}(\mathcal{C}, \mathcal{C})$ と表される写像の分類により、球面的融合カテゴリ$\mathcal{C}$のG-拡張を構成する。
• $(\infty,3)$-モラータカテゴリを用いて、ヒルベルト空間だけでなく、点不変量に対しても対称性作用をモデル化し、デフォルトを多く含む区分的多様体を可能にする。
• ドリンフェルト中心$Z(\mathcal{C})$を用いて、任意子励起をバルク励起として実現し、対称性のゲージ化下でもモジュラリティと整合性を保証する。
• Lagrangian部分群を含む計量群とWitt群構造を通じて、バックグラウンドゲージ場と結合することで異常流入を実装する。
• ポストニコフ塔分解とホモトピー不変量（$\pi_1$, $\pi_2$, $\pi_3$）を用いて、代数的データから拡張TFTの位相的空間を再構成する。

実験結果

リサーチクエスチョン

• RQ1 有限対称群を、カテゴリ的拡張を用いて3次元SPT相で体系的にゲージ化する方法は何か？
• RQ2 ドリンフェルト中心は、拡張TFTにおける任意子統計と異常流入をどのように符号化するか？
• RQ3 融合カテゴリのG-拡張は、コボルディズム仮説と完全拡張TFT（デフォルトを含む）とどのように関係するか？
• RQ4 異常および対称性データを符号化する代数的構造（例：Lagrangian部分群、計量群）は、量子群カテゴリにおいてどのようなものか？
• RQ5 braided fusionカテゴリのWitt群は、この枠組みにおいてトポロジカルオーダーを分類・簡略化するためにどのように用いられるか？

主な発見

• 球面的融合カテゴリ$\mathcal{C}$のG-拡張は、写像$BG \to \text{Hom}^\text{eq}(\mathcal{C}, \mathcal{C})$によって分類され、ホモトピー群$\pi_1$, $\pi_2$, $\pi_3$はそれぞれ対称性群、可逆的対象、基礎体に対応する。
• ドリンフェルト中心$Z(\mathcal{C})$は、レヴィン＝ヴェンモデルにおける任意子励起を実現するモジュラリティを持つカテゴリを提供し、G-拡張下でもその構造が保存される。
• 異常流入は、計量群$E = A \oplus A^*$と二次形式$q$を伴うLagrangian部分群により符号化され、$\text{Hom}(L, L)$は交差する交点数を数える。
• 双曲計量群のカテゴリ$Lag_{hyp}$は、アーベル双モジュラーカテゴリ$Bimod_{ab}$と同値であり、$\text{BrPic}(\text{Vec}_A) \cong O(A \oplus A^*)$である。
• Witt群$\mathbf{W}$は、イジンカテゴリによって生成される$\mathbb{Z}_{16}$部分群を含み、$W_{ptd}(2) \cong \mathbb{Z}_8 \oplus \mathbb{Z}_2$であり、点付きbraidedカテゴリの分類を示す。
• 完全な構造$B\underline{\underline{BrPic}}$はホモトピー群とポストニコフ不変量から再構成され、代数的モデルを通じて拡張TFTの分類が可能になる。