[論文レビュー] Weyl groups of fine gradings on simple Lie algebras of types A, B, C and D

Alberto Elduque, Mikhail Kochetov|arXiv (Cornell University)|Sep 16, 2011

Advanced Topics in Algebra参考文献 7被引用数 4

ひとこと要約

この論文は、特徴値 ≠ 2 の代数的に閉じた体上の型 A, B, C, D（D₄ を除く）の単純リー代数におけるすべての細分類のウェイル群を計算する。行列代数における細分類 φ-分類と [BK10] の転送技術を用いて、自己同型群の商としてウェイル群を特定し、明示的な同型を導出する：型 B に対しては W(Γ) ≅ Sym(q) × (Z₂^s ⋊ Sym(s))；型 C および D に対しては W(Γ) ≅ ((T^{q+s−1} × Z₂^s) ⋊ (Sym(Σ) × Sym(s))) ⋊ Aut(Σ)。

ABSTRACT

Given a grading on a nonassociative algebra by an abelian group, we have two subgroups of automorphisms attached to it: the automorphisms that stabilize each homogeneous component (as a subspace) and the automorphisms that permute the components. By the Weyl group of the grading we mean the quotient of the latter subgroup by the former. In the case of a Cartan decomposition of a semisimple complex Lie algebra, this is the automorphism group of the root system, i.e., the so-called extended Weyl group. A grading is called fine if it cannot be refined. We compute the Weyl groups of all fine gradings on simple Lie algebras of types A, B, C and D (except D4) over an algebraically closed field of characteristic different from 2.

研究の動機と目的

• 特徴値 ≠ 2 の代数的に閉じた体上の型 A, B, C, D（D₄ を除く）の単純リー代数におけるすべての細分類のウェイル群を計算すること。
• 行列代数における細分類の分類を、型 A, B, C, D における型 II 分類を捉えるために不可欠な細分類 φ-分類を介してリー代数へ拡張すること。
• 行列代数における細分類 φ-分類の自己同型群を特定し、転送技術を用いてそれらを対応するリー代数へ持ち上げること。
• すべてのこのような細分類のウェイル群に対して明示的な同型を提供し、分類群の構造と対合の性質に基づいて型ごとに区別すること。
• シミプレクティック群が対合のパrameter空間に作用することを組み込むことで、シミプレクティックおよび直交リー代数（型 C および D）のウェイル群の分類を解決すること。

提案手法

• 著者たちは、[Eld10] で分類済みの行列代数 M_n(F) における細分類 φ-分類を、リー代数における細分類を構成する基盤として用いる。
• M_n(F) における各細分類 φ-分類に対して、その分類の自己同型群と、行列代数の自己同型群における分類の安定化部分群を計算する。
• [BK10] の転送技術を適用して、行列代数の自己同型群構造を、対応するリー代数 [M_n(F), M_n(F)] または K(M_n(F), φ) へ持ち上げる。
• リー代数の分類におけるウェイル群は、通常の可換代数の理論に従い、分類の自己同型群をその安定化部分群で割った商として特定される。
• 型 B（奇数直交）に対しては、ウェイル群が Sym(q) × (Z₂^s ⋊ Sym(s)) に同型であることが示され、ここで q と s は分類のパrameter である。
• 型 C および D に対しては、ウェイル群が ((T^{q+s−1} × Z₂^s) ⋊ (Sym(Σ) × Sym(s))) ⋊ Aut(Σ) として表現され、T^{q+s}/T との同一視および Sp_{2r}(2) のねじれ作用が Σ(τ) 上に定義される。

実験結果

リサーチクエスチョン

• RQ1 特徴値 ≠ 2 の代数的に閉じた体上の型 A, B, C, D（D₄ を除く）の単純リー代数における各細分類のウェイル群の構造は何か？
• RQ2 転送技術を介して、行列代数における細分類のウェイル群と、それに対応するリー代数におけるウェイル群の関係は何か？
• RQ3 対合 φ は、型 C または D のリー代数における細分類のウェイル群を決定する上で果たす役割は何か？
• RQ4 パrameter q, s, T, τ が、シミプレクティックおよび直交リー代数におけるウェイル群の同型型に与える影響は何か？
• RQ5 Sp_{2r}(2) が集合 Σ(τ) に作用するねじれ作用が、型 C および D におけるウェイル群の同型類に与える影響は何か？

主な発見

• 型 B（奇数直交リー代数）に対しては、細分類 Γ = Γ_B(q,s) のウェイル群は、q + 2s = n かつ n ≥ 5 が奇数であるとき、Sym(q) × (Z₂^s ⋊ Sym(s)) に同型である。
• 型 C（シミプレクティックリー代数）に対しては、細分類 Γ = Γ_C(T,q,s,τ) のウェイル群は、(q+2s)√|T| = n かつ n ≥ 4 が偶数であるとき、((T^{q+s−1} × Z₂^s) ⋊ (Sym(Σ) × Sym(s))) ⋊ Aut(Σ) に同型である。
• 型 D（偶数直交リー代数）に対しては、細分類 Γ = Γ_D(T,q,s,τ) のウェイル群は、(q+2s)√|T| = n、n ≥ 6 が偶数かつ n ≠ 8 であるとき、((T^{q+s−1} × Z₂^s) ⋊ (Sym(Σ) × Sym(s))) ⋊ Aut(Σ) に同型である。
• ウェイル群の同型型は、群 T の同型類、成分数 s、および Sp_{2r}(2) のねじれ作用による Σ(τ) の軌道に依存し、同値関係による分類が保証される。
• リー代数における細分類のウェイル群は、対応する行列代数における細分類 φ-分類の自己同型群をその安定化部分群で割った商に同型である。
• D₄ は三重性現象のため、他の D_n 代数とは同一の枠組みでウェイル群を一様に記述できないため、除外されている。