[論文レビュー] Criteria for cuspidal S_k singularities and their applications

Kentaro Saji|arXiv (Cornell University)|May 14, 2009

Advanced Differential Equations and Dynamical Systems参考文献 18被引用数 16

ひとこと要約

本稿では、滑らかな写像の局所写像 $\mathbb{R}^2 \to \mathbb{R}^3$ における $S_k^\pm$ 特異点を特定する一般的で正規化に依存しない基準を提示する。これは、$S_1^\pm$ およびカスプ的クロスキャップ特異点に関する先行研究を拡張する。主な貢献は、カスプ的エッジと折りたたみ写像の合成の $\mathcal{A}$-同値類を、標的曲面との接触に関する幾何的条件によって特徴づけることで、モンドの接線発展面に関する結果の簡単な証明と、アーノルドの接触次数に関する観察の解釈を可能にする。

ABSTRACT

We give useful criteria for S_1 singularities in the Mond classification table, and cuspidal S_k singularities. As applications, we give a simple proof of a result given by Mond and a characterization of cuspidal S_k singularities for the composition of a cuspidal edge and a fold map indicated by Arnol'd for the case k=1.

研究の動機と目的

• 滑らかな写像の局所写像における $\mathcal{A}$-同値類の $S_k^\pm$ カスプ的特異点を特定する一般的で正規化に依存しない基準を構築すること。
• $S_1^\pm$ およびカスプ的クロスキャップ特異点（$cS_0$）に関する既存の基準を、高次のカスプ的 $S_k^\pm$ 特異点へ拡張すること。
• 新基準を用いてモンドの接線発展面の特異点に関する結果の簡単で直接的な証明を提供すること。
• V.I. アーノルドの曲線と波フロント曲面との間の接触次数に関する観察を、$\mathcal{A}$-同値類の観点から解釈すること。

提案手法

• 零点および横断的ベクトル場に沿った方向微分を用いて、$\varphi = \det(\xi f, \eta f, \eta\eta f)$ と定義し、階数1の特異点を検出する。
• 関数 $\varphi$ の臨界点およびヘッセ行列の行列式に基づく基準を確立する：$\varphi$ が $0$ で臨界点を持ち、$\det \operatorname{Hess} \varphi(0) > 0$ であれば $S_1^-$、$\det \operatorname{Hess} \varphi(0) < 0$ であれば $S_1^+$ となる。
• 座標の正規化を用いて、$f(u,v) = (u, v^2, a_3(u) + v^2 b_3(u,v))$ の標準形に写像局所写像を簡約する。ただし $b_3(0,0) \neq 0$ かつ $a_3^{(k)}(0) \neq 0$ とする。
• 折りたたみ写像 $F$ と $f$ の合成 $F \circ f$ を分析し、符号付き面積密度および特異集合に沿った法線ベクトルの挙動を用いる。
• 定理3.2を適用し、$\mathcal{A}$-同値類を $a_3^{(k)}(0) b_3(0,0)$ の符号および $\operatorname{Im}(f)$ が標的曲面 $S(F)$ の相対的位置に基づいて特定する。
• トムの分割補題を用いて主要定理の証明を簡略化し、微分同相変換による座標変更に対しても基準の堅牢性を保証する。

実験結果

リサーチクエスチョン

• RQ1 滑らかな写像 $\mathbb{R}^2 \to \mathbb{R}^3$ における $\mathcal{A}$-同値類の $S_1^\pm$ 特異点を特定する一般的で正規化に依存しない基準は何か？
• RQ2 カスプ的エッジと折りたたみ写像の合成の $\mathcal{A}$-同値類は、幾何的にどのように特定できるか？
• RQ3 曲線と波フロント曲面との接触に関するどのような条件が、合成が $cS_{k-1}^+$ または $cS_{k-1}^-$ 特異点をもたらすかを決定するか？
• RQ4 モンドの接線発展面の特異点に関する分類は、新基準を用いてどのように再証明できるか？
• RQ5 $a_3^{(k)}(0) b_3(0,0)$ の符号の幾何的解釈は、$f$ の像 $\operatorname{Im}(f)$ が標的曲面 $S(F)$ のどの側にあるかにどのように関係するか？

主な発見

• $\mathbb{R}^2 \to \mathbb{R}^3$ の階数1の写像局所写像 $f$ について、$\varphi$ が $0$ で臨界点を持ち、$\det \operatorname{Hess} \varphi(0) > 0$ であれば $\mathcal{A}$-同値類は $S_1^-$ であり、$\det \operatorname{Hess} \varphi(0) < 0$ であれば $S_1^+$ である。
• $F \circ f$ がカスプ的エッジ $f$ と折りたたみ写像 $F$ の合成であるとき、$k \geq 2$ ならば $a_3^{(k)}(0) b_3(0,0) > 0$ であれば $\mathcal{A}$-同値類は $cS_{k-1}^+$ に、$a_3^{(k)}(0) b_3(0,0) < 0$ であれば $cS_{k-1}^-$ に同値である。
• $a_3^{(k)}(0) b_3(0,0) > 0$ である条件は、$\operatorname{Im}(f)$ が $f$ の極限接平面と同じ側に局所的に位置することと同値である。
• これらの基準により、モンドの接線発展面の特異点に関する結果に対する正規化を経由しない直接的証明が可能となり、元の証明を簡略化する。
• 本稿は、V.I. アーノルドの曲線と波フロントとの接触次数に関する観察を、得られる特異点の $\mathcal{A}$-同値類の観点から幾何的に解釈する。
• この手法は正規化を必要としないため、一般的かつ堅牢であり、正規化が不適切または不可能な場合にも適用可能である。