[论文解读] Quasisymmetric and unipotent tensor categories

Pavel Etingof, Shlomo Gelaki|ArXiv.org|Aug 10, 2007

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

一句话总结

本文使用 Drinfeld 的量子化方法，对 ℂ 上的拟对称与幂零张量范畴进行分类，表明此类范畴源自具有对合 u 和幂零元 t ∈ (S²𝔤)^G 的仿射普罗代数超群 G。关键结果是拟对称范畴的等价类与三元组 (G, u, t) 之间存在双射，将 Deligne 定理推广至拟对称情形，并通过普罗幂零泊松群的量子化对余连通霍普夫代数进行分类。

ABSTRACT

We classify braided tensor categories over C of exponential growth which are quasisymmetric, i.e., the squared braiding is the identity on the product of any two simple objects. This generalizes the classification results of Deligne on symmetric categories of exponential growth, and of Drinfeld on quasitriangular quasi-Hopf algebras. In particular, we classify braided categories of exponential growth which are unipotent, i.e., those whose only simple object is the unit object. We also classify fiber functors on such categories. Finally, using the Etingof-Kazhdan quantization theory of Poisson algebraic groups, we give a classification of coconnected Hopf algebras, i.e. of unipotent categories of exponential growth with a fiber functor.

研究动机与目标

• 将 Deligne 对对称张量范畴的分类推广至拟对称范畴，其中简单对象对的 braiding 的平方为零。
• 通过普罗幂零泊松普罗代数群的量子化，对具有纤维函子的幂零张量范畴进行分类。
• 在余连通霍普夫代数与普罗幂零群上的李拟双代数结构 (G, δ) 所提供的数据之间建立对应关系。
• 将 Drinfeld 的形式形变理论推广至无形式参数 ℏ 的范畴，通过在幂零设定下幂级数的终止性来实现。

提出的方法

• 使用适配于幂零数据的 Drinfeld 形式量子化工具，从具有对合 u 和幂零元 t ∈ (S²𝔤)^G 的仿射普罗代数超群 G 构造张量范畴。
• 应用量化霍普夫代数 O_ℏ(G) 中乘法与余乘法的通用公式，由于幂零性，该公式在 ℂ[ℏ] 上终止，从而允许在 ℏ=1 处进行特殊化。
• 通过在 ℏ=1 处特殊化形式形变 O_ℏ(G)，构造 ℂ 上的霍普夫代数 A(G,δ)，保持余根基滤过结构并确保余连通性。
• 利用量子化理论中的逆公式，从给定的余连通霍普夫代数 A 重构经典泊松-霍普夫代数 (O(G), μ₀, Δ₀, δ)。
• 借助 Deligne 对指数增长的对称范畴的定理，将分类问题约化为群论数据。
• 在拟对称范畴的等价类与三元组 (G, u, t) 的等价类之间建立双射，其中 t 为幂零元且属于 (S²𝔤)^G。

实验结果

研究问题

• RQ1 如何将 Drinfeld 对拟三角拟霍普夫 QUE 代数的分类推广至无形式参数 ℏ 的范畴？
• RQ2 在所有简单对象对的 braiding 的平方为零的张量范畴中，其结构是怎样的？
• RQ3 哪些 ℂ 上的余连通霍普夫代数可由普罗幂零泊松普罗代数群的量子化得到？
• RQ4 能否通过普罗幂零群上的代数数据对具有纤维函子的幂零张量范畴进行分类？

主要发现

• 拟对称范畴的等价类与三元组 (G, u, t) 的等价类之间存在双射，其中 G 为仿射普罗代数超群，u ∈ G 为作用于奇偶性的对合，t ∈ (S²𝔤)^G 为幂零元。
• 拟对称范畴上幂零纤维函子的分类与满足 r + r²¹ = t 的经典 Yang-Baxter 方程的幂零解 r 之间存在双射。
• 所有 ℂ 上的余连通霍普夫代数均可表示为某个普罗幂零群 G 及 𝔤 = Lie(G) 上的李拟双代数结构 δ 的 A(G, δ)，且 (G, δ) 在同构意义下唯一。
• 由于 t 的幂零性，O_ℏ(G) 的量子化在 ℂ[ℏ] 上终止，从而允许在 ℏ=1 处特殊化以定义 ℂ 上的霍普夫代数。
• 该构造保持余根基滤过结构，确保所得霍普夫代数 A 为余连通，符合要求。
• 余连通霍普夫代数的经典极限恢复为余连通泊松-霍普夫代数 O(G)，其作为向量空间同构于原始代数。