[论文解读] On the cluster nature and quantization of geometric $R$-matrices

Rei Inoue, Thomas Lam+1 more|arXiv (Cornell University)|Jul 4, 2016

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

一句话总结

本文通过圆柱面上三角网格quiver的序列突变，引入了簇 $R$-矩阵，证明了 $U_q'(\tilde{\frak{sl}}_n)$ 的仿射几何 $R$-矩阵由此构造产生。此外，定义了与簇结构相容的几何 $R$-矩阵的量子化形式，并构造了作为量子几何 $R$-矩阵作用下不变量的量子环对称函数。

ABSTRACT

We define cluster $R$-matrices as sequences of mutations in triangular grid quivers on a cylinder, and show that the affine geometric $R$-matrix of symmetric power representations for the quantum affine algebra $U_q^\prime(\hat{\mathfrak{sl}}_n)$ can be obtained from our cluster $R$-matrix. A quantization of the affine geometric $R$-matrix is defined, compatible with the cluster structure. We construct invariants of the quantum affine geometric $R$-matrix as quantum loop symmetric functions.

研究动机与目标

• 通过圆柱面上quiver的突变，建立 $U_q'(\tilde{\frak{sl}}_n)$ 的仿射几何 $R$-矩阵的簇理论实现。
• 定义一个尊重簇代数结构且满足杨-Baxter关系的几何 $R$-矩阵的量子化形式。
• 利用量子环对称函数构造量子几何 $R$-矩阵作用下的不变量，包括量子环初等对称函数、谢尔函数及环形环谢尔函数。
• 通过路径与表格的非交换生成函数，将量子几何 $R$-矩阵与圆柱面上的网络模型联系起来。

提出的方法

• 定义一个具有 $2n-2$ 次突变的环形quiver $Q_{n,m}$，其构成一个闭合序列，使quiver恢复原状，从而定义簇 $R$-矩阵。
• 使用带冻结变量的装饰quiver $\tilde{Q}_{n,m}'$，通过有理关系 $q = \frac{xx'x''}{x'''X}$ 将簇变量与几何 $R$-矩阵坐标关联。
• 将量子几何 $R$-矩阵构造为量子环面上的斜域同构，其中 $\epsilon$ 为非交换不定元。
• 通过证明其源于簇突变序列中的辫关系，建立量子几何 $R$-矩阵的杨-Baxter关系。
• 将量子环对称函数定义为网络 $N_{n,m}$ 中半标准杨表与高速公路路径的非交换生成函数。
• 利用Lee-Schiffler的Laurent正性定理，证明量子 $R$-矩阵表达式为簇变量与冻结变量的Laurent多项式，且系数为非负整数。

实验结果

研究问题

• RQ1 能否将 $U_q'(\tilde{\frak{sl}}_n)$ 的仿射几何 $R$-矩阵实现为圆柱面上quiver中簇突变的复合？
• RQ2 是否存在一种一致的几何 $R$-矩阵的量子化形式，使其保持杨-Baxter关系并尊重簇代数结构？
• RQ3 量子环对称函数——初等、谢尔及环形环谢尔函数——是否构成量子几何 $R$-矩阵作用下的不变量？
• RQ4 量子几何 $R$-矩阵及其不变量与圆柱网络 $N_{n,m}$ 中的路径模型和表格之间有何关系？

主要发现

• 簇 $R$-矩阵被定义为圆柱quiver $Q_{n,m}$ 中 $2n-2$ 次突变的复合，该序列使quiver恢复原状，并满足杨-Baxter关系。
• 几何 $R$-矩阵作为簇 $R$-矩阵的热带化被恢复，其坐标通过关系 $q = \frac{xx'x''}{x'''X}$ 关联。
• 量子几何 $R$-矩阵被构造为 ${\mathbb{Q}}_\epsilon\langle\mathbf{p},\mathbf{q}\rangle$ 上的斜域同构，并满足量子杨-Baxter关系。
• 量子环初等对称函数、量子环谢尔函数及量子环形环谢尔函数被证明是量子几何 $R$-矩阵作用下的不变量。
• 这些不变量被表示为网络 $N_{n,m}$ 中半标准杨表与高速公路路径族的非交换生成函数。
• 量子 $R$-矩阵表达式为簇变量与冻结变量的Laurent多项式，且系数为非负整数，这由Lee-Schiffler正性定理保证。