[論文レビュー] Reshetikhin-Turaev TQFTs close under generalised orbifolds

Nils Carqueville, Vincentas Mulevičius+3 more|arXiv (Cornell University)|Sep 10, 2021

Algebraic structures and combinatorial models参考文献 18被引用数 7

ひとこと要約

本稿は、モジュラー融合カテゴリから構成されるReshetikhin–Turaevトポロジカル量子場理論（TQFT）が、一般化されたオルビフォールド構成に対して閉じていることを確立する。[3]のオルビフォールドグラフTQFT枠組みをReshetikhin–TuraevデフェクトTQFTに適用することで、得られるオルビフォールドTQFTが、オルビフォールドデータ$π_{\mathcal{A}}$から直接構成されるReshetikhin–Turaev TQFTと同型であることを証明し、RT構成が一般化されたオルビフォールディングに対して保存されることを示している。

ABSTRACT

We specialise the construction of orbifold graph TQFTs introduced in Carqueville et al., arXiv:2101.02482 to Reshetikhin-Turaev defect TQFTs. We explain that the modular fusion category ${\mathcal{C}}_{\mathcal{A}}$ constructed in Mulevičius-Runkel, arXiv:2002.00663 from an orbifold datum $\mathcal{A}$ in a given modular fusion category $\mathcal{C}$ is a special case of the Wilson line ribbon categories introduced as part of the general theory of orbifold graph TQFTs. Using this, we prove that the Reshetikhin-Turaev TQFT obtained from ${\mathcal{C}}_{\mathcal{A}}$ is equivalent to the orbifold of the TQFT for $\mathcal{C}$ with respect to the orbifold datum $\mathcal{A}$.

研究の動機と目的

• Reshetikhin–Turaev TQFTが一般化されたオルビフォールド構成に対して閉じていることを確立すること。
• モジュラー融合カテゴリ$π_{\mathcal{C}}$におけるオルビフォールドデータ$π_{\mathcal{A}}$から生じるウィルソン線リボンカテゴリ$\mathcal{W}_{\mathcal{A}}$のカテゴリカル構造を明確化すること。
• 一般枠組み[3]を用いて得られるオルビフォールドTQFT$π_{\mathcal{C}}^{\mathcal{C}}_{\mathcal{A}}$が、モジュラーカテゴリ$π_{\mathcal{C}}_{\mathcal{A}}$から直接構成される標準的Reshetikhin–Turaev TQFT$π_{\mathcal{Z}}^{\text{RT},\mathcal{C}_{\mathcal{A}}}$と同型であることを証明すること。
• 文献[18]で構成されたモジュラー融合カテゴリ$π_{\mathcal{C}}_{\mathcal{A}}$が、オルビフォールドグラフTQFT形式におけるウィルソン線カテゴリ$π_{\mathcal{W}}_{\mathcal{A}}$に正確に一致することを示すこと。
• 状態和TQFTとデフェクトTQFTの両アプローチを統合し、カテゴリ$π_{\mathcal{C}}$に基づくデフェクトTQFTをオルビフォールド化することで、得られるTQFTが、結果として得られるカテゴリ$π_{\mathcal{C}}_{\mathcal{A}}$上のRT TQFTと同値であることを示すこと。

提案手法

• 著者たちは、モジュラー融合カテゴリ$π_{\mathcal{C}}$に関連するデフェクトTQFT$π_{\mathcal{Z}}^{\mathcal{C}}$に、[3]の一般オルビフォールドグラフTQFT構成を適用し、オルビフォールドデータ$π_{\mathcal{A}}$を入力として用いる。
• 得られるウィルソン線リボンカテゴリ$π_{\mathcal{W}}_{\mathcal{A}}$を、[18]で以前に構成されたモジュラー融合カテゴリ$π_{\mathcal{C}}_{\mathcal{A}}$として特定し、$π_{\mathcal{C}}_{\mathcal{A}}$がオルビフォールド枠組みから自然に生じることを示す。
• 3次元多様体に埋め込まれたリボングラフを装飾した適切なスケルトン分解を経由して構成が行われ、元のTQFT$π_{\mathcal{Z}}^{\mathcal{C}}$を用いて評価される。
• 同型性の証明は、スケルトン上のコロイミット構成に依拠し、分解の選び方に依存しないことを保証する。また、適合性制約を用いて、$π_{\mathcal{W}}_{\mathcal{A}}$上のリボン構造を定義する。
• 著者たちは、忘却ファンクター$U: \mathcal{W}_{\mathcal{A}} \to \mathcal{W}$の双随伴としてのパイプファンクター$P_1$と$P_2$を定義し、随伴データを尊重する自然同型$\varphi: P_1 \to P_2$を構成する。
• 同型$\varphi_X$が特定の図式的モルフィズムによって与えられ、その逆が鏡像であることを確認し、カテゴリ$π_{\mathcal{W}}_{\mathcal{A}}$における整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 一般化されたオルビフォールド構成[3]は、デフェクトTQFTに適用された場合、Reshetikhin–Turaev TQFT構成と整合するか？
• RQ2 オルビフォールドグラフTQFT枠組みから生じるウィルソン線リボンカテゴリ$π_{\mathcal{W}}_{\mathcal{A}}$は、[18]で構成されたモジュラーカテゴリ$π_{\mathcal{C}}_{\mathcal{A}}$と一致するか？
• RQ3 一般枠組み[3]を用いて得られるオルビフォールドTQFT$π_{\mathcal{Z}}^{\mathcal{C}}_{\mathcal{A}}$は、カテゴリ$π_{\mathcal{C}}_{\mathcal{A}}$から直接構成される標準的Reshetikhin–Turaev TQFT$π_{\mathcal{Z}}^{\text{RT},\mathcal{C}_{\mathcal{A}}}$と同値か？
• RQ4 オルビフォールド構成は、RT TQFT構造を保存するカテゴリカルな商として解釈可能か？
• RQ5 オルビフォールド化TQFTの文脈において、2つのハーフパイプファンクター$P_1$と$P_2$の正確なカテゴリカル関係は何か？

主な発見

• 一般枠組み[3]を用いて構成されたオルビフォールドTQFT$π_{\mathcal{Z}}^{\mathcal{C}}_{\mathcal{A}}$は、標準的Reshetikhin–Turaev TQFT$π_{\mathcal{Z}}^{\text{RT},\mathcal{C}_{\mathcal{A}}}$と同型であり、RT TQFTが一般化されたオルビフォールディングに対して閉じていることを証明する。
• オルビフォールドグラフTQFTにおけるウィルソン線リボンカテゴリ$π_{\mathcal{W}}_{\mathcal{A}}$は、[18]で構成されたモジュラー融合カテゴリ$π_{\mathcal{C}}_{\mathcal{A}}$に正確に一致し、$π_{\mathcal{C}}_{\mathcal{A}}$が一般オルビフォールド枠組みの特別な場合であることを確認する。
• $π_{\mathcal{Z}}^{\mathcal{C}}_{\mathcal{A}}$と$π_{\mathcal{Z}}^{\text{RT},\mathcal{C}_{\mathcal{A}}}$の間の同型性は、適切なスケルトン上のコロイミット構成によって確立され、分解の選び方に依存しないことを保証する。
• 2つのハーフパイプファンクター間の自然同型$π_{\varphi}: P_1 \to P_2$は、オルビフォールドデータを含む特定の図式的モルフィズムによって明示的に与えられ、その逆が鏡像であるため、カテゴリ$π_{\mathcal{W}}_{\mathcal{A}}$における整合性が保証される。
• 構成により、モジュラーカテゴリ$π_{\mathcal{C}}_{\mathcal{A}}$は形式的な商ではなく、オルビフォールド化TQFTにおけるウィルソン線カテゴリとしてカテゴリ的に自然に生じることを確認し、デフェクトアプローチと状態和アプローチを結びつける。
• 結果として、RT TQFT構成が一般化されたオルビフォールド手順に対して安定していることが示され、Turaev–ViroとRT TQFTの間の既知の双対性がオルビフォールド設定へと拡張されることを示している。