[论文解读] Geometric invariants of $5/2$-cuspidal edges

Luciana F. Martins, Kentaro Saji|arXiv (Cornell University)|Oct 16, 2017

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

一句话总结

本文引入了两个新的几何不变量——次尖点曲率与偏置，用于描述 $ackslash mathbbr{R}^3$ 中具有 rhamphoid 尖点奇点的 $5/2$-尖点曲面。证明了次尖点曲率与极限法曲率的乘积为内蕴不变量，从而可为实解析的 $5/2$-尖点曲面（其极限法曲率非零）构造非平凡的等距形变，进而确立了关键几何不变量的外蕴性质。

ABSTRACT

We introduce two invariants called the secondary cuspidal curvature and the bias on $5/2$-cuspidal edges, and investigate their basic properties. While the secondary cuspidal curvature is an analog of the cuspidal curvature of (ordinary) cuspidal edges, there are no invariants corresponding to the bias. We prove that the product (called the secondary product curvature) of the secondary cuspidal curvature and the limiting normal curvature is an intrinsic invariant. Using this intrinsity, we show that any real analytic $5/2$-cuspidal edges with non-vanishing limiting normal curvature admits non-trivial isometric deformations, which provide the extrinsity of various invariants.

研究动机与目标

• 为 $5/2$-尖点曲面定义新的几何不变量——次尖点曲率与偏置，以推广 $3/2$-尖点的尖点曲率概念。
• 研究 $5/2$-尖点曲面上几何不变量的内蕴性与外蕴性之别。
• 建立实解析 $5/2$-尖点曲面在极限法曲率非零条件下存在非平凡等距形变的结论。
• 通过 Kossowski 度量实现 $5/2$-尖点曲面的内蕴表述，扩展具有半正定度量的奇异曲面理论。

提出的方法

• 次尖点曲率与偏置被定义为 $5/2$-尖点的高阶不变量，将尖点曲率的概念从 $3/2$-尖点推广至更高阶。
• 对于 $5/2$-尖点曲面，次尖点曲率与偏置通过局部参数化 $(u,v) \mapsto (u, v^2, v^5)$，利用喷射微分学与标准型约化方法推导得出。
• 定义次曲率乘积为次尖点曲率与极限法曲率的乘积，并通过第一基本形式证明其内蕴性。
• 利用次曲率乘积的内蕴性构造等距形变，表明此类形变存在于实解析 $5/2$-尖点曲面（极限法曲率非零）中。
• 发展了 Kossowski 度量表述，以将 $5/2$-尖点曲面内蕴地描述为正半定度量的奇点。
• 通过类比外蕴情形的论证，证明了具有内蕴 $5/2$-尖点曲面的 Kossowski 度量的等距实现存在性。

实验结果

研究问题

• RQ1 在尖点曲率消失之后，$5/2$-尖点的适当高阶不变量是什么？
• RQ2 如何为 $5/2$-尖点曲面定义并几何解释次尖点曲率与偏置？
• RQ3 次尖点曲率与极限法曲率的乘积是否为内蕴不变量？
• RQ4 能否为实解析 $5/2$-尖点曲面（极限法曲率非零）构造非平凡的等距形变？
• RQ5 能否通过 Kossowski 度量实现 $5/2$-尖点曲面的内蕴表述？此类度量是否允许等距实现？

主要发现

• 引入了次尖点曲率与偏置作为 $5/2$-尖点曲面的新不变量，其中次尖点曲率可视为 $3/2$-尖点尖点曲率的类比。
• 证明了次尖点曲率与极限法曲率的乘积为内蕴不变量，仅依赖于第一基本形式。
• 由于次曲率乘积的内蕴性，实解析 $5/2$-尖点曲面（极限法曲率非零）存在非平凡的等距形变。
• 次曲率乘积在等距形变下保持不变，这意味着其他不变量（如次尖点曲率与偏置）为外蕴量。
• 通过 Kossowski 度量实现了 $5/2$-尖点曲面的内蕴表述，使得无需依赖环境空间即可定义此类奇点。
• 证明了具有内蕴 $5/2$-尖点曲面的 Kossowski 度量的等距实现存在，从而扩展了具有半正定度量的奇异曲面理论。