[论文解读] The duality between singular points and inflection points on wave fronts

Kentaro Saji, Masaaki Umehara+1 more|Osaka City University (Osaka City University)|Feb 4, 2009

Geometric Analysis and Curvature Flows参考文献 6被引用 8

一句话总结

本文在实射影空间中的波前上建立了奇点与拐点之间的对偶性，表明在紧致可定向曲面上，2-拐点（godron点）的代数和等于Hessian为负的区域的欧拉示性数。通过A_k+1奇点判别法，作者利用内蕴微分几何与高斯映射，将Bleecker与Wilson的公式推广至波前。

ABSTRACT

In the previous paper (arXiv:0804.0701), the authors gave criteria for A_{k+1}-type singularities on wave fronts. Using them, we show in this paper that there is a duality between singular points and inflection points on wave fronts in the projective space. As an application, we show that the algebraic sum of 2-inflection points (i.e. godron points) on an immersed surface in the real projective space is equal to the Euler number of M_-. Here M^2 is a compact orientable 2-manifold, and M_-$is the open subset of M^2 where the Hessian of f takes negative values. This is a generalization of Bleecker and Wilson's formula for immersed surfaces in the affine 3-space.

研究动机与目标

• 在实射影空间中的波前上建立奇点与拐点之间的对偶性。
• 将Bleecker与Wilson的公式推广，该公式关联2-拐点（godron点）的代数和与曲面的欧拉示性数。
• 通过内蕴微分几何与高斯映射，将A_k+1奇点理论推广至波前。
• 定义并分析非退化拐点及其高阶接触，借助Hessian形式与渐近向量场。

提出的方法

• 作者通过沿拐点轨迹的渐近向量场的k-非退化性与重数条件，定义A_k+1-拐点。
• 利用Hessian形式H = ∑h_ij dx^i dx^j及其行列式h = det(h_ij)将拐点表征为h的零点。
• 使用高斯映射G: M^n → P((K^{n+1})*)定义仿射高斯映射，并将Hessian与第二基本形式关联。
• 通过Legendrian提升L_f与射影余切丛的结构，推导奇点与拐点之间的对偶性。
• 将波前上的A_k+1奇点判别法应用于负Hessian区域M_−的拓扑，以关联2-拐点的计数。
• 引入尖点曲率μ作为3/2-尖点的几何不变量，其中μ²被解释为最佳逼近摆线半径的倒数。

实验结果

研究问题

• RQ1 在实射影空间中的波前上，奇点与拐点之间存在何种内在对偶性？
• RQ2 2-拐点（godron点）的代数和如何与Hessian为负的区域的欧拉示性数相关联？
• RQ3 波前上3/2-尖点的尖点曲率μ具有何种几何意义？
• RQ4 如何利用Hessian与渐近向量场表征波前上的A_k+1奇点？
• RQ5 Bleecker与Wilson关于仿射3维空间中浸入曲面的公式能否推广至射影空间中的波前？

主要发现

• 在实射影3维空间中紧致可定向波前上的2-拐点（godron点）的代数和，等于Hessian为负的开子集M_−的欧拉示性数。
• A_k+1-拐点被定义为非退化拐点，其渐近向量场在k-非退化性下不以重数k+1与拐点轨迹相交。
• 3/2-尖点的尖点曲率μ满足μ = |Ω(γ̈(t),γ⃛(t))| / |γ̈(t)|^{5/2}于尖点处，且μ²等于最佳逼近摆线半径的倒数。
• 通过Legendrian提升与射影余切丛的结构，建立了奇点与拐点之间的对偶性。
• 本文给出了波前上A_k+1奇点的内在定义，将先前结果推广至更一般的几何设定。
• 最佳逼近摆线半径a的公式为a = √(κ⁴ + κ̇²) / |κ|³，其中κ为测地曲率。