[论文解读] Extended TQFT arising from enriched multi-fusion categories

Hao Zheng|arXiv (Cornell University)|Apr 19, 2017

Algebraic structures and combinatorial models参考文献 33被引用 11

一句话总结

本文通過構造一個富含多融合分類的對稱張量 (4,3)-分類，為任意模張量分類 𝒞 提出了一個完全擴展的 3D TQFT，其中自富含分類 𝔠 = (𝒞, 𝒞̄) 作為一個完全對偶化對象。該 TQFT 將 Reshetikhin-Turaev TQFT 擴展至零維，其雙重理論恢復了 Turaev-Viro 不變量，並透過手徵/反手徵抵消解決了框架異常。

ABSTRACT

We define a symmetric monoidal (4,3)-category with duals whose objects are certain enriched multi-fusion categories. For every modular tensor category $\mathcal{C}$, there is a self enriched multi-fusion category $\mathfrak{C}$ giving rise to an object of this symmetric monoidal (4,3)-category. We conjecture that the extended 3D TQFT given by the fully dualizable object $\mathfrak{C}$ extends the 1-2-3-dimensional Reshetikhin-Turaev TQFT associated to the modular tensor category $\mathcal{C}$ down to dimension zero.

研究动机与目标

• 構造一個對象為富含多融合分類的對稱張量 (4,3)-分類。
• 證明由模張量分類 𝒞 衍生出的自富含多融合分類 𝔠 = (𝒞, 𝒞̄) 是完全對偶化對象。
• 假設由 𝔠 定義的擴展 TQFT 擴展了 Reshetikhin-Turaev TQFT 至零維。
• 證明此擴展 TQFT 的雙重理論等價於 Turaev-Viro TQFT。
• 主張在擴展理論中，手徵與反手徵組分的抵消可消除 Reshetikhin-Turaev TQFT 中的框架異常。

提出的方法

• 定義富含多融合分類為在有 braided 張量分類中富含的張量分類，特別關注模張量分類的自富含。
• 構造一個對稱張量 (4,3)-分類，記為 𝕀𝒰𝕄𝔽𝑪^en，其對象為富含多融合分類，態射為雙模。
• 利用幺正性在該分類中建立對偶性，確保對偶明確定義且與富含性相容。
• 證明自富含分類 (𝒞, 𝒞̄) 的 Drinfeld 中心等價於 𝒞 本身，如 [KZ2] 所建立。
• 利用流形假設將擴展 TQFT 分配給點，透過完全對偶化對象 (𝒞, 𝒞̄)。
• 分析 TQFT 在 1-、2- 和 3-流形上的取值，顯示其結合了 Reshetikhin-Turaev 與 Crane-Yetter 理論的特性。

实验结果

研究问题

• RQ1 對於任意模張量分類 𝒞，Reshetikhin-Turaev TQFT 是否可擴展至零維？
• RQ2 在一個邊界為 Reshetikhin-Turaev TQFT 的完全擴展 TQFT 中，應為點分配何種數學對象？
• RQ3 在完全擴展設定下，如何消除 Reshetikhin-Turaev TQFT 中的框架異常？
• RQ4 所提出的擴展 TQFT 的雙重理論是否等價於 Turaev-Viro TQFT？
• RQ5 每個富含多融合分類是否都能提升為 SO(3)-固定點，從而確保在方向反轉下不變？

主要发现

• 自富含多融合分類 𝔠 = (𝒞, 𝒞̄) 在富含多融合分類的對稱張量 (4,3)-分類中是完全對偶化對象。
• 擴展 TQFT 𝒁_𝔠 對 1-、2- 和 3-流形的賦值與 Reshetikhin-Turaev 及 Crane-Yetter 理論的結構相符。
• 雙重理論 𝒁_𝔠 ⊠ 𝒫 等價於 Turaev-Viro TQFT 𝒁^TV_𝒞，確認與已知對偶結果的一致性。
• Reshetikhin-Turaev TQFT 中的框架異常透過擴展理論中的手徵與反手徵組分被消除，證據來自 𝒁_𝔠(S¹) 的分解為 (Z(𝔠^♯), 𝔥) 和 (𝒞₂, Fun(𝒞₂, 𝒞₂))。
• 對稱張量 (4,3)-分類 𝕀𝒰𝕄𝔽𝑪^en 展現出良好的對偶性，對偶透過對偶雙模構造定義，即使在不同富含下亦成立。
• 該構造暗示了一種描述 2+1D 拓撲序中無能隙與有能隙邊界之框架，方法為透過富含融合分類。