[論文レビュー] Singularities of tangent surfaces to generic space curves

Goo Ishikawa, Tatsuya Yamashita|arXiv (Cornell University)|Feb 8, 2016

Geometric Analysis and Curvature Flows参考文献 17被引用数 3

ひとこと要約

この論文は、任意次元の空間曲線の接面の一般化された特異点を、非平坦でねじれのないアフィン接続幾何学において分類する。古典的な結果を3次元ユークリッド空間から一般多様体へと拡張し、一般曲線に対しては、3次元ではキャプシドル・エッジ、高次元では埋め込みキャプシドル・エッジが唯一の特異点であり、それらの特徴は曲線の高階微分の共変微分に基づく明確な基準によって与えられることを証明する。

ABSTRACT

We give the complete solution to the local diffeomorphism classification problem of generic singularities which appear in tangent surfaces, in as wider situations as possible. We interpret tangent geodesics as tangent lines whenever a (semi-)Riemannian metric, or, more generally, an affine connection is given in an ambient space of arbitrary dimension. Then, given an immersed curve, we define the tangent surface as the ruled surface by tangent geodesics to the curve. We apply the characterization of frontal singularities found by Kokubu, Rossman, Saji, Umehara, Yamada, and Fujimori, Saji, Umehara, Yamada, and found by the first author related to the procedure of openings of singularities.

研究の動機と目的

• ユークリッド3次元空間における接面の特異点分類を、任意次元のリーマン的またはアフィン多様体へと拡張すること。
• 従来の研究では系統立てて分析されていなかった非射影的平坦でない幾何にギャップを埋めること。
• 曲線の共変微分を用いて、キャプシドル・エッジおよび折りたたみアンブレラ特異点を同定する内在的で微分幾何学的な基準を提供すること。
• 曲線空間におけるホイットニー $C^\infty$ 位相での一般性条​​件を確立し、特定の特異点のみが現れるようにすること。
• ねじれのない曲線が非一般的状況でより退化した特異点（例：$(2,5)$-キャプシドル・エッジ）をどのように発生させるかを、非平坦空間において探求すること。

提案手法

• 多様体 $M$ にアフィン接続 $\nabla$ が与えられたとき、曲線 $\gamma$ に接する $\nabla$-測地線によって生成される直母面として $\nabla$-接面を定義する。
• $\nabla\gamma$, $\nabla^2\gamma$, $\nabla^3\gamma$, $\nabla^4\gamma$ の共変微分を用いて、点 $t_0$ における特異点の局所的型を特徴付ける。
• フロントラルおよび写像局所型の特異点理論の基準を適用し、特にヤコビアンのランクと特徴関数の振る舞いに注目する。
• 前人研究における「開き」の概念を用い、射影幾何から一般アフィン接続への結果の一般化を図る。
• 2つの写像局所型が、源と終域の微分同相写像によって関連付けられるとき、それらが同値であるとみなす、局所的微分同相写像分類を用いる。
• 既知の標準形（例：キャプシドル・エッジ：$(t,s) \mapsto (t+s, t^2 + 2st, t^3 + 3st^2)$）に問題を還元し、与えられた幾何的構造下での同値性を検証することで、主定理を証明する。

実験結果

リサーチクエスチョン

• RQ1 次元 $m \geq 3$ の多様体でねじれのないアフィン接続を持つ場合、一般曲線の $\nabla$-接面に現れる一般特異点は何か？
• RQ2 3次元ユークリッド空間における古典的特異点（キャプシドル・エッジ、折りたたみアンブレラ）は、高次元および非平坦な環境にどのように一般化されるか？
• RQ3 曲線の共変微分にどのような条件が満たされると、$\nabla$-接面がキャプシドル・エッジまたは折りたたみアンブレラ特異点を示すか？
• RQ4 $(2,5)$-キャプシドル・エッジのようなより退化した特異点が $\nabla$-接面に現れ得るか？ もし可能なら、どのような幾何的条件下で現れるか？
• RQ5 ねじれのなさと射影的平坦性は、接面の特異点の種類を決定づける役割を果たすか？

主な発見

• 次元 $\dim(M) = 3$ の場合、一般曲線の $\nabla$-接面には、$\nabla\gamma$, $\nabla^2\gamma$, $\nabla^3\gamma$ の線形独立性に応じて、キャプシドル・エッジまたは折りたたみアンブレラ特異点のみが存在する。
• 次元 $\dim(M) \geq 4$ の場合、唯一の一般特異点は埋め込みキャプシドル・エッジであり、最初の3つの共変微分の線形独立性条件が同じである。
• 折りたたみアンブレラ特異点は、$\nabla\gamma$, $\nabla^2\gamma$, $\nabla^3\gamma$ が線形従属だが、$\nabla\gamma$, $\nabla^2\gamma$, $\nabla^4\gamma$ が線形独立であるときに正確に発生する。
• 射影的平坦でない空間では、ねじれのない曲線が、平坦または射影的平坦幾何では不可能な非折りたたみ特異点（例：$(2,5)$-キャプシドル・エッジ）を生じる可能性がある。
• 局所的に射影的平坦な多様体におけるねじれのない曲線の $\nabla$-接面は、常に折りたたみ特異点である。これは、ユークリッド空間内の平面曲線と射影的に同値であることを示すことで証明される。
• 本論文は、$C^\infty$ ホイットニー位相における特異点の完全な局所的微分同相写像分類を提供し、曲線空間における一般性条件を確立した。