[论文解读] Classical dynamical r-matrices, Poisson homogeneous spaces, and Lagrangian subalgebras

Eugene Karolinsky, Alexander Stolin|ArXiv.org|Oct 30, 2001

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

一句话总结

本文建立了复单李群 $G$ 及其包含卡坦子代数的约化子群 $U$ 的配对 $(\mathfrak{g},\mathfrak{u})$ 的三角形经典动态 $r$-矩阵与 $G/U$ 上的三角形泊松齐性结构之间的 1-1 对应关系。该对应关系通过德林费尔德双代数中拉格朗日子代数的分类推导得出，将卢的工作推广至 $\Omega = 0$ 的三角形情形，并通过伊蒂宁-瓦尔琴科 $r$-矩阵与投影技巧的显式构造得到验证。

ABSTRACT

Jiang-Hua Lu showed that any dynamical r-matrix for the pair $(g,u)$ naturally induces a Poisson homogeneous structure on $G/U$. She also proved that if $g$ is complex simple, $u$ is its Cartan subalgebra and $r$ is quasitriangular, then this correspondence is in fact 1-1. In the present paper we find some general conditions under which the Lu correspondence is 1-1. Then we apply this result to describe all triangular Poisson homogeneous structures on $G/U$ for a simple complex group $G$ and its reductive subgroup $U$ containing a Cartan subgroup.

研究动机与目标

• 将卢关于动态 $r$-矩阵与泊松齐性 $G$-空间之间对应关系的结果推广至 $\Omega = 0$ 的三角形情形。
• 对复单李群 $G$ 及其包含卡坦子群的约化子群 $U$，分类所有 $G/U$ 上的三角形泊松齐性结构。
• 确立动态 $r$-矩阵与泊松齐性结构之间对应关系为双射的条件，扩展已知的拟三角情形结果。
• 通过伊蒂宁-瓦尔琴科解与投影映射，提供三角形动态 $r$-矩阵的显式构造。

提出的方法

• 利用伊蒂宁与希夫曼对配对 $(\mathfrak{g},\mathfrak{u})$（其中 $\mathfrak{u}$ 为卡坦子代数）的经典动态 $r$-矩阵的分类。
• 应用德林费尔德双代数 $D(\mathfrak{g})$ 的一般框架，将三角形李双代数与 $\mathfrak{g}[\varepsilon]$ 中的拉格朗日子代数联系起来，其中 $\varepsilon^2 = 0$。
• 利用 $r(0)$ 的 $\mathfrak{u}$-等变性与不变性，分析经典杨-巴克斯特定理中 $\mathfrak{v}\otimes\mathfrak{v}\otimes\mathfrak{v}$ 分量。
• 使用从 $\mathfrak{g}\otimes\mathfrak{g}$ 到 $g(\mathfrak{p}\otimes\mathfrak{p})g^{-1}$ 的投影映射 $p$，在抛物子代数 $\mathfrak{p}$ 中构造新 $r$-矩阵 $v = g^{-1}p(r(0))g$。
• 验证所得 $v$ 满足修正的经典杨-巴克斯特定理且为反对称，确认其为三角形 $r$-矩阵。
• 通过德林费尔德双代数中拉格朗日子代数的 $G$-作用轨道理论，建立泊松齐性空间的理论，从而确立 1-1 对应关系。

实验结果

研究问题

• RQ1 在三角形情形（$\Omega = 0$）下，经典动态 $r$-矩阵与 $G/U$ 上泊松齐性 $G$-结构之间的对应关系在何种条件下为双射？
• RQ2 当 $U$ 是复单李群 $G$ 的包含卡坦子代数的约化子群时，如何对 $G/U$ 上的三角形泊松齐性结构进行分类？
• RQ3 德林费尔德双代数 $D(\mathfrak{g})$ 在三角形设定下，如何连接动态 $r$-矩阵与拉格朗日子代数？
• RQ4 能否通过投影与共轭，从已知解（如伊蒂宁-瓦尔琴科解）显式导出三角形动态 $r$-矩阵？

主要发现

• 本文建立了配对 $(\mathfrak{g},\mathfrak{u})$ 的三角形经典动态 $r$-矩阵与 $G/U$ 上三角形泊松齐性 $G$-结构之间的 1-1 对应关系，将卢的结果推广至 $\Omega = 0$ 的情形。
• 对于 $\mathfrak{g} = \mathfrak{sl}(n)$，利用伊蒂宁-瓦尔琴科理论构造出特定的三角形动态 $r$-矩阵 $r(0) = \sum_{i<j} \frac{1}{h_i - h_j} E_{ij} \wedge E_{ji}$，其中 $h_i$ 互异且和为零。
• 将投影 $p$ 作用于 $g(\mathfrak{p}\otimes\mathfrak{p})g^{-1}$，并结合 $g = \mathrm{id} - \sum_{i=1}^{n-1} E_{in}$ 的共轭，得到抛物子代数 $\mathfrak{p}$ 中的新 $r$-矩阵 $v$，其显式计算为 $v = \sum_{i<j<n} \frac{1}{h_i - h_j} (E_{ij} - D_i) \wedge (E_{ji} - D_j) + \sum_{i=1}^{n-1} \frac{1}{h_i - h_n} D_i \wedge \left( \sum_{k \neq i} E_{ki} \right)$。
• 在给定条件下，$r(0)$ 的经典杨-巴克斯特定理中 $\mathfrak{v}\otimes\mathfrak{v}\otimes\mathfrak{v}$ 分量为零，确认投影后的 $r$-矩阵 $v$ 满足修正的 CYBE。
• $r(0)$ 关于 $\mathfrak{u}$ 作用的不变性与 $\Omega$ 的结构确保 $A_1 + A_6 = 0$，$A_2 + A_3 = 0$，$A_4 + A_5 = 0$，验证了构造的一致性。
• 从 $\mathcal{M}(\mathfrak{g},\mathfrak{u},\Omega)$ 到 $\mathfrak{v}$ 的经典 $r$-矩阵的映射是良定义的，因为 $r(0)$ 的 $\mathfrak{v}\otimes\mathfrak{v}$ 分量在 $g \in \mathrm{Map}_0(D,G)^\mathfrak{u}$ 的规范变换下保持不变。