[論文レビュー] Elliptic elements in a Weyl group: a homogeneity property

G. Lusztig|arXiv (Cornell University)|Jul 28, 2010

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

ひとこと要約

本稿では、再帰的代数群 $ G $ のワイル群 $ \mathbb{W} $ の任意の楕円型共軛類 $ C $ に対して、$ w \in C_{\min} $ かつ $ \gamma = \Phi(C) $ のとき、$ \gamma \times \mathcal{B} $ の対 $ (g,B) $ の集合 $ \mathfrak{B}^\gamma_w $ が $ G $-軌道として単一であることを確立する。この証明は、古典的型については個別ケース解析を、例外型については CHEVIE を用いた計算支援による検証とグリーン関数を用いるものであり、楕円型元の正則性の性質を確認している。

ABSTRACT

Let G be a reductive group over an algebraically closed field whose characteristic is not a bad prime for G. Let w be an elliptic element of the Weyl group which has minimal length in its conjugacy class. We show that there exists a unique unipotent class X in G such that the following holds: if V is the variety of pairs consisting of an element g in X and a Borel subgroup B such that B,gBg^{-1} are in relative position w, then V is a homogeneous G-space.

研究の動機と目的

• 再帰的代数群のワイル群における楕円型共軛類の正則性の性質を確立すること。
• $ w \in C_{\min} $ かつ $ \gamma = \Phi(C) $ のとき、多様体 $ \mathfrak{B}^\gamma_w $ が単一の $ G $-軌道であることを証明すること。ここで $ C \in \underline{\mathbb{W}}_{el} $ である。
• 有限個の軌道に既知の結果を拡張して、楕円型の場合に単一の軌道であるというより強い主張を示すこと。
• 例外型群に対して、キャラクターテーブルとグリーン関数を用いて、計算的に結果を検証すること。

提案手法

• 古典的型における個別ケース解析：型 $ A $ は容易、型 $ C $ は中程度、型 $ B $ と $ D $ は複雑。
• 例外型の場合は、ヘッケ代数のキャラクターテーブルとグリーン多項式を用いた CHEVIE パッケージによる計算に還元する。
• 良好および不良特性におけるグリーン関数の使用。ゲックによる正しさの証明を確認済み。
• リー型有限群における固定点数え上げを応用し、軌道のサイズを比較して集合の同一性を導出する。
• $ G $-不変多様体 $ \mathfrak{B}^\gamma_w $ の構成と、フロベニウス準同型 $ F $ による $ F $-固定点の分析。
• 特に $ P^K_B $ と $ L $-作用を用いた、$ \mathfrak{B}^\gamma_w $ の構造の分析のためのレヴィ部分群と放物サブグループの使用。

実験結果

リサーチクエスチョン

• RQ1 $ C $ が楕円型共軛類であるとき、$ w \in C_{\min} $ かつ $ \gamma = \Phi(C) $ の場合に、$ \mathfrak{B}^\gamma_w $ が単一の $ G $-軌道をなすか？
• RQ2 $ \mathfrak{B}^\gamma_w $ の正則性の性質は、楕円型クラスを超えて拡張可能か？
• RQ3 $ \mathfrak{B}^\gamma_w $ とその $ F $-固定点の次元は、$ \underline{l}(w) $、$ \mu(w) $、$ \dim \gamma $ などの不変量とどのように関係するか？
• RQ4 グリーン関数とキャラクターテーブルは、例外型群における軌道構造の検証にどのような役割を果たすか？

主な発見

• 任意の楕円型共軛類 $ C \in \underline{\mathbb{W}}_{el} $ に対して、$ w \in C_{\min} $ かつ $ \gamma = \Phi(C) $ のとき、集合 $ \mathfrak{B}^\gamma_w $ は単一の $ G $-軌道である。
• $ \mathfrak{B}^\gamma_w $ の次元は $ \frac{1}{2}(\dim G_{ad} + \dim \gamma - \mu(w) + \underline{l}(w)) $ であり、単一軌道 $ Z $ の次元と一致する。
• $ \mathfrak{B}^\gamma_w $ の $ F $-固定点の数は $ |G_{ad}^F| q^{-(1/2)(\dim G_{ad} - \dim \gamma - \mu(w) - \underline{l}(w))} (q-1)^{-\mu(w)} $ で与えられ、単一軌道 $ Z^F $ のサイズと一致する。
• 例外型群では、CHEVIE、グリーン多項式、キャラクターテーブルを用いた計算により、結果が検証され、軌道数の一致が確認された。
• 証明から、$ g \in \gamma $ の中心化群 $ Z(g) $ による作用の下で $ \mathcal{B}_g^w $ が単一の軌道であることが示唆される。
• この結果はすべての型に一様に成り立ち、証明におけるケース分けは性質の失敗を示すものではなく、構造的複雑性を反映している。