[论文解读] 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维空间中二次曲面上的定向圆、直线和点）与环上链几何之间的深刻联系，特别是通过乔丹系统。它表明李的几何是矩阵代数上链几何的一个特例，其中链对应于李二次曲面上的圆锥曲线，并证明链几何中的远距离关系与李几何中的非接触关系一致。

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矩阵代数上链几何的一个特例。
• 将李几何时空中的链表征为由强乔丹系统生成的李二次曲面上的非退化圆锥曲线。
• 阐明链几何时空中远距离关系的作用，并阐明其与李几何时空中非接触关系的对应关系。
• 提供一个基于李二次曲面上线性代数的几何框架，用于求解阿波罗尼奥斯型问题。

提出的方法

• 使用源自几何不变量的五次循环坐标，将李的循环（定向圆、直线、点及∞）表示为射影4维空间中李二次曲面Λ上的点。
• 使用具有对角矩阵diag(−1,1,1,1,−1)的伪欧几里得点积来定义正交性，该正交性对应于李循环之间的接触。
• 将阿波罗尼奥斯问题转化为线性代数问题：求三个定向圆在Λ上的像处的切超平面的交点，得到一条直线L，然后求解L ∩ Λ以获得解。
• 构建环R上的链几何Σ(K,R)，重点关注R = ℝ^{2×2}的情况，并通过强乔丹系统识别子空间。
• 通过环R上的参数对(x,y) ∈ R²定义射影直线，并识别强乔丹系统S的子空间ℙ(S)。
• 在克莱因射影3维空间中的直线模型（P⁵(R)中的克莱因二次曲面）与李二次曲面Λ之间建立射影变换，表明对称矩阵对应于李几何时空。

实验结果

研究问题

• RQ1 李的圆几何时空如何嵌入到环上链几何时空的框架中？
• RQ2 对称2×2矩阵的强乔丹系统在李二次曲面上的代数与几何意义是什么？
• RQ3 李几何时空中的链如何对应于李二次曲面上的圆锥曲线？
• RQ4 链几何时空中远距离关系与李几何时空中非接触关系之间的确切关系是什么？
• RQ5 是否可以系统地使用五次循环坐标系和李二次曲面上的线性代数求解定向圆的阿波罗尼奥斯问题？

主要发现

• 射影4维空间中的李二次曲面Λ为所有李循环提供了几何模型，其中接触关系对应于伪欧几里得点积下的正交性。
• 三个定向圆的阿波罗尼奥斯问题最多有八个解，可通过相交Λ在三个圆像处的切超平面并求解所得二次方程获得。
• 李的圆几何时空同构于链几何Σ(ℝ, ℝ^{2×2})的子空间ℙ(S)，其中S为所有对称2×2矩阵的集合。
• 子空间ℙ(S)对应于P⁵(R)中克莱因二次曲面的超平面截痕，通过射影变换可映射到李二次曲面Λ。
• 李几何时空中的链被实现为Λ上的非退化圆锥曲线，且包含所有与两个固定循环接触的李循环。
• 链几何时空中远距离关系（非接触）与李几何时空中非接触循环完全对应，且该关系仅在满足强乔丹系统条件时才在任意子代数下保持不变。