[論文レビュー] From pentacyclic coordinates to chain geometries, and back

Hans Havlicek|arXiv (Cornell University)|Apr 4, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 69被引用数 7

ひとこと要約

本稿は、射影4次元空間内の二次曲面に埋め込まれた向き付き円、直線、点（および∞）を表すために用いられる五重円座標を用いたリーの古典的円幾何学と、特にジョルダン系を介して、環上のチェーン幾何学との間に深い接点を確立する。リーの幾何学が2×2実行列代数上のチェーン幾何学の特別な場合として生じることを示し、チェーンがリー二次曲面上の二次曲線に対応することを示し、チェーン幾何学における遠隔関係がリー幾何学における非接触関係と一致することを示している。

ABSTRACT

Starting with the classical circle geometry of Sophus Lie, we give a survey about some of the developments in the area of chain geometries during the last three decades.

研究の動機と目的

• 五重円座標の拡張を用いてリーの古典的円幾何学と現代の環上のチェーン幾何学を統一すること。
• リーの幾何学が2×2実行列代数上のチェーン幾何学の特別な場合であることを示すこと。
• リー幾何学におけるチェーンを、リー二次曲面上の非退化二次曲線として特徴づけ、強いジョルダン系から生じることを示すこと。
• チェーン幾何学における遠隔関係の役割を明確にし、それがリー幾何学における非接触関係とどのように一致するかを明らかにすること。
• リー二次曲面上の線形代数を用いた幾何的枠組みを提供し、アポロニウス型の問題を解くこと。

提案手法

• 幾何的不変量から導かれる五重円座標を用いて、リーのサイクル（向き付き円、直線、点、および∞）をP⁴(R)内のリー二次曲面Λ上の点として表現する。
• 行列diag(−1,1,1,1,−1)を用いた擬ユークリッド内積を用いて直交性を定義し、これがリーのサイクル間の接触に対応することを示す。
• アポロニウス問題を線形代数問題に変換する：3つの向き付き円の像におけるΛへの接超平面の交点を求める線分Lを特定し、その後L ∩ Λを解いて解を得る。
• 環R上のチェーン幾何学Σ(K,R)を構成し、特にR = ℝ^{2×2}に焦点を当てる。強いジョルダン系を用いて部分空間を同定する。
• 環R上の射影直線をR²内のパラメータ対(x,y)として定義し、強いジョルダン系Sに対して部分空間ℙ(S)を同定する。
• P⁵(R)内のクライン二次曲面（P³(R)内の直線をモデル化）とリー二次曲面Λとの間の同形写像を確立し、対称行列がリー幾何学に対応することを示す。

実験結果

リサーチクエスチョン

• RQ1 リーの円幾何学は、環上のチェーン幾何学の枠組みにどのように埋め込まれるか？
• RQ2 対称2×2行列の強いジョルダン系がリー二次曲面と関係する代数的・幾何的意味は何か？
• RQ3 リー幾何学におけるチェーンは、リー二次曲面上のどの二次曲線に一致するか？
• RQ4 チェーン幾何学における遠隔関係とリー幾何学における非接触関係との正確な関係は何か？
• RQ5 向き付き円に対するアポロニウス問題は、五重円座標系とリー二次曲面上の線形代数を用いて体系的に解けるか？

主な発見

• P⁴(R)内のリー二次曲面Λは、すべてのリーのサイクルの幾何的モデルを提供し、接触関係が擬ユークリッド内積による直交性に対応する。
• 3つの向き付き円に対するアポロニウス問題には最大8つの解が存在し、Λへの接超平面の交点を求めて得られる二次方程式を解くことで回復可能である。
• リーの円幾何学は、Sが2×2対称行列の集合であるとき、チェーン幾何学Σ(ℝ, ℝ^{2×2})の部分空間ℙ(S)に同型である。
• 部分空間ℙ(S)はP⁵(R)内のクライン二次曲面の超平面切断に対応し、同形写像を介してリー二次曲面Λに写される。
• リー幾何学におけるチェーンは、非退化二次曲線としてΛ上に実現され、2つの固定サイクルに接するすべてのリーのサイクルから成る。
• チェーン幾何学における遠隔関係（非接触）は、リー幾何学における非接触サイクルと正確に一致し、強いジョルダン系の条件を満たさない限り、任意の部分代数ではこの関係は保存されない。