[논문 리뷰] Exceptional Lie groups

Ichiro Yokota|ArXiv.org|2009. 02. 03.

Homotopy and Cohomology in Algebraic Topology참고 문헌 8인용 수 81

한 줄 요약

이 논문은 단순 연결된 컴팩트 예외적 리 군 G2, F4, E6, E7, E8에 대한 체계적이고 기초적인 구성법을 대수적이고 기하학적 방법을 통해 제공한다. 이를 통해 이들 군의 모든 순환적 자명화 자기동형사상, 고정점 부분군(대응하는 대칭 공간에 해당), 최대 랭크의 최대 부분군, 그리고 비컴팩트 실수 형태를 체계적으로 규명하며, (SU(5) × SU(5))/Z5 ≅ (E8)z5와 같은 명시적 동형관계와 비컴팩트 형태에 대한 극좌표 분해를 확립한다.

ABSTRACT

We describe simply connected compact exceptional simple Lie groups in very elementary way. We first construct all simply connected compact exceptional Lie groups G concretely. Next, we find all involutive automorphisms of G, and determine the group structures of the fixed points subgroup. They correspond to the classification of all irreducible compact symmetric spaces of exceptional type, and that they also correspond to classification of all non-compact exceptionalsimple Lie groups. Finally, we determined the group structures of the maximal subgroups of maximal rank. At any rate, we would like this book to be used in mathematics and physics.

연구 동기 및 목표

• 단순 연결 컴팩트 예외적 리 군 G2, F4, E6, E7, E8에 대한 자가 포함된 기초적 구성법을 제공하기 위해.
• 이들 군의 모든 순환적 자명화 자기동형사상을 분류하고, 고정점 부분군의 구조를 규명하여, 이들이 비가역 컴팩트 대칭 공간에 대응함을 밝히기 위해.
• 각 예외적 군 내 최대 랭크의 최대 부분군의 군 구조를 규명하기 위해.
• 대칭 공간의 이중성과 극좌표 분해를 통해 예외적 리 군의 비컴팩트 실수 형태를 분류하기 위해.
• 부분군과 알려진 고전군 간의 명시적 동형관계를 확립하기 위해, 예를 들어 (SU(5) × SU(5))/Z5 ≅ (E8)z5와 같은 사례를 포함하기 위해.

제안 방법

• 카일리 대수와 그 자명화 자기동형사상군을 이용하여 G2를 구성하며, 옥토니온 곱셈과 트리얼리티를 활용한다.
• 카일리 대수 위의 3×3 에르미트 행렬로 이루어진 예외적 조르당 대수를 이용하여 F4를 구성한다.
• 카일리 대수 위의 프리우던탈 삼중체계와 프리우던탈 벡터 공간을 이용하여 E6와 E7을 구성한다.
• 248차원 복소수 리 대수 e8C의 자명화 자기동형사상군으로서 E8를 구성하며, 이는 sl(5,C)와 스핀어 유사 모듈의 직합으로 표현된다.
• 킬링 형식과 루트 시스템 분석을 적용하여 단순성과 카르탕 부분대수의 구조를 증명한다.
• 군 작용과 자명화 자기동형사상(예: 순서 5의 z5)을 활용하여 고정점 부분군을 식별하고, 고전군과의 동형관계를 증명한다.

실험 결과

연구 질문

• RQ1 단순 연결 컴팩트 예외적 리 군 G2, F4, E6, E7, E8의 명시적 군 구조는 무엇인가?
• RQ2 이들 군의 모든 순환적 자명화 자기동형사상은 무엇이며, 그 고정점 부분군의 동형 타입은 무엇인가?
• RQ3 이들 군 내 최대 랭크의 최대 부분군은 어떻게 명시적으로 기술하고 분류할 수 있는가?
• RQ4 예외적 리 군의 비컴팩트 실수 형태는 무엇이며, 대칭 공간의 이중성으로부터 어떻게 유도되는가?
• RQ5 E8 내에서 5제곱근 단위 원소의 자명화 자기동형사상의 중심화군의 구조는 무엇이며, SU(5) × SU(5)와의 관계는 무엇인가?

주요 결과

• 순서 5의 자명화 자기동형사상 z5에 대한 E8의 중심화군 (E8)z5는 (SU(5) × SU(5))/Z5와 동형이며, 여기서 Z5는 (ζE, ζ2E) 등으로 생성된 순환부분군이다.
• 비컴팩트 실수 형태 E8(8)과 E8(−24)는 극좌표 분해를 갖는다: E8(8) ≃ Ss(16) × R128 및 E8(−24) ≃ (SU(2) × E7)/Z2 × R112.
• E8(8)과 E8(−24)의 중심은 자명하여, 이들이 비컴팩트 실수 형태로서 단순함을 확인한다.
• E8 내 순서 3의 자명화 자기동형사상 w는 (SU(3) × E6)/Z3와 동형인 부분군을 고정하며, w3는 순서 3의 자명화 자기동형사상으로 SU(9)/Z3를 고정한다.
• E8 내 순서 5의 자명화 자기동형사상 z5는 (SU(5) × SU(5))/Z5와 동형인 부분군을 고정하며, 이는 리 대수 e8C 위에서의 코너지 작용을 통한 명시적 실현이 가능하다.
• e8C 위의 킬링 형식은 B8(R1, R2) = 60(tr(C1C2) + tr(D1D2) − (x1,w2)(a1,d2) − ...)로 명시적으로 계산되며, 컴팩트 형태의 정규화를 확인한다.