[論文レビュー] Combinatorics of the Springer correspondence for classical Lie algebras and their duals in characteristic 2

Ting Xue|arXiv (Cornell University)|Nov 6, 2009

Advanced Algebra and Geometry参考文献 11被引用数 6

ひとこと要約

本稿は、特異的特徴2の古典的リー代数型B、C、Dおよびその双対について、LusztigとSpaltensteinの奇数特徴および偶数特徴におけるものと同じ組合せ的枠組みを用いて、統一的な組合せ的記述を提供する。この記述により、リー代数、その双対、および対応するワイル群表現における対応の閉形式の公式が確立され、特徴2における理論における長年の空白が解消される。

ABSTRACT

We give a combinatorial description of the Springer correspondence for classical Lie algebras $\mathfrak{g}$ of type $B,C$ or $D$ and their duals $\mathfrak{g}^*$ in characteristic 2. The combinatorics used here is of the same kind as those appearing in the description of (generalized) Springer correspondence for unipotent case of classical groups $G$ by Lusztig in odd characteristic and by Lusztig and Spaltentstein in characteristic 2. It is very nice that this combinatorics gives a unified description for (generalized) Springer correspondences of classical groups in all cases, namely, in $G$, $\mathfrak{g}$ and $\mathfrak{g}^*$ in all characteristics. Moreover, it gives rise to close formulas for computing the correspondences.

研究の動機と目的

• 特徴2における型B、C、Dの古典的リー代数およびその双対へのスプリンガー対応の拡張。
• 奇数特徴におけるLusztigの研究および特徴2におけるLusztig–Spaltensteinの研究に類似した、閉形式の組合せ的記述の提供。
• すべての特徴、特に特徴2において、G、𝔤、𝔤*の一般化されたスプリンガー対応を1つの組合せ的枠組みで統一的に記述すること。
• 古典的群における特徴2におけるスプリンガー対応の明示的公式の欠如を解消すること。

提案手法

• 本稿は、LusztigとSpaltensteinが用いたのと同じ組合せ的道具を用いる。その根拠は、パラボリック部分群および中心化子の成分群に基づく。
• nilpotent元 $ x \in \mathfrak{g} $ をレヴィ部分代数 $ \mathfrak{l} $ 内の上への持ち上げに共役化する要素をパラメトライズする多様体 $ Y_{x,x'} $ を構成する。その次元の上限と成分数の数え上げが行われる。
• $ A_G(x) \times A_L(x') $ の $ Y_{x,x'} $ の既約成分への作用により、表現 $ \varepsilon_{x,x'} $ が得られ、その分解が対応を決定する。
• 特に $ A_G(x) $ が $ \mathbb{F}_2 $-ベクトル空間である場合に、誘導表現および成分群の作用を含む制限公式を通じて、対応が符号化される。
• 本稿は、誘導および特別表現論を用いて、$ \mathfrak{g} $ および $ \mathfrak{g}^* $ のノンポテン部分軌道とワイル群の既約表現との間の双対性を確立する。
• 特徴2における成分群の構造と誘導表現の構造を比較することにより、スプリンガー対応と一般化されたスプリンガー対応の整合性が示される。

実験結果

リサーチクエスチョン

• RQ1 特徴2における型B、C、Dの古典的リー代数のスプリンガー対応をどのように組合せ的に記述できるか？
• RQ2 すべての特徴、特に特徴2において、$ \mathfrak{g} $、$ \mathfrak{g}^* $、および $ G $ のスプリンガー対応を1つの組合せ的枠組みですべて統一的に記述できるか？
• RQ3 奇数特徴におけるものに類似した、特徴2におけるスプリンガー対応の閉形式の公式を導出できるか？
• RQ4 特徴2で古典的群であるとき、成分群 $ A_G(x) $ はスプリンガー対応において果たす役割は何か？
• RQ5 特徴2における $ G $、$ \mathfrak{g} $、$ \mathfrak{g}^* $ の一般化されたスプリンガー対応はどのように関係しているか？

主な発見

• 本稿は、特徴2における型B、C、Dの古典的リー代数およびその双対について、スプリンガー対応の閉形式の組合せ的記述を提供する。
• 対応は、奇数特徴におけるLusztigの研究および特徴2におけるLusztig–Spaltensteinの研究と同一の組合せ的枠組みを用いて構築され、すべてのケースにわたる統一が達成される。
• $ \mathfrak{g} $ および $ \mathfrak{g}^* $ のスプリンガー対応は、成分群上の誘導表現を含む制限公式を通じて、ワイル群の既約表現と双対性を持つことが示される。
• $ \mathfrak{g}^* $ に対しては、ノンポテン部分軌道の集合が、$ \mathfrak{g} $ の $ \mathcal{T}_{\mathbf{W}}^2 $ に類似した集合 $ \mathcal{T}_{\mathbf{W}}^{2*} $ と双対性を持つ。この $ \mathcal{T}_{\mathbf{W}}^{2*} $ はワイル群の位数の誘導に基づいて定義される。
• 表現 $ \varepsilon_{x,x'} $ が $ Y_{x,x'} $ の成分に作用するとき、その制限による期待される特徴値と一致することを示すことにより、スプリンガー対応と一般化されたスプリンガー対応の整合性が確立される。
• 成分群 $ A_G(x) $ および $ A_G(\xi) $ が $ \mathbb{F}_2 $-ベクトル空間であることが示され、その構造が商構成および基底元 $ \sigma_K $ を用いて対応を定義するために用いられる。