[论文解读] Partial flag varieties, stable envelopes and weight functions

Richárd Rimányi, V. Tarasov+1 more|arXiv (Cornell University)|Dec 26, 2012

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

一句话总结

本文在余切丛的等变上同调与杨代数权函数之间建立了精确对应关系，将除子的量子乘法算子识别为通过杨代数权函数公式给出的动态哈密顿量。关键结果是完全识别了[MO]与[GRTV]中的杨代数模结构，解决了量子群几何表示理论与等变量子上同调中的核心问题。

ABSTRACT

We consider the cotangent bundle T^*F_λof a GL_n partial flag variety, λ= (λ_1,...,λ_N), |λ|=\sum_iλ_i=n, and the torus T=(C^*)^{n+1} equivariant cohomology H^*_T(T^*F_λ). In [MO], a Yangian module structure was introduced on \oplus_{|λ|=n} H^*_T(T^*F_λ). We identify this Yangian module structure with the Yangian module structure introduced in [GRTV]. This identifies the operators of quantum multiplication by divisors on H^*_T(T^*F_λ), described in [MO], with the action of the dynamical Hamiltonians from [TV2, MTV1, GRTV]. To construct these identifications we provide a formula for the stable envelope maps, associated with the partial flag varieties and introduced in [MO]. The formula is in terms of the Yangian weight functions introduced in [TV1], c.f. [TV3, TV4], in order to construct q-hypergeometric solutions of qKZ equations.

研究动机与目标

• 将[MO]中定义的偏旗流形余切丛等变上同调上的杨代数模结构与[GRTV]中的杨代数模结构相匹配。
• 通过[TV1]引入的杨代数权函数，构建稳定包络映射的显式公式，用于求解qKZ方程。
• 证明$H^*_T(T^*\fF_{\bflambda})$上除子的量子乘法与[TV2, MTV1, GRTV]中的动态哈密顿量作用等价。
• 利用上同调权函数映射，建立类似于施伯特循环对偶性的稳定包络正交关系。

提出的方法

• 推导出稳定包络映射$\operatorname{Stab}_\sigma$可表示为上同调权函数映射的标量倍数$c_{\boldsymbol{\lambda}} \circ [W_\sigma]$，其中$c_{\boldsymbol{\lambda}}$是$H^*_T(T^*\fF_{\bflambda})$中的非零因子。
• 利用变量$z_i$和参数$h$的有理函数定义对称化杨代数权函数$W_{\sigma,I}$，其极点由旗类型$\boldsymbol{\lambda}$控制。
• 应用几何$R$-矩阵理论与通道分解，定义$T$-等变上同调背景下稳定叶与稳定包络。
• 利用权函数的性质与有理函数上的留数计算，证明稳定包络的三角化与正交性。
• 通过权函数公式，证明[MO]与[GRTV]中$\oplus_{|\boldsymbol{\lambda}|=n} H^*_T(T^*\fF_{\bflambda})$上的杨代数作用等价。
• 验证所得差分算子构成一对对易的有理qKZ联络，与[MO]中的平移算子一致。

实验结果

研究问题

• RQ1 在$H^*_T(T^*\fF_{\bflambda})$上，稳定包络映射与杨代数表示理论中的上同调权函数之间有何关系？
• RQ2 能否将$H^*_T(T^*\fF_{\bflambda})$上除子的量子乘法算子与[TV2, MTV1, GRTV]中的动态哈密顿量相匹配？
• RQ3 是否存在精确的代数公式，用杨代数权函数表达稳定包络映射？
• RQ4 稳定包络是否满足类似于旗流形上同调中施伯特循环对偶性的正交关系？
• RQ5 [MO]中的杨代数模结构是否与通过权函数和$R$-矩阵在[GRTV]中构造的结构等价？

主要发现

• 证明稳定包络映射$\operatorname{Stab}_\sigma$与上同调权函数映射$[W_\sigma]$成比例，比例因子为$H^*_T(T^*\fF_{\bflambda})$中的非零因子$c_{\boldsymbol{\lambda}}(\boldsymbol{\Theta})$，从而建立了稳定包络的直接公式。
• 将[MO]中定义的$H^*_T(T^*\fF_{\bflambda})$上除子的量子乘法算子识别为[TV2, MTV1, GRTV]中的动态哈密顿量$X^q_{{\boldsymbol{\lambda}},i}$的作用。
• 构造了稳定包络映射$\operatorname{Stab}_{\operatorname{id}}$的逆并证明其满足$\nu \circ \operatorname{Stab}_{\operatorname{id}} = \operatorname{Id}$，确认其可逆性。
• 证明了$\operatorname{Stab}_{\operatorname{id}}$与$\operatorname{Stab}_{\sigma_0}$的正交关系，其中$\sigma_0$为最长排列，且该关系与施伯特循环对偶性一致。
• 证明由量子联络导出的差分算子两两对易，并构成有理qKZ差分联络，与[MO]中的平移算子一致。
• 权函数映射满足递推关系$W_{s_i,I} = \frac{z_i - z_{i+1}}{z_i - z_{i+1} + h} W_{\operatorname{id},I} + \frac{h}{z_i - z_{i+1} + h} W_{\operatorname{id},s_i(I)}$，该关系在基本情形下已验证，并通过对称性推广。