[论文解读] Duality Theorem and Drinfeld Double in Braided Tensor Categories

Yao-Zhong Zhang|ArXiv.org|Jul 17, 2003

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

一句话总结

本文建立了一项对偶定理，并在双 braiding 满足 $C_{H,H} = C_{H,H}^{-1}$ 的条件下，证明了有限 Hopf 代数在 braided tensor category 中的 Drinfeld 双代数是 quasi-triangular 的。该研究通过范畴 Hopf 代数技术，将经典对偶性和双代数构造推广到了 braided 设置中。

ABSTRACT

Let $H$ be a finite Hopf algebra with $C_{H,H} = C_{H,H}^{-1}.$ The duality theorem is shown for $H$, i.e., $$ (R # H)# H^{\hat *} \cong R \otimes (H \bar \otimes H^{\hat *}) \hbox {as algebras in} {\cal C}.$$ Also, it is proved that the Drinfeld double $(D(H),[b])$ is a quasi-triangular Hopf algebra in ${\cal C}$.

研究动机与目标

• 将经典 Hopf 代数对偶定理推广到 braided tensor category 的设定中。
• 将 Drinfeld 双代数的构造推广到 braided category。
• 在条件 $C_{H,H} = C_{H,H}^{-1}$ 下，证明 braided tensor category 中的 Drinfeld 双代数 $D(H)$ 是 quasi-triangular Hopf 代数。
• 为 braided setting 中的模代数和 smash 乘积建立范畴框架。
• 验证 Drinfeld 双代数在 braided 上下文中是否满足 quasi-triangularity 公理。

提出的方法

• 使用严格 braided tensor category $\mathcal{C}$，其单位对象为 $I$，braiding 为 $C$。
• 对于 $\mathcal{C}$ 中的有限 Hopf 代数 $H$，定义对偶对象 $H^{\hat{*}} = ((H^*)^{\mathrm{op}})^{\mathrm{cop}}$。
• 对 $\mathcal{C}$ 中的左 $H$-模代数 $(R,\alpha)$ 应用 smash 乘积构造 $R\#H$。
• 通过乘法 $m_{H \bar{\otimes} H^{\hat{*}}} = (\mathrm{id}_H \otimes d \otimes \mathrm{id}_{H^{\hat{*}}})$ 定义 $H \bar{\otimes} H^{\hat{*}}$ 上的代数结构。
• 使用评估和协评估态射 $d$ 和 $b$ 定义对偶对象并验证对偶性条件。
• 利用 braiding $C_{H,H}$ 及其逆来定义模作用并验证斜配对公理。

实验结果

研究问题

• RQ1 在什么条件下，braided tensor category 中的对偶定理 $ (R\#H)\#H^{\hat{*}} \cong R \otimes (H \bar{\otimes} H^{\hat{*}}) $ 成立？
• RQ2 如何在 braided category 中构造 Drinfeld 双代数 $D(H)$ 并证明其为 quasi-triangular？
• RQ3 条件 $C_{H,H} = C_{H,H}^{-1}$ 在确保对偶性和 quasi-triangularity 结果中起什么作用？
• RQ4 模代数结构和 smash 乘积在 braided setting 中的行为如何？
• RQ5 当在 $\mathcal{C}$ 中范畴化定义时，Drinfeld 双代数能否满足 quasi-triangularity 公理 (QT1)-(QT3)？

主要发现

• 对偶定理成立：在 $C_{H,H} = C_{H,H}^{-1}$ 条件下，$ (R\#H)\#H^{\hat{*}} \cong R \otimes (H \bar{\otimes} H^{\hat{*}}) $ 作为 $\mathcal{C}$ 中的代数。
• 在 $\mathcal{C}$ 中，Drinfeld 双代数 $D(H)$ 是一个 quasi-triangular Hopf 代数，其 universal $R$-matrix $[b]$ 满足 quasi-triangularity 公理。
• 条件 $C_{H,H} = C_{H,H}^{-1}$ 等价于评估态射关于 braiding $C$ 的对称性。
• $H \bar{\otimes} H^{\hat{*}}$ 代数通过乘法 $m_{H \bar{\otimes} H^{\hat{*}}} = (\mathrm{id}_H \otimes d \otimes \mathrm{id}_{H^{\hat{*}}})$ 被良好定义。
• Drinfeld 双代数 $D(H)$ 构造为 $H \otimes H^{\hat{*}}$，其具有特定的余乘法 $\Delta^{\mathrm{cop}}$ 和 universal $R$-matrix $[b]$。
• 证明依赖于在 $\mathcal{C}$ 中利用 braiding 和评估/协评估态射验证 quasi-triangularity 公理 (QT1)-(QT3)。