[論文レビュー] Quasi-isolated elements in reductive groups

Cédric Bonnafé|arXiv (Cornell University)|Feb 17, 2004

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

ひとこと要約

この論文は、代数閉体上での再帰的代数群における準孤立半単純元を定義し分類し、それらを孤立元から区別する。その根拠は、その中心化子が適切なパラボリック部分群のレヴィ部分群に含まれないかどうかの分析に基づく。主な貢献は、アフィン・ディンキン図を用いた分類であり、アドジョイント古典的および例外型群について明示的な表を提示している。その結果、準孤立元は非連結中心化子を有する可能性があり、特に導来群が卤純接でない場合には正規半単純元を含むことが明らかになった。

ABSTRACT

A semisimple element $s$ of a connected reductive group $G$ is said {\it quasi-isolated} (respectively {\it isolated}) if $C_G(s)$ (respectively $C_G^0(s)$) is not contained in a Levi subgroup of a proper parabolic subgroup of $G$. We study properties of quasi-isolated semisimple elements and give a classification in terms of the affine Dynkin diagram of $G$. Tables are provided for adjoint simple groups.

研究の動機と目的

• 再帰的代数群における準孤立半単純元を定義し、それらを孤立元から区別して研究すること。
• 群のアフィン・ディンキン図を用いて、このような元の分類を提供すること。
• 中心化子のワイル群とルート系の構造を分析することで、半単純元が準孤立である条件を同定すること。
• 古典的および例外型のアドジョイント単純群について、準孤立元の明示的表を構築すること。
• 導来群が単純接でない場合に特に顕著な、孤立元と準孤立元の違いを明確にすること。

提案手法

• 準孤立元を、その中心化子が適切なパラボリック部分群のレヴィ部分群に含まれない元として定義する。
• ワイル群の作用とルート系のデータを用いて、中心化子のワイル群に関する準孤立性の条件を特徴づける。
• 群 $ C_{\bf G}(s)/C_{\bf G}^{\rm \bullet}(s) \to A(s) $ が同型であるという事実を活用し、有限群の作用と分類を結びつける。
• アフィン・ディンキン図を用いて、ノードの部分集合による準孤立元の共役類のパラメトライゼーションを実行する。
• 各候補となる部分集合について、ルート系、ワイル群、中心化子の成分群を計算することで、アドジョイント古典的および例外型群の明示的表を構築する。
• 元 $ s $ が準孤立であるための必要十分条件として、$ W(s) $ が $ W $ の適切なパラボリック部分群に含まれないことを用いる。

実験結果

リサーチクエスチョン

• RQ1 再帰的群内の半単純元がいつ準孤立であるか、そしてそれが孤立である場合とどのように異なるか。
• RQ2 中心化子の構造とワイル群の性質から、半単純元の準孤立性をどのように特定できるか。
• RQ3 アドジョイント古典的および例外型群において、アフィン・ディンキン図のどの部分集合が準孤立元に対応するか。
• RQ4 準孤立元が非連結中心化子を有することは可能か、その場合の条件は何か。
• RQ5 成分群 $ A(s) $ の位数と元 $ s $ の準孤立性の関係は何か。

主な発見

• 準孤立元とは、中心化子のワイル群 $ W(s) $ が、全体のワイル群 $ W $ のいかなる適切なパラボリック部分群にも含まれないような元である。
• 元が孤立であるための必要十分条件は、$ \text{rank}(\text{中心化子}) = \text{rank}(\text{群}) $、すなわち $ |\nabla(s)| = |\nabla| $ であることであるが、これは準孤立性には必要ではない。
• 正規半単純元（中心化子が最大トーラスであるもの）が準孤立である例が存在する。これは、体の標数で $ n $ が可逆である場合の $ \text{PGL}_n $ で示された。
• $ \text{PGL}_n $ において、$ \text{diag}(1, \rho, \rho^2, \dots, \rho^{n-1}) $ に対応する元 $ s $ で $ \rho^n = 1 $ であるものは、準孤立だが孤立ではなく、$ |A(s)| = n $ である。
• $ B_n $、$ C_n $、$ D_n $ 型では、分類は $ n $ の偶奇と標数 $ p $ に依存し、$ p \ne 2 $ が非自明な成分群を持つための重要な条件である。
• $ E_6 $ および $ E_7 $ では、表から、たとえば $ E_6 $ の $ \text{type } \text{D}_4 $ のような一部の準孤立元は孤立ではなく、$ |A(s)| = 3 $ であり、特定のケースでは $ p \ne 3 $ が必要であることが示された。