[論文レビュー] On the flat geometry of the cuspidal edge

Raúl Oset Sinha, Farid Tari|arXiv (Cornell University)|Oct 27, 2016

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

ひとこと要約

本稿は、特異点論を用いて、ℝ³におけるカスピタル・エッジの平坦な幾何構造を、平面および直線との接触を分析することで調査する。高さ関数および正射影の特異点を分類し、射影方向の変化に伴う顕在輪郭の一般的変形を導出し、法曲率や接線曲率といった幾何的不変量と関連付ける。

ABSTRACT

We study the geometry of the cuspidal edge $M$ in $\mathbb R^3$ derived from its contact with planes and lines (referred to as flat geometry). The contact of $M$ with planes is measured by the singularities of the height functions on $M$. We classify submersions on a model of $M$ by diffeomorphisms and recover the contact of $M$ with planes from that classification. The contact of $M$ with lines is measured by the singularities of orthogonal projections of $M$. We list the generic singularities of the projections and obtain the generic deformations of the apparent contour (profile) when the direction of projection varies locally in $S^2$. We also relate the singularities of the height functions and of the projections to some geometric invariants of the cuspidal edge.

研究の動機と目的

• カスピタル・エッジと平面・直線との接触（「平坦な幾何構造」として知られる）を通じた、カスピタル・エッジの微分幾何学的理解を図ること。
• 微分同相不変量を用いて、カスピタル・エッジと平面の接触から生じる特異点を高さ関数を用いて分類すること。
• カスピタル・エッジを平面に正射影する際の特異点を分析し、顕在輪郭（輪郭線）とその一般的変形に焦点を当てる。
• 高さ関数および射影の特異点型が、法曲率 $ \kappa_n $、接線曲率 $ \kappa_t $、およびカスプ方向といった内在的幾何的不変量とどのように関連するかを明らかにすること。
• 一般的特異点の ${}_{X}\mathcal{A}_{e}$-バーチャル展開を提供する、モデル・カスピタル・エッジ上での2パラメータ族の部分埋め込みを確立すること。

提案手法

• 局所幾何学を研究するため、$\mathcal{A}$-同値の下で、標準的モデル $ f(x,y) = (x, y^2, y^3) $ をカスピタル・エッジのゲルムとして用いる。
• カスピタル・エッジ・モデルを保全する微分同相写像の群 $ \mathcal{R}(X) $ による、$ \mathbb{R}^3,0 \to \mathbb{R} $ の部分埋め込みの分類を適用する。
• 平面に垂直な方向 $ \mathbf{v} \in S^2 $ に対する接触を測るため、高さ関数 $ H((x,y),\mathbf{v}) = \phi(x,y) \cdot \mathbf{v} $ を分析する。
• 正射影 $ P_{\mathbf{v}} $ を、$ \mathbb{R}^3,0 \to \mathbb{R}^2,0 $ への部分埋め込みとして扱い、その $ {}_{X}\mathcal{A} $-特異点を分類する。
• 横断性定理を用いて、一般的カスピタル・エッジに対して、$ {}_{X}\mathcal{A}_{e} $-コードノミスが 2 以下である特異点に制限する。
• モデル $ X $ 上に2パラメータ族の射影を構成し、これが一般的特異点の $ {}_{X}\mathcal{A}_{e} $-バーチャル展開であることを示す。

実験結果

リサーチクエスチョン

• RQ1 カスピタル・エッジ上での高さ関数 $ H((x,y),\mathbf{v}) = \phi(x,y) \cdot \mathbf{v} $ の一般的特異点型は何か？ また、これらは平面との接触をどのように分類するか？
• RQ2 カスピタル・エッジを平面に正射影する際の $ P_{\mathbf{v}} $ の特異点は、方向 $ \mathbf{v} \in S^2 $ の変化に伴いどのように変化するか？
• RQ3 射影方向 $ \mathbf{v} $ が $ S^2 $ 内で局所的に変化する際、カスピタル・エッジの顕在輪郭（輪郭線）の一般的変形は何か？
• RQ4 高さ関数および射影の特異点型は、法曲率 $ \kappa_n $、接線曲率 $ \kappa_t $、およびカスプ方向といった幾何的不変量とどのように関連するか？
• RQ5 射影から生じる特異点の ${}_{X}\mathcal{A}_{e} $-バーチャル展開の構造は何か？

主な発見

• カスピタル・エッジと平面の接触は、高さ関数の特異点によって分類され、法線方向 $ \mathbf{v} $ と接線方向の相対的位置関係に基づき7種類の異なるタイプに分けられる。
• 正射影に関して、$ P_{\mathbf{v}} $ の特異点は7種類に分類される：タイプ1（核が横断的）、タイプ2〜4（核が接線錐内にありながら接線方向でない）、タイプ5〜7（核が接線方向に平行）。
• 点 $ p $ で $ \kappa_n(p) \neq 0 $ ならば、$ \tau_\Sigma(p) \neq 0 $ のとき特異点はタイプ5（通常のカスプ）、$ \tau_\Sigma(p) = 0 $ のときタイプ6（ラムフォイド・カスプ）、$ \kappa_n(p) = 0 $ のときタイプ7。
• 顕在輪郭は $ \mathbf{v} $ が $ S^2 $ 内を変化するにつれて一般に変形し、2パラメータ族の射影が特異点のバーチャル展開を提供する。
• 特異点型は、特異集合 $ S_\alpha = 0 $ とカスピタル・エッジの特異集合 $ \Sigma $ 間の接触の順序に依存し、接触順序が2または3のときそれぞれタイプ3または4となる。
• 点 $ p $ で $ \kappa_n(p) = 0 $ かつ $ \kappa_t(p) = 0 $ ならば、一般に特異点はタイプ7であるが、方向 $ \mathbf{v} $ が特定の臨界方向と一致する場合にはタイプ4に変化する。