[论文解读] The geometry of corank $1$ surfaces in $\mathbb{R}^{4}$

Pedro Benedini Riul, Raúl Oset Sinha+1 more|arXiv (Cornell University)|Jan 19, 2018

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

一句话总结

本文研究 ℝ⁴ 中余维 1 曲面的微分几何，引入曲率抛物线作为完整不变量，以编码奇异点处的所有二阶几何信息。通过曲率抛物线定义渐近方向与法方向，并提出在 ℝ²×O(4) 变换下不变的脐率曲率不变量，同时建立 ℝ⁴ 中奇异曲面与 ℝ⁵ 中正则曲面之间的几何对应关系，表明二者具有相同的第二基本形式，但其退化性与法方向结构存在差异。

ABSTRACT

We study the geometry of surfaces in $\mathbb{R}^{4}$ with corank $1$ singularities. For such surfaces the singularities are isolated and at each point we define the curvature parabola in the normal space. This curve codifies all the second order information of the surface. Also, using this curve we define asymptotic and binormal directions, the umbilic curvature and study the flat geometry of the surface. It is shown that we can associate to this singular surface a regular one in $\mathbb{R}^{4}$ and relate their geometry.

研究动机与目标

• 为 ℝ⁴ 中具有余维 1 奇点的曲面建立二阶微分几何框架。
• 定义并表征曲率抛物线作为分类此类奇点的完整不变量。
• 引入在 ℝ²×O(4) 变换下不变的几何不变量（如渐近方向、法方向与脐率曲率）。
• 通过构造一个关联的正则曲面，建立 ℝ⁴ 中奇异曲面与 ℝ⁵ 中正则曲面之间的几何联系。
• 阐明 ℝ⁴ 中奇异曲面与 ℝ⁵ 中正则曲面之间法方向概念的根本差异。

提出的方法

• 曲率抛物线 Δₚ 定义为第二基本形式在法空间中的像，通过局部坐标参数化从正则曲面 Ũ 映射到 ℝ⁴ 的方式给出。
• 渐近方向被识别为满足 II_ν(u,v) = 0 对所有 v ∈ T_qŨ 及某个 ν ∈ N_pM 的切向量 u ∈ T_qŨ。
• 法方向定义为退化高度函数方向锥 ℂ_p 与子空间 E_p ⊂ N_pM 的交集。
• 脐率曲率定义为当 Δₚ 退化时的标量不变量，通过高度函数 h_ν 的 Hessian 矩阵计算得出。
• 构造一个 ℝ⁵ 中的正则曲面 N ⊂ ℝ⁵，作为 ℝ⁴ 中奇异曲面 M ⊂ ℝ⁴ 的提升，保持第二基本形式不变。
• 论文使用 𝒜² 与 ℝ²×O(4) 变换下的 2-阶等价对奇点进行分类，表明曲率抛物线可完全区分余维 1 奇点的四类轨道。

实验结果

研究问题

• RQ1 如何通过法空间中的几何对象，编码并分类 ℝ⁴ 中余维 1 曲面的二阶几何？
• RQ2 在 ℝ⁴ 中奇异曲面的背景下，渐近方向与法方向的精确几何意义与表征是什么？
• RQ3 曲率抛物线如何作为在 ℝ²×O(4) 变换下分类余维 1 奇点的完整不变量？
• RQ4 奇异曲面 M ⊂ ℝ⁴ 与由其构造的正则曲面 N ⊂ ℝ⁵ 之间存在何种关系，尤其在第二基本形式方面？
• RQ5 为何 ℝ⁴ 中奇异曲面与 ℝ⁵ 中正则曲面之间的法方向概念存在根本性差异？

主要发现

• 在 ℝ²×O(4) 等价关系下，曲率抛物线 Δₚ 是分类 ℝ⁴ 中余维 1 奇点的完整不变量，可区分四类不同的轨道。
• 当且仅当 ν ∈ N_pM 满足 v₂ = -b₁₁v₃ ± 2√(b₂₀b₀₂v₃² + b₀₂c₂₀v₃v₄) 时，该方向为退化方向，此式由高度函数 h_ν 的 Hessian 行列式为零导出。
• 渐近方向对应参数 y ∈ ℝ ∪ [y_∞]，使得曲率抛物线中的直线 η(y) 垂直于退化方向锥 ℂ_p。
• 法方向定义为 ℂ_p ∩ E_p，此定义与 ℝ⁵ 中正则曲面的标准定义不同，后者基于奇点类型（如 A₃ 或更严重）定义法方向性。
• 关联的正则曲面 N ⊂ ℝ⁵ 与奇异曲面 M ⊂ ℝ⁴ 具有相同的第二基本形式，但其退化性与法方向结构不被保持。
• 当 Δₚ 退化为一点时，脐率曲率为 2|c₂₀|；若 c₂₀ = 0，则对所有 ν ∈ N_pM，高度函数 h_ν 具有余维 2 奇点；若 c₂₀ ≠ 0，则对所有 ν 垂直于 Δₚ 张成的子空间，h_ν 具有余维 2 奇点。