[논문 리뷰] On the Structure Theorem of Clifford Algebras

Rafał Abłamowicz|arXiv (Cornell University)|2016. 10. 07.

Algebraic and Geometric Analysis참고 문헌 5인용 수 3

한 줄 요약

이 논문은 반단순 링 이론과 Wedderburn-Artin 정리의 프레임워크를 사용하여 실수 클리포드 대수 $\mathrm{Cl}_{p,q}$의 구조 정리를 검토한다. 이에 따라 이러한 대수는 $p-q \mod 8$에 따라 $\mathbb{R}$, $\mathbb{C}$ 또는 $\mathbb{H}$ 위의 행렬 대수로 동형인 최소 왼쪽 이상의 직합으로 분해됨을 보여준다. 주요 기여는 클리포드 대수 표현 이론과 반단순 링 이론의 일반 이론 간의 체계적 연결이며, 특히 원소의 기저를 통해 스핀어 표현을 명시적으로 구성한다.

ABSTRACT

In this paper, theory and construction of spinor representations of real Clifford algebras $\cl_{p,q}$ in minimal left ideals are reviewed. Connection with a general theory of semisimple rings is shown. The actual computations can be found in, for example, [2].

연구 동기 및 목표

• 실수 클리포드 대수 $\mathrm{Cl}_{p,q}$의 구조를 반단순 링과 모듈의 일반 이론 내에서 재정의한다.
• 스핀어 표현이 $\mathrm{Cl}_{p,q}$의 최소 왼쪽 이상을 통해 어떻게 유도되는지 명확히 한다. 특히 원소의 기저를 통한 구성 방식을 중심으로 한다.
• Wedderburn-Artin 정리에서 요구하는 바로, 원소의 기저 $f$에 대해 $f\mathrm{Cl}_{p,q}f$의 동형 유형을 확립한다.
• $\mathrm{Cl}_{p,q}$가 최소 왼쪽 이상의 직합으로 분해되며, 각 이상이 기약 표현을 지닌다는 것을 보여준다.
• 반단순 클리포드 대수와 단순 클리포드 대수에서 기저가 아닌 기저 표현 간의 차이를 설명한다.

제안 방법

• Wedderburn-Artin 정리를 활용하여 $\mathrm{Cl}_{p,q}$를 반단순 링으로 분류하고, 간단한 양측 이상의 유한 직합으로 분해한다.
• 왼쪽 $R$-모듈 이론을 적용하여 $\mathrm{Cl}_{p,q}$의 최소 왼쪽 이상이 단순 모듈이 되며, 이는 기약 스핀어 표현에 대응함을 보인다.
• 원소의 기저 $f$를 식별하여 $\mathrm{Cl}_{p,q}f$가 최소 왼쪽 이상이 되게 하며, $f\mathrm{Cl}_{p,q}f$가 분해 링 $\mathbb{K}$($\mathbb{R}$, $\mathbb{C}$ 또는 $\mathbb{H}$)와 동형임을 보인다.
• 홀수인 $n = p+q$일 때, $1 = c_1 + c_2$의 직교 분해를 통해 $\mathrm{Cl}_{p,q}$를 두 개의 단순 부분대수로 나눈다. 여기서 $c_1 = \frac{1}{2}(1 + \mathbf{e}_{12\ldots n})$, $c_2 = \frac{1}{2}(1 - \mathbf{e}_{12\ldots n})$이다.
• 서로 독립적인 부호 선택을 통해 $k$개의 교환 가능한 기저 단항식의 곱에서 $2^k$개의 원소의 기저를 갖는 상호 소멸하는 원소의 기저를 구성한다.
• CLIFFORD Maple 패키지를 사용하여 스핀어 표현에서 생성자 $\mathbf{e}_1, \dots, \mathbf{e}_n$의 명시적 행렬 표현을 제공하며, 곱을 유지하는 대수 사상 $\gamma$를 활용한다.

실험 결과

연구 질문

• RQ1 Wedderburn-Artin 정리는 실수 클리포드 대수 $\mathrm{Cl}_{p,q}$의 분류에 어떻게 적용되는가?
• RQ2 원소의 기저는 어떻게 $\mathrm{Cl}_{p,q}$의 기약 스핀어 표현을 구성하는가?
• RQ3 왜 반단순 클리포드 대수는 기저 표현을 실현하기 위해 이중 스핀어 공간 $S \oplus \hat{S}$ 가 필요하며, 단순 대수의 경우 단일 최소 왼쪽 이상에서 충분한가?
• RQ4 클리포드 대수 $\mathrm{Cl}_{p,q}$의 중심, 특히 단위 편성 스칼라 $\mathbf{e}_{12\ldots n}$는 단순 부분대수로의 분해에 어떻게 영향을 미치는가?
• RQ5 $f\mathrm{Cl}_{p,q}f$의 동형 유형은 무엇이며, 이는 $p-q \mod 8$에 따라 어떻게 달라지는가?

주요 결과

• $\mathrm{Cl}_{p,q}$는 $2^k$개의 최소 왼쪽 이상 $\mathrm{Cl}_{p,q}f_i$의 직합으로 분해되며, 여기서 $k = \lfloor (p+q)/2 \rfloor$이다. 각 이상은 $\mathrm{Cl}_{p,q}$-모듈로서 단순 왼쪽 이상과 동형이다.
• 홀수인 $n = p+q$일 때, 단위 편성 스칼라 $\mathbf{e}_{12\ldots n}$는 모든 생성자와 교환되며, 직교 분해 $\mathrm{Cl}_{p,q} = \mathrm{Cl}_{p,q}c_1 \oplus \mathrm{Cl}_{p,q}c_2$를 통해 두 개의 단순 부분대수로 분해된다.
• 각 부분대수 $\mathrm{Cl}_{p,q}c_i$는 $\mathrm{Mat}(2^{k-1}, \mathbb{K})$와 동형이며, 여기서 $\mathbb{K} = \mathbb{R}$ 또는 $\mathbb{H}$이며, $p-q \mod 8$에 따라 결정된다.
• 원소의 기저 $f$에 대해 $f\mathrm{Cl}_{p,q}f$는 $\mathbb{R}$, $\mathbb{C}$ 또는 $\mathbb{H}$와 동형이며, 이 유형은 $p-q \mod 8$에 따라 결정된다.
• 반단순 클리포드 대수에서는 단일 스핀어 공간 $S$ 또는 $\hat{S}$ 위의 기약 표현은 기저가 아니며, 기저 표현을 실현하기 위해서는 직합 $S \oplus \hat{S}$ 가 필요하다. 이는 $\mathbb{K} \oplus \hat{\mathbb{K}}$ 위에서 실현된다.
• 임의의 원소 $u \in \mathrm{Cl}_{p,q}$의 행렬 표현은 대수 사상 $\gamma$를 통해 계산할 수 있으며, 선택된 원소의 기저에 대해 CLIFFORD 패키지를 사용하여 생성자 행렬을 저장하고 계산할 수 있다.