[论文解读] Tensor categories: A selective guided tour

Michael Mueger|arXiv (Cornell University)|Apr 22, 2008

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

一句话总结

本文為張量範疇提供了一個簡明且易於理解的介紹，專注於在域上具有有限維態射空間的線性範疇。它概述了嚴格與非嚴格張量範疇、函子與自然變換等基礎概念，並連結至量子群與低維拓撲學，強調拓撲量子場論與模範疇背後的範疇結構。

ABSTRACT

These are the lecture notes for a short course on tensor categories. The coverage in these notes is relatively non-technical, focussing on the essential ideas. They are meant to be accessible for beginners, but it is hoped that also some of the experts will find something interesting in them. Once the basic definitions are given, the focus is mainly on k-linear categories with finite dimensional hom-spaces. Connections with quantum groups and low dimensional topology are pointed out, but these notes have no pretension to cover the latter subjects at any depth. Essentially, these notes should be considered as annotations to the extensive bibliography.

研究动机与目标

• 為該領域的初學者提供一個自包含且非技術性的張量範疇介紹。
• 澄清嚴格張量範疇與相干性定理在簡化範疇結構中的作用。
• 說明張量範疇、量子群與低維拓撲學之間的關聯。
• 強調張量範疇在拓撲量子場論（TQFT）與模範疇中的相關性。
• 透過廣泛的參考文獻目錄與深入結果的指引，提供一份精心篩選的文獻指南。

提出的方法

• 透過一個範疇 C、一個單位對象 1 和滿足嚴格結合律與單位律的張量函子 ⊗，定義嚴格張量範疇。
• 引入保持張量結構與單位對象的嚴格張量函子與張量自然變換。
• 使用 End(C)、基於群的範疇、對稱範疇 S，以及代數的自同態範疇等例子，說明關鍵構造。
• 將 Temperley-Lieb 範疇 TL(τ) 表示為以平面扭結圖形為態射的線性範疇。
• 透過手術與三角剖分的方法說明 TQFT 的構造，並連結至模範疇與 Reshetikhin-Turaev 不變量。
• 討論中心 Z1(C) 與 Z2(C) 的角色，以及雙交換子定理在將有 braided 範疇嵌入模範疇中的作用。

实验结果

研究问题

• RQ1 張量範疇如何作為量子群與低維拓撲學的統一框架？
• RQ2 拓撲量子場論（TQFT）背後的範疇結構為何？它們與模範疇有何關係？
• RQ3 每一個有 braided 融合範疇是否都能在維度約束下完全嵌入模範疇？
• RQ4 對稱張量範疇的非半單與非形式變形的範疇解釋為何？
• RQ5 L(F∞) 在子因子理論中的普遍性能否從範疇論角度推廣？

主要发现

• 相干性定理表明，儘管存在技術限制，嚴格張量範疇在實際應用中已足夠。
• 若 C 為半單融合範疇，則其中心構造 Z1(C) 為模範疇，且 Z1(C) ≅ C ⊠ C̃，與 Turaev 的 TQFT 相連。
• 當 C 為模範疇時，Reshetikhin-Turaev TQFT 與基於手術的 TQFT 是同構的，此結果由 Turaev 與 Virelizier 所證明。
• 每一個具有共轭的可數生成 C*-張量範疇，皆可完全嵌入某個 von Neumann 代數 A 的 End(A) 中，此結果推廣了 Yamagami 的結果。
• 每一個半單的 pivotal 範疇是否皆可視為廣義量子群胚的表示範疇，此猜想仍待解決。
• 雙交換子定理提供了將 braided 融合範疇嵌入模範疇的最優維度界：dim M = dim C · dim Z2(C)。