[论文解读] Sub-Riemannian geometry and Lie groups. Part II. Curvature of metric spaces, coadjoint orbits and associated representations

Marius Buliga|ArXiv.org|Jul 7, 2004

Geometric Analysis and Curvature Flows参考文献 18被引用 5

一句话总结

本文通过展示通过伸缩结构定义的度量空间曲率可借助余伴随轨道及其相关酉表示进行分类，建立了子黎曼几何与量子力学之间的深层联系。该文引入了虚拟切空间与广义导数（虚拟可导性）的概念，将子黎曼李群的几何曲率与其实-nilpotent切代数的表示理论相联系，为微分分析提供了一套全新的非欧几里得框架。

ABSTRACT

This paper is the third in a series dedicated to the fundamentals of sub-Riemannian geometry and its implications in Lie groups theory: "Sub-Riemannian geometry and Lie groups. Part I", math.MG/0210189, available at http://arxiv.org/abs/math.MG/0210189, and "Tangent bundles to sub-Riemannian groups", math.MG/0307342, available at http://arxiv.org/abs/math.MG/0307342 .

研究动机与目标

• 通过度量与伸缩结构的可度量化类定义子黎曼度量空间中的曲率。
• 通过识别可度量化类的'良好'代表元，解决曲率定义中的模糊性问题。
• 通过幂零李群的余伴随轨道，建立几何曲率与表示理论之间的桥梁。
• 通过伸缩结构与虚拟切空间，推广度量空间上的微分学。
• 在具有伸缩结构的均匀群背景下，探讨普遍包络代数与交换霍普夫代数之间的对偶性。

提出的方法

• 使用度量轮廓与伸缩结构，将曲率定义为某点附近轮廓的可度量化类。
• 将虚拟切空间 $VT_xG$ 定义为在点 $x$ 处左平移与伸缩的缩放极限，推广了经典切空间的概念。
• 应用交换光滑性与虚拟可导性的概念，定义与伸缩结构相容的导数。
• 将导数 $Df(x)u$ 定义为涉及缩放群运算的极限，确保在紧集上一致收敛。
• 依赖于 $G^{(2)} = G \times G$ 上提升的伸缩结构与群运算，证明群运算的交换光滑性。
• 利用幂零化 $N_x$ 的余伴随轨道对曲率进行分类，将几何不变量与表示理论数据相联系。

实验结果

研究问题

• RQ1 当同一空间产生多个度量轮廓时，如何在子黎曼度量空间中合理定义曲率？
• RQ2 可度量化类的'良好'代表元是什么，如何系统地选择此类代表元？
• RQ3 能否利用其幂零切代数的表示理论数据，对具有度量切空间的度量空间的曲率进行分类？
• RQ4 虚拟可导性概念如何将经典微分学推广至具有伸缩结构的非欧几里得度量空间？
• RQ5 当从紧致李群推广到具有伸缩结构的均匀群时，霍普夫代数对偶性需要进行何种修改？

主要发现

• 度量空间中的曲率被定义为伸缩轮廓的可度量化类，其中伸缩曲率编码的几何信息比度量曲率更丰富。
• 虚拟切空间 $VT_xG$ 通过左平移与伸缩的缩放构造而成，推广了经典切空间，适用于无度量切空间的空间。
• 在 $G^{(2)} = G \times G$ 上的群运算具有交换光滑性，其导数为 $D\,\text{op}(x,u)(y,v) = \beta(y,v)$，其中 $\beta$ 是切代数上的双线性型。
• 子黎曼空间在某一点的曲率由相关幂零李代数的余伴随轨道分类，将几何曲率与酉表示相联系。
• 虚拟导数 $VDf(x)$ 对左平移存在，且等于恒等映射，表明其与经典微分行为的一致性。
• 该框架暗示了在具有伸缩结构的均匀群背景下，普遍包络代数与交换霍普夫代数之间存在广义对偶性，扩展了经典李群对偶性。