[论文解读] Cut and conjugate points of the exponential map, with applications

Pablo Angulo Ardoy|arXiv (Cornell University)|Nov 14, 2014

Advanced Differential Geometry Research参考文献 5被引用 5

一句话总结

本文研究黎曼流形与芬斯勒流形上指数映射的奇点，重点关注切点流形与共轭点。文章引入了平衡分裂流形作为关键结构，将哈密顿-雅可比方程的粘性解与几何奇点联系起来，并通过共轭下降流与连接曲线，为一般3-流形提供了阿姆布罗斯猜想的新证明，将先前结果扩展至余维数3以上。

ABSTRACT

The goal of this thesis is to study the singularities of the exponential map of Riemannian and Finsler manifolds (a concept related to caustics and catastrophes), and the object known as the cut locus (aka ridge, medial axis or skeleton), to improve existing results about its structure, to look at it in new ways, and to derive applications to the Ambrose conjecture and the Hamilton-Jacobi equations.

研究动机与目标

• 理解黎曼流形与芬斯勒流形中切点流形与共轭点流形在余维数3以内的局部结构。
• 建立哈密顿-雅可比方程粘性解与切点流形或平衡分裂流形之间的几何-分析联系。
• 通过新颖的几何与拓扑技术，为一般3维黎曼流形提供阿姆布罗斯猜想的新证明。
• 提出一个适用于任意度量的阿姆布罗斯猜想证明的一般策略，依赖于指数映射的深层结构结果。
• 引入并形式化平衡分裂流形的概念，该概念此前在文献中隐含存在，作为统一的几何对象。

提出的方法

• 利用芬斯勒几何中的工具（包括对偶性与特殊坐标）分析指数映射的奇点。
• 应用哈密顿-雅可比方程的粘性解理论，将解的奇点支撑集与切点流形或平衡分裂流形关联。
• 引入共轭下降流，并将终点定义为无任何共轭曲线出发的点。
• 利用广义相位函数与一般性论证，分析3-流形中指数映射的奇点。
• 应用拓扑方法，包括维数理论与覆盖映射，证明在一般情形下存在特定曲线（即连接曲线）。
• 采用合成技术，将两个流形结合，并在A₃型奇点附近调整坐标，以证明一般3-流形中猜想的成立。

实验结果

研究问题

• RQ1 在黎曼流形与芬斯勒流形中，切点流形与共轭点流形在余维数3以内的结构行为如何？
• RQ2 哈密顿-雅可比方程的粘性解与切点流形或平衡分裂流形之间的确切关系是什么？
• RQ3 能否通过几何与流形方法的论证，证明一般3维黎曼流形中阿姆布罗斯猜想的成立？
• RQ4 在共轭流中，确保连接非终点与终点的曲线（避免奇点）存在的条件是什么？
• RQ5 关于共轭下降流终点的IJK猜想是否成立？其能否用于将阿姆布罗斯猜想推广至任意度量？

主要发现

• 在标准凸性假设下，证明了平衡分裂流形是哈密顿-雅可比方程粘性解的奇点支撑集。
• 本文通过共轭下降流与具有特定拓扑性质的连接曲线的存在性，证明了一般3-流形中阿姆布罗斯猜想的成立。
• 证明了共轭终点（阶数为k）的像的Hausdorff维数至多为n−k−1，支持了IJK猜想。
• 切点流形结构在余维数3以内被完整描述，推广了此前仅适用于余维数2以内的已知结果。
• 一般度量下阿姆布罗斯猜想的证明依赖于在A₃点附近自适应坐标中π₁与π₂为覆盖映射的性质。
• 本文提出了连接曲线的新定义，即ACDC曲线与回流曲线的并集，从而可将证明策略推广至任意流形。