[논문 리뷰] Generalized spin representations

Guntram Hainke, Ralf Koehl외 1명|arXiv (Cornell University)|2011. 10. 25.

Advanced Algebra and Geometry참고 문헌 24인용 수 9

한 줄 요약

이 논문은 형식적으로 실수인 체 위의 대칭 가능 Kac–Moody 대수의 최대 컴acts부대수 𝔨에 대한 일반화된 스핀 표현을 도입하며, 클리퍼드 대수로의 리 대수 준동형사상에 의해 비자명한 유한차원 재수성(종종 단순성) 몫이 존재함을 증명한다. 핵심 결과는 실수 $E_n$ 시리즈에 대해 이 구성이 포함형 준동형사상을 유도하며, 그 이미지는 알려진 동형 유형을 가진 컴팩트 단순 리 대수임을 보여주며, 분할된 실수 $E_6$, $E_7$, $E_8$의 최대 컴팩트 부분대수의 구조를 결정하는 간단한 방법을 제공한다.

ABSTRACT

We introduce the notion of a generalized spin representation of the maximal compact subalgebra of a symmetrizable Kac-Moody algebra in order to show that, if defined over a formally real field, every such subalgebra has a non-trivial reductive finite-dimensional quotient. The appendix illustrates how to compute the isomorphism types of these quotients for the real $E_n$ series. In passing this provides an elementary way of determining the isomorphism types of the maximal compact subalgebras of the semisimple split real Lie algebras of types $E_6$, $E_7$, $E_8$.

연구 동기 및 목표

• 형식적으로 실수인 체 위의 대칭 가능 Kac–Moody 대수의 최대 컴팩트 부분대수 𝔨에 대해 비자명한 유한차원 표현의 존재를 확립하는 것.
• $\mathfrak{k}(E_{10})(\mathbb{R})$의 32차원 스핀 표현을 모든 대칭 가능 Kac–Moody 대수로 일반화하는 것.
• 분할된 실수 리 대수의 유형 $E_6$, $E_7$, $E_8$의 최대 컴팩트 부분대수의 동형 유형을 결정하는 간단하고 통일된 방법을 제공하는 것.
• 일반화된 스핀 표현과 클리퍼드 대수 기법을 사용하여 이러한 부분대수의 구조를 명확히 하는 것.

제안 방법

• Kac–Moody 대수의 다이닝 다이어그램에 기반한 특정 반대칭 및 제곱 관계를 만족하는 벡터 공간 위의 선형 연산자 $A_i$를 정의하여 일반화된 스핀 표현을 정의한다.
• 최대 컴팩트 부분대수 $\mathfrak{k}$에서 클리퍼드 대수 $C(\mathbb{R}^n, q)$의 리 부분대수 $\mathfrak{m}$로의 리 대수 준동형사상 $\rho$를 구성한다.
• 표준적인 양의 정부호 이차형식 $q$를 $\mathbb{R}^n$에 적용하여 클리퍼드 대수의 구조를 정의하며, 이는 스핀 표현 관계를 포함한다.
• 비고의 4.5조의 기준을 적용하여 생성자 $X_i$를 $C$의 특정 원소에 할당하는 것이 리 대수 준동형사상을 정의함을 확인한다.
• 특정 $E_n$ 다이닝 다이어그램의 구조를 활용하여, 정규직교 기저 벡터 $v_j$의 곱으로 표현되는 명시적 생성자 $X_i$를 정의함으로써 올바른 반대칭 관계를 확보한다.
• 차원 비교와 알려진 리 대수 동형관계를 활용하여 이미지 $\mathfrak{m} = \operatorname{im}(\rho)$가 알려진 유형의 컴팩트 단순 리 대수임을 식별한다.

실험 결과

연구 질문

• RQ1 형식적으로 실수인 체 위의 대칭 가능 Kac–Moody 대수의 최대 컴팩트 부분대수는 비자명한 유한차원 몫을 갖는가?
• RQ2 $\mathfrak{k}(E_{10})(\mathbb{R})$의 32차원 스핀 표현은 다른 Kac–Moody 대수와 유형으로 일반화될 수 있는가?
• RQ3 분할된 실수 리 대수의 유형 $E_6$, $E_7$, 또는 $E_8$의 최대 컴팩트 부분대수의 동형 유형은 무엇인가?
• RQ4 이러한 최대 컴팩트 부분대수의 구조는 통일적이고 간단한 방식으로 어떻게 계산할 수 있는가?

주요 결과

• 실수 $E_n$ 시리즈에서 $n \geq 3$일 경우, 일반화된 스핀 표현 $\rho$는 최대 컴팩트 부분대수 $\mathfrak{k}$를 클리퍼드 대수 $C(\mathbb{R}^n, q)$의 리 부분대수 $\mathfrak{m}$로 단사로 매핑한다.
• 이미지 $\mathfrak{m}$은 컴팩트하고 단순하며, 기저가 되는 이차형식의 차원과 부호에 의해 결정되는 동형 유형을 가진다.
• For $n=4$, $\dim_{\mathbb{R}}(\mathfrak{k}) = 10$, and $\mathfrak{m} \cong \mathfrak{sp}(2) \cong \mathfrak{so}(5)$.
• For $n=5$, $\dim_{\mathbb{R}}(\mathfrak{k}) = 20$, and $\mathfrak{m} \cong \mathfrak{sp}(2) \oplus \mathfrak{sp}(2) \cong \mathfrak{so}(5) \oplus \mathfrak{so}(5)$.
• For $n=6$, $\dim_{\mathbb{R}}(\mathfrak{k}) = 36$, and $\mathfrak{m} \cong \mathfrak{sp}(4)$.
• For $n=7$, $\dim_{\mathbb{R}}(\mathfrak{k}) = 63$, and $\mathfrak{m} \cong \mathfrak{su}(8)$.
• For $n=8$, $\dim_{\mathbb{R}}(\mathfrak{k}) = 120$, and $\mathfrak{m} \cong \mathfrak{so}(16)$.