[论文解读] Introduction into Geometry over Division Ring

Aleks Kleyn|arXiv (Cornell University)|May 31, 2009

Advanced Numerical Analysis Techniques参考文献 4被引用 4

一句话总结

本文通过使用泛代数的塔式表示法，将仿射空间与欧氏空间的推广，提出了一种在除环上进行微分几何的新框架。它建立了 $D$-仿射联络与协变导数的变换规律，通过双线性联络系数与同态不变结构，将经典微分几何推广至非交换设置。

ABSTRACT

Theory of representations of F-algebra is a natural development of the theory of F-algebra. Exploring of morphisms of the representation leads to the concepts of generating set and basis of representation. In the book I considered the notion of tower of representations of F_i-algebras, i=1, ..., n, as the set of coordinated representations of F_i-algebras. I explore the geometry of affine space as example of tower of representations. Exploration of curvilinear coordinates allows us to see how look at the main structures of the manifold with affine connection. I explore Euclidean space over division ring.

研究动机与目标

• 将经典仿射几何与欧氏几何推广至除环而非仅域上的空间。
• 利用泛代数的 $T^*$-表示法，为几何建立表示论基础。
• 通过表示的塔式结构定义并分析 $D$-仿射空间，使非交换设置下的联络与曲率研究成为可能。
• 推导在坐标变换下 $D$-仿射联络系数的变换规则，推广经典克里斯托费尔符号的变换。
• 通过协变导数建立 $D$-仿射流形中平行移动与测地线的概念。

提出的方法

• 将 $D$-仿射空间建模为 $\text{End}(D)$-代数的 $T^*$-表示的塔式结构，其中每一层对应于除环 $D$ 的一个表示。
• 将表示之间的同态定义为保持结构的映射，推广向量空间中的线性映射。
• 引入表示的生成集与基，其中基通过在表示空间上的单传递作用来定义。
• 利用坐标变换的链式法则与二阶导数，推导在坐标变换下 $D$-仿射联络系数的变换规律。
• 将向量场的协变导数表达为 $ D(\bar{v})(d\bar{x}) = \nabla(\bar{v})(d\bar{x}) - \tilde{\nabla}(\bar{v})(d\bar{x}) $，其中 $ \tilde{\nabla} $ 为 $D$-仿射联络。
• 通过条件 $ \nabla^2 \bar{x}(d\bar{x}; d\bar{x}) = \tilde{\nabla}(d\bar{x})(d\bar{x}) $ 定义测地线，推广经典测地线方程。

实验结果

研究问题

• RQ1 如何将仿射与欧氏几何推广至除环而非仅域上的空间？
• RQ2 在非交换环上构建几何结构时，$T^*$-表示与表示塔式结构的作用是什么？
• RQ3 在非交换几何中，$D$-仿射联络系数在坐标变换下的变换方式如何？
• RQ4 能否通过协变导数将平行移动与测地线的概念扩展至 $D$-仿射流形？
• RQ5 在 $D$-仿射空间的表示论结构与非交换微分几何（如康奈斯风格几何）之间存在何种关系？

主要发现

• 推导出 $D$-仿射联络系数的变换规则为 $ \tilde{\nabla}^{\text{new}} = \frac{\tilde{\nabla}^{\text{old}} \frac{\tilde{\nabla}^{\text{old}}}{\tilde{\nabla}^{\text{old}}} + \frac{\tilde{\nabla}^{\text{old}}}{\tilde{\nabla}^{\text{old}}} }{ \text{雅可比因子} } $，其显式表达为 $ \tilde{\nabla}^{\text{new} p}_{ji}(v^{\text{new} i})(a^{\text{new} j}) = \frac{\tilde{\nabla}^p}{\tilde{\nabla}^r} \big( \tilde{\nabla}^r_{mk} \big( \frac{\tilde{\nabla}^k}{\tilde{\nabla}^i} v^{\text{new} i} \big) \big( \frac{\tilde{\nabla}^m}{\tilde{\nabla}^j} a^{\text{new} j} \big) + \frac{\tilde{\nabla}^2 x^r}{\tilde{\nabla} x^{\text{new} j} \tilde{\nabla} x^{\text{new} i}} (v^{\text{new} i}; a^{\text{new} j}) \big) $。
• 向量场的协变导数定义为 $ D(\bar{v})(d\bar{x}) = \nabla(\bar{v})(d\bar{x}) - \tilde{\nabla}(\bar{v})(d\bar{x}) $，其中 $ \tilde{\nabla} $ 为 $D$-仿射联络。
• 若 $ \nabla(\bar{v})(d\bar{x}) = \tilde{\nabla}(\bar{v})(d\bar{x}) $，则向量场为平行移动，推广了经典平行移动条件。
• 在 $D$-仿射流形中，测地线由方程 $ \nabla^2 \bar{x}(d\bar{x}; d\bar{x}) = \tilde{\nabla}(d\bar{x})(d\bar{x}) $ 定义，等价于二阶导数条件。
• 该框架揭示，除环上的 $1$-形式可能表现出内部线性相关性，即系数嵌入于形式本身，暗示非交换几何中存在新的代数结构。
• 关于 $T^*$-表示与生成集的理论为非交换几何空间中基的构造提供了基础，但量子几何中的有效算法仍待解决。