[論文レビュー] On the Genus number of Algebraic groups

Anirban Bose|arXiv (Cornell University)|Mar 18, 2013

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

ひとこと要約

この論文は、代数閉体上での単連結単純代数群およびコンパクト単連結単純リー群に対して、半単純元の中心化群の共役類の数である種数番号を計算する。群の共役作用における軌道型とワイル群の安定化部分群との間の全単射を確立し、古典的群および $G_2$ や $F_4$ のような例外型に対して明示的な数え上げを導出し、再帰的群における種数番号がその半単純部と等しいことを示している。

ABSTRACT

We compute the number of orbit types for simply connected simple algebraic groups over algebraically closed fields as well as for compact simply connected simple Lie groups. We also compute the number of orbit types for the adjoint action of these groups on their Lie algebras. We also prove that the genus number of a connected reductive algebraic group coincides with the genus number of its semisimple part.

研究の動機と目的

• 単連結単純代数群およびコンパクトリー群がその半単純元に作用する共役作用における軌道型の数を特定すること。
• 古典的群および例外型 $G_2$ と $F_4$ に対して、半単純元の中心化群の共役類の数である種数番号を計算すること。
• 群 $G$ における中心化群の共役類とワイル群 $W$ の安定化部分群の共役類との間の全単射を確立すること。
• 連結再帰的代数群の種数番号が、その半単純成分の種数番号と一致することを証明すること。
• リー代数への随伴作用を分析することで、再帰的群における軌道型の理解を拡張すること。

提案手法

• 最大トーラス $T$ 上のワイル群作用を用いて、安定化部分群 $W_x$ を通じて軌道型を分類する。
• 群の共役作用および正規化部分群の構造を用いて証明された、中心化群の共役類 $[Z_G(x)]$ とワイル群の安定化部分群 $[W_x]$ の間の全単射 $[Z_G(x)] \mapsto [W_x]$ を適用する。
• ワイル群の構造と $T$ への作用を用いて、半単純元のパrameter設定に応じた等方部分群を数える。
• 反射 $s$ に対する固定点集合 $T^s$ とその連結成分 $(T^s)^\circ$ を用いて中心化群の構造を分析する。
• コンパクトリー群理論および代数群理論の結果を適用し、特に単連結群における半単純元の中心化群の連結性を用いる。
• 古典的リー型 $A_n, B_n, C_n, D_n$ に対して、ワイル群の安定化部分群の分類を分割に基づき行い、分割関数 $p(n)$ を用いて軌道型の数を計算する。

実験結果

リサーチクエスチョン

• RQ1 単連結単純代数群がその半単純元に作用する共役作用における軌道型の数は何か？
• RQ2 再帰的群の種数番号は、その半単純成分の種数番号とどのように関係するか？
• RQ3 古典的および例外型に対して、群 $G$ のリー代数 $\mathfrak{g}$ への随伴作用における軌道型の明示的数え上げは何か？
• RQ4 ワイル群の安定化部分群は、群 $G$ における中心化群の共役類をどのように分類するか？
• RQ5 $G_2$ および $F_4$ に対して、リー代数への随伴作用における軌道型の数は何か？

主な発見

• 連結再帰的代数群の種数番号は、その半単純部の種数番号に等しい。
• $A_n$ に対しては、軌道型の数は $p(n+1)$ であり、$n+1$ の整数分割の数に等しい。
• $B_n$, $C_n$, および $n$ が奇数の $D_n$ に対しては、軌道型の数は $\sum_{i=0}^{n} p(n-i)$ に等しい。
• $D_n$ で $n=2k$ が偶数の場合、軌道型の数は $\sum_{i=0}^{n} p(n-i) + p(k)$ に等しく、ワイル群における非共役部分群を考慮した修正を加えている。
• $G_2$ の種数番号は 4 であり、$F_4$ の種数番号は 12 である。これはワイル群の安定化部分群の詳細な解析により得られた。
• 単連結群に対して全単射 $[Z_G(x)] \mapsto [W_x]$ が成り立つため、軌道型はワイル群作用を通じて分類可能である。