[論文レビュー] Geometrization of the Real Number System

Garret Sobczyk|arXiv (Cornell University)|Jul 6, 2017

Algebraic and Geometric Analysis参考文献 11被引用数 6

ひとこと要約

本稿は、±1の反交換性を持つ平方根を導入することで、実数体の幾何的拡張を提案する。これにより、普遍的な幾何代数 𝔾_{p,q} が構成され、クリフォード代数、行列代数、スピン理論が統一される。主な貢献は、テンソル理論や圏論に依存しない幾何的枠組みを提供し、Hurwitz-Radon数、スピン理論、およびCartan-Bott周期性を介して、髪の毛が逆立つ定理などの位相的不変量との深い関係を明らかにすることにある。

ABSTRACT

Geometric number systems, obtained by extending the real number system to include new anticommuting square roots of +1 and -1, provide a royal road to higher mathematics by largely sidestepping the tedious languages of tensor analysis and category theory. The well known consistency of real and complex matrix algebras, together with Cartan-Bott periodicity, firmly establishes the consistency of these geometric number systems, often referred to as Clifford algebras. The geometrization of the real number system is the culmination of the thousands of years of human effort at developing ever more sophisticated and encompassing number systems underlying scientific progress and advanced technology in the 21st Century. Complex geometric algebras are also considered.

研究の動機と目的

• ±1の反交換性を持つ平方根を導入することで、ℝ^{p,q}における直交するベクトル方向を表す、実数体の幾何的拡張を体系的に構築すること。
• テンソル計算や圏論に依存せずに、幾何代数、行列代数、スピン理論を統一する枠組みを確立すること。
• Hurwitzの定理とCartan-Bott周期性が、これらの幾何的数体系の整合性と構造を規定する仕組みを示すこと。
• 結合代数の次元制約（1, 2, 4, 8）が、球面上の線形独立なベクトル場の最大数といった位相的不変量と本質的に関係していることを示すこと。

提案手法

• p個の単位ベクトル（e_i² = 1）とq個の単位ベクトル（f_j² = -1）からなる、すべてが互いに反交換性を持つ、代数的結合的代数として普遍的幾何代数 𝔾_{p,q} を構成する。
• 多重ベクトルの標準基底を用い、1、ベクトル、二階ベクトルなどからなる線形結合として要素を表現し、次元 2^{p+q} の階数付き代数を形成する。
• 行列同型を用いて 𝔾_{1,1} を M₂(ℝ) に表現し、スペクトル射影的要素と行列積を用いて幾何的積と行列積の関係を明示する。
• 2次形式の結合公式からHurwitz行列方程式（HME）を導出し、解が存在するための必要十分条件が r ≤ ρ(n) であることを示す。ここで ρ(n) はHurwitz-Radon関数である。
• HMEを用いて、サイズ [r, n, n] の結合公式が存在するのは r ≤ ρ(n) の場合に限られ、等号成立は n = 1, 2, 4, 8 のときのみであることを示す。
• 代数的構造と位相的結果（例：髪の毛が逆立つ定理、Hopfファイブレーション）を、ρ(n) 関数を介して結びつける。

実験結果

リサーチクエスチョン

• RQ1 ±1の反交換性を持つ平方根を用いて、ベクトルや二階ベクトルといった幾何的対象を含む、実数体を体系的に拡張する方法は何か？
• RQ2 幾何代数 𝔾_{p,q} と行列代数の関係は何か？この関係は、高次元代数的構造の簡略化にどのように利用できるか？
• RQ3 2次形式の結合公式がなぜ1, 2, 4, 8次元にしか存在しないのか？また、その理由は分割代数と位相的性質にどのように関係しているか？
• RQ4 Hurwitz-Radon数 ρ(n) が、球面 S^{n-1} 上の線形独立なベクトル場の最大数をどのように決定するか？
• RQ5 クリフォード代数とCartan-Bott周期性は、幾何代数、スピン理論、代数的位相幾何学を統一するために果たす役割は何か？

主な発見

• 幾何代数 𝔾_{p,q} は、e_i² = 1 および f_j² = -1 を満たす反交換性を持つ生成子からなる、ℝ 上の普遍的で、結合的で、階数付きの代数であり、次元は 2^{p+q} である。
• 代数 𝔾_{1,1} は行列代数 M₂(ℝ) に同型であり、幾何的積と行列積を明示的に結びつける行列表現が存在する。
• Hurwitz行列方程式（HME）は、サイズ [r, s, n] の結合公式が存在するための必要十分条件であり、その可解性はHurwitz-Radon関数 ρ(n) に支配される。
• サイズ [r, n, n] の結合公式が存在するのは r ≤ ρ(n) の場合に限られ、ρ(n) = n となるのは n = 1, 2, 4, 8 のときのみであり、それぞれ ℝ, ℂ, ℍ, およびオクタニオンに一致する。
• 球面 S^{N-1} 上の線形独立なベクトル場の最大数は ρ(N) - 1 であり、髪の毛が逆立つ定理の位相的制約を確認する。
• この理論は、実数および複素数の幾何代数とスピン表現を統一し、HopfファイブレーションやK理論を含む代数的位相幾何学の深い結果とも関連している。