[論文レビュー] Wall-crossings and a categorification of $K$-theory stable bases of the Springer resolution

Changjian Su, Gufang Zhao+1 more|arXiv (Cornell University)|Apr 7, 2019

Algebraic structures and combinatorial models参考文献 40被引用数 5

ひとこと要約

本稿は、スプリンガー解体における$K$-理論的安定基底の壁越え作用素が、アフィンヘッケ代数におけるデマズール＝ルシュティグ作用素によって支配されることを確立し、正標数におけるヴェルマ加群によるこれらの基底のカテゴリフィケーションを証明する。さらに、壁越え行列が量子コホモロジーのモノドロミー行列と一致することを示し、シンプレクティック解体に関してベズルクヴァニコフとオクウンコフの予想を裏付ける。

ABSTRACT

We compare the $K$-theory stable bases of the Springer resolution associated to different affine Weyl alcoves. We prove that (up to relabelling) the change of alcoves operators are given by the Demazure-Lusztig operators in the affine Hecke algebra. We then show that these bases are categorified by the Verma modules of the Lie algebra, under the localization of Lie algebras in positive characteristic of Bezrukavnikov, Mirković, and Rumynin. As an application, we prove that the wall-crossing matrices of the $K$-theory stable bases coincide with the monodromy matrices of the quantum cohomology of the Springer resolution.

研究の動機と目的

• スプリンガー解体における異なるアラコーブに対応する$K$-理論的安定基底間の基底変換行列を特定すること。
• ベズルクヴァニコフ–ミルコビッチ–ルミニーンの局在化に従い、正標数におけるヴェルマ加群を用いた$K$-理論的安定基底のカテゴリフィケーションを確立すること。
• スプリンガー解体における$K$-理論的安定基底の壁越え行列が、その量子コホモロジーのモノドロミー行列と一致することを証明すること。
• 安定基底、ヘッケ代数、幾何的表現論の関係を、$K$-理論および正標数の設定へと拡張すること。

提案手法

• 畳み込みを用いたアフィンヘッケ代数の作用により、Iwahori不変量における標準的およびカスエルマン基底と安定基底を関連付ける。
• 正標数におけるリー代数の局在定理を応用し、ヴェルマ加群による$K$-理論的安定基底のカテゴリフィケーションを実現する。
• 固定点への制限と正規化および移動公式を用いた安定基底値の比較により、壁越え行列を計算する。
• 明示的な$A_2$ケースでの計算により、壁越えの代数的機構としてデマズール＝ルシュティグ作用素が裏付けられる。
• 量子接続および量子コホモロジーからのモノドロミーデータを用い、壁越え行列と比較する。
• 正規化および移動公式（例えば、(4)および(19)）を用い、安定基底要素の固定点への制限を明示的に計算する。

実験結果

リサーチクエスチョン

• RQ1 スプリンガー解体における$K$-理論的安定基底は、アラコーブの選択が変わるとどのように変化するか？
• RQ2 異なる$K$-理論的安定基底間の壁越えを支配する代数的構造は何か？
• RQ3 $K$-理論的安定基底は正標数における表現によってカテゴリフィケーション可能か？
• RQ4 $K$-理論的安定基底の壁越え行列は、量子コホモロジーのモノドロミー行列と一致するか？
• RQ5 ヴェルマ加群および正標数における局在化の観点から、安定基底に幾何的・表現論的解釈は可能か？

主な発見

• 異なるアラコーブに対する$K$-理論的安定基底間の壁越え作用素は、再ラベル化を除いてアフィンヘッケ代数におけるデマズール＝ルシュティグ作用素で与えられる。
• 正標数におけるベズルクヴァニコフ–ミルコビッチ–ルミニーン局在化のもとで、$K$-理論的安定基底はリー代数のヴェルマ加群によってカテゴリフィケーションされる。
• スプリンガー解体における$K$-理論的安定基底の壁越え行列は、正確にその量子コホモロジーのモノドロミー行列と一致する。
• $A_2$ケースでは、壁越え係数$f_{s_1s_2}^{ abla_2 o abla_1} = q^{1/2} - q^{-1/2}$であり、他の最長元に対しても同様である。
• 正規化および移動公式により、固定点への制限を明示的に計算可能となり、壁越え関係の検証が可能になる。
• 本結果は、シンプレクティック解体に関して、ベズルクヴァニコフとオクウンコフによるモノドロミー–安定基底対応の普遍性に関する予想を裏付ける。