[论文解读] Examples of categorification

Louis Crane, David N. Yetter|ArXiv.org|Jul 27, 1996

Algebraic structures and combinatorial models参考文献 12被引用 20

一句话总结

本文提出了一种使用半单张量范畴对融合规则代数进行范畴化的框架，建立了 D(ℕ[G]) 的单位元与余单位元双张量范畴化与 H³(G, K×) 中群上同调类之间的对应关系。研究表明，此类范畴化由三阶上循环分类，并提供了显式构造，包括通过群同态映射到三阶上循环的非平凡例子，为通过 Crane-Frenkel 构造构建四维流形不变量奠定了基础。

ABSTRACT

We construct tensor and bitensor categories with given Grothedieck rig (fusion algebra) in simple cases. The results provide examples on which to test the conjectural construction of 4-D TQFT's proposed by Crane and Frenkel and shed light on several other constructions of TQFT's.

研究动机与目标

• 开发一个用于对融合规则代数进行范畴化的范畴框架，特别是在四维拓扑量子场论（TQFT）的背景下。
• 建立张量范畴与余张量范畴之间的对偶性，从而引出双张量范畴作为双代数的范畴类比概念。
• 利用群上同调 H³(G, K×) 对 D(ℕ[G]) 的单位元与余单位元双张量范畴化进行分类。
• 通过三阶上循环与到三阶上循环群的群同态，显式构造非平凡的范畴化例子。
• 通过表示的张量 2-范畴，为 Crane-Yetter 构造四维流形不变量提供基础数据。

提出的方法

• 为阿廷半单张量范畴定义格罗滕迪克环构造，将对象的同构类映射到直和与张量积下的环。
• 引入抽象融合规则代数与双代数的概念，重点关注所有单生成子半群均为自由的环。
• 构造一个 Artin 半单 K-线性范畴的 2-范畴 VECT_K-mod，并利用 ℕ 上张量积的普遍性质，定义一个张量 2-范畴结构。
• 将双张量范畴定义为同时具备张量结构与余张量结构（对强张量函子的对偶）的范畴，其相干性条件是对强张量函子相干性条件的对偶。
• 使用双复上链复形描述 D(ℕ[G]) 的双张量范畴化的结构，其分量为 α, φ, β, ρ, r，并施加对帽标号同时共轭下的不变性条件。
• 通过上同调进行范畴化分类：证明单位元与余单位元双张量范畴化的等价类与 H³(G, K×) 之间存在自然的一一对应关系，通过余边界调整来标准化上循环代表。

实验结果

研究问题

• RQ1 融合规则代数如何被范畴化地提升至双张量范畴？此类范畴化由何种结构控制？
• RQ2 群上同调 H³(G, K×) 在分类 D(ℕ[G]) 的单位元与余单位元双张量范畴化中扮演何种角色？
• RQ3 是否可以显式构造非平凡的范畴化？其存在的条件是什么？
• RQ4 结构性约束（如帽标号共轭下的不变性）如何限制双复形中上链的选择？
• RQ5 上同调分类与通过 Crane-Frenkel 与 Crane-Yetter 计划构建四维流形不变量之间存在何种关系？

主要发现

• 每个 D(ℕ[G]) 的骨架双单位元半单双张量 K-范畴化均由三阶上循环 (α, φ, β) 与函数 ρ(e;ĥ), r(g;ê) 决定，且满足对 φ(e,e;ĥ,ĝ)·d₂(ρ)(e,ĥ,ĝ) 的共轭不变性条件。
• D(ℕ[G]) 的单位元与余单位元双张量范畴化的等价类与 H³(G, K×)（G 以 K× 为系数的第三群上同调）之间存在自然的一一对应关系。
• 通过设定 β(g;ĥ,i,ĥ,j,ĥ,k) = -1（当 g, i, j, k 全为奇数时，模 C₂），否则为 1，构造了一个非平凡例子，当 char(K) ≠ 2 时，该构造在 H³(G, K×) 中给出一个非平凡类。
• 对任意 G，均存在平凡范畴化，通过将所有标量族恒等设为 1 获得。
• 上同调框架允许对双张量范畴进行无穷小形变，其障碍位于双复形的总上同调中。
• 本结果为通过 Crane-Yetter 构造构建四维流形不变量提供了初始数据，并为构建此类双张量范畴表示的张量 2-范畴奠定了基础。