[論文レビュー] 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

ひとこと要約

本稿は、部分旗多様体の余接 bundle の等配分コホモロジーにおける安定なエンveロープ写像とヤング代数の重み関数の間の明確な対応関係を確立し、ヤング代数の重み関数を含む公式を通じて、除数による量子乗法作用素を動的ハミルトニアンに同定する。主な結果は、[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】で定義された部分旗多様体の余接 bundle の等配分コホモロジーにおけるヤング代数モジュール構造を、【GRTV】におけるヤング代数モジュール構造と同定すること。
• 【TV1】で導入されたヤング代数の重み関数を用いて、安定なエンベロープ写像の明示的公式を構成し、qKZ 方程式を解くために用いること。
• 【TV2, MTV1, GRTV】における動的ハミルトニアンの作用と、$H^*_T(T^*\fF_{\bflambda})$ 上での除数による量子乗法作用素の対応を証明すること。
• コホモロジカル重み関数写像を用いて、シューベルトサイクル双対性に類似した安定なエンベロープの直交性関係を確立すること。

提案手法

• 安定なエンベロープ写像 $\operatorname{Stab}_\sigma$ が、$c_{\boldsymbol{\lambda}}$ を係数とするコホモロジカル重み関数写像 $[W_\sigma]$ のスカラー倍 $c_{\boldsymbol{\lambda}} \circ [W_\sigma]$ として表現されることを導出する。ここで $c_{\boldsymbol{\lambda}}$ は $H^*_T(T^*\fF_{\bflambda})$ 内の非ゼロ因子である。
• 変数 $z_i$ とパrameter $h$ を用いた有理関数で定義される対称化ヤング代数重み関数 $W_{\sigma,I}$ を用い、その極は旗型 $\boldsymbol{\lambda}$ によって制御される。
• 幾何的 $R$-行列理論とチャネル分解を用いて、$T$-等配分コホモロジーの文脈で安定な葉と安定なエンベロープを定義する。
• 重み関数の性質と有理関数上の留数計算の性質を用いて、安定なエンベロープの三角不等性と直交性を証明する。
• 重み関数の公式を通じて、【MO】と【GRTV】における $\oplus_{|\boldsymbol{\lambda}|=n} H^*_T(T^*\fF_{\bflambda})$ 上のヤング代数作用の同倣を確立する。
• 得られた差分作用素が、【MO】におけるシフト作用素と一致する、可換な有理関数 qKZ 接続を形成することを検証する。

実験結果

リサーチクエスチョン

• RQ1 安定なエンベロープ写像 $\operatorname{Stab}_\sigma$ は、ヤング代数表現論からのコホモロジカル重み関数とどのように関係しているか？
• RQ2 【TV2, MTV1, GRTV】における動的ハミルトニアンと、$H^*_T(T^*\fF_{\bflambda})$ 上での除数による量子乗法作用素が同一視可能か？
• RQ3 安定なエンベロープ写像をヤング代数の重み関数で表す明確な代数的公式は何か？
• RQ4 安定なエンベロープは、旗多様体のコホモロジーにおけるシューベルトサイクル双対性に類似した直交性関係を満たすか？
• RQ5 【MO】におけるヤング代数モジュール構造は、重み関数と $R$-行列を用いて構成された【GRTV】の構造と同値か？

主な発見

• 安定なエンベロープ写像 $\operatorname{Stab}_\sigma$ が、$H^*_T(T^*\fF_{\bflambda})$ 内の非ゼロ因子 $c_{\boldsymbol{\lambda}}(\boldsymbol{\Theta})$ を用いた乗法によりコホモロジカル重み関数写像 $[W_\sigma]$ に比例することが示され、安定なエンベロープの直接的な公式が確立された。
• 【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}$ を満たすことが示され、その可逆性が確認された。
• 恒等写像と $\sigma_0$（最長置換）に対応する $\operatorname{Stab}_{\operatorname{id}}$ および $\operatorname{Stab}_{\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)}$ を満たし、基本ケースで検証され、対称性を用いて拡張された。