[論文レビュー] Clifford algebra, geometric algebra, and applications

Douglas Lundholm, Lars E.O. Svensson|ArXiv.org|Jul 30, 2009

Algebraic and Geometric Analysis参考文献 33被引用数 28

ひとこと要約

本稿は、幾何学、位相幾何学、物理学に応用するClifford代数および幾何代数の包括的な導入を提示する。Clifford代数の組合せ的枠組みを確立し、ベクトル空間の幾何、単体的複体、スピン群、コンformal幾何への応用においてその有用性を示し、行列上の類似行列式関数が累乗関数および符号の振る舞いによって完全に特徴づけられることを証明する。

ABSTRACT

These are lecture notes for a course on the theory of Clifford algebras, with special emphasis on their wide range of applications in mathematics and physics. Clifford algebra is introduced both through a conventional tensor algebra construction (then called geometric algebra) with geometric applications in mind, as well as in an algebraically more general form which is well suited for combinatorics, and for defining and understanding the numerous products and operations of the algebra. The various applications presented include vector space and projective geometry, orthogonal maps and spinors, normed division algebras, as well as simplicial complexes and graph theory.

研究の動機と目的

• 数学および数理物理学の上級学部生および大学院生向けに、自立的かつアクセス可能なClifford代数の入門を提供すること。
• Clifford代数の幾何的および組合せ的アプローチを統合し、代数的構造と標準的演算に重点を置くこと。
• Clifford代数が射影幾何学、グラフ理論、スピン群、コンformal幾何学など多様な分野に及ぼす広範な応用性を示すこと。
• 主要定理の厳密な証明を提示し、理解を深めるための補足資料を含めるとともに、研究者向けの高度な内容を明示すること。

提案手法

• 二次形式を伴うテンソル代数としての幾何代数と、生成子と関係式を用いた組合せ的代数的アプローチの両方でClifford代数を構成する。
• 外積、内積、幾何積といった標準的演算を、明示的な代数的定義と性質とともに導入する。
• ブレードを用いて部分空間を表現し、射影を用いてベクトルを分解することで、ベクトル空間の幾何に代数を適用する。
• チェーン写像と単体的複体の準同型を用いて離散幾何をモデル化し、Spernerの補題を含むインデックス定理を証明する。
• 無限次元Clifford代数とフェルミオン的演算子を分析し、構造と表現論に焦点を当てる。
• 行列表現と階数付きテンソル積を用いて実および複素Clifford代数を分類し、'母なる代数'構成を含む。

実験結果

リサーチクエスチョン

• RQ1 Clifford代数を幾何的および組合せ的フレームワークの両方で体系的に構成する方法は何か？
• RQ2 特にユークリッド的およびミンコフスキー的符号の下で、低次元空間におけるClifford代数の構造的および表現論的性質は何か？
• RQ3 Clifford代数はスピン群、Pin群、およびそれらの幾何的対象への作用をどのように支援するか？
• RQ4 Clifford代数は、グラフにおける全域木の数え上げやSpernerの補題の証明など、離散幾何にどのように応用できるか？
• RQ5 Clifford枠組み内での代数的および連続性の議論を用いて、実行列上の類似行列式関数の特徴づけはどのようなものか？

主な発見

• 任意の行列 $ A \in \text{Mat}(n,\bbR) $ に対して、$ d(AB) = d(A)d(B) $ を満たし、連続性を満たす乗法的関数 $ d $ は、ある $ \alpha > 0 $ に対して $ d(A) = \text{sign}(\text{det}(A))|\text{det}(A)|^\alpha $ または $ |\text{det}(A)|^\alpha $、またはゼロの形に限られる。
• 行列式関数は、基本行列におけるその振る舞いによって完全に特徴づけられる：$ d(R_{ij}) = \pm 1 $、$ d(E_i(\lambda)) = \lambda^\alpha $、$ d(E_{ij}(c)) = e^{\alpha_{ij}c} $ であり、整合性条件により $ \alpha_{ij} = 0 $ となる。
• 関数 $ d $ は連続的かつ乗法的であり、$ \bbR^{++} $ 上の振る舞いから対数変換と加法的関数論を経て $ d \circ E_1(\lambda) = \lambda^\alpha $ が得られる。
• このような関数の分類は、行列を基本的操作に分解し、変換全体にわたる符号と大きさの振る舞いの整合性に依存する。
• 代数的恒等式による行変形の考察により、$ d(E_{ij}(c)) $ が定数（1に等しい）でなければならないことが証明され、非自明な指数的依存性は排除される。
• 最終的な結果として、このような関数はすべて $ \alpha > 0 $ と行列式の符号によって完全に決定され、その他の連続的乗法的拡張は存在しないことが確認される。