[论文解读] Geometric crystals and set-theoretical solutions to the quantum Yang-Baxter equation

Pavel Etingof|ArXiv.org|Dec 26, 2001

advanced mathematical theories被引用 4

一句话总结

本文证明了由几何晶格导出的有理集合理论R-矩阵是非退化的，并满足量子杨-巴克斯方程与对合性条件。本文对文献[1]中的定理8.9提供了直接证明，计算了作为$ \mathrm{PGL}_n(\mathbb{C}(\lambda))$子群的约化结构群，并表明此类解存在于不可约代数簇与双有理映射的范畴中，而非集合中，因此需要将[4]中的理论推广至有理设定。

ABSTRACT

The notion of a geometric crystal was introduced by A.Berenstein and D.Kazhdan, motivated by the needs of representation theory of p-adic groups. It was shown by A.Braverman, A.Berenstein, and D.Kazhdan that some particular geometric crystals give rise to an interesting birational automorphism R of the Cartesian square of an n-dimensional torus, which satisfies the quantum Yang-Baxter equation and the unitarity condition. On the other hand, unitary set-theoretical solutions of the quantum Yang-Baxter equation were studied by Schedler, Soloviev, and the author. It was shown that the theory is especially nice if the solution satisfies an additional nondegeneracy condition. In particular, in this situation one can define the so called reduced structure group, whose complexity characterizes the complexity of the solution. In this note we show that the map R is nondegenerate, and give a new proof that it satisfies the quantum Yang-Baxter equation and the unitarity condition. Then we calculate the reduced structure group of R, and show that it is a subgroup of the "loop group" PGL(n,C(t))$. We also give a new, direct proof of a Theorem of Braverman and Kazhdan on the commutativity of two symmetric group actions on the space of matrices.

研究动机与目标

• 证明由几何晶格导出的R-矩阵是非退化的，并满足量子杨-巴克斯方程与对合性条件。
• 为[1]中的定理8.9提供直接证明，该证明此前依赖于几何晶格理论。
• 计算由几何晶格导出的有理集合理论R-矩阵$(X,R)$的约化结构群$G_R^0$。
• 表明此类解并非集合理论解，而是存在于不可约代数簇与双有理映射的范畴中，因此需要将[4]中的理论推广至有理设定。
• 建立由$R$定义的$S_N$-作用通过双有理变换与标准排列作用共轭。

提出的方法

• 将有理集合理论R-矩阵定义为双有理同构$R: X \times X \to X \times X$，满足$R(x,y) = (f_y(x), g_x(y))$，其中$f_z, g_z$为有理映射。
• 引入非退化性条件，要求对所有一般点$z \in X$，$f_z, g_z$均为双有理同构。
• 通过关系$xy = y'x'$（当$R(x,y) = (x',y')$时）定义结构群$G_R$，并将约化结构群$G_R^0$定义为在$\mathrm{Bir}(X)$中的像。
• 在$\mathcal{T} = (\mathbb{C}^*)^n$上使用几何晶格构造，通过涉及$\Delta_k(\mathbf{x},\mathbf{y})$与$\eta(\mathbf{x},\mathbf{y})$的对称有理函数定义$R$。
• 通过变量$X_i, Y_i, P_j, Q_j$及辅助函数$G_k, H_l$的对称表达式，直接计算证明对合性与量子杨-巴克斯方程。
• 通过证明变换后的变量在重标记$(P,Q,l,j,n,c,d,H) \to (X,Y,k,i,m,a,b,G)$下满足对称表达式，建立$\tau\sigma$复合的对称性。

实验结果

研究问题

• RQ1 由几何晶格构造的有理集合理论R-矩阵是否是非退化的？
• RQ2 这些R-矩阵是否满足量子杨-巴克斯方程与对合性条件？
• RQ3 此类R-矩阵的约化结构群$G_R^0$的结构是什么？
• RQ4 由$R$定义的$S_N$-作用与标准排列作用有何关系？
• RQ5 能否将[4]中关于非退化集合理论解的理论推广至有理设定，以包含几何晶格解？

主要发现

• 由几何晶格构造的R-矩阵是非退化的，因为对所有一般点$z$，$f_z$与$g_z$均为双有理同构。
• 该R-矩阵满足量子杨-巴克斯方程与对合性条件$R^{21}R = 1$。
• 约化结构群$G_R^0$是$\mathrm{PGL}_n(\mathbb{C}(\lambda))$的子群。
• 由$R$在$\mathcal{T}^N$上定义的$S_N$-作用通过双有理变换$J_N$与标准排列作用共轭。
• 解$(X,R)$不能被视为标准非退化集合理论解；它存在于不可约代数簇与双有理映射的范畴中。
• 在重标记下$\tau\sigma$复合的对称性确认了R-矩阵的一致性，并验证了[1]中定理8.9的直接证明。