[論文レビュー] Geometric (Clifford) algebra and its applications

Douglas Lundholm|ArXiv.org|May 10, 2006

Algebraic and Geometric Analysis参考文献 16被引用数 10

ひとこと要約

この修士論文は、幾何的（クリフォード）代数の幾何的および組合せ的視点からの包括的な導入を提供し、その基礎的構造、行列代数による分類、および直交群およびスピン群との関係を確立している。連続的かつ乗法的な行列式に類似した関数が実行列上に存在する場合、その関数は行列式の絶対値のべきであり、符号は基本行列における挙動によって決定され、その関数は $ d(A) = \operatorname{sign}(\det A) \cdot |\det A|^\alpha $（$ \alpha > 0 $）の形に完全に特徴付けられる。この結果は、高次元および無限次元の設定における幾何的代数の代数的および位相的整合性を裏付ける。

ABSTRACT

In this Master of Science Thesis I introduce geometric algebra both from the traditional geometric setting of vector spaces, and also from a more combinatorial view which simplifies common relations and operations. This view enables us to define Clifford algebras with scalars in arbitrary rings and provides new suggestions for an infinite-dimensional approach. Furthermore, I give a quick review of classic results regarding geometric algebras, such as their classification in terms of matrix algebras, the connection to orthogonal and Spin groups, and their representation theory. A number of lower-dimensional examples are worked out in a systematic way using so called norm functions, while general applications of representation theory include normed division algebras and vector fields on spheres. I also consider examples in relativistic physics, where reformulations in terms of geometric algebra give rise to both computational and conceptual simplifications.

研究の動機と目的

• 幾何的代数の厳密で自己完結的な導入を提供し、文献に見られる曖昧または誤った記述を明確化すること。
• クリフォード代数の幾何的および代数的視点を統合し、特に任意の環や無限次元設定への一般化を可能にする組合せ的定式化を導入すること。
• 相対性理論や量子力学における具体的な理論の再定式化を通じて、幾何的代数の計算的および概念的利点を示すこと。
• 連続的かつ乗法的な実数値関数 $ \mathbb{R}^{n \times n} $ 上の完全な分類を提示・証明し、それが $ \operatorname{sign}(\det A) \cdot |\det A|^\alpha $（$ \alpha > 0 $）の形に限られることを示すこと。

提案手法

• 幾何的代数 $ \mathcal{G}(\mathcal{V}, q) $ をテンソル代数を $ v \otimes v - q(v) $ で生成されるイデアルで商取ることで定義し、幾何的直感を代数的構造に直接埋め込む。
• 幾何的解釈に依存しない代数的関係を抽象化する組合せ的クリフォード代数 $ \mathcal{C}l(X, R, r) $ を導入し、任意の環や無限次元の場合への一般化を可能にする。
• 基本行列（行変形）を用いた行列の分解を用いて、行列式に類似した関数 $ d $ の挙動を分析し、任意の行列を基本行列と行簡約形の積に分解する。
• 連続性と乗法性の制約を関数 $ d \circ E_1 $ および $ d \circ E_{ij} $ に適用し、それらを $ \mathbb{R} $ 上の加法的関数に変換し、連続性から線形関数であることが導かれる。これによりべき則の形が得られる。
• 関数方程式 $ d(AB) = d(A)d(B) $ を導出し、それを用いて基本行列における $ d $ の値を制約する。特に、行列の共役性に関する重要な恒等式を用いて、$ d(E_{ij}(c)) = e^{\alpha_{ij}c} $ の形における非ゼロの $ \alpha_{ij} $ を除外する。
• 連続的かつ乗法的な関数が $ \mathbb{R}^{n \times n} $ 上に存在し、$ d(0) = 0 $、$ d(I) = 1 $、$ d(A) \neq 0 $ が $ A $ が可逆であることと同値である場合、その関数は $ d(A) = \operatorname{sign}(\det A) \cdot |\det A|^\alpha $（$ \alpha > 0 $）の形に限られることを証明する。

実験結果

リサーチクエスチョン

• RQ1 実 $ n \times n $ 行列の空間上に定義された連続的かつ乗法的な実数値関数の完全な特徴付けは何か？
• RQ2 幾何的（ベクトル空間）的および組合せ的（代数的）な視点から、幾何的代数を体系的に構成する方法は何か？ これにより、その基礎的定義が統合される。
• RQ3 幾何的代数は、特殊相対性理論や量子力学といった物理理論の定式化と理解をどのように簡略化するか？
• RQ4 ピン群およびスピン群は幾何的代数の構造から自然にどのように生じるか？ また、表現論におけるその役割は何か？
• RQ5 ノルム関数は、低次元の幾何的代数の分類およびノルム付き除法代数や球面上のベクトル場の構成において、果たす役割は何か？

主な発見

• 連続的かつ乗法的な関数 $ d: \mathbb{R}^{n \times n} \to \mathbb{R} $ で、$ d(0) = 0 $ および $ d(I) = 1 $ を満たすものについて、その関数は $ d(A) = \operatorname{sign}(\det A) \cdot |\det A|^\alpha $（$ \alpha > 0 $）の形に限られる。
• 基本行列 $ E_1(\lambda) $ における $ d $ の値は $ \lambda^\alpha $（$ \lambda > 0 $）であり、行交換 $ R_{ij} $ における $ d $ の符号は、$ \operatorname{GL}^+(n) $ および $ \operatorname{GL}^-(n) $ における $ d $ の正負を決定する。
• $ d \circ E_{ij}(c) $ はすべての $ c $ に対して定数（1に等しい）でなければならない。そうでなければ、行列の共役性恒等式から生じる整合性条件が、$ \alpha_{ij} = 0 $ でない限り矛盾を引き起こす。
• 行列式は、$ d(I) = 1 $ および $ d(0) = 0 $ を満たす連続的かつ乗法的な関数として、べき乗 $ \alpha $ を除き一意に定まり、符号関数は $ R_{ij} $ における挙動によって決定される。
• 行列代数による幾何的代数の分類は、二次形式の符号型によって完全に決定され、$ \mathcal{G}(\mathbb{R}^{p,q}) $ の同型型は完全に既知であり、標準的な行列表現と一致する。
• 幾何的代数におけるノルム関数は、低次元代数の分類を体系的に行う方法を提供し、ホップインバリエント問題に見られるように、ノルム付き除法代数および球面上のベクトル場の構成をもたらす。