[論文レビュー] Introduction to the Alexandru Conjecture

Pierre-Yves Gaillard|arXiv (Cornell University)|Mar 12, 2000

Finite Group Theory Research被引用数 3

ひとこと要約

本稿は、実再帰的リー群の文脈におけるハリシュ＝チャンドラモジュールに対するカジダン＝ルスティグ理論の類似物としてのアレクサンドル予想を提示する。BGGカテゴリ $ \mathcal{O} $ の結果——例えば射影被覆、Ext多項式、グロテンディーク群の関係——を、形式的 $ Z $-代数構造を用いてハリシュ＝チャンドラモジュールの設定に拡張する。類似する性質、たとえば多項式不変量や自己準同型代数が $ \mathbb{C} $ であるカテゴリ的に定義されたモジュールを予想する。主な貢献は、デロームおよびカジダン＝ルスティグ＝ヴォーゲン多項式を一般化する新しい多項式 $ \widetilde{a}_{ij} $ を用いた、Ext代数の計算のための予想的枠組みの構築である。

ABSTRACT

Is a Verma module transformed into another Verma module by a selfequivalence? The answer is affirmative and the proof suggests a notion of standard object in the category of Harish-Chandra modules that coincides often, but not always, with the usual one.

研究の動機と目的

• BGGカテゴリ $ \mathcal{O} $ の構造的定理——例えば射影被覆やExt多項式——を、実再帰的リー群のハリシュ＝チャンドラモジュールの設定に拡張すること。
• 形式的 $ Z $-代数 $ A $（ここで $ Z = \mathbb{C}[[z_1,\dots,z_r]] $）を用いたハリシュ＝チャンドラモジュールの表現論の予想的枠組みを構築すること、かつ $ A $-モジュールが有限次元であること。
• カテゴリ $ \mathcal{O} $ におけるグロテンディーク群の関係やExt多項式の恒等式を、ハリシュ＝チャンドラ設定に一般化すること、特にデローム型級数と多項式不変量の使用を通じて。
• 単純モジュールのExt代数の精密な構造を提案し、それが $ \widetilde{d}_k \widetilde{a}_{ki} \widetilde{a}_{kj} $ の和として分解されることを予想する。ここで $ \widetilde{a}_{ij} $ はラングランズパラメータおよびカジダン＝ルスティグ＝ヴォーゲン多項式によって定義される。

提案手法

• $ A $ を $ \mathcal{H}_\rho \simeq A\text{-df} $ を満たす完全かつ有限生成な $ Z $-代数と定義する。ここで $ \mathcal{H}_\rho $ は自明な無限小特性を持つハリシュ＝チャンドラモジュールのカテゴリである。
• 単純 $ A $-モジュール $ L_i $ の射影被覆 $ P_i $ を構成し、$ M_i = A e_i / \sum_{j > i} A e_j A e_i $ を定義する。これはカテゴリ $ \mathcal{O} $ のヴェルマモジュール構成を模倣する。
• $ \widetilde{a}_{ij}(t) = t^{\widetilde{\ell}(j) - \widetilde{\ell}(i)} \widetilde{p}_{ij}(t^{-2}) $ を導入する。ここで $ \widetilde{p}_{ij} $ はカジダン＝ルスティグ＝ヴォーゲン多項式であり、$ \widetilde{\ell}(i) $ は $ i $ に対応する $ K_{\mathbb{C}} $-軌道の複素次元である。
• $ \widetilde{d}_i = (1 - t^2)^{\dim \mathfrak{a}_i} $ を定義する。これはパラボリック部分代数 $ \mathfrak{p}_i $ のラングランズ分解に依存する補正因子である。
• $ \mathop{\rm Ext}^\bullet(L_i, L_j) $ のポincare級数が $ \sum_k \widetilde{d}_k \widetilde{a}_{ki} \widetilde{a}_{kj} $ に等しいと予想する。これはカテゴリ $ \mathcal{O} $ の結果を一般化する。
• $ i \leq j $ が $ \ell(j) = \ell(i) + 1 $ かつ $ \mathop{\rm Ext}^1(L_j, L_i) \neq 0 $ を満たすとき、索引集合 $ I $ 上の順序 $ \leq $ を定義し、予想的理論の順序集合構造を定義する。

実験結果

リサーチクエスチョン

• RQ1 BGGカテゴリ $ \mathcal{O} $ の構造的定理——例えば射影被覆の記述やExt多項式の恒等式——は、実再帰的群のハリシュ＝チャンドラモジュールの設定に拡張可能だろうか？
• RQ2 $ \mathcal{H}_\rho \simeq A\text{-df} $ を満たし、$ A $ が $ Z = \mathbb{C}[[z_1,\dots,z_r]] $ 上で完全かつ有限型で、$ A $ がその根基を modulo として可換であるような、標準的な $ Z $-代数 $ A $ が存在するだろうか？
• RQ3 カテゴリ $ \mathcal{O} $ におけるグロテンディーク群の関係、たとえば $ \boldsymbol{L}_y = \sum_x a_{x,y}(-1) \boldsymbol{M}_x $ は、$ \overline{M}_i $ と $ a_{ij} $ を用いてハリシュ＝チャンドラ設定に正当な類似物を持つだろうか？
• RQ4 単純ハリシュ＝チャンドラモジュールのExt代数は、$ \widetilde{d}_k \widetilde{a}_{ki} \widetilde{a}_{kj} $ の和として表現可能だろうか？ここで $ \widetilde{a}_{ij} $ はラングランズパラメータおよびカジダン＝ルスティグ＝ヴォーゲン多項式によって定義される。
• RQ5 簡約化された射影被覆 $ \overline{M}_i $ の自己準同型代数は、カテゴリ $ \mathcal{O} $ の場合と同様に $ \mathbb{C} $ に等しいだろうか？

主な発見

• 予想的モジュール $ M_i = A e_i / \sum_{j > i} A e_j A e_i $ は $ \mathop{\rm End}_A(M_i) = \mathbb{C} $ を満たし、カテゴリ $ \mathcal{O} $ の定理2を一般化する。
• グロテンディーク群の関係 $ \boldsymbol{L}_j = \sum_i a_{ij}(-1) \overline{\boldsymbol{M}}_i $ が予想され、ここで $ a_{ij} $ は $ \mathop{\rm Ext}_A^\bullet(M_i, L_j) $ のポincare級数である。
• 予想における多項式 $ p_{ij} $ は、$ i < j $ に対して $ \deg p_{ij} < (\ell(j) - \ell(i))/2 $ を満たし、$ p_{ii} = 1 $ である。これはカジダン＝ルスティグ多項式の性質を模倣する。
• 単純モジュールのExt代数は $ SP\, \mathop{\rm Ext}_A^\bullet(L_i, L_j) = \sum_k a_{ki} a_{kj} $ を満たす。これはカテゴリ $ \mathcal{O} $ の定理5の直接的な類似である。
• $ G $ と $ K $ が同じランクを持つという仮定の下で、$ SP\, \mathop{\rm Ext}_A^\bullet(L_i, L_j) = \sum_k \widetilde{d}_k \widetilde{a}_{ki} \widetilde{a}_{kj} $ という予想が提示される。ここで $ \widetilde{d}_i = (1 - t^2)^{\dim \mathfrak{a}_i} $ かつ $ \widetilde{a}_{ij} = t^{\widetilde{\ell}(j) - \widetilde{\ell}(i)} \widetilde{p}_{ij}(t^{-2}) $ である。
• $ \overline{M}_i $ を $ M_i / \text{rad}(\mathop{\rm End}_A M_i) \cdot M_i $ として構成し、$ \mathop{\rm End}_A(\overline{M}_i) = \mathbb{C} $ であると予想する。これは定理2を一般化する。