[论文解读] Height functions on Whitney umbrellas

Toshizumi Fukui, Masaru Hasegawa|arXiv (Cornell University)|May 14, 2012

Fuzzy and Soft Set Theory参考文献 16被引用 9

一句话总结

本文研究了惠特尼阳伞（cross-caps）上高度函数的奇点，并证明高度函数族构成一个普遍展开。研究建立表明，惠特尼阳伞与通过其奇点的超平面之间的局部交线类型由高度函数的奇点类型决定；当超平面包含双点轨迹的切线时，还取决于参数空间中高度函数零点集与双点集之间的接触阶。关键结果是类比蒙塔尔迪（Montaldi）定理对正则曲面的结论，对交线奇点进行了分类。

ABSTRACT

We study the singularities of the members of the family of height functions on Whitney umbrellas, which is also known as cross-caps, and show that the family of the height functions is a versal unfolding. Moreover, we study local intersections of a Whitney umbrella with a hyperplane through its singular point.

研究动机与目标

• 使用主曲率、纹线（ridges）和次抛物线线等微分几何不变量，分析惠特尼阳伞上高度函数的奇点。
• 证明惠特尼阳伞上高度函数族是一个普遍展开，确保在小扰动下能捕捉所有可能的奇点类型。
• 对通过惠特尼阳伞奇点的超平面与该曲面的局部交线类型进行分类，特别是当超平面包含或不包含双点轨迹的切线方向时。
• 将经典曲面与超平面之间的接触理论推广到惠特尼阳伞的奇异情形，其中由于奇点处的非正则性，标准方法失效。

提出的方法

• 作者使用平面的双重定向展开 $\widetilde{\Pi}: \mathbb{R} \times S^1 \to \mathbb{R}^2$，该方法解析了奇点，并允许在所得的莫比乌斯带 $\mathcal{M}$ 上定义具有良好行为的单位法向量场。
• 他们分析了在例外集 $E = \Pi^{-1}(0,0)$ 附近（对应惠特尼阳伞奇点）的莫比乌斯带 $\mathcal{M}$ 上主曲率和主方向的渐近行为。
• 高度函数 $h_{\mathbf{w}}$ 定义为沿方向 $\mathbf{w} \in S^2$ 的正交投影，其奇点通过喷射展开与标准型分析进行研究。
• 在参数空间中分析零点集 $h^{-1}(0)$，特别是其与双点轨迹 $\mathcal{D}$ 的接触，使用喷射理论技术与坐标变换，将其约化为标准奇点类型。
• 通过旋转变换 $T$ 将高度函数的零点集对齐至坐标平面，从而可应用关于平面曲线 $A_k$-奇点的已知结果。
• 交线奇点的分类依赖于将交线曲线的 $2k$-阶喷射与标准型进行比较，根据 $k$ 的奇偶性区分 $A_k$ 与 $A_k^{\pm}$ 类型。

实验结果

研究问题

• RQ1 惠特尼阳伞上高度函数的奇点如何与主曲率、纹线等微分几何不变量相关？
• RQ2 惠特尼阳伞上高度函数族是否为普遍展开，从而在小扰动下能捕捉所有可能的奇点类型？
• RQ3 什么决定了惠特尼阳伞与通过其奇点的超平面之间的局部交线类型？
• RQ4 当超平面包含或不包含双点轨迹的切线方向时，交线奇点类型如何变化？
• RQ5 当超平面包含 $\mathcal{D}$ 的切线时，能否利用高度函数零点集与参数空间中双点集之间的接触关系来对交线奇点进行分类？

主要发现

• 惠特尼阳伞上高度函数族是一个普遍展开，意味着在奇点邻域内，所有可能的高度函数奇点类型均可实现。
• 当超平面 $\mathcal{P}_{\mathbf{w}_0}$ 不包含双点轨迹 $\mathcal{D}$ 的切线时，若高度函数具有 $A_{2k-1}$ 型奇点，则局部交线具有 $A_{2k}$ 奇点。
• 当 $\mathcal{P}_{\mathbf{w}_0}$ 包含 $\mathcal{D}$ 的切线时，交线奇点由高度函数的奇点类型与参数空间中 $h^{-1}(0)$ 和 $\mathcal{D}$ 之间的接触阶共同决定。
• 对于 $k \geq 1$，若高度函数在原点具有非退化的 $A_{2k-1}$ 型奇点，且超平面包含 $\mathcal{D}$ 的切线，则交线具有 $A_{k+2}$ 或 $A_{k+2}^{\pm}$ 奇点，具体取决于 $k$ 的奇偶性。
• 当高度函数在原点非奇异（即 $A_1$ 型）且超平面包含 $\mathcal{D}$ 的切线时，交线具有 $A_2$ 奇点。
• 本文提供了交线奇点的完整分类，表明惠特尼阳伞与通过奇点的超平面的局部交线微分同胚于具有 $A_k$ 或 $A_k^{\pm}$ 奇点的曲线，具体取决于喷射阶数与接触条件。