[論文レビュー] On two approaches to 3-dimensional TQFTs

Vladimir Turaev, Alexis Virelizier|arXiv (Cornell University)|Jun 17, 2010

Algebraic structures and combinatorial models参考文献 23被引用数 47

ひとこと要約

本論文は、非ゼロ次元の球面的ファイバー分類カテゴリ 𝒞 から導かれる閉じた向き付け可能3次元多様体 M の Turaev-Viro 状態和不変量 |M|_𝒞 が、Drinfeld 中心 𝒵(𝒞) から導かれる Reshetikhin-Turaev の手術不変量 τ_𝒢(𝒞)(M) に等しいことを証明する。証明は、トポロジカル量子場理論の技法とピヴォタルカテゴリにおける図式的記法を用いて、2つの主要な3次元TQFT構成—状態和型と手術型—の間の深い等価性を確立し、それらの不変量が一致することを示している。

ABSTRACT

Let C be a spherical fusion category. We prove that the Turaev-Viro-Barrett-Westbury state sum invariant of 3-manifolds derived from C is equal to the Reshetikhin-Turaev surgery invariant of 3-manifolds derived from Z(C), where Z(C) is the Drinfeld-Joyal-Street center of C.

研究の動機と目的

• Turaev-Viro状態和不変量とReshetikhin-Turaev手術不変量という、2つの主要な3次元TQFT構成の根本的等価性を確立すること。
• Turaev (1995) が提起した長年の予想を解決すること：任意の非ゼロ次元の球面的ファイバー分類カテゴリ 𝒞 に対して、|M|_𝒞 = τ_𝒢(𝒞)(M) が成り立つこと。
• 状態和アプローチが、カテゴリカル中心を介して特別な場合として現れることを示すことにより、Reshetikhin-Turaev構成が状態和アプローチよりも一般であることを示すこと。
• エッジに4つ以上の領域が接する非一般的スケルトンを用いて、状態和TQFTを定義し、同じ三角形分割上に2つの異なる状態和形式を可能にすること。
• カテゴリカルおよびトポロジカルな手法を、中心構成とピヴォタルカテゴリにおける図式的記法を通じて統合し、3次元多様体不変量を統一すること。

提案手法

• 3次元多様体のスケルトン上で、エッジに4つ以上の領域が接する非一般的配置を許容する状態和TQFT |.|_𝒞 を構築する。
• 同一の三角形分割 t に対して2つの異なる状態和を定義する：1つはエッジにオブジェクトをラベル付けし、四面体で6j記号を用いるもの。もう1つは面にラベルを付け、頂点で重みを計算するもの。
• 三角形分割の2次スケルトンとその双対セル分解の2次スケルトンとの双対性を用いて、2つの状態和形式の関係を確立する。
• ピヴォタルおよび球面的カテゴリにおける図式的記法を用い、Biedenharn-Elliot恒等式や正規直交関係などの代数的恒等式を証明する。
• Drinfeld-Joyal-Streetの中心構成を用いて 𝒵(𝒞) を定義し、球面的ファイバー分類カテゴリ 𝒞 に対して 𝒵(𝒞) がモジュラーであることを示し、これにより RT不変量 τ_𝒢(𝒞)(M) が定義可能であることを保証する。
• TQFTフレームワークにおけるホモトピー不変性と代数的整合性を用いて、両不変量がMのトポロジカル不変量であり、同一であることを示すことで、鍵となる恒等式 |M|_𝒞 = τ_𝒢(𝒞)(M) を証明する。

実験結果

リサーチクエスチョン

• RQ1 球面的ファイバー分類カテゴリ 𝒞 から導かれる Turaev-Viro 状態和不変量 |M|_𝒞 は、Drinfeld 中心の 𝒢(𝒞) から導かれる Reshetikhin-Turaev 手術不変量 τ_𝒢(𝒞)(M) に等しいか？
• RQ2 エッジに4つ以上の領域が接する非一般的スケルトンを用いて、状態和TQFTを一貫して定義できるか？
• RQ3 同じ三角形分割上での2つの異なる状態和形式—エッジラベリングと面ラベリング—は、どのようにトポロジカルおよび代数的に関係しているか？
• RQ4 カテゴリカル中心の文脈において、Turaev-ViroとReshetikhin-Turaevの構成の正確な関係は何か？
• RQ5 カテゴリカル中心構成は、2つの3次元TQFTのアプローチをどの程度統合するか？

主な発見

• 本論文は、任意の閉じた向き付け可能な3次元多様体 M および非ゼロ次元の球面的ファイバー分類カテゴリ 𝒞 に対して、恒等式 |M|_𝒞 = τ_𝒢(𝒞)(M) が成り立つことを証明した。
• 状態和TQFT |.|_𝒞 は適切に定義されており、非一般的スケルトンを用いることで、3次元TQFT全体に拡張可能であり、同じ三角形分割上に2つの異なる状態和形式を可能にしている。
• ピヴォタルカテゴリにおける図式的記法を用いて、カテゴリ 𝒞 内の Biedenharn-Elliot 恒等式および正規直交関係が証明され、状態和の不変性の代数的基盤が提供された。
• Mügerの定理により、球面的ファイバー分類カテゴリ 𝒞 の Drinfeld 中心 𝒢(𝒞) がモジュラーであることが示され、これにより RT不変量 τ_𝒢(𝒞)(M) が適切に定義可能であることが保証された。
• 恒等式 |M|_𝒞 = τ_𝒢(𝒞)(M) は、Reshetikhin-Turaev構成が状態和アプローチよりも一般であることを示しており、後者が中心構成を介して特別な場合として現れることを意味する。
• モジュラーな 𝒞 に対して、この恒等式は、𝒞 がユニタリである場合に既知の結果 |M|_𝒞 = |τ_𝒞(M)|² を回復し、非モジュラーな球面的ファイバー分類カテゴリへ一般化する。