[論文レビュー] Isometric deformations of cuspidal edges

Kosuke Naokawa, Masaaki Umehara+1 more|arXiv (Cornell University)|Aug 19, 2014

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

ひとこと要約

本稿では、R³における任意の実解析的で一般の尖点付帯曲面は、その極限法曲率κνを保存したまま等長変形可能であり、特異集合が平面に位置する一意的な極限尖点付帯曲面が得られることを確立している。変形は、第一基本形式と幾何的不変量から導かれる偏微分方程式系にコーシー＝コワレフスカヤの定理を適用することで構成され、一般の尖点付帯曲面に対してこのような等長変形の存在と一意性が証明される。

ABSTRACT

Along cuspidal edge singularities on a given surface in Euclidean 3-space, which can be parametrized by a regular space curve, a unit normal vector field $ν$ is well-defined as a smooth vector field of the surface. A cuspidal edge singular point is called generic if the osculating plane of the cuspidal edge (as a regular space curve) is not orthogonal to $ν$. This genericity is equivalent to the condition that its limiting normal curvature $κ_ν$ takes a non-zero value. In this paper, we show that a given generic (real analytic) cuspidal edge can be isometrically deformed preserving $κ_ν$ into a cuspidal edge whose singular set lies in a plane. Such a limiting cuspidal edge is uniquely determined from the initial germ of the cuspidal edge.

研究の動機と目的

• ユークリッド3次元空間における尖点付帯特異点の等長変形を調査すること。
• 一般の尖点付帯曲面が幾何的不変量を保存する非自明な等長変形を有するかどうかを特定すること。
• このような変形が特異集合が平面に位置する極限尖点付帯曲面に一意に拡張可能であることを示すこと。
• 内在的不変量（例：κν）と等長変形の存在との間の関係を確立すること。

提案手法

• 著者たちは、曲面の第一基本形式から導かれる偏微分方程式系を解くために、コーシー＝コワレフスカヤの定理を用いる。
• 特異曲線γ(t)およびその像σ(t) = f∘γ(t)をR³内の正則な空間曲線として定義する。
• 変形の全過程で極限法曲率κνが保存され、その非消滅性が一般の尖点付帯曲面を特徴付ける。
• 特異集合v=0の近傍で第一基本形式を正規形（E=1+v²E₀, F=0, G=v²G₀）に表現する。
• f(t,0)=σ(t)を満たし、第一基本形式が与えられた計量と一致する波面f(u,v)を解くことで変形を構成する。
• 幾何的不変量として特異曲率κsおよび積曲率κΠを用い、K d ≠ 0ならばκΠ ≠ 0であることを示し、これにより尖点付帯曲面の構造が保証される。

実験結果

リサーチクエスチョン

• RQ1 R³における一般の尖点付帯曲面は、極限法曲率κνを保存したまま等長変形可能か？
• RQ2 一般の尖点付帯曲面の非自明な等長変形で、特異集合が平面に写像されるものは一意的か？
• RQ3 κνやκsなどの内在的不変量は、等長変形の存在を決定づける役割を果たすか？
• RQ4 コーシー＝コワレフスカヤの定理は、特異曲面の等長変形の構成にどのように適用されるか？
• RQ5 極限法曲率κνが等長変形のもとで保存される条件は何か？

主な発見

• 任意の実解析的で一般の尖点付帯曲面は、極限法曲率κνを保存する非自明な等長変形を有する。
• その等長変形は、特異集合が平面に位置する極限尖点付帯曲面に一意に拡張可能である。
• 極限法曲率κνは内在的不変量であり、その非消滅性が一般の尖点付帯曲面特異点を特徴付ける。
• 変形は、第一基本形式から導かれる偏微分方程式系にコーシー＝コワレフスカヤの定理を適用することで構成される。
• 積曲率κΠ ≠ 0が成り立つ場合、特異集合上でのK d ≠ 0と同値であるため、このような変形の存在が保証される。
• 本結果は、クロスキャップの等長変形に関する先行研究を一般化し、KossowskiのA₂特異点に対する計量理論を精緻化するものである。