クリフォード代数

提供: miniwiki
2018/8/19/ (日) 16:57時点におけるAdmin (トーク | 投稿記録)による版 (1版 をインポートしました)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
移動先:案内検索

テンプレート:翻訳直後


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

最もよく知られたクリフォード代数、あるいは直交クリフォード代数 (orthogonal Clifford algebra) は、リーマンクリフォード代数 (Riemannian Clifford algebra) とも呼ばれる[3]:テンプレート:Google books quote

導入と基本的性質

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

[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]

分極公式English版によって 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 において議論されているように、超代数English版の偶項と奇項として統一できる。

普遍的な性質と構成

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

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

j(v)テンプレート:Exp テンプレート:Coloneqq Q(v)1A (∀vV)

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

(標数≠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)両側イデアル IQ を取りたく、Cℓ(V, Q) を商代数

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

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

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

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

基底と次元

VK 上の次元n であり {e1, …, en}(V, Q)直交基底English版であれば、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 基底の集合が存在する: 直交基底である。直交基底English版

[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]

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

[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 あるいは AA に同型である、ただし A は成分が テンプレート:Mathbf あるいは テンプレート:Mathbf から来る全行列環、ということが明らかになる。これらの代数の完全な分類はクリフォード代数の分類English版を見よ。

実係数の場合

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

有限次元実ベクトル空間上のすべての非退化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) は二次形式の符号数と呼ばれる。この二次形式を持った実ベクトル空間はしばしば Rp, q と表記される。Rp,q 上のクリフォード代数は Cℓp,q(R) と表記される。記号 Cℓn(R) は著者が正定値と不定値の空間どちらを好むかによって Cℓn,0(R) あるいは Cℓ0,n(R) を意味する。

Rp,q の標準正規直交基底 {ei} は互いに直交する 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 つのベクトル e1 によって生成される 2 次元の代数なので複素数テンプレート:Mathbf に同型である。代数 Cℓ0,2(R){1, e1, e2, e1e2} によって張られる 4 次元の代数である。後ろ 3 つの元は平方して −1 になりすべて反交換するので、代数は四元数テンプレート:Mathbf に同型である。Cℓ0,3(R)分解型双四元数English版と呼ばれる直和 HH に同型な 8 次元の代数である。

複素係数の場合

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

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

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

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

Cℓ0(C) ≅ C: 複素数
Cℓ1(C) ≅ CC: 双複素数
Cℓ2(C) ≅ M(2, C): 双四元数English版

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

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

四元数

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

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

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

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

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

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

R3 の直交単位ベクトルの集合を e1, e2, e3 として表記すると、クリフォード積は関係

[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]

双対四元数

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

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

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

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

ベクトル vw のクリフォード積は

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

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

R4 の直交単位ベクトルの集合を e1, e2, e3, e4 として表記すると、クリフォード積は関係

[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ℓ(R4,d) の一般元は 16 個の成分を持つ。偶次数付けられた元の線型結合は次の形の一般元を持った偶部分代数 Cℓ0(R4,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]

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

性質

外積代数との関係

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

同型を確立する最も易しい方法は V直交基底 {ei} をとりそれをで述べられたように 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]

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

K標数が 0 であれば、反対称化によっても同型を確立できる。関数 fk: V × ⋯ × VCℓ(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 個の元の上の置換群を渡って取られる。fk交代形式English版なのでそれは一意的な線型写像 k(V) → Cℓ(V, Q) を誘導する。これらの写像の直和⋀(V)Cℓ(V, Q) の間の線型写像を与える。この写像は線型同型であることを示すことができ、それは自然である。

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

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

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

次数付け

以降標数は 2 でないとする[注釈 2]

クリフォード代数は Z2-次数代数超代数English版としても知られている)である。実際、v ↦ −v によって定義される V 上の線型写像(原点を通る反射English版)は二次形式 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ℓi(V, Q) テンプレート:Coloneqq {xCℓ(V, Q) | α(x) = (−1)ix}α は自己同型であるから

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

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

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

クリフォード代数の偶部分代数 Cℓ0(V, Q) はそれある自身クリフォード代数に同型である[注釈 4][注釈 5]V がノルム Q(a) の部分空間 U のベクトル a直交直和であれば、Cℓ0(V, Q)Cℓ(U, −Q(a)Q) に同型である、ただし Q(a)QU に制限され 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) を与え、列を拡張する

RCHHH ⊂ ⋯;

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

反自己同型写像

自己同型 α に加えて、クリフォード代数の解析において重要な役割を果たす 2 つの反自己同型English版が存在する。テンソル代数 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]

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

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

2 つの反自己同型のうち転置はより基本的である[注釈 6]

これらの演算は全て対合であることに注意しよう。それらは 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 上の二次形式 QCℓ(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]

を示すことができる、ただし viV の元である – この恒等式は 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ℓ0(V, Q)K の二次拡大上の中心単純代数であるかまたは K 上の 2 つの同型な中心単純代数の和である。
  • V の次元が奇数であれば Cℓ(V, Q)K の二次拡大上の中心単純代数であるかまたは K 上の 2 つの同型な中心単純代数の和である。
  • V の次元が奇数であれば Cℓ0(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]

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

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

クリフォード群

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

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

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

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

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

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

クリフォード群 Γ は2 つの部分集合 Γ0 と Γ1 の非交和である、ただし Γi は次数 i の元の部分集合である。部分集合 Γ0 は Γ において指数 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]

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

スピノルノルム

テンプレート:Details

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

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

によって定義される。それはクリフォード群から K の非零元の群 K* への準同型である。それは V をクリフォード代数の部分空間と同一視したときに V の二次形式 Q と一致する。著者によってはスピノルノルムの定義が僅かに異なり、ここでのものとは Γ1 上 −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 元群と同じである)を μ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-値点の群である: H0(G; K) = G(K)、および H1(μ2; K) ≅ K*/K*テンプレート:Exp, よって前の列を復元する:

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

ただしスピノルノルムは連結準同型 H0(OV; K) → H1(μ2; K) である。

スピン群とピン群

テンプレート:Details

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

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

クリフォード群から直交群への全射準同型が存在することを直前のセクションから思い出そう。特殊直交群を Γ0 の像として定義する。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 に対して Rp,q であればスピン群は単連結ではない。この場合代数群 Spinp,q は代数群として単連結である。その実数値点の群 Spinp,q(R) は単連結でないにもかかわらず。これはかなり微妙な点であり、少なくとも 1 冊のスピン群についての標準的な本の著者をすっかり混乱させた。

スピノル

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

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

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

実スピノル

テンプレート:Details 実スピン表現を記述するために、スピン群がクリフォード代数の中にどのようにあるかを知らなければならない。ピン群 Pinp,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) の被覆である。スピン群は単位ベクトルの偶数個の積であるような Pinp,q の元からなる。したがってカルタン・デュドネの定理によって Spin は固有回転の群 SO(p, q) の被覆である。

α: CℓCℓ を pure ベクトルに作用する写像 v ↦ −v によって与えられる自己同型とする。すると特に Spinp,q は元が α によって固定される Pinp,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 の既約表現と一致する。

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

テンプレート:SubsupCℓp,q−1 (for q > 0);
テンプレート:SubsupCℓq,p−1 (for p > 0).

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

応用

微分幾何学

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

物理学

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

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

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

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

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

コンピュタビジョン

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

関連項目

脚注

注釈

  1. 実クリフォード代数を扱い正定値二次形式を好む数学者(特に指数理論の研究者)は基本的なクリフォード恒等式 (the fundamental Clifford identity) において異なった符号の規約を用いることがある。つまり、彼らは v2 = −Q(v) を取る。もう一方の規約へと移るときは、Q−Q で置き換えなければならない。
  2. したがって群環 Kテンプレート:Bracket半単純でありクリフォード代数は主対合の固有空間に分解する。
  3. Z-次数付けは N 次数付けから負の整数で添え字づけられた零部分空間のコピーを追加することによって得られる。
  4. 技術的には、指定されたベクトル部分空間なしにはそれはクリフォード代数の完全な構造を持たない。
  5. なお標数は 2 でないことを仮定している。
  6. 代わりに (−) の規約を用いるときは、逆に共役がより基本的となる。一般に、共役と転置の意味は一方の符号の規約からもう一方へと移るときに交換される。例えば、ここで使われる慣習ではベクトルの逆は v−1 = vt / Q(v) によって与えられ、一方 (−) 規約 では v−1 = v / Q(v) によって与えられる。

出典

  1. Clifford, W. K. (1873), Preliminary sketch of bi-quaternions, 4, pp. 381–395 
  2. Clifford, W. K. (1882), Tucker, R., ed., Mathematical Papers, London: Macmillan 
  3. 例えば Oziewicz, Z.; Sitarczyk, Sz. (1992), “Parallel treatment of Riemannian and symplectic Clifford algebras.”, in Micali, Artibano; Boudet, Roger; Helmstetter, Jacques, Clifford Algebras and their Applications in Mathematical Physics, Kluwer Academic Publishers, ISBN 0-7923-1623-1 
  4. Lounesto 2001, §1.8.
  5. J. M. McCarthy, An Introduction to Theoretical Kinematics, pp. 62–5, MIT Press 1990.
  6. O. Bottema and B. Roth, Theoretical Kinematics, North Holland Publ. Co., 1979
  7. Lounesto 2001, §17.2.
  8. See the references to Schönberg's papers of 1956 and 1957 as described in section "The Grassmann–Schönberg algebra [math]G_n[/math]" of:A. O. Bolivar, Classical limit of fermions in phase space, J. Math. Phys. 42, 4020 (2001) doi:10.1063/1.1386411
  9. Conte, Elio (2002年). “A Quantum Like Interpretation and Solution of Einstein, Podolsky, and Rosen Paradox in Quantum Mechanics”. arXiv:0711.2260 [quant-ph]. 
  10. Elio Conte: On some considerations of mathematical physics: May we identify Clifford algebra as a common algebraic structure for classical diffusion and Schrödinger equations? Adv. Studies Theor. Phys., vol. 6, no. 26 (2012), pp. 1289–1307
  11. Rodriguez, Mikel; Shah, M (2008). “Action MACH: A Spatio-Temporal Maximum Average Correlation Height Filter for Action Classification”. Computer Vision and Pattern Recognition (CVPR) 

参考文献

関連文献

外部リンク