[論文レビュー] On the Structure Theorem of Clifford Algebras

Rafał Abłamowicz|arXiv (Cornell University)|Oct 7, 2016

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$ を特定し、$f\mathrm{Cl}_{p,q}f$ が除法環 $\mathbb{K}$（$\mathbb{R}$、$\mathbb{C}$、$\mathbb{H}$ のいずれか）に同型であることを示す。
• $n = p+q$ が奇数のとき、$1 = c_1 + c_2$ という直交分解（$c_1 = \frac{1}{2}(1 + \mathbf{e}_{12\ldots n})$、$c_2 = \frac{1}{2}(1 - \mathbf{e}_{12\ldots n})$）を用いて、$\mathrm{Cl}_{p,q}$ を二つの単純部分代数に分割する。
• 独立した符号選択を用いた $k$ 個の可換基底単項式の積を通じて、$2^k$ 個の原始的かつ互いに消えるイデアルの完全な集合を構成する。
• 生成子 $\mathbf{e}_1, \dots, \mathbf{e}_n$ の明示的行列実現を、CLIFFORD Maple パッケージを用いてスピンルール表現で行い、積を保存する代数写像 $\gamma$ を用いる。

実験結果

リサーチクエスチョン

• RQ1 Wedderburn-Artin 定理は、実クリフォード代数 $\mathrm{Cl}_{p,q}$ の分類にどのように適用されるか？
• RQ2 原始的イデアルは、$\mathrm{Cl}_{p,q}$ の非可約スピンルール表現を構成する際に果たす役割は何か？
• RQ3 なぜ半単純クリフォード代数では忠実な表現を実現するためには単一の最小左イデアルではなく、二重のスピンルール空間 $S \oplus \hat{S}$ が必要となるのか？
• RQ4 特に単位擬スカラー $\mathbf{e}_{12\ldots n}$ によって、$\mathrm{Cl}_{p,q}$ の中心が単純部分代数への分解にどのように影響を与えるか？
• RQ5 原始的イデアル $f$ に対して $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$ は、$\mathbb{K} = \mathbb{R}$ または $\mathbb{H}$ に依存する $\mathrm{Mat}(2^{k-1}, \mathbb{K})$ に同型である。ここで $\mathbb{K}$ は $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 パッケージを用いて、選択された原始的イデアルに対応する生成子行列を格納・計算できる。