[論文レビュー] Criteria for Morin singularities into higher dimensions

Kentaro Saji|arXiv (Cornell University)|Dec 12, 2014

Geometry and complex manifolds参考文献 17被引用数 3

ひとこと要約

本稿では、正規化を要しない高次元写像の局所写像におけるモリン特異点の一般的基準を、ヤコビアン行列式写像 Λ のランク条件を用いて確立する。主な貢献は、特異点の位数 r と次元 m における偶奇に基づく、𝒜-同相型の完全分類であり、同相型の数が r mod 4 と m/r の偶奇に依存することを示している。

ABSTRACT

We give criteria for Morin singularities into higher dimensions. As an application, we study the number of A-isotopy classes of Morin singularities.

研究の動機と目的

• m < n である写像の局所写像 f:(ℝ^m,0) → (ℝ^n,0) におけるモリン特異点を特定する一般的で正規化を要しない基準の開発。
• 高次元におけるモリン特異点の 𝒜-同相型の数の分類。
• 回転対称性と符号変更を用いて、2つのモリン特異点がいつ 𝒜-同相であるかを決定する体系的な手法の提供。
• 正規化形を超えた安定特異点の理解を拡張し、特異点論および微分幾何学におけるより広範な応用を可能にする。

提案手法

• λᵢ = det(df₁,…,df_{m−1},df_{m−1+i}) により定義される写像 Λ = (λ₁,…,λ_{n−m+1}) を導入し、特異点集合の構造を捉える。
• 非退化条件を導入：rank(dΛ₀) = n−m+1 であり、これが特異点集合 S(f) が滑らかな多様体であることを保証する。
• 𝒜-同値性を用いて同相型を定義し、源と終域における微分同相型の局所写像 φ と Φ を用いて、異なる写像の局所写像を関連付ける。
• 源と終域の座標に対して π-回転（符号反転）を適用し、モリン局所写像の異なる符号配置間を変換する。
• 回転対称性を用いて標準形に還元することで、特異点の位数 r と次元 m の r に対する偶奇を分析し、𝒜-同相型を分類する。
• r mod 4 と m/r の偶奇の特定の条件下で、h_{r,(ε₁,ε₂)} が h_{0,r} に 𝒜-同相であることを証明し、分類を確立する。

実験結果

リサーチクエスチョン

• RQ1 高次元の写像の局所写像における、正規化を要しないモリン特異点を特定する一般的基準は何か？
• RQ2 m < n の次元におけるモリン特異点の 𝒜-同相型はいくつ存在し、その数は何かによって決定されるか？
• RQ3 モリン局所写像 h_{r,(ε₁,ε₂)} が標準形 h_{0,r} に 𝒜-同相であるための条件は何か？
• RQ4 符号配置と回転対称性（π-回転）は、モリン特異点の分類にどのように影響するか？
• RQ5 m/r の偶奇と r mod 4 が、異なる 𝒜-同相型の数を決定する上で果たす役割は何か？

主な発見

• 本稿では、ヤコビアン行列式写像 Λ を用いたモリン特異点の一般的基準を確立し、非退化性（rank dΛ₀ = n−m+1）により特異点集合が滑らかな多様体であることが保証される。
• モリン特異点の 𝒜-同相型の数は、r mod 4 と m/r の偶奇によって完全に決定される：r ≡ 1,2,3,0 mod 4 に応じて、それぞれ 1, 2, 2, 4 の同相型が存在する。
• r ≡ 1 mod 4 の場合、m/r が奇数のときは2つの 𝒜-同相型、偶数のときは1つの 𝒜-同相型が存在する。
• r ≡ 2 mod 4 の場合、m/r が偶数のときは2つの同相型、奇数のときは1つの同相型が存在する。
• r ≡ 3 mod 4 の場合、m/r が奇数のときは2つの同相型、偶数のときは1つの同相型が存在する。
• r ≡ 0 mod 4 の場合、m/r が奇数のときは4つの同相型、偶数のときは2つの同相型が存在する。