[论文解读] Non-unitary set-theoretical solutions to the Quantum Yang-Baxter Equation

Alexandre Soloviev|ArXiv.org|Mar 28, 2000

Advanced Topics in Algebra被引用 22

一句话总结

本文建立了非幺正、非退化的集合论解的完整理论，以量子杨-巴克斯方程（QYBE）为基础，推广了Etingof、Schedler与Soloviev的前期工作。文中引入了解的结构群与导出群，建立了非退化解的群论刻画（定理2.7），并给出了单射解的组合准则（定额2.9）。主要贡献是通过一个由满足二次关系的可逆元生成的非交换代数，对单射仿射解进行了分类。

ABSTRACT

We develop a theory of non-unitary set-theoretical solutions to the Quantum Yang-Baxter equation. Our results generalize those obtained by Etingof, Schedler and the author. We remark that some of our constructions are similar to constructions obtained by Lu, Yan and Zhu.

研究动机与目标

• 将非退化集合论解的QYBE理论从幺正情形推广至更一般情形。
• 在非退化解的群论刻画中去除幺正性条件。
• 引入并研究单射解，作为对换位解的推广，尤其针对仿射解。
• 利用代数结构对阿贝尔群上的单射仿射解进行分类。

提出的方法

• 从双射映射 $ S: X \times X \to X \times X $ 出发，利用 $ S(x,y) = (g_x(y), f_y(x)) $ 导出的关系，定义结构群 $ G_X $ 与导出结构群 $ A_X $。
• 通过 $ g_x $ 与 $ f_y $ 的双射性定义非退化性，并通过导出解上的组合条件定义单射解。
• 利用扭辫群作用刻画辫集，并通过条件 $ S_{1}S_{2}S_{1} = S_{2}S_{1}S_{2} $ 将其与QYBE关联。
• 将仿射解构造为映射 $ S(x,y) = (ax + by + z, cx + dy + t) $，并推导出确保满足QYBE的系数条件。
• 通过线性部分 $ S^* $ 与平移参数 $ k $ 刻画单射仿射解，证明单射性成立当且仅当 $ k = 0 $ 且 $ S^* $ 是单射。
• 通过将单射仿射解实现为由可逆元 $ p, q, z $ 生成的代数的表示来完成分类，其中 $ pq = qp $ 且 $ z^2 - z(p+q) + pq = 0 $。

实验结果

研究问题

• RQ1 在非退化集合论解的QYBE群论刻画中，能否去除幺正性条件？
• RQ2 一般非退化集合论解的群论结构是什么？与幺正情形有何不同？
• RQ3 非退化QYBE的单射解的组合准则为何？
• RQ4 如何利用代数结构对阿贝尔群上的单射仿射解进行分类？
• RQ5 有限非退化解的结构群中，有限指数阿贝尔子群的秩为何？何时达到最大？

主要发现

• 有限非退化解的结构群中总包含一个有限指数阿贝尔子群，其秩至多为 $ N $，且当且仅当解为幺正时取等（定理2.10）。
• 单射非退化解由涉及导出解的组合准则刻画（定理2.9），推广了换位情形。
• 阿贝尔群上的单射仿射解与由可逆元 $ p, q, z $ 生成的代数的表示一一对应，其中 $ pq = qp $ 且 $ z^2 - z(p+q) + pq = 0 $，且 $ z $ 作为二次方程的根作用。
• 对于给定的单射线性解 $ S^* $，单射仿射解与元素 $ z \in X $ 之间存在一一对应，平移参数 $ t $ 由 $ t = -c(1-a)^{-1}z $ 确定。
• 仿射解的导出解与它的线性部分 $ S^* $ 一致，当且仅当平移参数 $ k = 0 $，而这是单射性的充要条件。
• 仿射解是单射的，当且仅当其线性部分是单射且平移参数 $ k = 0 $，如定理3.3(ii)所示。