[論文レビュー] On one class of unipotent subgroups of semisimple algebraic groups

Boris Weisfeiler|ArXiv.org|May 15, 2000

Finite Group Theory Research参考文献 1被引用数 7

ひとこと要約

この論文は、任意の体上の単純代数群 G における単心部分群 H の正規化群 N_G(H) の単心根基が H そのものと一致するならば、N_G(H) は G のパラボリック部分群であることを確立する。証明はルート系の解析、ウェイリ群によるルートへの作用、およびボレルおよびパラボリック部分群の構造的性質に依拠し、最終的に H がパラボリック部分群の単心根基でなければならないことを示す。

ABSTRACT

This paper contains a complete proof of a fundamental theorem on the normalizers of unipotent subgroups in semisimple algebraic groups.

研究の動機と目的

• 任意の体上の単心代数群における単心部分群の正規化群に関する基本的構造的結果を証明すること。
• 単心部分群の正規化群がパラボリック部分群となる条件を確立すること。
• I.I. ピャテツキー＝シャピロが示唆した定理の完全な証明を提供すること。これは、単心リー群の離散部分群への応用を動機としている。
• 特に中心化群と単心根基の役割に関する以前の参照を明確化・是正すること。

提案手法

• N_N(H) = H であるような H を含む単心群 N に対して N = H であるという補題を用い、ボレル部分群の交わりの単心部が H に等しいことを示す。
• その交わりが最大トーラス T と単心部分群 N を含むような二つのボレル部分群 B と B' を構成し、N_N(H) = H であることから N = H を得る。
• B ∩ B' = TN であるという構造定理を適用し、T ⊆ N_G(H) を得る。
• ウェイリ群 Γ = N_S(T)/T がルート系 Σ に作用することを分析し、P_α ⊆ H ならばすべての σ ∈ Γ に対して P_α^σ ⊆ H であることを示す。
• すべての σ ∈ Γ に対して α^σ ∈ Σ⁺ となる正ルート α ∈ Σ⁺ に対応する根部分群 P_α から生成される部分群 N を定義し、補題を用いて N = H を証明する。
• 既知の結果（例：[2] より）を適用し、Z_G(T₁)N が単心根基 N をもつパラボリック群であることを示し、H = N であることから H がパラボリック部分群の単心根基であることが導かれる。

実験結果

リサーチクエスチョン

• RQ1 任意の体上の単心代数群における単心部分群の正規化群がパラボリック部分群である条件は何か？
• RQ2 ウェイリ群のルート系への作用が、再帰的部分群によって正規化される単心部分群の構造にどのように制約を加えるか？
• RQ3 N_G(H) の単心根基と N_G(H) のパラボリック構造との関係は何か？
• RQ4 単心パラボリック部分群の単心根基は、その正規化群の単心根基が自分自身と一致するような唯一の単心部分群として特徴づけられるか？
• RQ5 N_G(H) の再帰的部の中心の中心化群は、N_G(H) のパラボリック構造とどのように関係するか？

主な発見

• N_G(H) の単心根基が H と一致するならば、N_G(H) は G のパラボリック部分群である。
• G の最大トーラス T は N_G(H) に含まれるため、正規化群が最大トーラスを含むことが保証される。
• 単心部分群 H は、すべての σ ∈ Γ に対して α^σ ∈ Σ⁺ となる正ルート α に対応する根部分群 P_α によって生成される。
• このような P_α から生成される部分群 N は N_N(H) = H を満たし、補題より N = H であるため、H は正確にパラボリック部分群の単心根基である。
• Z_G(T₁)N は単心根基 N をもつパラボリック群であり、H = N であることから、H はパラボリック部分群の単心根基である。
• ヴィンバーグによる是正により、H ⊆ U（Z_G(T₁)B の単心根基）であり、N_U(H) = H であることから U = H であることが導かれ、H はパラボリック部分群の単心根基である。