クリフォード代数
数学において、クリフォード代数 (Clifford algebra) は結合多元環の一種である。-代数として、それらは実数、複素数、四元数、そしていくつかの他の超複素数系を一般化する。クリフォード代数の理論は二次形式と直交変換の理論と親密に関係がある。クリフォード代数は幾何学、理論物理学、デジタル画像処理を含む種々の分野において重要な応用を持つ。それらはイギリス人幾何学者にちなんで名づけられている。
最もよく知られたクリフォード代数、あるいは直交クリフォード代数 (orthogonal Clifford algebra) は、リーマンクリフォード代数 (Riemannian Clifford algebra) とも呼ばれる。
クリフォード代数は二次形式 を伴った体 上のベクトル空間 を含みそれによって生成される単位的結合多元環である。クリフォード代数 は次の条件を満たす によって生成される「最も自由な」代数である：
ただし左辺の積は代数の積であり、1 は乗法単位元である。
クリフォード代数の定義は「裸の」(bare) -代数よりも多くの構造をそれに与える： 特にそれは に同型な特定された、あるいは特別に選ばれた部分空間を持つ。そのような部分空間はクリフォード代数に同型な -代数のみが与えられても一般には一意的には決定できない。
基礎体 の標数が 2 でなければ、この基本関係式を次の形に書き直すことができる：
ただし
はによって と結びついた対称双線型形式である。この関係式を満たす「最も自由な」 (freest) あるいは「最も一般」 (most general) な代数であることのアイデアは普遍性の概念を通じて下記でされるように正式に表現できる。
標数 2 において二次形式とクリフォード代数は例外的なケースをなす。特に、 であれば、二次形式は対称双線型形式を決定すること、あるいはすべての二次形式は直交基底を持つことは正しくない。この記事のステートメントの多くは標数が 2 でないという条件を含み、条件が除かれると誤りである。
クリフォード代数は外積代数と近い関係にある。実は、 であればクリフォード代数 はちょうど外積代数 である。0 でない に対して基礎体 の標数が 2 でないときにはいつでも と の間の自然な「線型」同型が存在する。つまり、それらはベクトル空間として自然に同型であるが、異なる乗法である（標数 2 の場合にはそれらはなおベクトル空間として同型であるが、自然にではない）。特定された部分空間とともにクリフォード乗法は外積代数よりも真により豊かである、なぜならばそれは によって提供される追加の情報を使うからである。
より正確には、クリフォード代数は、ワイル代数が対称代数の量子化であるのと同じ方法で、外積代数の"量子化"（cf. 量子群）と考えることができる。
ワイル代数とクリフォード代数は *-環というさらなる構造を持ち、 において議論されているように、の偶項と奇項として統一できる。
を体 上のベクトル空間とし、 を 上の二次形式とする。興味のあるたいていのケースでは体 は実数体 R か複素数体 C か有限体である。
クリフォード代数 は次の普遍性によって定義されるすべての に対して を満たす線型写像 を伴った 上の単位的結合多元環である： 上の任意の結合代数 "A" と
（ただし 1 は "A" の乗法単位元を表す）なる任意の線型写像 が与えられると、次の図式が交換する一意的な （すなわち ）が存在する：（標数≠2 において） の代わりに対称双線型形式 で考えると、"j" に対する要求は
上で記述されたようなクリフォード代数はつねに存在し次のように構成できる： を含む最も一般的な代数、すなわちテンソル代数 で始め、それから適切な商を取ることによって基本関係式が成り立つようにする。この場合
の形のすべての元によって生成された の両側イデアル を取りたく、 を商代数
として定義する。この商によって継承される環の積はときどきクリフォード積 (Clifford product) と呼ばれ 外積とスカラー積から区別される。
すると は を含み上の普遍性質を満たすことを示すことは直截であり は一意的な同型を除いて一意的である； 従って人は "the" Clifford algebra について話す。この構成から が単射であることも従う。通常 を落とし を の部分線型空間として考える。
クリフォード代数の普遍的な特徴づけは の構成が事実上"関手的"であることを示している。すなわち、 は二次形式を持ったベクトル空間の圏（射は二次形式を保つ線型写像）から結合代数への関手と考えることができる。普遍性は（二次形式を保つ）ベクトル空間の間の線型写像が結合クリフォード代数の間のに一意的に拡張することを保証する。
の 上の次元が であり が のであれば、 は 上自由で基底（の 1 つ）は
空積 () は乗法単位元として定義される。"k" の各値に対して "n" C "k" 個の基底元が存在し、したがってクリフォード代数の総次元は
であるような基底である。ただし は に伴う対称双線型形式である。基本クリフォード関係式は直交基底に対して
であることを意味している。これによって直交基底ベクトルの扱いが極めてシンプルになる。 の"相異なる"直交基底ベクトルの積 formula_12 が与えられると、標準の順序にするために必要な二元ごとの入れ替えの数によって定まる全体としての符号（すなわち順序よくする置換の符号）も含めた意味で標準の順序にすることができる。
最も重要なクリフォード代数は非退化2次形式を備えた実および複素ベクトル空間上のものである。
代数 と の各々は あるいは に同型である、ただし は成分が あるいは から来る全行列環、ということが明らかになる。これらの代数の完全な分類はを見よ。
実クリフォード代数の幾何学的解釈はとして知られている。
有限次元実ベクトル空間上のすべての非退化2次形式は標準対角形式
に同値である、ただし はベクトル空間の次元である。整数の組 ("p", "q") は二次形式の符号数と呼ばれる。この二次形式を持った実ベクトル空間はしばしば と表記される。 上のクリフォード代数は と表記される。記号 は著者が正定値と不定値の空間どちらを好むかによって あるいは を意味する。
複素ベクトル空間上クリフォード代数を研究することもできる。複素ベクトル空間上のすべての非退化二次形式は標準対角形式
ただし 、に同型を除いて同値であり、したがって各次元 "n" に対してただ 1 つの非退化クリフォード代数が存在する。標準二次形式を持った C 上のクリフォード代数を によって表記しよう。
最初のいくつかのケースは計算するのが難しくない。
がわかる、ただし は 上 行列の代数を表す。
このセクションにおいて、ハミルトンの四元数がクリフォード代数 の偶部分代数として構成される。
ベクトル空間 を実 3 次元空間 R とし、二次形式 を通常のユークリッド計量からいれる。すると、 に対して二次形式あるいはスカラー積
をもっている。今次で与えられるベクトル v と w のクリフォード積を導入する
この定式化は負の符号を用いているので四元数との対応は容易に示される。
R の直交単位ベクトルの集合を e, e, e として表記すると、クリフォード積は関係
および
を生み出す。クリフォード代数 の一般の元は
によって与えられる。
とともに の偶部分代数を定義する。基底元は四元数基底元 と
として同一視することができ、これは偶部分代数 はハミルトンの実四元数代数であることを示している。
これを見るには、
と
を計算する。最後に、
このセクションにおいて、が退化二次形式を持った実四次元空間の偶クリフォード代数として構成される。
ベクトル空間 を実四次元空間 R とし、二次形式 を R 上のユークリッド距離から入る退化形式とする。v, w ∈ R に対して、退化双線型形式
を導入する。この退化スカラー積は R における距離測定を R の超平面に全射で射影する。
ベクトル v と w のクリフォード積は
によって与えられる。負号は四元数との対応を簡単にするために導入されることを注意しよう。
R の直交単位ベクトルの集合を e, e, e, e として表記すると、クリフォード積は関係
と
を生み出す。
クリフォード代数 の一般元は 16 個の成分を持つ。偶次数付けられた元の線型結合は次の形の一般元を持った偶部分代数 を定義する
基底元は四元数基底元 と双対単位 と
として同一視できる。これは の双対四元数代数との対応を提供する。
これを見るには、次を計算する
と
e と e の交換は偶数回符号を交代し、双対単位 が四元数基底元 と交換することを示す。
ベクトル空間 が与えられると外積代数 を構成でき、その次元は 上のどんな二次形式からも独立である。 が標数 2 でなければ と の間にベクトル空間として考えて自然な同型が存在する（そして標数が 2 でない場合には自然でないかもしれない同型が存在する）ということが判明する。これが代数同型であることと は同値である。したがってクリフォード代数 を に依存した積で 上の外積代数を豊かにしたもの（あるいはより正確には、量子化、 cf. 導入）と考えることができる（外積はなお とは独立に定義できる）。
同型を確立する最も易しい方法は の"直交"基底 {"e"} をとりそれを上で述べられたように の基底に拡張することである。写像 は
によって決定される。これは基底 が直交しているときにのみうまくいくことに注意しよう。この写像は直交基底の選択とは独立であり従って自然同型を与えることを示すことができる。
によって定義する、ただし和は "k" 個の元の上の置換群を渡って取られる。"f" はなのでそれは一意的な線型写像 を誘導する。これらの写像の直和は と の間の線型写像を与える。この写像は線型同型であることを示すことができ、それは自然である。
関係を見るより洗練された方法は 上を構成することである。テンソル代数 "T"("V") は自然なフィルトレーションを持つことを思い出そう： 、ただし "F" は -階以下のテンソルの和を含む。これをクリフォード代数に射影することで 上のフィルトレーションが得られる。伴う次数代数
は自然に外積代数 に同型である。フィルター代数の伴う次数代数は（すべての に対して のコンポーネントを "F" の中に選ぶことによって）つねにフィルターベクトル空間としてフィルター代数に同型であるから、これは任意の標数において、2 でさえも、（自然なものではないが）同型を提供する。
以降標数は 2 でないとする。
クリフォード代数は Z-次数代数（としても知られている）である。実際、 によって定義される 上の線型写像（）は二次形式 を保存ししたがってクリフォード代数の普遍性によって代数自己同型
に拡張する。α は対合（すなわち自乗すると恒等関数になる）であるから、 を の正と負の固有空間に分解できる
ただし 。 は自己同型であるから
が従う、ただし右上の添え字は modulo 2 で読まれる。これは に Z-次数代数の構造を与える。部分空間 は の部分代数をなし、偶部分代数 ("even subalgebra") と呼ばれる。部分空間 は の奇成分 ("odd part") と呼ばれる（部分代数ではない）。この Z-次数付けはクリフォード代数の解析と応用において重要な役割を果たす。自己同型 "α" は主対合 ("main involution") あるいは次数付き対合 ("grade involution") と呼ばれる。この Z-次数付けにおいて pure な元は単に even あるいは odd と呼ばれる。クリフォード代数の偶部分代数 はそれある自身クリフォード代数に同型である がノルム の部分空間 "U" のベクトル "a" の直交直和であれば、 は に同型である、ただし は に制限され を掛けた形式 である。特に実数体上これは次を意味する
負定値の場合にはこれは包含 を与え、列を拡張する
同様に、複素の場合には、 の偶部分代数は に同型であることを示せる。
自己同型 "α" に加えて、クリフォード代数の解析において重要な役割を果たす 2 つのが存在する。テンソル代数 "T"("V") はすべての積の順序を逆にする反自己同型とともに来ることを思い出そう：
イデアル はこの反転の下で不変なので、この演算は の反自己同型に降り、転置 (transpose) あるいは反転 (reversal) 演算と呼ばれ、 によって表記される。この反転は反自己同型である： 。転置演算は Z-次数付けを全く使わないので2つ目の反自己同型を と転置を合成することによって定義する。この演算をクリフォード共役 (Clifford conjugation) と呼び と表記する
2 つの反自己同型のうち転置はより基本的である。
これらの演算は全て対合であることに注意しよう。それらは Z-次数付けにおいて pure な元上 ±1 として作用することを示すことができる。実際、すべての 3 つの演算は次数 modulo 4 にしか依らない。つまり、 が pure で次数 であれば、
ただし符号は以下の表によって与えられる：
標数が 2 でないとき、 上の二次形式 は のすべての上の二次形式に拡張することができる（これも によって表記する）。1 つのそのような拡張の基底に依存しない定義は
ただし formula_44 は "a" のスカラー部分（Z-次数付けにおいて次数 0 の部分）を表記する。
を示すことができる、ただし は の元である – この恒等式は の任意の元に対しては正しく「ない」。
によって与えられる。これは に制限されたときにもとの双線型形式に戻ることを確認できる。 のすべての上の双線型形式が非退化であることとそれが 上非退化であることは同値である。
転置はこの内積に関して左/右クリフォード乗法の随伴であることを証明するのは難しくない。つまり、
および
このセクションにおいてベクトル空間 の次元は有限であり の双線型形式は非特異であると仮定する。 上の中心単純代数は中心が の（有限次元）可除代数上の行列代数である。例えば、実数体上の中心単純代数は実数体あるいは四元数体上の行列代数である。クリフォード代数の構造は以下の結果を用いて明示的に解明できる。 の次元は偶数で判別式 "d" の非特異双線型形式を持っているとし、 は二次形式を持った別の空間とする。 のクリフォード代数は と のクリフォード代数のテンソル積に同型で、後者はその二次形式に を掛けた空間 である。実数体上これは特に次を意味する
これらの公式をすべての実クリフォード代数とすべての複素クリフォード代数の構造を見つけるために使うことができる。を見よ。
とりわけ、クリフォード代数の森田同値類（その表現論： それ上の加群の圏の同値類）は符号 のみに依っている。これはの代数的な形である。
クリフォード群のクラスはルドルフ・リプシッツ () によって発見された。
このセクションにおいて は有限次元で二次形式 は非退化であると仮定する。
クリフォード代数の元へのその可逆元の群による作用はひねられた共軛 (twisted conjugation) の言葉によって定義できる。 は と写す、ただし は上で定義された "main involution"、による twisted conjugation。
クリフォード群 Γ はこの作用の下で"ベクトルを安定化する" (stabilize vectors) 可逆元 の集合として定義される。これが意味するのは のすべての に対して：
この公式はまたノルム を保つベクトル空間 上のクリフォード群の作用を定義し、従ってクリフォード群から直交群への準同型を与える。クリフォード群はノルムが 0 でない のすべての元 "r" を含み、これらは "v" を に持っていく対応する鏡映によって 上作用する。（標数 2 においてこれらは鏡映ではなく「直交移換」(orthogonal transvection) と呼ばれる。）
クリフォード群 Γ は2 つの部分集合 Γ と Γ の非交和である、ただし Γ は次数 "i" の元の部分集合である。部分集合 Γ は Γ において指数 2 の部分群である。
"V" が正定値（あるいは負定値）二次形式を持った有限次元実ベクトル空間であればクリフォード群は（カルタン・デュドネの定理によって）その形式に関して の直交群に全射し核は体 の 0 でない元からなる。これは次の完全列を導く
他の体上あるいは不定値形式では、写像は一般には全射ではなく、失敗はスピノルノルムによってとらえられる。
任意の標数において、スピノルノルム はクリフォード群上
によって定義される。それはクリフォード群から の非零元の群 への準同型である。それは をクリフォード代数の部分空間と同一視したときに "V" の二次形式 と一致する。著者によってはスピノルノルムの定義が僅かに異なり、ここでのものとは Γ 上 −1, 2, あるいは −2 の因子によって異なる。違いは標数が 2 でなければそれほど重要ではない。
標数 2 においては群 {±1} はただ 1 つの元を持つことに注意せよ。
代数群のガロワコホモロジーの視点から、スピノルノルムはコホモロジーの連結準同型である。1 の平方根の代数群（標数が 2 でない体上それは大雑把には自明なガロワ作用を持った 2 元群と同じである）を μ と書くと、短完全列
はコホモロジーの長完全列を生み出し、それは
で始まる。 に係数を持つ代数群の 0 次ガロワコホモロジー群は単に -値点の群である： 、および , よって前の列を復元する：
ただしスピノルノルムは連結準同型 である。
このセクションにおいて は有限次元でありその双線型形式は非特異であると仮定する。（ が標数 2 であればこれは の次元が偶数であることを含む。）
ピン群 はスピノルノルム ±1 の元のクリフォード群 Γ の部分群であり、同様にスピン群 は においてディクソン不変量 0 の元の部分群である。標数が 2 でないとき、これらは行列式 1 の元である。スピン群は通常ピン群において指数 2 を持つ。
クリフォード群から直交群への全射準同型が存在することを直前のセクションから思い出そう。特殊直交群を Γ の像として定義する。 の標数が 2 でなければこれは単に直交群の行列式 1 の元の群である。 の標数が 2 であれば、直交群のすべての元は行列式 1 をもち、特殊直交群はディクソン不変量 0 の元の集合である。
ピン群から直交群への準同型が存在する。像はスピノルノルム の元からなる。核は元 +1 と −1 からなり、 の標数が 2 でなければ位数 2 をもつ。同様にスピン群から の特殊直交群への準同型が存在する。
クリフォード代数 で と偶数になるものは 次元の複素表現を持つ行列代数である。群 に制限することにより同じ次元の Pin 群の複素表現を得、これはと呼ばれる。これをスピン群 に制限すれば次元 の 2 つの"半スピン表現"（あるいは"ワイル表現"）の和として分解する。
より一般に、任意の体上のスピノル群とピン群は正確な構造がに依存する同様の表現を持つ：クリフォード代数がある可除代数上の行列代数である因子を持つときにはいつでもその可除代数上のピンとスピン群の対応する表現を得る。例えば実数体上はスピノールの記事を見よ。
実スピン表現を記述するために、スピン群がクリフォード代数の中にどのようにあるかを知らなければならない。ピン群 は単位ベクトルの積として書ける の可逆元の集合である：
クリフォード代数の上の具体的な実現と比べて、ピン群は任意にたくさんの鏡映の積に対応する： それは全直交群 の被覆である。スピン群は単位ベクトルの偶数個の積であるような の元からなる。したがってカルタン・デュドネの定理によって は固有回転の群 の被覆である。
とする。（これらは においてちょうど偶数次の元である。）するとスピン群は の中にある。
ピン表現を分類するためには、にアピールするだけでよい。（偶部分代数の表現である）スピン表現を見つけるためには、まず次の同型のいずれかを利用できる（上記参照）
そして符号 あるいは におけるピン表現として符号 におけるスピン表現を実現できる。
外積代数の主要な応用の 1 つは微分幾何学にありそこではそれが滑らかな多様体上の微分形式のファイバー束を定義するために使われる。（擬）リーマン多様体の場合には、接空間は計量によって誘導される自然な二次形式を持つ。したがって、とのアナロジーでを定義できる。これはリーマン幾何学においてたくさんの重要な応用を持つ。おそらくより重要なのはスピン多様体、その付随するそして 多様体へのつながりであろう。
クリフォード代数は物理学においてたくさんの重要な応用を持つ。物理学者は通常クリフォード代数を次の性質を持つディラック行列と呼ばれる行列 によって生成された基底を持つ代数と考える。
ただし は符号 の二次形式の行列である。これらはちょうど（重要でない因子 2 を除いて）クリフォード代数 の定義関係式であり、そのは でありこれはクリフォード代数の分類によって 複素行列の代数に同型である。
ディラック行列は最初ポール・ディラックによって、電子に対する相対論の一階波動方程式を書き、クリフォード代数から複素行列への明示的な同型を与えようとしていた時に、書き下された。結果はディラック方程式を定義しディラック作用素を導入するために用いられた。クリフォード代数全体はの形式の場の量子論において現れる。
量子論を記述するためのクリフォード代数の使用は中でも によって、 の言葉では と と の共同研究者によって、そして Elio Conte et al.によって進められてきた。
最近、クリフォード代数はコンピュータビジョンにおける action recognition と分類の問題において応用されている。Rodriguez et al. は伝統的な MACH ﬁlters を video (3D spatiotemporal volume) とオプティカルフローのようなベクトル値データに一般化するクリフォード埋め込みを提案する。ベクトル値データは を用いて解析される。これらのベクトルに基づいてアクションフィルターはクリフォードフーリエドメインにおいてシンセサイズされアクションの認識は Clifford Correlation を用いて実行される。著者は古典的特徴フィルムとスポーツ報道テレビにおいて典型的に実行されるアクションを認識することによってクリフォード埋め込みの有効性を説明する。