[論文レビュー] String-net model of Turaev-Viro invariants

Alexander Kirillov|arXiv (Cornell University)|Jun 29, 2011

Black Holes and Theoretical Physics参考文献 21被引用数 76

ひとこと要約

本稿は、境界を持つ曲面に対しても成立する、トゥラエフ–ヴィロ TQFT とリーヴィンとウェンのストリングネットモデルの完全で数学的に厳密な同等性を確立する。Turaev–Viro ベクトル空間が局所関係を modulo した彩色されたストリングネットの空間に同型であることを証明し、境界条件が入力カテゴリのドリンフェルト中心における対象によって分類されることを示す。

ABSTRACT

In this paper, we describe the relation between the Turaev--Viro TQFT and the string-net space introduced in the papers of Levin and Wen. In particular, the case of surfaces with boundary is considered in detail.

研究の動機と目的

• Turaev–Viro TQFT とリーヴィンとウェンのストリングネットモデルの間の完全で読みやすい同等性の証明を提供すること。
• この同等性を、リーヴィン–ウェンモデルにおける準粒子励起に対応する境界を持つ曲面へと拡張すること。
• Balsam–Kirillov が定義した、コボルディズム上にウィルソン線（チューブ）を含む 3-2-1 TQFT の場合を厳密に取り扱うこと。
• 円上での境界条件が、入力カテゴリ $\mathcal{A}$ のドリンフェルト中心 $\mathcal{C} = Z(\mathcal{A})$ の対象によって分類されることを示すこと。
• 多重度フリーなテンソル積のケースに限定されない一般の球面的ファイバリングカテゴリへの一般化を含む、完全な証明を提供することで、先行研究におけるギャップを埋めること。

提案手法

• カテゴリ $\mathcal{A}$ から導かれる局所関係を modulo した、曲面上の彩色グラフの商としてのストリングネット空間の構成。
• カテゴリ $\mathcal{A}$ を通じて、Turaev–Viro ベクトル空間 $Z_{TV}(\Sigma)$ とストリングネット空間の間の標準的同型を構成すること。
• 構造を単純化しながら同等性を保つために、厳密なピvォンタルカテゴリ形式を採用すること。
• 1-多様体（例えば円）上の境界条件を分類するために、ドリンフェルト中心 $Z(\mathcal{A})$ を適用し、それが $Z(\mathcal{A})$ の対象に対応することを示すこと。
• カテゴリ $\mathcal{A}$ を用いた Turaev–Viro の状態和構成法を用い、状態空間を $\langle V_1, \dots, V_n \rangle = \operatorname{Hom}_{\mathcal{A}}(\mathbf{1}, V_1 \otimes \cdots \otimes V_n)$ と定義すること。
• ピvォンタル構造とトレース写像を用いて循環的不変性を定義し、表面の貼り合わせや位相同相写像に関して一貫性を保証すること。

実験結果

リサーチクエスチョン

• RQ1 Turaev–Viro TQFT は、リーヴィンとウェンのストリングネットモデルから完全に再構成可能か？
• RQ2 閉曲面における Turaev–Viro TQFT の状態空間と、局所関係を modulo したストリングネット空間との間の明確な数学的対応関係は何か？
• RQ3 Turaev–Viro 理論における境界条件は、入力カテゴリ $\mathcal{A}$ の構造とどのように関係するか？
• RQ4 ドリンフェルト中心 $Z(\mathcal{A})$ は、境界を持つ曲面の境界条件の分類において果たす役割は何か？
• RQ5 多重度フリーなケースに限定されない一般の球面的ファイバリングカテゴリをカバーする、完全で厳密な同等性証明は可能か？

主な発見

• 閉曲面 $\Sigma$ に対する Turaev–Viro ベクトル空間 $Z_{TV}(\Sigma)$ は、カテゴリ $\mathcal{A}$ から構成されたストリングネット空間に同型であり、この同型は状態和構成法によって誘導される。
• 境界を持つ曲面に対しては、ウィルソン線を伴う Turaev–Viro 理論は、準粒子励起を伴うリーヴィン–ウェンモデルと同等であり、境界条件はドリンフェルト中心 $Z(\mathcal{A})$ の対象によってラベル付けされる。
• 曲面 $\Sigma$ 上の Turaev–Viro 空間の次元は、$\mathcal{D}^{-\chi(\Sigma)} \sum_{\text{colorings}} \prod_{\text{edges}} d_i \cdot \prod_{\text{vertices}} \text{F-matrices}$ で与えられ、ここで $\mathcal{D} = \sqrt{\sum_{i \in \operatorname{Irr}(\mathcal{A})} d_i^2}$ である。
• 証明により、ストリングネット空間が Turaev–Viro 空間と同じ位相不変性および貼り合わせ性質を満たすことが示され、両者が TQFT として同等であることが確認された。
• 本稿は、境界の場合を含む、先行研究で未だ証明なしに述べられていたギャップを完全に解消した。
• 同等性は 3-2-1 の設定でも成立し、3-コボルディズムにチューブ（ウィルソン線）を許容するが、境界データは $Z(\mathcal{A})$ によって完全に分類される。