[论文解读] Elliptic and K-theoretic stable envelopes and Newton polytopes

Richárd Rimányi, V. Tarasov+1 more|arXiv (Cornell University)|May 25, 2017

Nonlinear Waves and Solitons参考文献 17被引用 11

一句话总结

本文利用三角和椭圆权函数，为部分旗流形的余切丛构造了K-理论和椭圆稳定包络，确立了K-理论稳定包络是椭圆稳定包络在q→0极限下的结果。证明了三角权函数取值的牛顿多面体嵌入到对角取值的牛顿多面体中，从而推出其投影性质至K-理论稳定包络，验证了阿加尼卡和奥库诺夫的预测。

ABSTRACT

In this paper we consider the cotangent bundles of partial flag varieties. We construct the $K$-theoretic stable envelopes for them and also define a version of the elliptic stable envelopes. We expect that our elliptic stable envelopes coincide with the elliptic stable envelopes defined by M. Aganagic and A. Okounkov. We give formulas for the $K$-theoretic stable envelopes and our elliptic stable envelopes. We show that the $K$-theoretic stable envelopes are suitable limits of our elliptic stable envelopes. That phenomenon was predicted by M. Aganagic and A. Okounkov. Our stable envelopes are constructed in terms of the elliptic and trigonometric weight functions which originally appeared in the theory of integral representations of solutions of qKZ equations twenty years ago. (More precisely, the elliptic weight functions had appeared earlier only for the $\frak{gl}_2$ case.) We prove new properties of the trigonometric weight functions. Namely, we consider certain evaluations of the trigonometric weight functions, which are multivariable Laurent polynomials, and show that the Newton polytopes of the evaluations are embedded in the Newton polytopes of the corresponding diagonal evaluations. That property implies the fact that the trigonometric weight functions project to the $K$-theoretic stable envelopes.

研究动机与目标

• 为部分旗流形的余切丛定义并构造K-理论和椭圆稳定包络。
• 建立椭圆稳定包络与K-理论稳定包络在q→0极限下的关系。
• 证明三角权函数的牛顿多面体包含于对角取值的牛顿多面体中，从而实现向K-理论稳定包络的投影。
• 验证所提出的椭圆稳定包络与阿加尼卡和奥库诺夫的构造一致。
• 通过离散Wronski映射，将稳定包络框架与量子环代数及Bethe子代数联系起来。

提出的方法

• 该构造依赖于源自qKZ方程积分表示的三角和椭圆权函数。
• 作者将K-理论稳定包络定义为部分旗流形余切丛的等变K-理论类。
• 他们利用等变局部化和矩图描述，分析稳定包络在不动点上的限制。
• 关键技术工具是牛顿多面体性质：三角权函数取值的多面体嵌入到对角取值的多面体中。
• 椭圆稳定包络通过椭圆权函数定义，并证明其在q→0极限下退化为K-理论包络。
• 通过R-矩阵和Bethe代数，该框架与量子群表示理论相联系，离散Wronski映射描述了其在权空间上的作用。

实验结果

研究问题

• RQ1 如何利用权函数为部分旗流形的余切丛构造K-理论稳定包络？
• RQ2 椭圆稳定包络与K-理论稳定包络在q→0极限下的精确关系是什么？
• RQ3 三角权函数取值的牛顿多面体是否相对于对角取值满足包含性质？
• RQ4 所提出的椭圆稳定包络是否与阿加尼卡和奥库诺夫的构造一致？
• RQ5 Bethe代数在Nakajima流形等变K-理论上的作用能否通过离散Wronski映射描述？

主要发现

• 证明了K-理论稳定包络是所提出椭圆稳定包络在q→0极限下的结果，验证了阿加尼卡和奥库诺夫的预测。
• 三角权函数取值的牛顿多面体被嵌入到对应对角取值的牛顿多面体中，从而推出其投影至K-理论稳定包络的性质。
• 椭圆稳定包络通过椭圆权函数构造，且预期与阿加尼卡和奥库诺夫的构造一致。
• 三角权函数满足一种新的牛顿多面体包含性质，这是投影机制的关键。
• Bethe代数在权空间自同态代数中的像由离散Wronski映射描述，其参数通过λk的平移相关联。
• 该构造建立了稳定包络与量子环代数之间的联系，Bethe代数在部分旗流形余切丛等变K-理论上的作用通过离散Wronski映射得以描述。