[论文解读] Fiber Functors on Temperley-Lieb Categories

Shigeru Yamagami|ArXiv.org|May 27, 2004

Algebraic structures and combinatorial models参考文献 13被引用 4

一句话总结

本文利用非退化双线性形式对 Temperley-Lieb categories 𝒦_d 上的纤维函子进行分类，建立了此类函子与霍普夫代数之间的对应关系。当 |d| ≥ 2 或 d = ±2cos(π/l) 时，提供了酉纤维函子的完整分类，将相关霍普夫代数识别为自由正交量子群，并通过张量范畴方法恢复了已知结果。

ABSTRACT

Fiber functors on Temperley-Lieb categories are investigated with the help of classification results on non-degenerate bilinear forms. The case of unitary fiber functors is also considered.

研究动机与目标

• 使用非退化双线性形式对 Temperley-Lieb categories 𝒦_d 上的纤维函子进行分类。
• 将此分类扩展至 𝒦_d 具有 C*-结构时的酉纤维函子。
• 在酉情形下，将重构的霍普夫代数识别为自由正交量子群。
• 从张量范畴理论角度推导这些范畴的坦纳卡-克雷因对偶性。

提出的方法

• 使用 Saavedra Rivano-Ulbrich 的坦纳卡-克雷因对偶性，从纤维函子重构霍普夫代数。
• 将纤维函子约化为生成对象 X 的像上的非退化双线性形式。
• 应用刚性定理与相干性定理，确保通过该形式定义的张量结构是良定义的。
• 利用维数关系 E∘D = d 在函子像中恢复 Temperley-Lieb 关系。
• 通过正交基与协变性条件，在重构的霍普夫代数上构造 *-运算。
• 验证 *-运算为对合运算，且与共乘法与反元素运算相容，从而得到霍普夫 *-代数。

实验结果

研究问题

• RQ1 如何通过双线性形式对 Temperley-Lieb categories 𝒦_d 上的纤维函子进行分类？
• RQ2 何种条件可确保纤维函子为酉的，这又如何影响重构的霍普夫代数？
• RQ3 在纤维函子下，哪些霍普夫代数作为 𝒦_d 的坦纳卡对偶出现，它们如何被分类？
• RQ4 𝒦_d 上的酉纤维函子与自由正交量子群之间有何关系？
• RQ5 能否从范畴与函子数据代数地推导出重构霍普夫代数上的 *-结构？

主要发现

• 𝒦_d 上的纤维函子与生成对象 X 的像上的非退化双线性形式之间存在一一对应关系。
• 从纤维函子重构霍普夫代数，得到的是 Dubois-Violette 与 Launer 所引入的霍普夫代数。
• 当 |d| ≥ 2 且 d ∈ ℝ，或 d = ±2cos(π/l) 时，酉纤维函子对应于自由正交量子群。
• 重构的霍普夫代数具有唯一的 *-结构，使其成为与 C*-张量范畴结构相容的霍普夫 *-代数。
• 通过内积条件 ⟨ρ(v)|ρ(w)⟩ = (v|w)1_A 验证了余模结构的酉性。
• 该分类从张量范畴理论视角恢复了关于自由正交量子群的已知结果。