[論文レビュー] 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の曲面の微分幾何学を調査し、特異点におけるすべての2次幾何的データを符号化する完全不変量として、曲率放物線を導入する。曲率放物線を用いて漸近的および法線方向を定義し、ℝ²×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特異点をもつ曲面の2次微分幾何学フレームワークを構築すること。
• 曲率放物線を完全不変量として定義し、このような特異点を分類するための特徴づけを行うこと。
• ℝ²×O(4)変換に関して不変な幾何的不変量（例えば、漸近的および法線方向、アンビリック曲率など）を導入すること。
• 特異曲面 M ⊂ ℝ⁴ と、それから構成された正則曲面 N ⊂ ℝ⁵ の幾何学的関係を、関連する正則曲面を用いて結びつけること。
• ℝ⁴における特異曲面における法線方向と、ℝ⁵における正則曲面におけるそれらの対応する概念との根本的な違いを明確にすること。

提案手法

• 曲率放物線 Δₚ は、正則曲面 Ũ が ℝ⁴ に写像する局所座標を用いて、法空間における第二基本形式の像として定義される。
• 漸近的方向は、ある ν ∈ N_pM に対してすべての v ∈ T_qŨ に対して II_ν(u,v) = 0 を満たす接ベクトル u ∈ T_qŨ として特定される。
• 法線方向は、退化した高さ関数方向の錐 ℂ_p と部分空間 E_p ⊂ N_pM の共通部分として定義される。
• アンビリック曲率は、Δₚ が退化する点におけるスカラー不変量として定義され、高さ関数 h_ν のヘッセ行列を用いて計算される。
• 特異曲面 M ⊂ ℝ⁴ のリフトとして、ℝ⁵ に正則曲面 N ⊂ ℝ⁵ を構成し、第二基本形式を保存する。
• 本稿では、𝒜² および ℝ²×O(4) 変換における2次ジェット同値関係を用いて特異点を分類し、曲率放物線がコランク1局所的特異点の4つの軌道を完全に区別できることを示している。

実験結果

リサーチクエスチョン

• RQ1 ℝ⁴におけるコランク1曲面の2次幾何学的性質を、法空間内に位置する幾何的対象を用いてどのように符号化・分類できるか。
• RQ2 特異曲面における漸近的および法線方向の正確な幾何的意味と特徴づけは何か。
• RQ3 曲率放物線が、ℝ²×O(4) 変換に関してコランク1特異点を分類する完全不変量としてどのように機能するか。
• RQ4 特異曲面 M ⊂ ℝ⁴ と、それから構成された正則曲面 N ⊂ ℝ⁵ の間の関係は何か。特に、第二基本形式に関してはどのように関係するか。
• RQ5 なぜ、ℝ⁴における特異曲面における法線方向の概念と、ℝ⁵における正則曲面におけるそれらの概念は根本的に異なるのか。

主な発見

• 曲率放物線 Δₚ は、ℝ²×O(4) 同値関係に関して、ℝ⁴におけるコランク1特異点を分類する完全不変量であり、4つの異なる軌道を区別する。
• 法空間 N_pM 内の方向 ν が退化するための必要十分条件は、高さ関数 h_ν のヘッセ行列式が0になることから導かれる式 v₂ = -b₁₁v₃ ± 2√(b₂₀b₀₂v₃² + b₀₂c₂₀v₃v₄) を満たすことである。
• 漸近的方向は、曲率放物線上の直線 η(y) が、退化方向の錐 ℂ_p に直交するようなパラメータ y ∈ ℝ ∪ [y_∞] に対応する。
• 法線方向は ℂ_p ∩ E_p として定義され、これはℝ⁵における正則曲面で標準的に定義されるものとは異なり、特異点の型（例えば A₃ やそれ以上の型）に基づくものではない。
• 関連する正則曲面 N ⊂ ℝ⁵ は、特異曲面 M ⊂ ℝ⁴ と同じ第二基本形式を持つが、退化性および法線構造は保存されない。
• Δₚ が点に退化するとき、アンビリック曲率は 2|c₂₀| に等しくなる。c₂₀ = 0 ならば、すべての ν ∈ N_pM に対して高さ関数 h_ν はコランク2特異点を持つ。c₂₀ ≠ 0 ならば、Δₚ の張る空間に直交する ν に対して、h_ν はコランク2特異点を持つ。