[论文解读] Singularities of tangent surfaces to generic space curves

Goo Ishikawa, Tatsuya Yamashita|arXiv (Cornell University)|Feb 8, 2016

Geometric Analysis and Curvature Flows参考文献 17被引用 3

一句话总结

本文分类了任意维数和仿射联络几何中空间曲线的切曲面的通用奇点。它将欧几里得三维空间中的经典结果推广到具有无 torsion 的仿射联络的一般流形，证明对于通用曲线，唯一的奇点是三维中的尖点棱线（cuspidal edge）或高维中的嵌入式尖点棱线，其精确判据基于曲线的高阶协变导数。

ABSTRACT

We give the complete solution to the local diffeomorphism classification problem of generic singularities which appear in tangent surfaces, in as wider situations as possible. We interpret tangent geodesics as tangent lines whenever a (semi-)Riemannian metric, or, more generally, an affine connection is given in an ambient space of arbitrary dimension. Then, given an immersed curve, we define the tangent surface as the ruled surface by tangent geodesics to the curve. We apply the characterization of frontal singularities found by Kokubu, Rossman, Saji, Umehara, Yamada, and Fujimori, Saji, Umehara, Yamada, and found by the first author related to the procedure of openings of singularities.

研究动机与目标

• 将切曲面奇点的分类从欧几里得三维空间推广至任意维数的黎曼或仿射流形。
• 通过处理此前未系统分析过的非射影平坦几何，填补文献中的空白。
• 提供基于曲线协变导数的内在微分几何判据，以识别尖点棱线和折叠雨伞奇点。
• 在 Whitney $C^\infty$ 拓扑下建立曲线空间的通用性条件，确保仅出现指定奇点。
• 探讨在非通用情形下更退化的奇点（如 $(2,5)$-尖点棱线）的出现，特别是非平坦空间中无 torsion 的曲线。

提出的方法

• 将 $\nabla$-切曲面定义为在具有仿射联络 $\nabla$ 的流形 $M$ 中，由与曲线 $\gamma$ 相切的 $\nabla$-测地线生成的直纹面。
• 利用协变导数 $\nabla\gamma$、$\nabla^2\gamma$、$\nabla^3\gamma$ 和 $\nabla^4\gamma$ 来刻画点 $t_0$ 处奇点的局部类型。
• 应用前影（frontals）和映射芽的奇点理论判据，特别关注雅可比矩阵的秩以及特征函数的行为。
• 采用先前工作中提出的“开启”（openings）概念，将射影几何中的结果推广至一般仿射联络。
• 通过如下条件实现局部微分同胚分类：若两个映射芽在源空间与目标空间的微分同胚下相关，则视为等价。
• 通过将问题约化为已知标准型（例如尖点棱线：$(t,s) \mapsto (t+s, t^2 + 2st, t^3 + 3st^2)$）并验证在给定几何结构下的等价性，证明主要定理。

实验结果

研究问题

• RQ1 在维度 $m \geq 3$ 且具有无 torsion 仿射联络的流形中，通用曲线的 $\nabla$-切曲面可能出现的通用奇点有哪些？
• RQ2 在三维欧几里得空间中经典的奇点（尖点棱线、折叠雨伞）如何推广至高维及非平坦环境？
• RQ3 在曲线协变导数满足何种条件时，$\nabla$-切曲面表现出尖点棱线或折叠雨伞奇点？
• RQ4 更退化的奇点（如 $(2,5)$-尖点棱线）是否可能出现在 $\nabla$-切曲面上？若可能，其几何条件是什么？
• RQ5 无 torsion 性质与射影平坦性在决定切曲面上奇点类型方面起什么作用？

主要发现

• 当 $\dim(M) = 3$ 时，通用曲线的 $\nabla$-切曲面仅具有尖点棱线或折叠雨伞奇点，具体取决于 $\nabla\gamma$、$\nabla^2\gamma$、$\nabla^3\gamma$ 的线性无关性。
• 当 $\dim(M) \geq 4$ 时，唯一的通用奇点是嵌入式尖点棱线，且与前三阶协变导数的线性无关性条件相同。
• 折叠雨伞奇点恰好在 $\nabla\gamma$、$\nabla^2\gamma$、$\nabla^3\gamma$ 线性相关，但 $\nabla\gamma$、$\nabla^2\gamma$、$\nabla^4\gamma$ 线性无关时出现。
• 在非射影平坦空间中，无 torsion 的曲线可能产生非折叠奇点，如 $(2,5)$-尖点棱线，这在平坦或射影平坦几何中是不可能的。
• 在局部射影平坦流形中，无 torsion 曲线的 $\nabla$-切曲面始终是折叠奇点，这是通过其与欧几里得空间中平面曲线的射影等价性证明的。
• 本文在 $C^\infty$ Whitney 拓扑下完成了奇点的完整局部微分同胚分类，并确立了曲线空间的通用性条件。