[论文解读] A graphical approach to the Drinfeld centre

Leonard Hardiman|arXiv (Cornell University)|Nov 17, 2019

Homotopy and Cohomology in Algebraic Topology参考文献 7被引用 4

一句话总结

本文通过管子范畴 TC，提出了一种球面对称融合范畴 C 的 Drinfeld 中心 Z(C) 的图形化框架，利用柱面上的幂等元对半辫结构提供了拓扑解释。该研究通过图形演算，给出了一种新证明，表明当 C 为模范畴时，Z(C) 与 C ⊠ C 等价，证明中显示了典范函子 Φ: C ⊠ C → Z(C) 的像对应于 TC 中一组完整的正交本原幂等元，从而通过幂等元完备化与维数计数确立了等价性。

ABSTRACT

Let $\mathcal{C}$ be a spherical fusion category. The goal of this article is to present the tube category of $\mathcal{C}$, denoted $\mathcal{TC}$, as giving an alternative graphical perspective on the Drinfeld centre of $\mathcal{C}$, denoted $Z(\mathcal{C})$. We then exploit this perspective to obtain an alternative proof of the equivalence between $Z(\mathcal{C})$ and $\mathcal{C} \boxtimes \bar{\mathcal{C}}$ when $\mathcal{C}$ is modular. Sections 2-4 provide a survey of the required prerequisites; readers already familiar with graphical calculus in fusion categories should start at Section 5.

研究动机与目标

• 通过管子范畴 TC，为球面对称融合范畴 C 的 Drinfeld 中心 Z(C) 提供一种图形化、拓扑化的解释。
• 通过 Yoneda 嵌入与半辫数据，建立 Z(C) 中对象与 TC 中幂等元之间的对应关系。
• 利用管子范畴的结构，通过图形化演算，提供一种新的图示化证明，表明当 C 为模范畴时，Z(C) 与 C ⊠ C 等价。
• 通过幂等元完备化，形式化 Ocnceanu 管子代数与 Z(C) 的范畴结构之间的联系。

提出的方法

• 将管子范畴 TC 定义为对象与 C 相同、态射为编码半辫数据的柱面图的范畴。
• 对每个 X 上的半辫结构 τ，构造 TC 中的幂等元 ǫτ ∈ EndTC(X)，用于分类 Yoneda 嵌入下 (X, τ) ∈ Z(C) 的像。
• 利用 Yoneda 嵌入，证明 RT C（即 TC 的幂等元完备化）与 Z(C) 等价，其依据为半辫结构与幂等元结构之间的对应关系。
• 通过图形演算处理幂等元 ǫYX = 1/d(C) ⊗S d(S) · (X ⊗Y →S →X ⊗Y)，表示函子 Φ: C ⊠ C → Z(C) 下 X ⊠ Y 的像。
• 通过计算 HomT C(ǫYX, ǫBA) 并证明其同构于 HomC(X,A) ⊗ HomC(Y,B)，证明集合 {ǫJ_I}I,J∈Irr(C) 是 TC 中一组完整的正交本原幂等元。
• 利用维数计数与消去环引理，验证复合映射 ∑IJ HomT C(X, ǫJ_I) ⊗ HomT C(ǫJ_I, Y) → HomT C(X,Y) 是同构，从而确立 Φ 的满性与本质本质满性。

实验结果

研究问题

• RQ1 如何通过柱面上的拓扑图，以图形化方式解释球面对称融合范畴 C 的 Drinfeld 中心 Z(C)？
• RQ2 管子范畴 TC 在通过幂等元完备化实现 Drinfeld 中心时，其范畴角色是什么？
• RQ3 TC 中的图形化幂等元 ǫτ ∈ EndTC(X) 如何对应于 Z(C) 中 X 上的半辫结构？
• RQ4 能否在 TC 的图形演算框架下，重新证明模范畴下 Z(C) ≅ C ⊠ C 的等价性？
• RQ5 在 TC 中，集合 {ǫJ_I}I,J∈Irr(C) 形成一组完整的正交本原幂等元的条件是什么？

主要发现

• Yoneda 嵌入 ¥: TC → RT C 是幂等元完备化，因此 RT C ≅ Z(C)，表明 TC 为 Z(C) 提供了图形化模型。
• TC 中的幂等元 ǫτ = 1/d(C) ⊗S d(S) · (X →S →X) 精确对应于 X 上的半辫结构 τ，实现了 Yoneda 嵌入下 (X, τ) ∈ Z(C) 的像的实现。
• 函子 Φ: C ⊠ C → Z(C) 是全忠实的，因为 HomT C(ǫYX, ǫBA) ≅ HomC(X,A) ⊗ HomC(Y,B)，映射为 f⊗g ↦ ǫBA ◦ (f⊗g) ◦ ǫYX。
• 集合 {ǫJ_I}I,J∈Irr(C) 是 TC 中一组完整的正交本原幂等元，通过维数计数与消去环引理得以证明。
• 复合映射 ∑IJ HomT C(X, ǫJ_I) ⊗ HomT C(ǫJ_I, Y) → HomT C(X,Y) 是同构，证明了 Φ 的本质本质满性，从而在 C 为模范畴时确立了 Z(C) ≅ C ⊠ C 的等价性。
• 逆命题成立：若 C 不是模范畴，则 Φ 不再为等价，如 ǫI_I∨ 与 ǫ1_1 之间存在非平凡态射，表明 S 矩阵退化。