[論文レビュー] Clifford Algebras, Clifford Groups, and a Generalization of the Quaternions

Jean Gallier|arXiv (Cornell University)|May 2, 2008

Algebraic and Geometric Analysis被引用数 16

ひとこと要約

本稿は、クリフォード代数、クリフォード群、およびそれらに関連するスピン群とピン群について包括的なチュートリアルを提供しており、四元数を高次元に一般化する。スピン群がクリフォード代数 Cl_n 内の代数的乗法によって R^n に作用することを確立し、スピン群が SO(n) の2重被覆であることを証明するとともに、Cl_{p,q} 代数におけるカルタンとボットの8周期性定理を導出する。

ABSTRACT

One of the main goals of these notes is to explain how rotations in reals^n are induced by the action of a certain group, Spin(n), on reals^n, in a way that generalizes the action of the unit complex numbers, U(1), on reals^2, and the action of the unit quaternions, SU(2), on reals^3 (i.e., the action is defined in terms of multiplication in a larger algebra containing both the group Spin(n) and reals^n). The group Spin(n), called a spinor group, is defined as a certain subgroup of units of an algebra, Cl_n, the Clifford algebra associated with reals^n. Since the spinor groups are certain well chosen subgroups of units of Clifford algebras, it is necessary to investigate Clifford algebras to get a firm understanding of spinor groups. These notes provide a tutorial on Clifford algebra and the groups Spin and Pin, including a study of the structure of the Clifford algebra Cl_{p, q} associated with a nondegenerate symmetric bilinear form of signature (p, q) and culminating in the beautiful "8-periodicity theorem" of Elie Cartan and Raoul Bott (with proofs).

研究の動機と目的

• 数学および理論物理学の研究者を対象に、クリフォード代数とその関連群、特にスピン群(Spin(n))とピン群(Pin(n))について、自己完結的なチュートリアルを提供すること。
• R^2 と R^3 における回転の表現に用いられる複素数と四元数の役割を、クリフォード代数を用いて高次元回転に一般化すること。
• SO(p,q) と O(p,q) それぞれに対して、スピン群(Spin(p,q)) とピン群(Pin(p,q)) が2重被覆としての代数的および位相的構造を持つことを確立すること。
• カルタンとボットの8周期性定理を証明し、実クリフォード代数 Cl_{p,q} の分類について説明すること。
• 擬代数的群の極分解定理を用いて、SO(p,q)、Spin(p,q) の位相的性質を明らかにし、それらのリー群の関係を明確にすること。

提案手法

• クリフォード代数 Cl_{p,q} を、符号型 (p,q) の対称双線形形式を備えたベクトル空間 R^{p+q} が生成する結合代数と定義し、v ∈ R^{p+q} に対して v^2 = η(v)v を満たす関係を課す。
• クリフォード群を、ねじれ共役作用においてベクトル空間を安定化する Cl_{p,q} 内の可逆元のなす部分群として構成する。
• ピン群(Pin(p,q)) とスピン群(Spin(p,q)) を、クリフォード群の部分群として定義し、随伴作用においてベクトル空間を保存し、特定のノルム条件を満たすものとする。
• 擬代数的群の極分解定理を用いて、O(p,q) と SO(p,q) がそれぞれ直交群とユークリッド空間の積とホメオモーティックであることを示す。
• 定義条件 A^T J_{p,q} A = J_{p,q} を微分することで、O(p,q) と SO(p,q) のリー代数を導出し、歪対称ブロックを持つ行列が得られることを示す。
• Cl_{p,q} を実数上での同型型を分析することで、8周期性定理を証明し、Cl_{p+8,q} ≅ Cl_{p,q} ⊗ R(16) および同様に他のシフトに対しても成り立つことを示す。

実験結果

リサーチクエスチョン

• RQ1 クリフォード代数の高次元における代数的構造を用いて、四元数を超えた R^n における回転を体系的に一般化する方法は何か？
• RQ2 スピン群(Spin(p,q)) と直交群(SO(p,q)) の間の正確な代数的および位相的関係は何か？スピン群が直交群の2重被覆である条件は何か？
• RQ3 カルタンとボットの8周期性定理は、実クリフォード代数 Cl_{p,q} の構造をどのように分類するか？
• RQ4 擬代数的群の役割は、直交群 O(p,q) と SO(p,q) の位相的性質を理解するためにどのように寄与するか？
• RQ5 極分解定理は、O(p,q) と SO(p,q) の位相的構造をより単純な成分に分解するためにどのように応用できるか？

主な発見

• スピン群(Spin(n)) は、クリフォード代数 Cl_n 内の随伴作用によって R^n に作用し、U(1) が R^2 に作用するのと、SU(2) が R^3 に作用するのを一般化する。
• n ≥ 3 のとき、スピン群(Spin(n)) は単連結であり、SO(n) の2重被覆であるため、SO(n) の普遍被覆である。
• O(p,q) のリー代数は、X1 と X3 が歪対称で、X2 が任意の行列である形の行列 [[X1, X2], [X2^T, X3]] からなる。
• O(p,q) は O(p) × O(q) × R^{pq} とホメオモーティックであり、SO(p,q) は S(O(p) × O(q)) × R^{pq} とホメオモーティックである。ここで S(O(p) × O(q)) は行列式が1の部分群である。
• 8周期性定理は、Cl_{p+8,q} ≅ Cl_{p,q} ⊗ R(16) および Cl_{p,q+8} ≅ Cl_{p,q} ⊗ R(16) であると述べており、p および q の両方において周期性を持つ。
• SO(p,q) の単位元を含む連結成分 SO₀(p,q) は、SO(p) × SO(q) × R^{pq} とホメオモーティックであり、その位相的構造が確認される。