[論文レビュー] Spherical Nilpotent Orbits in Positive Characteristic

Russell Fowler, Gerhard Roehrle|ArXiv.org|Aug 7, 2007

Mathematics and Applications被引用数 3

ひとこと要約

この論文は、特徴が正の素数 p である代数閉体上での再帰的代数群のリー代数における球的ノンポテンシャル軌道を分類する。p が群に対して良いと仮定する。Kempf–Rousseau理論と関連するコアキシマルを用いて、ノンポテンシャル軌道が球的であるための必要十分条件は、ノンポテンシャル元の高さが 3 以下であることであることを示す。これはPanyushev（1994）による特徴がゼロの分類と一致する。結果は古典的および例外型群にわたって一様に成り立ち、直交代数については明示的な解析が行われ、例外型については計算的検証がなされている。

ABSTRACT

Let G be a connected reductive linear algebraic group defined over an algebraically closed field of characteristic p. Assume that p is good for G. In this note we classify all the spherical nilpotent G-orbits in the Lie algebra of G. The classification is the same as in the characteristic zero case obtained by D.I. Panyushev in 1994: for e a nilpotent element in the Lie algebra of G, the G-orbit G.e is spherical if and only if the height of e is at most 3.

研究の動機と目的

• 代数閉体上での再帰的代数群のリー代数における球的ノンポテンシャル軌道を分類すること。
• D.I. Panyushevの1994年における特徴がゼロの球的ノンポテンシャル軌道の分類を、良い正の特徴の場合に拡張すること。
• 古典的手法（例：一般位置における安定化子）が正の特徴で失敗するにもかかわらず、ノンポテンシャル元の高さが 3 以下であることが、球的性の完全な不変量であることを確立すること。
• 同次空間の複雑性、関連コアキシマル、およびリー部分群によるリー代数の順次成分への作用を用いた、新しい手法の構築。

提案手法

• Kempf–Rousseau理論を用いて、リー部分群 L がリー代数 g の順次成分 ⊕_{i≥2} g(i,λ) に作用する複雑性を分析し、ノンポテンシャル軌道の複雑性を解析する。
• ノンポテンシャル元 e の関連コアキシマル λ を用いて g に Z-順次構造を定義し、e の高さをこの順次構造における最大次数として定義する。
• ファイバー束の技法とパラボリック部分群の構造を活用して、G-軌道 G·e の複雑性を L が ⊕_{i≥2} g(i,λ) に作用する複雑性に還元する。
• 重み付きダイキン図と根系の分解を用いて、パラボリック部分群の単元部分群に Borel部分群が作用する様子を解析する。
• 高さ 2 の軌道では複雑性が 0（したがって球的）であることを証明するが、高さ ≥4 の軌道では複雑性が正（したがって球的でない）であることを示す。
• 高さ 3 の軌道については、直交代数（so_{2n+1}, so_{2n}）における詳細な根系解析を行い、例外型群では S.M. Goodwin のプログラムによる計算的検証を実施する。

実験結果

リサーチクエスチョン

• RQ1 特徴がゼロの球的ノンポテンシャル軌道の分類が、G に対して良い素数 p を持つ正の特徴に拡張可能か？
• RQ2 関連コアキシマルを用いて定義されるノンポテンシャル元の高さが、正の特徴においても球的性の完全な不変量として機能するか？
• RQ3 古典的手法（例：一般位置における安定化子）が正の特徴でなぜ失敗するのか。また、分類を可能にする代替枠組みは何か？
• RQ4 Borel部分群がノンポテンシャル軌道に作用する際の複雑性は、関連順次リー代数成分の構造とどのように関係するか？
• RQ5 リー部分群 L 及びその ⊕_{i≥2} g(i,λ) への作用が、球的性を決定づける際に果たす正確な役割は何か？

主な発見

• 良い正の特徴における球的ノンポテンシャル G-軌道は、ノンポテンシャル元 e が高さ 3 以下であるものに限る。
• 高さ 2 のノンポテンシャル軌道では、Borel作用の複雑性が 0 であり、球的性が確認される。
• 高さが 4 以上のノンポテンシャル軌道では、複雑性が正であるため、球的ではない。
• 直交リー代数では、高さ 3 のノンポテンシャル軌道は [1^{2s+1}, 2^{2r}, 3] の形の分割に対応し、2r + s + 2 = n を満たすものであり、これらはすべて球的である。
• 例外型群では、高さ 3 の球的軌道が S.M. Goodwin のソフトウェアを用いた計算的検証により確認され、一般分類が裏付けられた。
• G-軌道 G·e の複雑性は、L が ⊕_{i≥2} g(i,λ) に作用する複雑性に等しく、分類の議論における重要な還元が達成された。