[论文解读] Representations of multicategories of planar diagrams and tensor categories

Shigeru Yamagami|arXiv (Cornell University)|Jul 8, 2012

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

一句话总结

本文建立了平面图多范畴（特别是交错装饰平面图的多范畴 𝒜𝒟）的表示与单生成的典范线性二范畴之间的一一对应关系。在温和条件下，平面代数——即正子多范畴 𝒜𝒟₊ 的表示——与这类二范畴等价，其中非退化的左维数和挠性等关键结构约束确保了与平面 C*-代数的对应关系。

ABSTRACT

We shall discuss how the notions of multicategories and their linear representations are related with tensor categories. When one focuses on the ones arizing from planar diagrams, it particularly implies that there is a natural one-to-one correspondence between planar algebras and singly generated bicategories.

研究动机与目标

• 阐明平面图多范畴与张量范畴之间的范畴关系。
• 建立平面代数与单生成的典范线性二范畴之间的精确对应关系。
• 证明当环路参数 d ≠ 0 时，平面图多范畴 𝒜𝒟 的表示可唯一地从正子多范畴 𝒜𝒟₊ 扩展至整个交替图多范畴 𝒜𝒟。
• 将平面 C*-代数表征为具有简单单位对象的挠性 C*-二范畴的产物。
• 形式化环路移除与标量 d 的归一化在平面图中跨奇偶性边界扩展表示时的作用。

提出的方法

• 将多范畴定义为具有多输入、单输出态射的范畴，使用带根树的可视化方式表示复合。
• 从严格张量范畴 𝒞 构造多范畴 ℳ，令 Hom(X₁⊗⋯⊗Xₗ, X) = Hom(X₁⊗⋯⊗Xₗ, X) 在 𝒞 中成立。
• 通过使用自然态射 m_{X,Y} 扩展函子，建立弱张量函子 𝒞 → 𝒞′ 与多范畴函子 ℳ → ℳ′ 之间的一一对应关系。
• 引入交错装饰平面图的多范畴 𝒜𝒟，其对象以 ± 奇偶性标记，并定义子多范畴 𝒜𝒟₊（正起始装饰）。
• 利用环 C（满足 1⊗a = da）定义嵌入 P⁻_{m,n} ↪ P⁺_{m+1,n+1}，通过 d^e 的归一化实现从 𝒜𝒟₊ 到 𝒜𝒟 的表示扩展。
• 通过涉及 C* 和 1⊗T 的归一化复合定义扩展表示 π_T，利用 m_{X,Y} 的结合律与六边形恒等式确保其在插值下的一致性。

实验结果

研究问题

• RQ1 平面图多范畴与张量范畴之间有何关系，特别是在平面代数的背景下？
• RQ2 平面代数与单生成的典范线性二范畴之间存在何种精确的范畴对应关系？
• RQ3 在何种条件下，正平面图多范畴 𝒜𝒟₊ 的表示可被唯一地扩展至完整的交替图多范畴 𝒜𝒟？
• RQ4 环路参数 d 与奇偶性（±）如何影响平面图多范畴中表示的结构？
• RQ5 在何种条件下，平面 C*-代数与具有简单单位对象的挠性 C*-二范畴一一对应？

主要发现

• 根据定理 6.2，平面代数与单生成的典范线性二范畴之间存在自然的一一对应关系。
• 当 d ≠ 0 时，任意 𝒜𝒟₊ 的表示可唯一地扩展为 𝒜𝒟 的表示，如引理 6.1 所示，扩展通过 d^e 的归一化实现。
• 扩展机制依赖于由映射 a ↦ 1⊗a 定义的单射嵌入 P⁻_{m,n} ↪ P⁺_{m+1,n+1}，其像由 π_{1⊗C}(a) = da 特征化。
• 对于 morphism T ∈ 𝒜𝒟，表示 π_T 的表达式为 π_T = (1/d^e)π⁺_{T∘(C₁*×⋯×C_d*)} 或 (1/d^e)π⁺_{(1⊗T)∘(C₁*×⋯×C_d*)}，具体取决于输出奇偶性。
• 通过利用六边形恒等式与归一化因子，验证了表示 π 在插值下的结合性：π_T∘(π_{T₁}⊗⋯⊗π_{T_d}) = π_{T∘(T₁×⋯×T_d)}。
• 根据推论 6.4，平面 C*-代数与具有简单单位对象的单生成挠性 C*-二范畴之间存在一一对应关系。