[论文解读] Normal forms and invariants for 2-dimensional almost-Riemannian structures

Ugo Boscain, G. Charlot+1 more|arXiv (Cornell University)|Aug 30, 2010

Analytic and geometric function theory参考文献 31被引用 45

一句话总结

本文在三种典型点类型——黎曼点、格吕欣点和切点——上建立了二维几乎黎曼结构的完整、规范的法式形和函数不变量。通过构造光滑、唯一参数化的横截于分布的曲线（利用曲率等高线、波峰、波谷或奇异集），实现了完全约化的法式形，该法式形唯一确定了局部等距类，从而解决了长期存在的寻找完全、坐标与框架无关不变量的问题。

ABSTRACT

Two-dimensional almost-Riemannian structures are generalized Riemannian structures on surfaces for which a local orthonormal frame is given by a Lie bracket generating pair of vector fields that can become collinear. Generically, there are three types of points: Riemannian points where the two vector fields are linearly independent, Grushin points where the two vector fields are collinear but their Lie bracket is not, and tangency points where the two vector fields and their Lie bracket are collinear and the missing direction is obtained with one more bracket. In this paper we consider the problem of finding normal forms and functional invariants at each type of point. We also require that functional invariants are "complete" in the sense that they permit to recognize locally isometric structures. The problem happens to be equivalent to the one of finding a smooth canonical parameterized curve passing through the point and being transversal to the distribution. For Riemannian points such that the gradient of the Gaussian curvature $K$ is different from zero, we use the level set of $K$ as support of the parameterized curve. For Riemannian points such that the gradient of the curvature vanishes (and under additional generic conditions), we use a curve which is found by looking for crests and valleys of the curvature. For Grushin points we use the set where the vector fields are parallel. Tangency points are the most complicated to deal with. The cut locus from the tangency point is not a good candidate as canonical parameterized curve since it is known to be non-smooth. Thus, we analyse the cut locus from the singular set and we prove that it is not smooth either. A good candidate appears to be a curve which is found by looking for crests and valleys of the Gaussian curvature. We prove that the support of such a curve is uniquely determined and has a canonical parametrization.

研究动机与目标

• 解决寻找二维几乎黎曼结构（2-ARS）的完全、规范法式形的问题，且独立于局部坐标或框架的选择。
• 识别既内在于结构又足以对局部等距的2-ARS进行分类的函数不变量。
• 为每类点构造一条光滑、唯一参数化的曲线，作为法式形的规范支撑，确保在等距变换下保持不变。
• 将法式形理论扩展至最复杂的情形——切点，因为在该情形下标准候选（如切点集）因非光滑性而失效。
• 统一处理所有点类型中的基于曲率的特征（波峰、波谷），以定义规范参数化。

提出的方法

• 对于曲率梯度非零的黎曼点，使用高斯曲率K的等高线作为规范曲线支撑。
• 对于曲率梯度为零的黎曼点，通过识别曲率函数的波峰与波谷构造曲线。
• 对于格吕欣点，使用两个向量场平行的集合作为规范曲线支撑。
• 对于切点，从曲率波峰与波谷导出一条规范曲线，证明其唯一确定且光滑参数化。
• 通过在框架分量的二阶导数上施加归一化条件来固定参数化，确保唯一性（至多方向相反）。
• 通过依赖所选曲线的程序构造规范正交标架，得到由函数不变量构成的法式形。

实验结果

研究问题

• RQ1 如何为2-ARS构造一个完全约化的法式形，使其独立于局部坐标与框架的选择？
• RQ2 在三种典型点类型（黎曼点、格吕欣点和切点）中，何种规范曲线可作为法式形的支撑？
• RQ3 为何标准候选（如切点集）不适用于切点？何种替代曲线结构可确保光滑性与唯一性？
• RQ4 如何利用基于曲率的特征（波峰与波谷）在切点处定义规范参数化？
• RQ5 何种条件可确保所得法式形分量为完全不变量，从而区分局部等距的2-ARS？

主要发现

• 在切点处，通过曲率波峰与波谷构造出一条规范的、唯一参数化的曲线，证明其光滑且至多方向相反唯一确定。
• 切点处的法式形完全约化：正交标架与坐标由结构唯一固定，且框架分量的二阶导数被归一化为±2。
• 对于曲率梯度非零的黎曼点，K的等高线作为规范曲线，得到仅依赖于K及其导数的法式形。
• 对于曲率梯度为零的黎曼点，规范曲线由曲率的极值线导出，确保不变性与完备性。
• 函数不变量（规范坐标下正交标架的分量）是完备的：两个2-ARS局部等距当且仅当其不变量完全一致。
• 该构造解决了切点处切点集非光滑性的问题，通过证明奇异集的切点集同样非光滑，从而证明基于曲率的曲线是更优的候选。