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

ひとこと要約

本稿では、三角関数的および楕円的重み関数を用いて、部分旗多様体の余接 bundle に対する 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.

研究の動機と目的

• 部分旗多様体の余接 bundle に対する K-理論的および楕円的安定包膜を定義し構成すること。
• q→0 における楕円的安定包膜と K-理論的安定包膜の間の極限的関係を確立すること。
• 三角関数的重み関数の評価のニュートン多面体が、対角的評価のそれらに埋め込まれることを証明すること。
• 提案された楕円的安定包膜がアガナチクとオクウンコフの構成と一致することを検証すること。
• 離散的 Wronski 写像を通じて、安定包膜枠組みと量子ループ代数およびベーテ部分代数を結びつけること。

提案手法

• 構成は、qKZ 方程式の積分表現に由来する三角関数的および楕円的重み関数に依存する。
• 著者たちは、部分旗多様体の余接 bundle の等化 K-理論の類として K-理論的安定包膜を定義する。
• 固定点制限の分析に、等化局在およびモーメント写像の記述を用いる。
• 鍵となる技術的道具はニュートン多面体の性質である：三角関数的重み関数の評価の多面体は、対角的評価のそれらに埋め込まれる。
• 楕円的安定包膜は楕円的重み関数を用いて定義され、q→0 での極限において K-理論的ものに退化することが示された。
• R-行列およびベーテ代数を通じて、量子群表現理論と枠組みを結びつけ、離散的 Wronski 写像は重み空間への作用を記述する。

実験結果

リサーチクエスチョン

• RQ1 部分旗多様体の余接 bundle に対する K-理論的安定包膜は、重み関数を用いてどのように構成できるか？
• RQ2 q→0 における楕円的安定包膜と K-理論的安定包膜の間の明確な極限的関係は何か？
• RQ3 三角関数的重み関数の評価のニュートン多面体は、対角的評価のそれらに対して包含性を満たすか？
• RQ4 提案された楕円的安定包膜はアガナチクとオクウンコフのものと一致するか？
• RQ5 等化 K-理論のナカジマ多様体におけるベーテ代数作用は、離散的 Wronski 写像を用いて記述可能か？

主な発見

• K-理論的安定包膜が提案された楕円的安定包膜の q→0 における極限として得られることを示し、アガナチクとオクウンコフの予想を裏付けた。
• 三角関数的重み関数の評価のニュートン多面体が、それに対応する対角的評価のニュートン多面体に埋め込まれており、これにより K-理論的安定包膜への射影性が示された。
• 楕円的安定包膜は楕円的重み関数を用いて構成され、アガナチクとオクウンコフの構成と一致すると予想される。
• 三角関数的重み関数は、射影機構に不可欠な、ニュートン多面体の包含性に関する新しい性質を満たす。
• 重み空間の自己準同型代数におけるベーテ代数の像は、パラメータが λk を含むシフトによって関係づけられる離散的 Wronski 写像によって記述される。
• この構成により、安定包膜と量子ループ代数との間の関係が確立され、部分旗多様体の余接 bundle の等化 K-理論におけるベーテ代数作用が、離散的 Wronski 写像を介して記述された。