[論文レビュー] Geometric representations of the formal affine Hecke algebra

Gufang Zhao, Changlong Zhong|arXiv (Cornell University)|Jun 5, 2014

Advanced Algebra and Geometry参考文献 20被引用数 5

ひとこと要約

この論文は、方向付きコホロジー理論を用いて形式的アフィンヘッケ代数の幾何的実現を確立し、Steinberg多様体上の畳み込みを通じて、スプリンガー層のコホロジーへの作用を示している。主な結果は、ルスティグの $K$-理論的作用を任意の方向付きコホロジーに一般化し、留数構成によって古典的および一般化されたコホロジー的実現を統一する。

ABSTRACT

For any formal group law, there is a formal affine Hecke algebra defined by Hoffnung, Malagón-López, Savage, and Zainoulline. Coming from this formal group law, there is also an oriented cohomology theory. We identify the formal affine Hecke algebra with a convolution algebra coming from the oriented cohomology theory applied to the Steinberg variety. As a consequence, this algebra acts on the corresponding cohomology of the Springer fibers. This generalizes the action of classical affine Hecke algebra on the $K$-theory of the Springer fibers constructed by Lusztig. We also give a residue interpretation of the formal affine Hecke algebra, which coincides with the residue construction of Ginzburg, Kapranov, and Vasserot when the formal group law comes from a 1-dimensional algebraic group.

研究の動機と目的

• アフィンヘッケ代数のスプリンガー層へのルスティグの $K$-理論的作用を、任意の方向付きコホロジー理論に一般化すること。
• 形式的アフィンヘッケ代数を、Steinberg多様体の $G \times \mathbb{G}_m$-等配方向付きコホロジーにおける畳み込み代数として構成すること。
• 形式的アフィンヘッケ代数の留数的解釈を提供し、ジンツブルグ–カプラノフ–ヴァッサロートの構成を拡張すること。
• 形式的アフィンヘッケ代数がスプリンガー層のコホロジーに作用する幾何的構成を確立し、正の部分のワイル群不変量による商を通じて因数分解されること。

提案手法

• 形式的アフィンヘッケ代数は、$G \times \mathbb{G}_m$-作用の下での $Z = \widetilde{\mathcal{N}} \times_{\mathcal{N}} \widetilde{\mathcal{N}}$ としてのSteinberg多様体の等配方向付きコホロジーとして実現される。
• 理論の公理に適合する押し出しと引き戻しを用いた、等配方向付きコホロジーにおける畳み込み積を用いて代数構造を定義する。
• Steinberg多様体内の対応に沿ったプッシュプル操作を通じて、代数 $A(\mathcal{B}_x)$、つまりスプリンガー層のコホロジーへの作用を構成する。
• 構造定理により、$\mathbf{H}_F$ は $ (S/S^W_+) \rtimes R[W] $ として半直積として特定され、ここで $S$ は形式的群代数、$R$ は係数環である。
• 留数解釈が提供され、1次元の形式的群法則に対してジンツブルグ–カプラノフ–ヴァッサロートの構成を一般化する。
• 作用は $\mathbf{H}_F / (S^W_+)$ を通じて因数分解され、中心化子 $G_x$ の成分群 $C_x$ の作用と可換である。

実験結果

リサーチクエスチョン

• RQ1 形式的アフィンヘッケ代数は、任意の方向付きコホロジー理論における畳み込み代数として幾何的に実現可能か？
• RQ2 形式的アフィンヘッケ代数は、スプリンガー層のコホロジーに、ルスティグの $K$-理論的作用を一般化する形で作用するか？
• RQ3 ジンツブルグ–カプラノフ–ヴァッサロートの留数構成は、一般の形式的群法則へどのように拡張されるか？
• RQ4 形式的アフィンヘッケ代数の標準的モジュールの構造は、コホロロジー的データの観点からどのように記述されるか？
• RQ5 形式的アフィンヘッケ代数の既約表現は、正の特性におけるワイル群の表現とどのように関係するか？

主な発見

• 形式的アフィンヘッケ代数 $\mathbf{H}_F$ は、$Z$ をSteinberg多様体とする畳み込み代数 $A_{G \times \mathbb{G}_m}(Z)$ に同型である。
• 代数 $\mathbf{H}_F$ は、スプリンガー層 $\mathcal{B}_x$ の方向付きコホロジー $A(\mathcal{B}_x)$ に作用し、$\mathbf{H}_F / (S^W_+)$ を通じて因数分解される。
• この作用は、成分群 $C_x$ の作用と可換であり、ルスティグの $K$-理論的結果を一般化する。
• 係数体 $k_\chi$ が特性0であるとき、$\mathbf{H}_F$ の既約表現はデリーニュ–ラングランズ–ルスティグの文字式によって分類される。
• $A(\mathcal{B}_x) \otimes_R k_\chi$ の同型成分 $A_{x,\chi,\nu}$ は、一意な既約商 $L_{x,\chi,\nu}$ を持ち、これらが $\mathbf{H}_F$-モジュールとしての既約 $\mathbf{H}_F$-モジュールである。
• 正の特性では、既約表現が $k_\chi[W]$ の表現に対応するが、$A(\mathcal{B}_x)$ におけるジョルダン–ホルダーの重複度は未解決のままである。