[論文レビュー] A homological study of Green polynomials

Syu Kato|arXiv (Cornell University)|Nov 20, 2011

Advanced Algebra and Geometry参考文献 2被引用数 10

ひとこと要約

本稿は、Kostka系——直線的関係をgraded拡張ペアによって符号するカテゴリカルな類似物——を介して、複素反射群のKostka多項式のホモロジー的枠組みを導入する。良い特性における一般化されたスプリンガー対応が常にKostka系を生じることを証明し、一般化されたスプリンガー層のねじれホモロジーのトップ項の生成と、graded拡張モジュールによるKostka多項式の帰納的計算アルゴリズムを可能にする。

ABSTRACT

We interpret the orthogonality relation of Kostka polynomials arising from complex reflection groups (c.f. [Shoji, Invent. Math. 74 (1983), J. Algebra 245 (2001)] and [Lusztig, Adv. Math. 61 (1986)]) in terms of homological algebra. This leads us to the notion of Kostka system, which can be seen as a categorical counter-part of Kostka polynomials. Then, we show that every generalized Springer correspondence [Lusztig, Invent. Math. 75 (1984)] (in good characteristic) gives rise to a Kostka system. This enables us to see the top-term generation property of the (twisted) homology of generalized Springer fibers, and the transition formula of Kostka polynomials between two generalized Springer correspondences of type $\mathsf{BC}$. The latter provides an inductive algorithm to compute Kostka polynomials by upgrading [Ciubotaru-Kato-K, Invent. Math. 178 (2012)] §3 to its graded version. In the appendices, we present purely algebraic proofs that Kostka systems exist for type $\mathsf{A}$ and asymptotic type $\mathsf{BC}$ cases, and therefore one can skip geometric sections §3--5 to see the key ideas and basic examples/techniques.

研究の動機と目的

• 複素反射群のKostka多項式のホモロジー代数的枠組みの構築を目的とする。
• Kostka多項式の直交性をgraded拡張ペアリングを通じたカテゴリカルな条件として解釈することを目的とする。
• 良い特性における一般化されたスプリンガー対応が自然にKostka系を生じることを示すこと。
• 一般化されたスプリンガー層の（ねじれ）ホモロジーのトップ項生成性を確立すること。
• 従来の未graded化手法をgraded設定にアップグレードする、gradedで帰納的なKostka多項式の計算アルゴリズムを提供すること。

提案手法

• 各々の $ w \in W $ を $ \deg w = 0 $、$ x \in \mathfrak{h}^* $ を $ \deg x = 2 $ として、$ A_W = π W \ltimes \mathbb{C}[\mathfrak{h}^*] $ と定義し、その有限生成graded加群の圏を考察する。
• gradedオイラー・ポワンカレペアリング $ \langle E, F \rangle_{\mathsf{gEP}} = \sum_i (-1)^i \mathsf{gdim}\, \mathrm{ext}^i_{A_W}(E,F) $ を $ \mathbb{Z}((t^{1/2})) $ 内で定義する。
• 単純なヘッド $ L_\chi $ を持つ分解不能graded加群 $ \{K_{\chi}^{\pm}\} $ をKostka系と定義し、特定のフィルトレーションおよび直交性条件を満たすものとする。
• フロベニウス・ナカヤマの双対性と最小射影分解を用いて、代数のテンソル積における $ \mathrm{ext}^i $-群を計算する。
• 反射表現の構造と $ S_\Gamma $-不変性を活用し、$ \mathrm{ext}^i $ および $ \langle K_{\bm{\lambda}}, L_{\bm{\mu}} \rangle_{\mathsf{gEP}} $ の消失条件を制御する。
• 良い特性における一般化されたスプリンガー対応がKostka系を生じることを証明し、graded拡張乗法的次数を通じたKostka多項式の帰納的計算を可能にする。

実験結果

リサーチクエスチョン

• RQ1 Kostka多項式の直交性は、ホモロジー代数の観点からどのように解釈できるか？
• RQ2 複素反射群のKostka多項式の背後にあるカテゴリカル構造は何か？
• RQ3 良い特性におけるすべての一般化されたスプリンガー対応がKostka系を生じるか？
• RQ4 一般化されたスプリンガー層の（ねじれ）ホモロジーのトップ項生成性は、Kostka系から導けるか？
• RQ5 従来の未graded化手法をgraded設定にアップグレードする、gradedで帰納的なKostka多項式の計算アルゴリズムは存在するか？

主な発見

• 良い特性におけるすべての一般化されたスプリンガー対応がKostka系を生じることにより、幾何的表現論とホモロジー代数との間の直接的な関係が確立される。
• 一般化されたスプリンガー層の（ねじれ）ホモロジーのトップ項生成性は、Kostka系の存在から導かれる。
• タイプ $ \mathsf{BC} $ のKostka多項式間の遷移公式は、Kostka系フレームワークから導出される。
• graded拡張ペアリング $ \langle K_{\bm{\lambda}}^+, (K_{\bm{\mu}}^-)^* \rangle_{\mathsf{gEP}} $ は、$ \chi^\vee \sim \eta $ でない限り消失する。これは直交性条件を確認する。
• タイプ $ \mathsf{A} $ および漸近的 $ \mathsf{BC} $ に対して、付録で幾何的構成を避ける完全に代数的なKostka系の存在証明が与えられる。
• $ \mathrm{ext}^1 $-消失および $ \mathsf{gEP} $-ペアリングの消失条件から、$ \{K_{\bm{\lambda}}\} $ が $ Z^{r,s}_n $ に関する $ \mathcal{P} $-トレースをなすことが示され、Kostka系構造が確認される。