[論文レビュー] Turaev-Viro invariants as an extended TQFT II

Benjamin Balsam|arXiv (Cornell University)|Oct 6, 2010

Geometric and Algebraic Topology被引用数 4

ひとこと要約

本稿は、入力カテゴリが球面的融合カテゴリのドリンフェルト中心である場合、閉じた3次元多様体およびその中に埋め込まれたリンクに対して、トゥレイヴォ・ヴィロのTQFT不変量がレシティヒン＝トゥレイヴの不変量と等価であることを確立する。拡張TQFTの枠組みを用いて、構成ブロックへの分解、マッピングクラス群の作用、および手術公式を通じて等価性を証明し、TV理論とRT理論が閉じた3次元多様体に対して同一の不変量を計算することを確認する。

ABSTRACT

In this paper, we present the next step in the proof that $Z_{TV,\C} = Z_{RT, Z(\C)}$, namely that the theories give the same 3-manifold invariants. In future papers we will show that this equality extends to an equivalence of TQFTs.

研究の動機と目的

• 閉じた3次元多様体に対するTuraev-Viro不変量が、入力カテゴリが球面的融合カテゴリのドリンフェルト中心である場合、Reshetikhin-Turaev不変量と一致することを証明すること。
• TV TQFTをLurieの枠組みと整合する拡張3-2-1 TQFT構造へ拡張すること。
• 閉じた3次元多様体（リンクを含むものも含む）に対して、拡張TV理論がRT理論と同じ不変量を計算することを示すこと。
• トーラス上のマッピングクラス群の作用が、ねじれ行列およびS行列によって実現されることを示し、RT理論と一致することを確認すること。
• 拡張TV理論に対して、主な不変量結果が系として得られる手術公式を確立すること。

提案手法

• 3次元球面にリンクを埋め込んだものを有限個の構成ブロックに分解し、状態和計算を用いて各ブロックでTV理論とRT理論が一致することを検証する。
• RT理論の入力として、球面的融合カテゴリ $ \ncal C $ のドリンフェルト中心 $ Z(\ncal C) $ を用い、そのモジュラリティおよびbraided構造を活用する。
• トーラスに割り当てられるヒルベルト空間を、$ \bigoplus_Z \langle Z, Z^* \rangle_{\ncal C} $ を用いた直接和分解により計算し、RT理論と整合することを示す。
• 接合公理を適用して、ブロックから全閉じた3次元多様体へと一致を拡張し、位相的接合に対する不変性を保証する。
• マッピングクラス群の生成子 $ T $ と $ S $ が、それぞれねじれ行列およびS行列による乗算としてTV理論で作用することを検証する。
• 拡張TV理論の手術公式を導出し、主な不変量の主張を標準的で手術表現上の計算に還元する。

実験結果

リサーチクエスチョン

• RQ1 入力カテゴリが球面的融合カテゴリ $ \ncal C $ のドリンフェルト中心である場合、拡張Turaev-Viro TQFTとReshetikhin-Turaev TQFTは、埋め込まれたリンクを持つすべての閉じた3次元多様体に対して同一の不変量を割り当てるか？
• RQ2 TV理論におけるトーラス上のマッピングクラス群の作用は、RT理論におけるS行列およびT行列とどのように比較できるか？
• RQ3 拡張TV TQFTが、RT理論の手術不変量と一致する手術公式を満たすことが示せるか？
• RQ4 TV理論におけるトーラスに割り当てられるヒルベルト空間は、RT理論と同様に $ \bigoplus_Z \operatorname{Hom}_{Z(\ncal C)}(\mathbf{1}, Z \otimes Z^*) $ と同型であるか？
• RQ5 分解された3次元多様体における状態和計算は、接合および合成写像を通じて、RT不変量と同一の結果をもたらすか？

主な発見

• 入力カテゴリが球面的融合カテゴリ $ \ncal C $ のドリンフェルト中心 $ Z(\ncal C) $ である場合、拡張Turaev-Viro TQFTは、リンクを含む $ S^3 $ に対し、Reshetikhin-Turaev TQFTと同じ不変量を割り当てる。
• TV理論におけるトーラスのヒルベルト空間は、$ \bigoplus_{Z \in \operatorname{Irr}(Z(\ncal C))} \langle Z, Z^* \rangle_{\ncal C} $ と同型であり、RT理論の割り当てと一致する。
• マッピングクラス群の生成子 $ T $ と $ S $ は、それぞれねじれ行列およびS行列による乗算として、トーラスのヒルベルト空間上で作用し、RT理論と一致する。
• 拡張TV理論は、任意の閉じた3次元多様体の不変量を、標準的で手術表現上の状態和計算に還元する手術公式を満たす。
• $ \mathbb{T}^2 \times I $ における状態和計算は、$ \bigoplus_Z \operatorname{Hom}_{Z(\ncal C)}(\mathbf{1}, Z \otimes Z^*) $ への射影子を生成し、RT理論と整合することを確認する。
• 2つの非リンクなチューブが $ Z $ と $ W $ でラベル付けされた $ S^2 \times S^1 $ の不変量は $ \delta_{Z,W} $ に一致し、異なるanyonの直交性を確認する。