[論文レビュー] From the Hecke Category to the Unipotent Locus

Minh-Tâm Quang Trinh|arXiv (Cornell University)|Jun 14, 2021

Advanced Algebra and Geometry参考文献 28被引用数 4

ひとこと要約

本稿は、再帰的群の単純部分多様体上の等加法的ボレル–ムーアホモロジーへのヘッケカテゴリのモノイダルトレースを構成し、一般化されたシュタインバーグスキームを介してコホノフスキー–ロザンスキーホモロジーを実現する。これは、ルスティグの特異フーリエ変換を用いて、Iwahori–Hecke代数に値をとる次数付きキャラクターへの脱カテゴリフィケーションを経て、型AにおけるトーラスリンクのHOMFLY多項式の恒等式を回復する。

ABSTRACT

Let $W$ be the Weyl group of a split semisimple group $G$. Its Hecke category $\mathsf{H}_W$ can be built from pure perverse sheaves on the double flag variety of $G$. By developing a formalism of generalized realization functors, we construct a monoidal trace from $\mathsf{H}_W$ to a category of bigraded modules over a certain graded ring: namely, the endomorphisms of the equivariant Springer sheaf over the unipotent locus of $G$. We prove that: (1) On objects attached to positive braids $β$, the output is the weight-graded, equivariant Borel-Moore homology of a generalized Steinberg scheme $\mathcal{Z}(β)$. (2) Our functor contains, as a summand, one used by Webster-Williamson to construct the Khovanov-Rozansky link invariant. In particular, the Khovanov-Rozansky homology of the link closure of $β$ is fully encoded in the Springer theory of $\mathcal{Z}(β)$. Decategorifying, we get a trace on the Iwahori-Hecke algebra, valued in graded virtual characters of $W$. We give a formula for it in terms of a pairing on characters of $W$ called Lusztig's exotic Fourier transform, which generalizes it to all finite Coxeter groups. Using this formula, we establish properties of the trace like rationality, symmetry, and compatibility with parabolic induction. We also show that on periodic braids, the trace produces the characters of explicit virtual modules over Cherendik's rational double affine Hecke algebra. For $W = S_n$, we recover an identity of Gorsky-Oblomkov-Rasmussen-Shende relating these modules to the HOMFLY polynomials of torus knots.

研究の動機と目的

• ヘッケカテゴリから単純部分多様体上の等加法的スプリンジャーシーブの自己準同型へのモノイダルトレースを構成すること。
• 正のブレードの完全なKhovanov–Rozanskyホモロジーを、一般化されたシュタインバーグスキームの重み付き等加法的ボレル–ムーアホモロジーとして実現すること。
• トレースを脱カテゴリフィケーションし、Iwahori–Hecke代数に値をとるキャラクター値トレースを得ることで、ゴミのマーキョフトレースをすべての有限コクセター群に一般化すること。
• 脱カテゴリフィケーションされたトレースの有理型、対称性、および放物的誘導との適合性を確立すること。
• 周期的ブレードにおけるトレースが、シェレンディクの有理型ダブルアフィンヘッケ代数の表現から得られるキャラクターを生成し、型AにおけるGorsky–Oblomkov–Rasmussen–Shendeのトーラスリンク恒等式を回復すること。

提案手法

• 先行研究におけるクロマトグラフィーの代わりに、一般化された実現ファンクターの形式的枠組みを構築し、HHH不変量の直接的な幾何的実現を可能にする。
• 単純部分多様体上のスプリンジャーシーブを用いて、重み付き二重次数付き環上の二重次数付きモジュールの圏へのヘッケカテゴリからのモノイダルトレースを構成する。
• 正のブレード $\beta$ に対して一般化されたシュタインバーグスキーム $\mathcal{Z}(\beta)$ を定義し、その等加法的ボレル–ムーアホモロジーが完全なHHHホモロジーを計算することを示す。
• ルスティグの特異フーリエ変換を用いて、脱カテゴリフィケーションされたトレースをWeyl群のキャラクター上のペアリングとして表現する。
• 周期的ブレードに形式的枠組みを適用し、トレースがシェレンディクの有理型ダブルアフィンヘッケ代数の表現を通じて因数分解されることを示す。
• Bezrukavnikov–YunおよびRiderのフォーマリティと重み構造に関する結果を活用し、混合幾何学との適合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 任意の正のブレード $\beta$ に対して、完全なKhovanov–Rozanskyホモロジーは、単純部分多様体上での $G$-多様体の1つとして、等加法的ボレル–ムーアホモロジーとして幾何的に実現可能か？
• RQ2 Iwahori–Hecke代数上の脱カテゴリフィケーションされたトレースは、キャラクター理論的データとしてどのように表現可能か？これはゴミのトレースを一般化するか？
• RQ3 周期的ブレードにおけるトレースと有理型DAHAの表現との関係は何か？
• RQ4 モノイダルトレースの構成は、放物的誘導を尊重し、対称性および有理型性の性質を示すか？
• RQ5 一般化された実現ファンクターの形式的枠組みは、HHH不変量の幾何的構成におけるクロマトグラフィーの代替として機能可能か？

主な発見

• 任意の正のブレード $\beta$ に対して、完全なHHHホモロジーは、一般化されたシュタインバーグスキーム $\mathcal{Z}(\beta)$ の重み付き等加法的ボレル–ムーアホモロジーとして実現される。
• モノイダルトレースはWebster–Williamsonファンクターを部分モジュールとして含み、$\mathcal{Z}(\beta)$ の幾何学に完全にKhovanov–Rozanskyリンク不変量を符号化する。
• 脱カテゴリフィケーションされたトレースは、ルスティグの特異フーリエ変換によるペアリングとして与えられ、すべての有限コクセター群に一般化される。
• トレースは有理的であり、対称的であり、キャラクター理論的解析により放物的誘導と適合することが示された。
• 周期的ブレードでは、トレースがシェレンディクの有理型DAHA上の仮想モジュールのキャラクターを生成し、型 $A_n$ におけるGorsky–Oblomkov–Rasmussen–Shendeのトーラスリンク恒等式を回復する。
• 本構成は、$\mathcal{Z}(\beta)$ とスプリンジャーシーブの幾何学を通じて、トーラスリンクのHOMFLY多項式の幾何的モデルを提供する。