[논문 리뷰] Weyl groups of fine gradings on simple Lie algebras of types A, B, C and D

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

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 분할을 포괄하는 데 핵심적인 역할을 하는 미세 φ-분할을 통한 리 대수로의 확장.
• 행렬 대수에서의 미세 φ-분할의 자동형사군을 결정하고, 전이 기법을 사용하여 이를 해당 리 대수로 이전하는 것.
• 모든 이러한 미세 분할에 대해 웨일 군의 명시적 동형사상을 제공하며, 분할군의 구조와 호환형의 특성에 따라 유형 간 구분을 하는 것.
• 심플렉틱 및 올림픽 리 대수(유형 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는 분할의 매개변수이다.
• 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 매개변수 q, s, T, τ는 심플렉틱 및 올림픽 리 대수의 경우 웨일 군의 동형 유형에 어떻게 영향을 미치는가?
• RQ5 Sp_{2r}(2)의 왜곡된 작용이 집합 Σ(τ)에 작용할 때, C형 및 D형의 경우 웨일 군의 동형류에 어떤 영향을 미치는가?

주요 결과

• B형(홀수 올림픽 리 대수)의 경우, 미세 분할 Γ = Γ_B(q,s)의 웨일 군은 Sym(q) × (Z₂^s ⋊ Sym(s))와 동형이며, 여기서 q + 2s = n 이고 n ≥ 5는 홀수이다.
• C형(심플렉틱 리 대수)의 경우, 미세 분할 Γ = Γ_C(T,q,s,τ)의 웨일 군은 ((T^{q+s−1} × Z₂^s) ⋊ (Sym(Σ) × Sym(s))) ⋊ Aut(Σ)와 동형이며, (q+2s)√|T| = n 이고 n ≥ 4는 짝수이다.
• D형(짝수 올림픽 리 대수)의 경우, 미세 분할 Γ = Γ_D(T,q,s,τ)의 웨일 군은 ((T^{q+s−1} × Z₂^s) ⋊ (Sym(Σ) × Sym(s))) ⋊ Aut(Σ)와 동형이며, (q+2s)√|T| = n, n ≥ 6은 짝수이며, n ≠ 8이다.
• 웨일 군의 동형 유형은 군 T의 동형류, 구성 요소 수 s, 그리고 Sp_{2r}(2)의 왜곡된 작용에 의한 Σ(τ)의 궤도에 따라 결정되며, 이는 동치 관계에 따라 분류가 보장됨을 의미한다.
• 리 대수의 미세 분할의 웨일 군은 해당 행렬 대수에서의 미세 φ-분할의 자동형사군을 그 안정자군으로 나눈 몫과 동형이다.
• D₄는 트라이얼리티 현상으로 인해 동일한 프레임워크로 다른 D_n 대수들과 동일하게 기술할 수 없기 때문에 결과에서 제외된다.