[论文解读] Some ribbon elements for the quasi-Hopf algebra $D^\omega(H)$

Daniel Bulacu, Florin Panaite|arXiv (Cornell University)|Dec 3, 2018

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

一句话总结

本文为拟霍普夫代数 $D^\omega(H)$ 显式构造了扭结元，推广了有限群的扭曲量子双关代数的扭结结构。通过将 $D^\omega(H)$ 识别为扭曲对偶拟霍普夫代数的量子双关代数，作者证明：当且仅当模元素 $\mu_H$ 在 $G(H^*)$（即从 $H$ 到 $k$ 的代数映射群）中存在平方根时，$D^\omega(H)$ 才存在扭结元。主要贡献在于提出了一个通用准则，用于判断 $D^\omega(H)$ 是否为扭结代数，从而填补了先前工作中在缺少额外条件时该元素仅在特定情形下已知的空白。

ABSTRACT

We construct an explicit isomorphism between the quasitriangular quasi-Hopf algebra $D^\\omega(H)$ defined in \\cite{bp} and a certain quantum double quasi-Hopf algebra. We give also new characterizations for a quasitriangular quasi-Hopf algebra to be ribbon and use them to construct some ribbon elements for $D^\\omega(H)$.

研究动机与目标

• 为解决 [6, 命题 3.3] 中额外条件不成立时 $D^\omega(H)$ 的扭结元构造这一开放问题。
• 为 $D^\omega(H)$ 提供一个通用准则，使其成为扭结代数，从而推广已知的 $D^\omega(G)$ 结果。
• 建立 $D^\omega(H)$ 与 $H^*_\omega$ 的量子双关代数之间的同构，从而实现结构性质的转移。
• 刻画 $G(H^*)$ 中模元素 $\mu_H$ 的平方根存在的条件，以确保扭结元的存在性。

提出的方法

• 利用定理 4.2，将 $D^\omega(H)$ 与 $H^*_\omega$（一个有限维拟霍普夫代数）的量子双关代数进行识别。
• 利用同构关系，从 $H^*_\omega$ 继承 $D^\omega(H)$ 的拟三角结构和模元素。
• 应用定理 3.1 和推论 3.3，将扭结元条件转化为求解 $\mathfrak{l}^2 = \underline{\mathfrak{g}}_{D^\omega(H)}$ 并满足德林德尔扭变的相容性。
• 通过验证定义关系 (5.2)–(5.4)，证明扭结元存在的充要条件是存在 $\zeta \in G(H^*)$ 使得 $\zeta^2 = \mu_H$。
• 利用 [20] 中的自由性定理，证明 $|G(H^*)|$ 整除 $\dim_k(H)$，从而辅助判断 $\zeta$ 的存在性条件。
• 分析特殊情形，如奇维数、$|G(H^*)|$ 为奇数，以及特征为零的情形，以建立 $\zeta$ 存在的充分条件。

实验结果

研究问题

• RQ1 当 [6, 命题 3.3] 中的额外条件不成立时，$D^\omega(H)$ 在何种条件下可赋予扭结元？
• RQ2 确保 $D^\omega(H)$ 为扭结代数的 $H$ 与 $\omega$ 之间的确切代数条件是什么？
• RQ3 $G(H^*)$ 中模元素 $\mu_H$ 的平方根存在性与 $D^\omega(H)$ 的扭结结构之间有何关系？
• RQ4 $D^\omega(G)$ 为何总是存在扭结元？这一性质如何推广至任意 $H$？
• RQ5 能否为 $D^\omega(G)$ 构造新的扭结元，从而通过雷舍蒂欣-图雷夫构造产生新的三维流形不变量？

主要发现

• 当且仅当存在 $\zeta \in G(H^*)$ 使得 $\zeta^2 = \mu_H$ 时，$D^\omega(H)$ 才存在扭结元，其中 $\mu_H$ 是 $H$ 的模元素。
• $D^\omega(H)$ 与 $H^*_\omega$ 的量子双关代数之间的同构提供了一个自然框架，用于转移拟三角结构和模结构。
• 当 $H$ 是单模代数（即 $\mu_H = \varepsilon$）时，元素 $\nu = u(\beta \# 1_H)$ 构成扭结元，从而恢复了 [6, 命题 3.3] 的结果。
• 若 $\dim_k(H)$ 为奇数，或 $|G(H^*)|$ 为奇数，则 $\mu_H$ 的阶为奇数，因此其平方根 $\zeta$ 存在，从而保证 $D^\omega(H)$ 为扭结代数。
• 在特征为零，或当 $\dim_k(H) \neq 0$ 在 $k$ 中成立时，$H$ 是半单代数，因而也是单模代数，故 $\nu = u(\beta \# 1_H)$ 是扭结元。
• 该构造甚至可为 $D^\omega(G)$ 生成新的扭结元，意味着通过雷舍蒂欣-图雷夫构造可产生新的三维流形不变量。