[论文解读] Criteria for cuspidal S_k singularities and their applications

Kentaro Saji|arXiv (Cornell University)|May 14, 2009

Advanced Differential Equations and Dynamical Systems参考文献 18被引用 16

一句话总结

本文提出了适用于光滑映射芽 $\mathbb{R}^2 \to \mathbb{R}^3$ 中尖点 $S_k^\pm$ 奇点的通用、非归一化准则，扩展了先前关于 $S_1^\pm$ 和尖点十字帽（cuspidal cross caps）的研究。关键贡献在于通过目标曲面接触的几何条件，刻画了尖点棱线与折痕映射复合的 $\mathcal{A}$-等价类，为 Mond 关于切纹面奇点的结果提供了简洁证明，并解释了 Arnold 关于曲线与波前之间接触阶数的观察。

ABSTRACT

We give useful criteria for S_1 singularities in the Mond classification table, and cuspidal S_k singularities. As applications, we give a simple proof of a result given by Mond and a characterization of cuspidal S_k singularities for the composition of a cuspidal edge and a fold map indicated by Arnol'd for the case k=1.

研究动机与目标

• 开发适用于光滑映射芽中尖点 $S_k^\pm$ 奇点 $\mathcal{A}$-等价类的通用、非归一化准则。
• 将现有关于 $S_1^\pm$ 和尖点十字帽（$cS_0$）的准则扩展至高阶尖点 $S_k^\pm$ 奇点。
• 利用新准则为 Mond 关于切纹面奇点的结果提供简洁直接的证明。
• 将 V.I. Arnold 关于曲线与波前之间接触阶数的观察，以 $\mathcal{A}$-等价类的角度进行几何解释。

提出的方法

• 通过沿零空间与横截向量场的偏导数定义函数 $\varphi = \det(\xi f, \eta f, \eta\eta f)$，以检测余维一奇点。
• 基于 $\varphi$ 的临界点与 Hessian 行列式建立判别准则：当 $\varphi$ 在 $0$ 处有临界点且 $\det \operatorname{Hess} \varphi(0) > 0$ 时为 $S_1^-$，当 $\det \operatorname{Hess} \varphi(0) < 0$ 时为 $S_1^+$。
• 通过坐标归一化将映射芽化为标准形式 $f(u,v) = (u, v^2, a_3(u) + v^2 b_3(u,v))$，其中 $b_3(0,0) \neq 0$ 且 $a_3^{(k)}(0) \neq 0$。
• 通过符号面积密度及奇异集上法向量的行为，分析折痕映射 $F$ 与尖点棱线 $f$ 复合映射 $F \circ f$ 的性质。
• 应用定理 3.2，根据 $a_3^{(k)}(0) b_3(0,0)$ 的符号以及 $\operatorname{Im}(f)$ 相对于目标曲面 $S(F)$ 的位置，确定 $\mathcal{A}$-等价类。
• 利用 Thom 的分裂引理简化主定理的证明，确保准则在微分同胚坐标变换下保持稳健。

实验结果

研究问题

• RQ1 在光滑映射 $\mathbb{R}^2 \to \mathbb{R}^3$ 中，识别 $S_1^\pm$ 奇点 $\mathcal{A}$-等价类的通用、无需归一化的准则是什么？
• RQ2 如何通过几何条件确定尖点棱线与折痕映射复合的 $\mathcal{A}$-等价类？
• RQ3 曲线与波前曲面之间接触的何种条件可决定复合映射产生 $cS_{k-1}^+$ 或 $cS_{k-1}^-$ 奇点？
• RQ4 如何利用新准则直接重证 Mond 关于切纹面奇点分类的结果？
• RQ5 在 $a_3^{(k)}(0) b_3(0,0)$ 的符号与 $f$ 的像 $\operatorname{Im}(f)$ 相对于目标曲面 $S(F)$ 的位置关系之间，存在何种几何解释？

主要发现

• 在原点处，余维一映射芽 $f: \mathbb{R}^2 \to \mathbb{R}^3$ 的 $\mathcal{A}$-等价类为 $S_1^-$ 当且仅当 $\varphi$ 在 $0$ 处有临界点且 $\det \operatorname{Hess} \varphi(0) > 0$；为 $S_1^+$ 当且仅当 $\det \operatorname{Hess} \varphi(0) < 0$。
• 当 $k \geq 2$ 时，尖点棱线 $f$ 与折痕映射 $F$ 的复合映射 $F \circ f$ 的奇点为 $\mathcal{A}$-等价于 $cS_{k-1}^+$ 当 $a_3^{(k)}(0) b_3(0,0) > 0$，为 $cS_{k-1}^-$ 当 $a_3^{(k)}(0) b_3(0,0) < 0$。
• $a_3^{(k)}(0) b_3(0,0) > 0$ 的条件等价于 $\operatorname{Im}(f)$ 局部位于目标曲面 $S(F)$ 的与 $f$ 的极限切平面同侧。
• 所提准则可实现对 Mond 关于切纹面奇点结果的直接、非归一化证明，简化了原始论证。
• 本文为 V.I. Arnold 关于曲线与波前之间接触阶数的观察提供了几何解释，将其与复合奇点的 $\mathcal{A}$-等价类联系起来。
• 该方法具有鲁棒性与普适性，因其不依赖于映射芽的归一化，因此在归一化不可行或不可能的情况下仍具适用性。