[論文レビュー] Adjoint Jordan Blocks

George J. McNinch|ArXiv.org|Jun 28, 2002

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

ひとこと要約

この論文は、非常に良い特性を持つ類似単純代数群において、位数 $ p $ のユニポテンツ要素に対して、その対応するリーダーリング代数要素のアドジョイントジョルダンブロック分割が同一であることを確立する。古典的群および $ G_2 $ に関しては、ユニポテンツ要素の位数に制限なく、この同一性が成り立つ。これはテンソル積の比較とフォスümの定理の新証明を用いる。

ABSTRACT

Let G be a quasisimple algebraic group over an algebraically closed field of characteristic p>0. We suppose that p is very good for G; since p is good, there is a bijection between the nilpotent orbits in the Lie algebra and the unipotent classes in G. If the nilpotent X in Lie(G) and the unipotent u in G correspond under this bijection, and if u has order p, we show that the partitions of ad(X) and Ad(u) are the same. When G is classical or of type G_2, we prove this result with no assumption on the order of u. In the cases where u has order p, the result is achieved through an application of results of Seitz concerning good A_1 subgroups of G. For classical groups, the techniques are more elementary, and they lead also to a new proof of the following result of Fossum: the structure constants of the representation ring of a 1-dimensional formal group law F are independent of F.

研究の動機と目的

• 代数群のアドジョイント表現におけるユニポテンツ要素とノルム要素のジョルダンブロック分割の対応を確立すること。
• この対応を $ p $-ノルム要素のケースに限らず、古典的群および $ G_2 $ にまで拡張し、ユニポテンツ要素の位数に依存しない形で成立させること。
• 1次元形式的群法則の選択に依存しない表現環の構造定数の独立性に関するフォスümの結果の新証明を提供すること。
• 正標数におけるアドジョイント表現の構造を、ウェイル群の作用およびカルタン部分代数上の固有値データと関連付けること。
• $ \mathfrak{sl}_2 $-トリプルと重み付き加群を用いて、正則ノルム要素に関するコスタントの結果をより広いクラスのノルム要素へ一般化すること。

提案手法

• 非常に良い特性におけるユニポテンツ要素のアドジョイント作用を分析するために、セイツの $ A_1 $-型良い部分群に関する結果を用いる。
• ノルム軌道とユニポテンツ類を結ぶ $ p $ 乗写像を保存するスプリンガー同型写像 $ \theta: \mathcal{N} \to \mathcal{U} $ を適用する。
• $ \mathfrak{sl}_2 $-トリプルを用いてリーダーリング代数を既約表現に分解し、対応するウェイル群要素の作用を分析する。
• 古典的群において、群的およびリーダーリング代数的テンソル積を比較し、 $ \operatorname{Ad}(u) $ と $ \operatorname{ad}(X) $ の構造を関連付ける。
• ウェイル群の不変量に関するシェヴァレーの定理を用い、ウェイル群作用の固有値を $ \operatorname{ad}(X) $ のジョルダンブロックサイズに関連付ける。
• ノルム軌道からウェイル群の共轭類へのカジダン＝ルシュティグ写像を適用し、それがジョルダンブロック構造と整合するかを検討する。

実験結果

リサーチクエスチョン

• RQ1 ユニポテンツ要素 $ u $ とその対応するノルム要素 $ X $ のアドジョイントジョルダンブロック分割が一致する条件は何か？
• RQ2 古典的群および $ G_2 $ において、ユニポテンツ要素の位数に制限なく、分割の同等性は成り立つか？
• RQ3 古典的群に用いられた技法は、表現環定数が形式的群法則の選択に依存しないというフォスümの定理の新証明をもたらすか？
• RQ4 カルタン部分代数上で作用する正則ウェイル群要素の固有値が、ノルム要素 $ X $ に対する $ \operatorname{ad}(X) $ のジョルダンブロック構造をどの程度特定するか？
• RQ5 ウェイル群固有値データを用いて、正則ノルム要素に関するコスタントの結果を非正則ノルム要素へ一般化できるか？

主な発見

• 非常に良い特性を持つ類似単純代数群において、$ u $ が位数 $ p $ のユニポテンツ要素で、$ X $ が対応する $ p $-ノルム要素であるとき、$ \operatorname{Ad}(u) $ と $ \operatorname{ad}(X) $ は同じジョルダンブロック分割を持つ。
• 古典的群および $ G_2 $ においては、$ u $ の位数に制限なく、分割の同等性が成り立つ。これは $ p $-ノルム要素のケースを超えて結果を拡張する。
• 群的およびリーダーリング代数的テンソル積の比較法により、フォスümの定理の新証明が得られる：1次元形式的群法則の表現環の構造定数は、形式的群法則の選択に依存しない。
• 関連する $ \mathfrak{sl}_2 $-トリプルが $ \mathfrak{g}(-2n) $ で正則半単純要素を生成するノルム要素 $ X $ に対して、アドジョイント作用 $ \operatorname{ad}(X) $ のジョルダンブロックサイズは $ 2f_i + 1 $ である。ここで $ f_i \equiv -e_i \pmod{n} $ であり、$ e_i $ はウェイル群の指数である。
• カジダン＝ルシュティグ写像を介して $ X $ に関連するウェイル群要素の固有値は、$ \operatorname{ad}(X) $ のジョルダンブロックサイズのうち $ r $ 個を説明する。ここで $ r $ は群のランクである。
• 経験的証拠から、正則ウェイル群共轭類を持つ特徴的なノルム要素に対して、固有値データは依然として $ r $ 個のジョルダンブロックサイズを特定するが、一般化された証明は未解決のままである。