[论文解读] Geometric algebra and singularities of ruled and developable surfaces

Junki Tanaka, Toru Ohmoto|arXiv (Cornell University)|Aug 31, 2018

Geometric and Algebraic Topology参考文献 5被引用 3

一句话总结

本文将几何代数——特别是对偶四元数——应用于分类 ℝ³ 中直纹面与可展曲面的奇点的局部微分同胚与拓扑类型。通过将直纹面建模为单位对偶向量的曲线，并分析参数化映射的喷射展开，作者证明了可展曲面的拓扑类型完全由对偶挠率 𝜏̌ 的零点阶数决定，推广了 Mond 对切线可展面的经典结果。

ABSTRACT

Any ruled surface in Euclidean 3-space is described as a curve of unit dual vectors in the algebra of dual quaternions (=the even Clifford algebra of type (0,3,1)). Combining this classical framework and Singularity Theory, we characterize local diffeomorphic types of singular ruled surfaces in terms of geometric invariants. In particular, using a theorem of G. Ishikawa, we show that local topological type of singular (non-cylindrical) developable surfaces is completely determined by vanishing order of the dual torsion, that generalizes an old result of D. Mond for tangent developables of non-singular space curves. Our approach would be useful for analysis on singularities arising in differential line geometry related with several applications such as robotics, vision theory and architectural geometry.

研究动机与目标

• 使用几何代数对 ℝ³ 中直纹面与可展曲面的局部微分同胚与拓扑奇点类型进行分类。
• 通过映射芽 (ℝ²,0)→(ℝ³,0) 的 𝒜-等价与刚性等价刻画直纹面的奇点。
• 通过证明可展曲面的拓扑类型仅由对偶挠率 𝜏̌ 的零点阶数决定，推广 Mond 对切线可展面的结果。
• 建立一个框架，使几何代数成为研究经典 Klein 几何中奇点的自然语言。
• 利用对偶四元数微积分与 𝔻³ 中的 Frenet 公式，推导直纹面参数化的规范 Taylor 展开。

提出的方法

• 将 ℝ³ 中任意直纹面表示为偶 Clifford 代数 𝒞ℓ⁺(0,3,1) 中的单位对偶向量曲线，即对偶四元数代数。
• 在对偶空间 𝔻³ 中使用 Frenet 公式定义对偶曲率 𝜅̌ 与对偶挠率 𝜏̌，其中 𝜏̌ = 𝜏₀ + ε𝜏₁。
• 利用对偶 Bouquet 公式，推导表面参数化 F(s,t) 到三阶的规范 Taylor 展开。
• 应用 Izumiya-Saji 的判别准则与 Mond 的分类工具，检测映射芽的 𝒜-型，特别是 Sw、cA₄ 与 cA₅ 型。
• 通过条件 (f₂)ᵧ = (f₃)ᵧ = 0 分析奇点集 S(F)，并利用向量场计算不变量如 ηλ(0)、ηηλ(0) 等。
• 通过在对偶设定下递归使用 Frenet 型微分，将扭线 σ(s) 的类型 (m,n₁,n₂) 与 τ₁ 与 τ₀ 的零点阶数关联起来。

实验结果

研究问题

• RQ1 几何代数如何用于分类 ℝ³ 中奇异直纹面的局部微分同胚类型？
• RQ2 奇异可展曲面的拓扑分类是什么？其与对偶挠率 𝜏̌ 的关系如何？
• RQ3 能否将映射芽 (ℝ²,0)→(ℝ³,0) 的 𝒜-分类应用于参数化直纹面以检测奇点类型？
• RQ4 对偶挠率 𝜏̌ 的零点阶数如何决定可展曲面的拓扑类型？
• RQ5 曲面参数化喷射展开与分类中奇点类型（如 Sw、cA₄、cA₅）之间有何关系？

主要发现

• 奇异直纹面的局部微分同胚类型完全由参数化映射的喷射决定，Sw、cA₄ 与 cA₅ 等类型可通过 τ₁ 与 τ₀ 衍生的不变量检测。
• 奇异可展曲面的拓扑类型完全由对偶挠率 𝜏̌ 的零点阶数决定，推广了 Mond 对切线可展面的经典结果。
• 若扭线 σ(s) 的类型为 (m, n₁, n₂)，则 τ₁ 在 s=0 处的零点阶数为 m−1，τ₀ 的零点阶数为 r−1，且满足 n₁ = m+1 与 n₂ = m+1+r，其中 r ≥ 1。
• 利用对偶四元数微积分，显式推导出 F(s,t) 到三阶的喷射展开，表明其依赖于 κ₁′(0)、τ₀(0)、τ₁(0) 与 τ₁′(0)。
• 奇点集 S(F) 由 λ = 0 定义，其中 λ 是关于 s 与 y 的函数，其沿核向量场 η = ∂/∂y 的导数可产生用于检测奇点类型的不变量。
• 当 τ₀ = 0 时出现余维数 3 与余维数 4 的奇点（T₁ 与 T₂）；当 τ₀ ≠ 0 且 τ₁′(0) ≠ 0 时出现更高阶类型（Sw、cA₄、cA₅）。”