四元数のテンソル積7shi-tpからクリフォード代数を構成する方法を確認します。同様に分解型四元数でも確認します。
四元数のテンソル積
四元数(全体の集合)は実数体上の4次元の除法代数であり、その基底は通常で表されます。これらの基底は以下の関係式を満たします:
四元数のテンソル積(全体の集合)は16次元の代数であり、その基底は四元数の基底のテンソル積から得られます。
クリフォード代数の生成元
とをクリフォード代数として扱う場合の、適切な生成元の選択とそれによって得られる代数構造を説明します。
クリフォード代数の生成元
グレード1の基底を生成元とする。個の生成元から個の基底が生成される。
生成元は互いに反交換関係を満たす:
の基底は個であることから、クリフォード代数としての生成元は2個です。虚数単位は代数的な性質が同一なため、任意の2個を選択して生成元とすることができます。
を生成元とすれば、よりはグレード2の基底に対応します。
本記事ではこの組み合わせを使用します。
の基底は個であることから、クリフォード代数としての生成元は4個です。
から反交換関係を満たす基底の集合を総当たりで探索したところ、元の個数が3個と5個に分かれました。7shi-colab-cl
クリフォード代数として必要な生成元は4個であることから、3個では不足するため、5個の元からなる集合を選択します:
これらは虚数単位の置換や、左右の因子の交換によって移り合うため、本質的に同じ代数構造を与えます。
生成元の候補の選択
模式化しやすさの観点から、を生成元の候補として選択します:
の性質を調べます。
の基底はから生成される:
は、から、からが生成され、これらの積からすべての基底が生成される。
はを含んでおり、残りは以下のように生成される。
よってからの基底が生成される。
生成元の選択
互いに反交換ですべての基底を生成する最小の元の集合は、クリフォード代数の生成元となります。命題1,2より、から任意の4元を選択すれば、クリフォード代数の生成元となります。
代数的な性質は生成元の選択に依存しませんが、どのようにすればテンソル積の構造が解釈しやすいかを検討します。
の構造を捉えるため模式化します。
赤字部分は、左因子と右因子にが現れるように並べ替えた様子を示します。
左因子が元となったで、それに右因子を付加して拡張していると解釈します。のクリフォード代数としての生成元をとすれば、左因子にを含まないように生成元を選択することで、テンソル積による拡張の様子が分かりやすくなります。また、右因子のはに書き換えます。
赤字部分は、拡張前のにおけるクリフォード代数の生成元です。それ以外が、テンソル積によって拡張された部分です。
本記事では、この組み合わせをのクリフォード代数の生成元として使用します。
計量と符号数
生成元をそれぞれ2乗します:
これら2乗の係数(赤字部分)を計量、計量の値ごとの生成元の個数を符号数と呼びます。本記事ではの順に符号数を数えます。
クリフォード代数としての性質は符号数にのみ依存するため、通常、生成元の具体的な選択ではなく、符号数のみが添え字で示されます:符号数 →
資料によってはの順に符号数を数えるものがあります。どちらを使用しているかは確認が必要です。
計量を含めて、テンソル積による拡張の様子を示します。
拡張の際、赤字部分のの計量がによって反転しています。また、拡張されたの計量はです。
一般化と公式
を更に拡張しても、同じ構造が繰り返されます。
の計量がによって反転して、追加された2個の生成元の計量はです。
この構造を一般化します。
この結果を公式の形にまとめます。wiki-clif
右辺のはの位置が入れ替わります。これはによる計量の反転に由来します。
符号数の増分はに由来します。
分解型四元数
四元数を一部変更して、をとなる実数ではない虚数単位としたものが分解型四元数です。wiki-sq
この定義からが導かれます:
分解型四元数全体の集合をと表記します。
分解型符号数
分解型四元数は、共役との積によって定義された擬ノルムの2乗により、計量が決まります。(クリフォード代数とは異なり、基底の2乗がそのまま計量とはなりません)
擬ノルムの2乗に現れる符号数はとなり正と負の個数が等しくなります。このような符号数を分解型と呼び、代数名の由来となっています。
クリフォード代数
虚数単位によって2乗の値が変わるため、どれをクリフォード代数の生成元として使うかで符号数が変わります。
- :
- :
クリフォード代数としての性質は符号数にのみ依存するため、の生成元としてはのみを使用します。
2×2=4種類の組み合わせを確認します。
結果をまとめます。
この結果から、以下の関係が分かります。
一般化と公式
この構造を一般化します。
この結果を公式の形にまとめます。wiki-clif
中辺のはの位置が入れ替わります。これはによる計量の反転に由来します。
右辺のはの位置が維持されます。これはによって計量が変化しないことに由来します。
符号数の増分はに由来します。
公式1より:
公式2より:
この結果から、以下の関係が分かります。
まとめ
本記事では、ととそれらのテンソル積によって構成されるクリフォード代数の構造を分析しました。
テンソル積によってを付加することで、クリフォード代数としての生成元は2個増えます: