[论文解读] Projective classification of jets of surfaces in 3-space

Hiroaki Sano, Yutaro Kabata+2 more|arXiv (Cornell University)|Apr 24, 2015

Geometric Analysis and Curvature Flows参考文献 4被引用 5

一句话总结

本文通过中心投影的奇点类型作为不变量，对三维射影空间中光滑曲面的喷射在余维数4以内进行了射影分类。它给出了抛物型、双曲型和椭圆型情况下退化Monge型的规范形式，识别了模参数，并通过射影等价性和奇点理论对抛物线和flecnodal曲线的分支进行了分类。

ABSTRACT

We present a local classification of smooth projective surfaces in 3-space via projective transformations in accordance with singularity types of central projections up to codimension 4. We also discuss relations between our classification of Monge forms and bifurcations of parabolic curves and flecnodal curves.

研究动机与目标

• 通过中心投影的奇点类型对P³中光滑曲面的喷射在射影变换下进行分类。
• 通过将奇点理论引入退化Monge型，扩展经典射影微分几何。
• 识别Monge型喷射空间中余维数≤4的层的模参数和规范形式。
• 通过射影不变量和奇点类型分析抛物线和flecnodal曲线的分支。
• 阐明通过高度函数或渐近曲线无法区分但可通过投影奇点分离的类之间的区别。

提出的方法

• 作者使用保持原点和xy平面的射影变换作用于满足f(0)=0且df(0)=0的Monge型z = f(x,y)的喷射空间。
• 基于沿渐近线的中心投影的奇点类型对喷射空间进行分层，为每个层分配射影类型（例如，I₂、III₂、IV₁）。
• 利用次数为k的齐次多项式项φₖ和模参数α、β等，推导出余维数4以内的规范形式。
• 分类依赖于通过投影奇点类型实现的不变分层，从而区分原本仅通过标准几何特征无法区分的类。
• 通过计算投影φ: (x,y) ↦ (x−uy, f(x,y)−vy) 中奇异点的轨迹来分析分支，其中λ=0，ηλ=0，ηηλ=0，λ为雅可比行列式，η张成核空间。
• 该方法应用奇点理论和二元微分方程（BDE）的结果，以检测flecnodal曲线上Morse奇点和尖点分支。

实验结果

研究问题

• RQ1 哪些射影规范形式可对P³中曲面喷射在余维数4以内进行分类，它们与中心投影奇点类型的关联如何？
• RQ2 抛物线和flecnodal曲线的分支在射影分类中如何表现，哪些不变量可将它们区分开来？
• RQ3 为何某些类如Πᵖᵥ,₁和Πᶜ,₂仅能通过投影奇点检测，而无法通过高度函数或渐近曲线识别？
• RQ4 模参数α、β等在规范形式中起什么作用，它们如何影响曲面喷射的几何结构？
• RQ5 特定分支（如Morse、蝴蝶形或尖点）如何在喷射空间中出现，并对应规范形式中参数的特定取值？

主要发现

• 本文完整地对P³中曲面喷射在余维数4以内进行了射影分类，表1–3列出了13个不同的类，每个类均有唯一的规范形式和投影类型。
• 对于类Πᵖᵥ,₁，抛物线的分支通过Morse跃迁发生，而flecnodal曲线的分支仅靠BDE分类无法检测，但可通过新射影方法解决。
• 类Πᶜ,₂对应于折叠鞍点分支，其中两个折叠鞍点相互抵消，这一现象未被标准几何不变量捕捉。
• 在双曲情形下，当α=0时，类Πʰ₃,₅表现出flecnodal曲线的Morse分支，对应于应用几何中的“lips”和“bec-à-bec”奇点。
• 当αβ=16时，类Πʰ₄,₄表现出尖点分支，flecnodal曲线的两支变得相切，通过直接计算投影方程得到验证。
• 对于Πᶜ,₄，抛物线和flecnodal曲线在Gauss尖点处相切，同时出现蝴蝶形点，表明曲面局部结构存在更高阶退化。