クリフォード代数

数学において、クリフォード代数 (Clifford algebra) は結合多元環の一種である。K-代数として、それらは実数、複素数、四元数、そしていくつかの他の超複素数系を一般化する。クリフォード代数の理論は二次形式と直交変換の理論と親密に関係がある。クリフォード代数は幾何学、理論物理学、デジタル画像処理を含む種々の分野において重要な応用を持つ。それらはイギリス人幾何学者ウィリアム・キングドン・クリフォードにちなんで名づけられている。

最もよく知られたクリフォード代数、あるいは直交クリフォード代数 (orthogonal Clifford algebra) は、リーマンクリフォード代数 (Riemannian Clifford algebra) とも呼ばれる。

導入と基本的性質

クリフォード代数は二次形式 Q を伴った体 K 上のベクトル空間 V を含みそれによって生成される単位的結合多元環である。クリフォード代数 Cℓ(V, Q) は次の条件を満たす V によって生成される「最も自由な」代数である：

[math]v^2 = Q(v)1\quad(\forall v\in V),[/math]

ただし左辺の積は代数の積であり、1 は乗法単位元である。

クリフォード代数の定義は「裸の」(bare) K-代数よりも多くの構造をそれに与える： 特にそれは V に同型な特定された、あるいは特別に選ばれた部分空間を持つ。そのような部分空間はクリフォード代数に同型な K-代数のみが与えられても一般には一意的には決定できない。

基礎体 K の標数が 2 でなければ、この基本関係式を次の形に書き直すことができる：

[math]uv + vu = 2\langle u, v\rangle1\quad (\forall u,v \in V),[/math]

ただし

[math]\langle u, v\rangle = \frac{1}{2}(Q(u+v) - Q(u) - Q(v))[/math]

は分極公式によって Q と結びついた対称双線型形式である。この関係式を満たす「最も自由な」 (freest) あるいは「最も一般」 (most general) な代数であることのアイデアは普遍性の概念を通じて下記でされるように正式に表現できる。

標数 2 において二次形式とクリフォード代数は例外的なケースをなす。特に、char(K) = 2 であれば、二次形式は対称双線型形式を決定すること、あるいはすべての二次形式は直交基底を持つことは正しくない。この記事のステートメントの多くは標数が 2 でないという条件を含み、条件が除かれると誤りである。

外積代数の量子化として

クリフォード代数は外積代数と近い関係にある。実は、Q = 0 であればクリフォード代数 Cℓ(V, Q) はちょうど外積代数 ⋀(V) である。0 でない Q に対して基礎体 K の標数が 2 でないときにはいつでも ⋀(V) と Cℓ(V, Q) の間の自然な「線型」同型が存在する。つまり、それらはベクトル空間として自然に同型であるが、異なる乗法である（標数 2 の場合にはそれらはなおベクトル空間として同型であるが、自然にではない）。特定された部分空間とともにクリフォード乗法は外積代数よりも真により豊かである、なぜならばそれは Q によって提供される追加の情報を使うからである。

より正確には、クリフォード代数は、ワイル代数が対称代数の量子化であるのと同じ方法で、外積代数の量子化（cf. 量子群）と考えることができる。

ワイル代数とクリフォード代数は *-環というさらなる構造を持ち、CCR and CAR algebras において議論されているように、超代数の偶項と奇項として統一できる。

普遍的な性質と構成

V を体 K 上のベクトル空間とし、Q: V → K を V 上の二次形式とする。興味のあるたいていのケースでは体 K は実数体 R か複素数体 C か有限体である。

クリフォード代数 Cℓ(V, Q) は次の普遍性によって定義されるすべての v ∈ V に対して i(v)² = Q(v)1 を満たす線型写像 i: V → Cℓ(V, Q) を伴った K 上の単位的結合多元環である： K 上の任意の結合代数 A と

j(v)テンプレート:Exp テンプレート:Coloneqq Q(v)1_A (∀v ∈ V)

（ただし 1_A は A の乗法単位元を表す）なる任意の線型写像 j: V → A が与えられると、次の図式が交換する一意的な多元環準同型 f: Cℓ(V, Q) → A （すなわち f ∘ i = j）が存在する：

ファイル:CliffordAlgebra-01.png

（標数≠2 において）Q の代わりに対称双線型形式 テンプレート:Angbr で考えると、j に対する要求は

[math] j(v)j(w) + j(w)j(v) = 2 \langle v, w \rangle 1_A \quad (\forall v,w \in V).[/math]

上で記述されたようなクリフォード代数はつねに存在し次のように構成できる： V を含む最も一般的な代数、すなわちテンソル代数 T(V) で始め、それから適切な商を取ることによって基本関係式が成り立つようにする。この場合

[math]v\otimes v - Q(v)1\quad (\forall v\in V)[/math]

の形のすべての元によって生成された T(V) の両側イデアル I_Q を取りたく、Cℓ(V, Q) を商代数

Cℓ(V, Q) テンプレート:Coloneqq T(V)/I_Q

として定義する。この商によって継承される環の積はときどきクリフォード積 (Clifford product) と呼ばれ 外積とスカラー積から区別される。

すると Cℓ(V, Q) は V を含み上の普遍性質を満たすことを示すことは直截であり Cℓ は一意的な同型を除いて一意的である； 従って人は "the" Clifford algebra Cℓ(V, Q) について話す。この構成から i が単射であることも従う。通常 i を落とし V を Cℓ(V, Q) の部分線型空間として考える。

クリフォード代数の普遍的な特徴づけは Cℓ(V, Q) の構成が事実上関手的であることを示している。すなわち、Cℓ は二次形式を持ったベクトル空間の圏（射は二次形式を保つ線型写像）から結合代数への関手と考えることができる。普遍性は（二次形式を保つ）ベクトル空間の間の線型写像が結合クリフォード代数の間の代数準同型に一意的に拡張することを保証する。

基底と次元

V の K 上の次元が n であり {e₁, …, e_n} が (V, Q) の直交基底であれば、Cℓ(V, Q) は K 上自由で基底（の 1 つ）は

[math]\{e_{i_1}e_{i_2}\cdots e_{i_k} \mid 1\le i_1 \lt i_2 \lt \cdots \lt i_k \le n\text{ and } 0\le k\le n\}[/math].

空積 (k = 0) は乗法単位元として定義される。k の各値に対して n C k 個の基底元が存在し、したがってクリフォード代数の総次元は

[math]\dim C\ell(V,Q) = \sum_{k=0}^n\begin{pmatrix}n\\ k\end{pmatrix} = 2^n.[/math]

V は二次形式を伴っているので、V の privileged 基底の集合が存在する： 直交基底である。直交基底 は

[math]\langle e_i, e_j \rangle = 0 [/math] for [math] i\neq j[/math], and [math]\langle e_i, e_i \rangle = Q(e_i) \,[/math]

であるような基底である。ただし テンプレート:Angbr は Q に伴う対称双線型形式である。基本クリフォード関係式は直交基底に対して

[math]e_ie_j = -e_je_i \text{ for } i\neq j, \text{ and } e_i^2= Q(e_i) \,[/math]

であることを意味している。これによって直交基底ベクトルの扱いが極めてシンプルになる。V の相異なる直交基底ベクトルの積 [math]e_{i_1}e_{i_2}\cdots e_{i_k}[/math] が与えられると、標準の順序にするために必要な二元ごとの入れ替えの数によって定まる全体としての符号（すなわち順序よくする置換の符号）も含めた意味で標準の順序にすることができる。

例： 実及び複素クリフォード代数

最も重要なクリフォード代数は非退化2次形式を備えた実および複素ベクトル空間上のものである。

代数 Cℓ_p,q(R) と Cℓ_n(C) の各々は A あるいは A ⊕ A に同型である、ただし A は成分が テンプレート:Mathbf あるいは テンプレート:Mathbf から来る全行列環、ということが明らかになる。これらの代数の完全な分類はクリフォード代数の分類を見よ。

実係数の場合

"「幾何代数」"

実クリフォード代数の幾何学的解釈は幾何代数として知られている。

有限次元実ベクトル空間上のすべての非退化2次形式は標準対角形式

[math]Q(v) = v_1^2 + \cdots + v_p^2 - v_{p+1}^2 - \cdots - v_{p+q}^2[/math]

に同値である、ただし n = p + q はベクトル空間の次元である。整数の組 (p, q) は二次形式の符号数と呼ばれる。この二次形式を持った実ベクトル空間はしばしば R^{p, q} と表記される。R^p,q 上のクリフォード代数は Cℓ_p,q(R) と表記される。記号 Cℓ_n(R) は著者が正定値と不定値の空間どちらを好むかによって Cℓ_n,0(R) あるいは Cℓ_0,n(R) を意味する。

R^p,q の標準正規直交基底 {e_i} は互いに直交する n = p + q 個のベクトルからなり、そのうち p 個はノルム +1 を持ち、q 個はノルム −1 を持つ。代数 Cℓ_p,q(R) は従って平方して +1 になる p 個のベクトルと平方して −1 になる q 個のベクトルを持つ。

Cℓ_0,0(R) は自然に テンプレート:Mathbf に同型であることに注意する。0 でないベクトルはないからである。Cℓ_0,1(R) は平方して −1 になるただ 1 つのベクトル e₁ によって生成される 2 次元の代数なので複素数体 テンプレート:Mathbf に同型である。代数 Cℓ_0,2(R) は {1, e₁, e₂, e₁e₂} によって張られる 4 次元の代数である。後ろ 3 つの元は平方して −1 になりすべて反交換するので、代数は四元数体 テンプレート:Mathbf に同型である。Cℓ_0,3(R) は 分解型双四元数と呼ばれる直和 H ⊕ H に同型な 8 次元の代数である。

複素係数の場合

複素ベクトル空間上クリフォード代数を研究することもできる。複素ベクトル空間上のすべての非退化二次形式は標準対角形式

[math]Q(z) = z_1^2 + z_2^2 + \cdots + z_n^2[/math]

ただし n = dim V、に同型を除いて同値であり、したがって各次元 n に対してただ 1 つの非退化クリフォード代数が存在する。標準二次形式を持った Cⁿ 上のクリフォード代数を Cℓ_n(C) によって表記しよう。

最初のいくつかのケースは計算するのが難しくない。

Cℓ₀(C) ≅ C: 複素数体

Cℓ₁(C) ≅ C ⊕ C: 双複素数環

Cℓ₂(C) ≅ M(2, C): 双四元数環

がわかる、ただし M(n, C) は テンプレート:Mathbf 上 n×n 行列の代数を表す。

例： 四元数と双対四元数の構成

四元数

このセクションにおいて、ハミルトンの四元数がクリフォード代数 Cℓ_0,3(R) の偶部分代数として構成される。

ベクトル空間 V を実 3 次元空間 R³ とし、二次形式 Q を通常のユークリッド計量からいれる。すると、v, w ∈ R³ に対して二次形式あるいはスカラー積

[math]\mathbf{v}\cdot\mathbf{w}= v_1w_1 + v_2w_2 + v_3w_3.[/math]

をもっている。今次で与えられるベクトル v と w のクリフォード積を導入する

[math] \mathbf{v}\mathbf{w} + \mathbf{w}\mathbf{v} = -2 (\mathbf{v}\cdot \mathbf{w}).\![/math]

この定式化は負の符号を用いているので四元数との対応は容易に示される。

R³ の直交単位ベクトルの集合を e₁, e₂, e₃ として表記すると、クリフォード積は関係

[math] \mathbf{e}_2 \mathbf{e}_3 = -\mathbf{e}_3 \mathbf{e}_2, \,\,\, \mathbf{e}_3 \mathbf{e}_1 = -\mathbf{e}_1 \mathbf{e}_3,\,\,\, \mathbf{e}_1 \mathbf{e}_2 = -\mathbf{e}_2 \mathbf{e}_1,\![/math]

および

[math] \mathbf{e}_1 ^2 = \mathbf{e}_2^2 =\mathbf{e}_3^2 = -1 \![/math]

を生み出す。クリフォード代数 Cℓ_0,3(R) の一般の元は

[math] A = a_0 + a_1 \mathbf{e}_1 + a_2 \mathbf{e}_2 + a_3 \mathbf{e}_3 + a_4 \mathbf{e}_2 \mathbf{e}_3 + a_5 \mathbf{e}_3 \mathbf{e}_1 + a_6 \mathbf{e}_1 \mathbf{e}_2 + a_7 \mathbf{e}_1 \mathbf{e}_2 \mathbf{e}_3\![/math]

によって与えられる。

Cℓ_0,3(R) の偶次数元の線型結合は一般元

[math] Q = q_0 + q_1 \mathbf{e}_2 \mathbf{e}_3 + q_2 \mathbf{e}_3 \mathbf{e}_1 + q_3 \mathbf{e}_1 \mathbf{e}_2 \![/math]

とともに テンプレート:Subsup(R) の偶部分代数を定義する。基底元は四元数基底元 i, j, k と

[math] i= \mathbf{e}_2 \mathbf{e}_3, j= \mathbf{e}_3 \mathbf{e}_1, k = \mathbf{e}_1 \mathbf{e}_2[/math]

として同一視することができ、これは偶部分代数 テンプレート:Subsup(R) はハミルトンの実四元数代数であることを示している。

これを見るには、

[math] i^2 = (\mathbf{e}_2 \mathbf{e}_3)^2 = \mathbf{e}_2 \mathbf{e}_3 \mathbf{e}_2 \mathbf{e}_3 = - \mathbf{e}_2 \mathbf{e}_2 \mathbf{e}_3 \mathbf{e}_3 = -1,\![/math]

と

[math] ij = \mathbf{e}_2 \mathbf{e}_3 \mathbf{e}_3 \mathbf{e}_1 = -\mathbf{e}_2 \mathbf{e}_1 = \mathbf{e}_1 \mathbf{e}_2 = k\![/math]

を計算する。最後に、

[math] ijk = \mathbf{e}_2 \mathbf{e}_3 \mathbf{e}_3 \mathbf{e}_1 \mathbf{e}_1 \mathbf{e}_2 = -1.\![/math]

双対四元数

このセクションにおいて、双対四元数が退化二次形式を持った実四次元空間の偶クリフォード代数として構成される。

ベクトル空間 V を実四次元空間 R⁴ とし、二次形式 Q を R³ 上のユークリッド距離から入る退化形式とする。v, w ∈ R⁴ に対して、退化双線型形式

[math]d(\mathbf{v}, \mathbf{w})= v_1w_1 + v_2w_2 + v_3w_3.[/math]

を導入する。この退化スカラー積は R⁴ における距離測定を R³ の超平面に全射で射影する。

ベクトル v と w のクリフォード積は

[math] \mathbf{v}\mathbf{w} + \mathbf{w}\mathbf{v} = -2 \,d(\mathbf{v}, \mathbf{w})\![/math]

によって与えられる。負号は四元数との対応を簡単にするために導入されることを注意しよう。

R⁴ の直交単位ベクトルの集合を e₁, e₂, e₃, e₄ として表記すると、クリフォード積は関係

[math] \mathbf{e}_m \mathbf{e}_n = -\mathbf{e}_n \mathbf{e}_m, \,\,\, m \ne n,\![/math]

と

[math] \mathbf{e}_1 ^2 = \mathbf{e}_2^2 =\mathbf{e}_3^2 = -1, \,\, \mathbf{e}_4^2 =0\![/math]

を生み出す。

クリフォード代数 Cℓ(R⁴,d) の一般元は 16 個の成分を持つ。偶次数付けられた元の線型結合は次の形の一般元を持った偶部分代数 Cℓ⁰(R⁴,d) を定義する

[math] H = h_0 + h_1 \mathbf{e}_2 \mathbf{e}_3 + h_2 \mathbf{e}_3 \mathbf{e}_1 + h_3 \mathbf{e}_1 \mathbf{e}_2 + h_4 \mathbf{e}_4 \mathbf{e}_1 + h_5 \mathbf{e}_4 \mathbf{e}_2 + h_6 \mathbf{e}_4 \mathbf{e}_3 + h_7 \mathbf{e}_1 \mathbf{e}_2\mathbf{e}_3 \mathbf{e}_4. \![/math]

基底元は四元数基底元 i, j, k と双対単位 ε と

[math] i=\mathbf{e}_2 \mathbf{e}_3, j=\mathbf{e}_3 \mathbf{e}_1, k = \mathbf{e}_1 \mathbf{e}_2, \,\, \varepsilon = \mathbf{e}_1 \mathbf{e}_2\mathbf{e}_3 \mathbf{e}_4 \![/math]

として同一視できる。これは テンプレート:Subsup(R) の双対四元数代数との対応を提供する。

これを見るには、次を計算する

[math] \varepsilon ^2 = (\mathbf{e}_1 \mathbf{e}_2 \mathbf{e}_3 \mathbf{e}_4)^2 = \mathbf{e}_1 \mathbf{e}_2\mathbf{e}_3 \mathbf{e}_4 \mathbf{e}_1 \mathbf{e}_2 \mathbf{e}_3 \mathbf{e}_4 = -\mathbf{e}_1 \mathbf{e}_2\mathbf{e}_3 (\mathbf{e}_4 \mathbf{e}_4 ) \mathbf{e}_1 \mathbf{e}_2\mathbf{e}_3 = 0,\![/math]

と

[math] \varepsilon i = (\mathbf{e}_1 \mathbf{e}_2 \mathbf{e}_3 \mathbf{e}_4) \mathbf{e}_2 \mathbf{e}_3 = \mathbf{e}_1 \mathbf{e}_2 \mathbf{e}_3 \mathbf{e}_4 \mathbf{e}_2 \mathbf{e}_3 = \mathbf{e}_2\mathbf{e}_3 (\mathbf{e}_1 \mathbf{e}_2 \mathbf{e}_3 \mathbf{e}_4) = i\varepsilon.\![/math]

e₁ と e₄ の交換は偶数回符号を交代し、双対単位 ε が四元数基底元 i, j, k と交換することを示す。

性質

外積代数との関係

ベクトル空間 V が与えられると外積代数 ⋀(V) を構成でき、その次元は V 上のどんな二次形式からも独立である。K が標数 2 でなければ ⋀(V) と Cℓ(V, Q) の間にベクトル空間として考えて自然な同型が存在する（そして標数が 2 でない場合には自然でないかもしれない同型が存在する）ということが判明する。これが代数同型であることと Q = 0 は同値である。したがってクリフォード代数 Cℓ(V, Q) を Q に依存した積で V 上の外積代数を豊かにしたもの（あるいはより正確には、量子化、 cf. 導入）と考えることができる（外積はなお Q とは独立に定義できる）。

同型を確立する最も易しい方法は V の直交基底 {e_i} をとりそれを上で述べられたように Cℓ(V, Q) の基底に拡張することである。写像 Cℓ(V, Q) → ⋀(V) は

[math]e_{i_1}e_{i_2}\cdots e_{i_k} \mapsto e_{i_1}\wedge e_{i_2}\wedge \cdots \wedge e_{i_k}[/math]

によって決定される。これは基底 {e_i} が直交しているときにのみうまくいくことに注意しよう。この写像は直交基底の選択とは独立であり従って自然同型を与えることを示すことができる。

K の標数が 0 であれば、反対称化によっても同型を確立できる。関数 f_k: V × ⋯ × V → Cℓ(V, Q) を

[math]f_k(v_1, \cdots, v_k) = \frac{1}{k!}\sum_{\sigma\in S_k}{\rm sgn}(\sigma)\, v_{\sigma(1)}\cdots v_{\sigma(k)}[/math]

によって定義する、ただし和は k 個の元の上の置換群を渡って取られる。f_k は交代形式なのでそれは一意的な線型写像 ⋀^k(V) → Cℓ(V, Q) を誘導する。これらの写像の直和は ⋀(V) と Cℓ(V, Q) の間の線型写像を与える。この写像は線型同型であることを示すことができ、それは自然である。

関係を見るより洗練された方法は Cℓ(V, Q) 上フィルトレーションを構成することである。テンソル代数 T(V) は自然なフィルトレーションを持つことを思い出そう： F⁰ ⊂ F¹ ⊂ F² ⊂ ⋯、ただし F^k は k-階以下のテンソルの和を含む。これをクリフォード代数に射影することで Cℓ(V, Q) 上のフィルトレーションが得られる。伴う次数代数

[math]\operatorname{Gr}\nolimits_F C\ell(V,Q) = \bigoplus_k F^k/F^{k-1}[/math]

は自然に外積代数 ⋀(V) に同型である。フィルター代数の伴う次数代数は（すべての k に対してFテンプレート:Exp のコンポーネントを F^k+1 の中に選ぶことによって）つねにフィルターベクトル空間としてフィルター代数に同型であるから、これは任意の標数において、2 でさえも、（自然なものではないが）同型を提供する。

次数付け

以降標数は 2 でないとする。

クリフォード代数は Z₂-次数代数（超代数としても知られている）である。実際、v ↦ −v によって定義される V 上の線型写像（原点を通る反射）は二次形式 Q を保存ししたがってクリフォード代数の普遍性によって代数自己同型

α: Cℓ(V, Q) → Cℓ(V, Q)

に拡張する。α は対合（すなわち自乗すると恒等関数になる）であるから、Cℓ(V, Q) を α の正と負の固有空間に分解できる

[math]C\ell(V,Q) = C\ell^0(V,Q) \oplus C\ell^1(V,Q)[/math]

ただし Cℓⁱ(V, Q) テンプレート:Coloneqq {x ∈ Cℓ(V, Q) | α(x) = (−1)ⁱx}。α は自己同型であるから

[math]C\ell^{\,i}(V,Q)C\ell^{\,j}(V,Q) = C\ell^{\,i+j}(V,Q)[/math]

が従う、ただし右上の添え字は modulo 2 で読まれる。これは Cℓ(V, Q) に Z₂-次数代数の構造を与える。部分空間 Cℓ⁰(V, Q) は Cℓ(V, Q) の部分代数をなし、偶部分代数 (even subalgebra) と呼ばれる。部分空間 Cℓ¹(V, Q) は Cℓ(V, Q) の奇成分 (odd part) と呼ばれる（部分代数ではない）。この Z₂-次数付けはクリフォード代数の解析と応用において重要な役割を果たす。自己同型 α は主対合 (main involution) あるいは次数付き対合 (grade involution) と呼ばれる。この Z₂-次数付けにおいて pure な元は単に even あるいは odd と呼ばれる。

注意

標数が 2 でなければ Cℓ(V, Q) の基礎ベクトル空間は N-次数付けと Z-次数付けを外積代数 ⋀(V) の基礎ベクトル空間との自然な同型から受け継ぐ。しかしながら、これはベクトル空間の次数付けでしかないことに注意することは重要である。つまり、クリフォード乗法は N-次数付けや Z-次数付けをリスペクトせず、Z₂-次数付けだけなのである： 例えば Q(v) ≠ 0 であれば v ∈ Cℓ¹(V, Q) だが vテンプレート:Exp ∈ Cℓ⁰(V, Q) であって Cℓ²(V, Q) に入らない。幸運なことに、次数付けは自然な方法で関係している： Z₂ ≅N/2N≅ Z/2Z。さらに、クリフォード代数は Z-filteredである： Cℓ^≤i(V, Q) ⋅ Cℓ^≤j(V, Q) ⊂ Cℓ^≤i+j(V, Q)。クリフォード数の次数 (degree) は通常 N-次数付けにおける次数のことである。

クリフォード代数の偶部分代数 Cℓ⁰(V, Q) はそれある自身クリフォード代数に同型であるV がノルム Q(a) の部分空間 U のベクトル a の直交直和であれば、Cℓ⁰(V, Q) は Cℓ(U, −Q(a)Q) に同型である、ただし −Q(a)Q は U に制限され −Q(a) を掛けた形式 Q である。特に実数体上これは次を意味する

[math]C\ell_{p,q}^0(\mathbf{R}) \cong C\ell_{p,q-1}(\mathbf{R})\quad(q \gt 0),[/math]

[math]C\ell_{p,q}^0(\mathbf{R}) \cong C\ell_{q,p-1}(\mathbf{R})\quad(p \gt 0)[/math]

負定値の場合にはこれは包含 Cℓ_0,n−1(R) ⊂ Cℓ_0,n(R) を与え、列を拡張する

R ⊂ C ⊂ H ⊂ H ⊕ H ⊂ ⋯;

同様に、複素の場合には、Cℓ_n(C) の偶部分代数は Cℓ_n−1(C) に同型であることを示せる。

反自己同型写像

自己同型 α に加えて、クリフォード代数の解析において重要な役割を果たす 2 つの反自己同型が存在する。テンソル代数 T(V) はすべての積の順序を逆にする反自己同型とともに来ることを思い出そう：

[math]v_1\otimes v_2\otimes \cdots \otimes v_k \mapsto v_k\otimes \cdots \otimes v_2\otimes v_1.[/math]

イデアル I_Q はこの反転の下で不変なので、この演算は Cℓ(V, Q) の反自己同型に降り、転置 (transpose) あるいは反転 (reversal) 演算と呼ばれ、^tx によって表記される。この反転は反自己同型である： ^t(xy) = ^ty ^tx。転置演算は Z₂-次数付けを全く使わないので2つ目の反自己同型を α と転置を合成することによって定義する。この演算をクリフォード共役 (Clifford conjugation) と呼び x と表記する

[math]\bar x = \alpha(^t\!x) = {}^t\!(\alpha(x)).[/math]

2 つの反自己同型のうち転置はより基本的である。

これらの演算は全て対合であることに注意しよう。それらは Z-次数付けにおいて pure な元上 ±1 として作用することを示すことができる。実際、すべての 3 つの演算は次数 modulo 4 にしか依らない。つまり、x が pure で次数 k であれば、

[math]\alpha(x) = \pm x \qquad {}^t\!x = \pm x \qquad \bar x = \pm x[/math]

ただし符号は以下の表によって与えられる：

k mod 4	0	1	2	3
[math]\alpha(x)\,[/math]	+	−	+	−	(−1)k
[math]{}^t\!x\,[/math]	+	+	−	−	(−1)k(k−1)/2
[math]\bar x[/math]	+	−	−	+	(−1)k(k+1)/2

クリフォードスカラー積

標数が 2 でないとき、V 上の二次形式 Q は Cℓ(V, Q) のすべての上の二次形式に拡張することができる（これも Q によって表記する）。1 つのそのような拡張の基底に依存しない定義は

[math]Q(x) = \langle {}^t\!x x\rangle[/math]

ただし [math]\langle a \rangle[/math] は a のスカラー部分（Z-次数付けにおいて次数 0 の部分）を表記する。

[math]Q(v_1v_2\cdots v_k) = Q(v_1)Q(v_2)\cdots Q(v_k)[/math]

を示すことができる、ただし v_i は V の元である – この恒等式は Cℓ(V, Q) の任意の元に対しては正しく「ない」。

Cℓ(V, Q) 上の伴う対称双線型形式は

[math]\langle x, y\rangle = \langle {}^t\!x y\rangle[/math]

によって与えられる。これは V に制限されたときにもとの双線型形式に戻ることを確認できる。 Cℓ(V, Q) のすべての上の双線型形式が非退化であることとそれが V 上非退化であることは同値である。

転置はこの内積に関して左/右クリフォード乗法の随伴であることを証明するのは難しくない。つまり、

[math]\langle ax, y\rangle = \langle x, {}^t\!a y\rangle,[/math]

および

[math]\langle xa, y\rangle = \langle x, y {}^t\!a\rangle.[/math]

クリフォード代数の構造

このセクションにおいてベクトル空間 V の次元は有限であり Q の双線型形式は非特異であると仮定する。K 上の中心単純代数は中心が K の（有限次元）可除代数上の行列代数である。例えば、実数体上の中心単純代数は実数体あるいは四元数体上の行列代数である。

• V の次元が偶数であれば Cℓ(V, Q) は K 上の中心単純代数である。
• V の次元が偶数であれば Cℓ⁰(V, Q) は K の二次拡大上の中心単純代数であるかまたは K 上の 2 つの同型な中心単純代数の和である。
• V の次元が奇数であれば Cℓ(V, Q) は K の二次拡大上の中心単純代数であるかまたは K 上の 2 つの同型な中心単純代数の和である。
• V の次元が奇数であれば Cℓ⁰(V, Q) は K 上の中心単純代数である。

クリフォード代数の構造は以下の結果を用いて明示的に解明できる。U の次元は偶数で判別式 d の非特異双線型形式を持っているとし、V は二次形式を持った別の空間とする。U + V のクリフォード代数は U と (−1)^dim(U)/2dV のクリフォード代数のテンソル積に同型で、後者はその二次形式に (−1)^dim(U)/2d を掛けた空間 V である。実数体上これは特に次を意味する

[math] C\ell_{p+2,q}(\mathbf{R}) = M_2(\mathbf{R})\otimes C\ell_{q,p}(\mathbf{R}) [/math]

[math] C\ell_{p+1,q+1}(\mathbf{R}) = M_2(\mathbf{R})\otimes C\ell_{p,q}(\mathbf{R}) [/math]

[math] C\ell_{p,q+2}(\mathbf{R}) = \mathbf{H}\otimes C\ell_{q,p}(\mathbf{R}). [/math]

これらの公式をすべての実クリフォード代数とすべての複素クリフォード代数の構造を見つけるために使うことができる。クリフォード代数の分類を見よ。

とりわけ、クリフォード代数の森田同値類（その表現論： それ上の加群の圏の同値類）は符号 (p − q) mod 8 のみに依っている。これはボットの周期性の代数的な形である。

クリフォード群

クリフォード群のクラスはルドルフ・リプシッツ (Rudolf Lipschitz) によって発見された。

このセクションにおいて V は有限次元で二次形式 Q は非退化であると仮定する。

クリフォード代数の元へのその可逆元の群による作用はひねられた共軛 (twisted conjugation) の言葉によって定義できる。x は y ↦ xyα(x)⁻¹ と写す、ただし α は上で定義された main involution、による twisted conjugation。

クリフォード群 Γ はこの作用の下でベクトルを安定化する (stabilize vectors) 可逆元 x の集合として定義される。これが意味するのは V のすべての v に対して：

[math]x v \alpha(x)^{-1}\in V .[/math]

この公式はまたノルム Q を保つベクトル空間 V 上のクリフォード群の作用を定義し、従ってクリフォード群から直交群への準同型を与える。クリフォード群はノルムが 0 でない V のすべての元 r を含み、これらは v を v − 2テンプレート:Angbrr/Q(r) に持っていく対応する鏡映によって V 上作用する。（標数 2 においてこれらは鏡映ではなく「直交移換」(orthogonal transvection) と呼ばれる。）

クリフォード群 Γ は2 つの部分集合 Γ⁰ と Γ¹ の非交和である、ただし Γⁱ は次数 i の元の部分集合である。部分集合 Γ⁰ は Γ において指数 2 の部分群である。

V が正定値（あるいは負定値）二次形式を持った有限次元実ベクトル空間であればクリフォード群は（カルタン・デュドネの定理によって）その形式に関して V の直交群に全射し核は体 K の 0 でない元からなる。これは次の完全列を導く

[math] 1 \to K^* \to \Gamma \to \operatorname{O}_V(K) \to 1,[/math]

[math] 1 \to K^* \to\Gamma^0\to \operatorname{SO}_V(K)\to 1.[/math]

他の体上あるいは不定値形式では、写像は一般には全射ではなく、失敗はスピノルノルムによってとらえられる。

スピノルノルム

任意の標数において、スピノルノルム Q はクリフォード群上

[math]Q(x) = {}^t\!xx.\,[/math]

によって定義される。それはクリフォード群から K の非零元の群 K* への準同型である。それは V をクリフォード代数の部分空間と同一視したときに V の二次形式 Q と一致する。著者によってはスピノルノルムの定義が僅かに異なり、ここでのものとは Γ¹ 上 −1, 2, あるいは −2 の因子によって異なる。違いは標数が 2 でなければそれほど重要ではない。

K の 0 でない元は体 K の非零元の平方の群 K*テンプレート:Exp にスピノルノルムを持つ。なので V が有限次元で非特異なとき V の直交群から群 K*/K*テンプレート:Exp への誘導写像を得、これもまたスピノルノルムと呼ばれる。ベクトル r の鏡映のスピノルノルムは K*/K*テンプレート:Exp において像 Q(r) を持ち、この性質は直交群上それを一意的に定義する。これは次の完全列を与える：

[math] 1 \to \{\pm 1\} \to \operatorname{Pin}_V(K) \to \operatorname{O}_V(K) \to K^*/K^{*2},[/math]

[math] 1 \to \{\pm 1\} \to \operatorname{Spin}_V(K) \to \operatorname{SO}_V(K) \to K^*/K^{*2}.[/math]

標数 2 においては群 {±1} はただ 1 つの元を持つことに注意せよ。

代数群のガロワコホモロジーの視点から、スピノルノルムはコホモロジーの連結準同型である。1 の平方根の代数群（標数が 2 でない体上それは大雑把には自明なガロワ作用を持った 2 元群と同じである）を μ₂ と書くと、短完全列

[math] 1 \to \mu_2 \rightarrow \mathrm{Pin}_V \rightarrow \mathrm{O}_V \rightarrow 1\,[/math]

はコホモロジーの長完全列を生み出し、それは

[math] 1 \to H^0(\mu_2;K) \to H^0(\mathrm{Pin}_V;K) \to H^0(\mathrm{O}_V;K) \to H^1(\mu_2;K)\,[/math]

で始まる。K に係数を持つ代数群の 0 次ガロワコホモロジー群は単に K-値点の群である： H⁰(G; K) = G(K)、および H¹(μ₂; K) ≅ K*/K*テンプレート:Exp, よって前の列を復元する：

[math] 1 \to \{\pm 1\} \to \operatorname{Pin}_V(K) \to \operatorname{O}_V(K) \to K^*/K^{*2},\,[/math]

ただしスピノルノルムは連結準同型 H⁰(O_V; K) → H¹(μ₂; K) である。

スピン群とピン群

このセクションにおいて V は有限次元でありその双線型形式は非特異であると仮定する。（K が標数 2 であればこれは V の次元が偶数であることを含む。）

ピン群 Pin_V(K) はスピノルノルム ±1 の元のクリフォード群 Γ の部分群であり、同様にスピン群 Spin_V(K) は Pin_V(K) においてディクソン不変量 0 の元の部分群である。標数が 2 でないとき、これらは行列式 1 の元である。スピン群は通常ピン群において指数 2 を持つ。

クリフォード群から直交群への全射準同型が存在することを直前のセクションから思い出そう。特殊直交群を Γ⁰ の像として定義する。K の標数が 2 でなければこれは単に直交群の行列式 1 の元の群である。K の標数が 2 であれば、直交群のすべての元は行列式 1 をもち、特殊直交群はディクソン不変量 0 の元の集合である。

ピン群から直交群への準同型が存在する。像はスピノルノルム 1 ∈ K*/K*テンプレート:Exp の元からなる。核は元 +1 と −1 からなり、K の標数が 2 でなければ位数 2 をもつ。同様にスピン群から V の特殊直交群への準同型が存在する。

V が実数上正あるいは負定値空間である共通の場合において、スピン群は特殊直交群の上へと写り V の次元が少なくとも 3 であれば単連結である。さらにこの準同型の核は 1 と −1 からなる。なのでこの場合スピン群 Spin(n) は SO(n) の二重被覆である。しかしながら、スピン群の単連結性は一般には正しくないことに注意してください： V がともに 2 以上の p, q に対して R^p,q であればスピン群は単連結ではない。この場合代数群 Spin_p,q は代数群として単連結である。その実数値点の群 Spin_p,q(R) は単連結でないにもかかわらず。これはかなり微妙な点であり、少なくとも 1 冊のスピン群についての標準的な本の著者をすっかり混乱させた。

スピノル

クリフォード代数 Cℓ_p,q(C) で p + q = 2n と偶数になるものは 2テンプレート:Exp 次元の複素表現を持つ行列代数である。群 Pin_p,q(R) に制限することにより同じ次元の Pin 群の複素表現を得、これはスピン表現と呼ばれる。これをスピン群 Spin_p,q(R) に制限すれば次元 2テンプレート:Exp の 2 つの半スピン表現（あるいはワイル表現）の和として分解する。

p + q = 2n + 1 と奇数になればクリフォード代数 Cℓ_p,q(C) はそれぞれが 2テンプレート:Exp 次元の表現を持っているような 2 つの行列代数の和であり、これらもまた両方ともピン群 Pin_p,q(R) の表現である。スピン群 Spin_p,q(R) への制限上これらは同型になり、したがってスピン群は次元 2テンプレート:Exp の複素スピノル表現を持つ。

より一般に、任意の体上のスピノル群とピン群は正確な構造が対応するクリフォード代数の構造に依存する同様の表現を持つ：クリフォード代数がある可除代数上の行列代数である因子を持つときにはいつでもその可除代数上のピンとスピン群の対応する表現を得る。例えば実数体上はスピノールの記事を見よ。

実スピノル

テンプレート:Details 実スピン表現を記述するために、スピン群がクリフォード代数の中にどのようにあるかを知らなければならない。ピン群 Pin_p,q は単位ベクトルの積として書ける Cℓ_p,q の可逆元の集合である：

[math]\operatorname{Pin}\nolimits_{p,q} := \{v_1v_2\dots v_r \mid \forall i\, \|v_i\|=\pm 1\}.[/math]

クリフォード代数の上の具体的な実現と比べて、ピン群は任意にたくさんの鏡映の積に対応する： それは全直交群 O(p, q) の被覆である。スピン群は単位ベクトルの偶数個の積であるような Pin_p,q の元からなる。したがってカルタン・デュドネの定理によって Spin は固有回転の群 SO(p, q) の被覆である。

α: Cℓ → Cℓ を pure ベクトルに作用する写像 v ↦ −v によって与えられる自己同型とする。すると特に Spin_p,q は元が α によって固定される Pin_p,q の部分群である。

[math]C\ell_{p,q}^0 = \{ x\in C\ell_{p,q} \mid \alpha(x)=x\}[/math]

とする。（これらは Cℓ_p,q においてちょうど偶数次の元である。）するとスピン群は テンプレート:Subsup の中にある。

Cℓ_p,q の既約表現はピン群の表現を与えるために制限する。逆に、ピン群は単位ベクトルで生成されるから、その既約表現のすべてはこのようにして誘導される。したがって 2 つの表現は一致する。同じ理由のため、スピンの既約表現は テンプレート:Subsup の既約表現と一致する。

ピン表現を分類するためには、クリフォード代数の分類にアピールするだけでよい。（偶部分代数の表現である）スピン表現を見つけるためには、まず次の同型のいずれかを利用できる（上記参照）

テンプレート:Subsup ≈ Cℓ_p,q−1 (for q > 0);

テンプレート:Subsup ≈ Cℓ_q,p−1 (for p > 0).

そして符号 (p, q − 1) あるいは (q, p − 1) におけるピン表現として符号 (p, q) におけるスピン表現を実現できる。

応用

微分幾何学

外積代数の主要な応用の 1 つは微分幾何学にありそこではそれが滑らかな多様体上の微分形式のファイバー束を定義するために使われる。（擬）リーマン多様体の場合には、接空間は計量によって誘導される自然な二次形式を持つ。したがって、外束とのアナロジーでクリフォード束を定義できる。これはリーマン幾何学においてたくさんの重要な応用を持つ。おそらくより重要なのはスピン多様体、その付随するスピノル束そして spin^c 多様体へのつながりであろう。

物理学

クリフォード代数は物理学においてたくさんの重要な応用を持つ。物理学者は通常クリフォード代数を次の性質を持つディラック行列と呼ばれる行列 γ₀, …, γ₃ によって生成された基底を持つ代数と考える。

[math]\gamma_i\gamma_j + \gamma_j\gamma_i = 2\eta_{ij}\,[/math]

ただし η は符号 (1, 3) の二次形式の行列である。これらはちょうど（重要でない因子 2 を除いて）クリフォード代数 Cℓ_1,3(R) の定義関係式であり、その複素化は Cℓ_1,3(R)_C でありこれはクリフォード代数の分類によって 4 × 4 複素行列の代数に同型である。

ディラック行列は最初ポール・ディラックによって、電子に対する相対論の一階波動方程式を書き、クリフォード代数から複素行列への明示的な同型を与えようとしていた時に、書き下された。結果はディラック方程式を定義しディラック作用素を導入するために用いられた。クリフォード代数全体はディラック場双線型の形式の場の量子論において現れる。

量子論を記述するためのクリフォード代数の使用は中でも Mario Schönbergによって、geometric calculus の言葉では David Hestenes と Basil Hiley と hierarchy of Clifford algebras の共同研究者によって、そして Elio Conte et al.によって進められてきた。

コンピュタビジョン

最近、クリフォード代数はコンピュータビジョンにおける action recognition と分類の問題において応用されている。Rodriguez et al. は伝統的な MACH filters を video (3D spatiotemporal volume) とオプティカルフローのようなベクトル値データに一般化するクリフォード埋め込みを提案する。ベクトル値データは Clifford Fourier Transform を用いて解析される。これらのベクトルに基づいてアクションフィルターはクリフォードフーリエドメインにおいてシンセサイズされアクションの認識は Clifford Correlation を用いて実行される。著者は古典的特徴フィルムとスポーツ報道テレビにおいて典型的に実行されるアクションを認識することによってクリフォード埋め込みの有効性を説明する。

関連項目

• 物理空間の代数 (APS)
• クリフォード代数の分類
• クリフォード加群
• ガンマ行列
• 外積代数
• 一般化されたクリフォード代数
• 幾何代数
• スピン群
• スピノール
• パラベクトル
• ケーリー–ディクソンの構成法
• スピノル束
• ディラック作用素
• クリフォード解析
• スピン構造
• 四元数
• 八元数
• 超複素数
• 高次元ガンマ行列

参考文献

• Bourbaki, Nicolas (1988), Algebra, Berlin, New York: Springer-Verlag, ISBN 978-3-540-19373-9 , section IX.9.
• Carnahan, S. Borcherds Seminar Notes, Uncut. Week 5, "Spinors and Clifford Algebras".
• Garling, D. J. H. (2011), Clifford algebras. An introduction, London Mathematical Society Student Texts, 78, Cambridge: Cambridge University Press, ISBN 978-1-107-09638-7, Zbl 1235.15025 
• Lam, Tsit-Yuen (2005), Introduction to Quadratic Forms over Fields, Graduate Studies in Mathematics, 67, American Mathematical Society, ISBN 0-8218-1095-2, MR 2104929, Zbl 1068.11023 
• Lawson, H. Blaine; Michelsohn, Marie-Louise (1989), Spin Geometry, Princeton, NJ: Princeton University Press, ISBN 978-0-691-08542-5 . An advanced textbook on Clifford algebras and their applications to differential geometry.
• Lounesto, Pertti (2001), Clifford algebras and spinors, Cambridge: Cambridge University Press, ISBN 978-0-521-00551-7 
• Porteous, Ian R. (1995), Clifford algebras and the classical groups, Cambridge: Cambridge University Press, ISBN 978-0-521-55177-9 
• Jagannathan, R., On generalized Clifford algebras and their physical applications, arXiv:1005.4300 
• Sylvester, J. J., (1882), Johns Hopkins University Circulars I: 241-242; ibid II (1883) 46; ibid III (1884) 7-9. Summarized in The Collected Mathematics Papers of James Joseph Sylvester (Cambridge University Press, 1909) v III .online and further.

関連文献

• Knus, Max-Albert (1991), Quadratic and Hermitian forms over rings, Grundlehren der Mathematischen Wissenschaften, 294, Berlin etc.: Springer-Verlag, ISBN 3-540-52117-8, Zbl 0756.11008 

外部リンク

• テンプレート:Springer
• Planetmath entry on Clifford algebras
• A history of Clifford algebras (unverified)
• John Baez on Clifford algebras
• Clifford Algebra: A Visual Introduction
• Rowland, Todd; Weisstein, Eric W.. “Clifford Algebra”. MathWorld（英語）.
• Clifford algebra - PlanetMath.（英語）
• Clifford algebra in nLab