[论文解读] Diagonal reduction algebra and reflection equation

S. Khoroshkin, O. Ogievetsky|arXiv (Cornell University)|Oct 18, 2015

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

一句话总结

本文通过构造一个满足反射方程的 $ L $-算符，建立了对角约化代数 $\pi(\mathbf{gl}_n)$ 与 $ R $-矩阵形式之间的联系。关键贡献在于将 $\mathcal{D}(\mathbf{gl}_n)$ 表现为一个反射方程代数，揭示了其辫状双代数结构，并通过 $ L $-算符的幂的量子迹构造了两族中心元素。

ABSTRACT

We describe the diagonal reduction algebra D(gl(n)) of the Lie algebra gl(n) in the R-matrix formalism. As a byproduct we present two families of central elements and the braided bialgebra structure of D(gl(n)).

研究动机与目标

• 建立对角约化代数 $\mathcal{D}(\mathbf{gl}_n)$ 与 $ R $-矩阵形式之间的联系。
• 通过具有 $ R $-矩阵关系的 $ L $-算符，将 $\mathcal{D}(\mathbf{gl}_n)$ 表现为一个反射方程代数。
• 通过 $ R $-矩阵框架揭示 $\mathcal{D}(\mathbf{gl}_n)$ 的辫状双代数结构。
• 通过 $ L $-算符的幂的量子迹构造 $\mathcal{D}(\mathbf{gl}_n)$ 中的两族中心元素。

提出的方法

• 引入 $ \mathbf{h} $-形变微分算子代数 $\mathrm{Diff}_{\mathbf{h}}(n,N)$，并定义其哈密顿类型生成元。
• 证明 $\mathrm{Diff}_{\mathbf{h}}(n,N)$ 的定义关系可通过动力杨–巴克斯方程的解表示为 $\hat{R}$-矩阵形式。
• 构造从 $\mathcal{D}(\mathbf{gl}_n)$ 到 $\mathrm{Diff}_{\mathbf{h}}(n,N)$ 的同态，实现振子类型表示。
• 利用这些同态，通过 $ L $-算符将 $\mathcal{D}(\mathbf{gl}_n)$ 嵌入反射方程代数。
• 利用 $\hat{R}$-矩阵与极端投影算子，推导 $ L $-算符的反射方程关系。
• 应用 $ R $-矩阵形式，揭示 $\mathcal{D}(\mathbf{gl}_n)$ 的辫状双代数结构。

实验结果

研究问题

• RQ1 如何在 $ R $-矩阵形式中表述对角约化代数 $\mathcal{D}(\mathbf{gl}_n)$？
• RQ2 $ L $-算符在编码 $\mathcal{D}(\mathbf{gl}_n)$ 的定义关系中起什么作用？
• RQ3 $ R $-矩阵结构如何揭示 $\mathcal{D}(\mathbf{gl}_n)$ 的辫状双代数性质？
• RQ4 能否通过 $ L $-算符的量子迹构造 $\mathcal{D}(\mathbf{gl}_n)$ 的中心元素？
• RQ5 $ \mathbf{h} $-形变微分算子代数 $\mathrm{Diff}_{\mathbf{h}}(n,N)$ 在实现约化代数中具有何种意义？

主要发现

• 通过对角约化代数 $\mathcal{D}(\mathbf{gl}_n)$ 通过满足特定 $ R $-矩阵的反射方程的 $ L $-算符，被实现为一个反射方程代数。
• $ R $-矩阵形式揭示了 $\mathcal{D}(\mathbf{gl}_n)$ 上的辫状双代数结构，推广了量子群的双代数结构。
• $\mathcal{D}(\mathbf{gl}_n)$ 中的两族中心元素被构造为 $ L $-算符幂的量子迹，具体为 $\frac{\tilde{h}-1}{\tilde{h}}(\operatorname{L}^{N})^{1}_{1} + \frac{\tilde{h}+1}{\tilde{h}}(\operatorname{L}^{N})^{2}_{2}$。
• $\mathcal{D}(\mathbf{gl}_n)$ 的定义关系源自 $\mathrm{Diff}_{\mathbf{h}}(n,N)$ 中关系的 $\hat{R}$-矩阵形式，这些关系通过同态相联系。
• $ L $-算符关系在 $ n=2 $ 情况下被显式计算，显示出涉及 $\tilde{h} = h_i - i$ 的非平凡非交换关系。
• 极端投影算子 $\operatorname{P}$ 被用于在双陪集空间上定义非平凡乘法 $x {\scriptstyle{\,\diamond\,}} y = x \operatorname{P} y$，从而实现约化代数结构。