[論文レビュー] Affine and projective universal geometry

N. J. Wildberger|ArXiv.org|Dec 18, 2006

Mathematics and Applications参考文献 4被引用数 11

ひとこと要約

本稿は、任意の体に対し対称双一次形式を備えたアフィン幾何と射影幾何の普遍的な代数的枠組みを導入し、有理三角法を用いてユークリッド幾何、双曲幾何、楕円幾何を統一的に扱う。射影の交差法則や三重スプレッド公式といった普遍的な法則を導出し、それらがすべての計量幾何に適用可能であることを示す。特に、𝔽₁₁のような有限体上でも、正確な代数的検証が可能な射影直角三角形やラムベルト四辺形の例を提示する。

ABSTRACT

By recasting metrical geometry in a purely algebraic setting, both Euclidean and non-Euclidean geometries can be studied over a general field with an arbitrary quadratic form. Both an affine and a projective version of this new theory are introduced here, and the main formulas extend those of rational trigonometry in the plane. This gives a unified, computational model of both spherical and hyperbolic geometries, allows the extension of many results of Euclidean geometry to the relativistic setting, and provides a new metrical approach to algebraic geometry.

研究の動機と目的

• 計量幾何の普遍的な代数的モデルを構築し、ユークリッド幾何を超えて非ユークリッド的および相対論的状況へ拡張すること。
• 対称双一次形式を用いて球面幾何、双曲幾何、楕円幾何を一つの射影的枠組みで統一すること。
• 三角関数を四角距離やスプレッドといった代数的不変量に置き換え、任意の体上で正確な計算が可能となるようにすること。
• 直角三角形やラムベルト四辺形といった古典的幾何的結果が、この代数的枠組みにおいて普遍的に成り立つことを示すこと。
• アルキメデスやアポロニウスの精神に則り、計量代数的幾何を拡張するための計算的かつ概念的基盤を提供すること。

提案手法

• 本稿は、一般の体上のベクトル空間における対称双一次形式を用いて、射影的四角距離とスプレッドを定義し、従来の距離と角の測度を置き換える。
• 余弦法則や正弦法則の普遍的な代数的類似物として、射影的交差法則と三重スプレッド公式を導入し、双一次形式を持つすべての幾何に有効であることを示す。
• 三重四角公式、ピタゴラスの定理、スプレッド法則、ターレスの定理といった主要定理のアフィン的および射影的バージョンを、すべて代数的に一般化する。
• これらの法則を有限体、例えば𝔽₁₁に適用し、射影的直角三角形やラムベルト四辺形の検証を計算的に実施する。
• スプレッド多項式をチェビシェフ多項式の普遍的類似物として用い、射影的三角形の解法に応用する。
• 直交中心と二等分線が代数的に計算可能であり、特に二等分線の存在は、スプレッドが体における平方非剰剰剰であるかどうかに依存することを示す。

実験結果

リサーチクエスチョン

• RQ1 任意の体に対し対称双一次形式を持つ場合、計量幾何を解析的または超越的手段に依存せずに、完全に代数的形式に再構築可能か？
• RQ2 直角三角形や四辺形に関する古典的幾何法則が、双一次形式によって定義されるすべての幾何に普遍的に一般化可能か？
• RQ3 有限体上での射影的不変量、例えば四角距離やスプレッドはどのように振る舞い、このような状況でどのような幾何的構造が出現するか？
• RQ4 角の概念を、非ユークリッド的および相対論的状況でも三角形幾何の構造を保つ代数的不変量（スプレッド）に置き換え可能か？
• RQ5 特に球面や双曲面への自然な接続が任意の体上ですでに崩壊する場合、射影幾何が計量幾何の基本的枠組みとして果たす役割は何か？

主な発見

• 𝔽₁₁上の射影的三角形において、頂点がu=[1:4:2:6:1], v=[1:2:3:4:1], w=[0:8:8:3:1]であるとき、射影的四角距離はqu=9, qv=8, qw=1であり、スプレッドはSu=2, Sv=3, Sw=10である。このことから、これは双対直角三角形であることが確認された。
• 射影的スプレッド法則が正確に成立している：2/9 = 3/8 = 10/1であり、代数的枠組みの整合性が裏付けられた。
• 射影的交差法則が満たされている：(10×9×8 − 9 − 8 − 1 + 2)² = 0 = 4(1−9)(1−8)(1−1)，体上での恒等式が確認された。
• 双対射影的交差法則が成立している：(1×2×3 − 2 − 3 − 10 + 2)² = 5 = 4(1−2)(1−3)(1−10)，5は𝔽₁₁上で有効な平方である。
• 𝔽₁₁において、スプレッドSv=3のみが平方非剰剰であるため、頂点vでのみ2本の二等分線が存在し、それらは明示的にb₁=[3:0:5:8:7]およびb₂=[3:2:7:6:10]として計算された。
• この三角形の直交中心はO=[9:1:0:4:1]として計算され、これはスプレッドの数論的条件に依存せず、点が存在することを示している。