[论文解读] Yangian Double and Rational R-matrix

S. Khoroshkin, В.Н. Толстой|ArXiv.org|Jun 29, 1994

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

一句话总结

本文提出了量子双 algebra ${\cal D}Y(g)$ 的三角分解，该 algebra 是 Yangian $Y(g)$ 的量子双代数，从而实现了对通用 R-矩阵的显式分解表达式。文中推导出 R-矩阵的 Heisenberg 分量 $R_H$ 的显式公式，该分量通过在有限维表示的最高权多项式上作用双线性形式实现，表达式以 Gamma 函数表示。关键结果是给出了 R-矩阵特征标在 $Y(sl_2)$ 情况下的闭式表达式，部分适用于一般 $g$，其形式由 $\Gamma$-函数构成，且与经典极限一致。

ABSTRACT

Studying the algebraic structure of the double ${\cal D}Y(g)$ of the yangian $Y(g)$ we present the triangular decomposition of ${\cal D}Y(g)$ and a factorization for the canonical pairing of the yangian with its dual inside ${\cal D}Y(g)$. As a consequence we obtain an explicit formula for the universal R-matrix $R$ of ${\cal D}Y(g)$ and demonstrate how it works in evaluation representations of $Y(sl_2)$. We interprete one-dimensional factor arising in concrete representations of $R$ as bilinear form on highest weight polynomials of irreducible representations of $Y(g)$ and express this form in terms of {\it gamma-functions}.

研究动机与目标

• 通过构造显式的通用 R-矩阵，填补 Yangian 表示理论中的空白。
• 建立量子双代数 ${\cal D}Y(g)$ 的三角分解，类似于 Gauss 分解。
• 将 R-矩阵中的标量相位因子解释为有限维 $Y(g)$-表示的最高权多项式上的乘法双线性形式。
• 以 Gamma 函数表达该双线性形式，推广经典极限 $\frac{\langle \lambda,\mu\rangle}{a-b}$。
• 在 $Y(sl_2)$ 的评价表示中验证该公式，并将其推广至一般 $Y(g)$。

提出的方法

• 推导 ${\cal D}Y(g)$ 的三角分解，将其分离为正、负和类似 Cartan 的 Heisenberg 子代数。
• 利用三角分解，在 ${\cal D}Y(g)$ 内部构造 $Y(g)$ 及其对偶之间的典范 Hopf 配对。
• 将通用 R-矩阵分解为 $R = R_H \cdot R_+ \cdot R_-$，其中 $R_H$ 作用于 Heisenberg 子代数。
• 使用 Cartan 子代数上不变内积的 $q$-类比，将 $R_H$ 表达为 $q$ 替换为平移算子 $T:f(x)\mapsto f(x+1)$ 的形式。
• 通过 $K_{i,+}(u)$ 和 $K_{j,-}(x)$ 在最高权多项式上的作用，计算 $R$ 在最高权向量上的特征标。
• 利用 $q$-类比的 Cartan 矩阵及其逆，推导出双线性形式的显式公式，表示为 Gamma 函数的比值乘积。

实验结果

研究问题

• RQ1 能否利用如三角分解等代数结构，显式分解量子双代数 ${\cal D}Y(g)$ 的通用 R-矩阵？
• RQ2 R-矩阵中的标量相位因子如何与 $Y(g)$ 的表示理论相关联，特别是在评价模中？
• RQ3 由 R-矩阵作用产生的最高权多项式上的双线性形式的精确函数形式是什么？
• RQ4 $\Gamma$-函数表达式是否能还原为经典极限 $\frac{\langle \lambda,\mu\rangle}{a-b}$？
• RQ5 能否显式计算 $Y(sl_2)$ 的基本表示之间的 R-矩阵特征标，并将其推广至 $Y(g)$？

主要发现

• ${\cal D}Y(g)$ 的通用 R-矩阵具有分解形式 $R = R_H \cdot R_+ \cdot R_-$，其中 $R_H$ 主导标量相位因子。
• R-矩阵在最高权表示上的特征标是最高权多项式上的乘法双线性形式，其显式表达式为 Gamma 函数比值的乘积。
• 对于 $Y(sl_2)$，在基本表示 $\omega(a)$ 与 $\omega(b)$ 之间的 R-矩阵特征标为 $\frac{\Gamma\left(\frac{a-b}{2}+\frac{1}{2}\right)^2}{\Gamma\left(\frac{a-b}{2}\right)\Gamma\left(\frac{a-b}{2}+1\right)}$，与已知结果一致。
• 在 $\omega_i(a)$ 与 $\omega_j(b)$ 之间的一般公式为 $\prod_k \left( \frac{\Gamma\left(\frac{a-b}{l(g)} + \frac{l(g)-k}{2l(g)} \right) \Gamma\left(\frac{a-b}{l(g)} + \frac{l(g)-k + (\alpha_j,\alpha_j) - (\alpha_i,\alpha_i)}{2l(g)} \right)}{\Gamma\left(\frac{a-b}{l(g)} + \frac{l(g)-k - (\alpha_i,\alpha_i)}{2l(g)} \right) \Gamma\left(\frac{a-b}{l(g)} + \frac{l(g)-k + (\alpha_j,\alpha_j)}{2l(g)} \right)} \right)^{C_{i,j}^k}$。
• 该 $\Gamma$-函数形式的特征标在经典极限下重现了预期的 $\frac{\langle \lambda,\mu\rangle}{a-b}$ 结构，确认了其一致性。
• 该 R-矩阵特征标公式与评价模的张量积分解一致，已在 $Y(sl_2)$ 中得到验证。