[論文レビュー] Cut and conjugate points of the exponential map, with applications

Pablo Angulo Ardoy|arXiv (Cornell University)|Nov 14, 2014

Advanced Differential Geometry Research参考文献 5被引用数 5

ひとこと要約

本稿は、リーマンおよびフィン슬ァー多様体上の指数写像の特異点、特にカットリゾークスと共役点に焦点を当てて調査する。本稿では、粘性解のハミルトニアン・ジャコビ方程式と幾何的特異点を結ぶ鍵となる構造として、バランスドスプリットリゾークスを導入し、共役降下フローと連結曲線を用いて、一般の3次元多様体におけるアンブローズ予想の新たな証明を提示する。これは、余次元3を超える既存の結果を拡張するものである。

ABSTRACT

The goal of this thesis is to study the singularities of the exponential map of Riemannian and Finsler manifolds (a concept related to caustics and catastrophes), and the object known as the cut locus (aka ridge, medial axis or skeleton), to improve existing results about its structure, to look at it in new ways, and to derive applications to the Ambrose conjecture and the Hamilton-Jacobi equations.

研究の動機と目的

• リーマンおよびフィン슬ァー多様体におけるカットリゾークスと共役リゾークスの局所的構造が、余次元3までにどのように振る舞うかを理解すること。
• 粘性解のハミルトニアン・ジャコビ方程式とカットリゾークス、またはバランスドスプリットリゾークスとの間の幾何的・解析的関係を確立すること。
• 共役降下フローと新しい幾何的・位相的技術を用いて、一般の3次元リーマン多様体におけるアンブローズ予想の新たな証明を提供すること。
• 指数写像の深い構造的結果に依拠して、任意の計量に対するアンブローズ予想を証明するための一般的な戦略を提唱すること。
• 文献にすでに暗黙的に存在していたが、形式化されていなかったバランスドスプリットリゾークスの概念を導入し、統一的な幾何的対象として位置づけること。

提案手法

• 双対性や特別な座標系を含む、フィン슬ァー幾何の道具を用いて、指数写像の特異点を分析する。
• ハミルトニアン・ジャコビ方程式の粘性解理論を適用し、解の特異的台をカットリゾークスまたはバランスドスプリットリゾークスと特定する。
• 共役降下フローを導入し、それ以上出発する共役曲線を持たない点を端点と定義する。
• 一般性を保つために、一般化された位相関数と一般性の議論を用いて、3次元多様体における指数写像の特異点を分析する。
• 次元論および被覆写像を含む位相的技法を適用し、一般状況において特定の曲線（連結曲線）が存在することを証明する。
• 2つの多様体を合成する技術を用い、A₃型特異点付近での座標の適応を活用して、一般の3次元多様体における予想の証明を達成する。

実験結果

リサーチクエスチョン

• RQ1 リーマンおよびフィン슬ァー多様体におけるカットリゾークスと共役リゾークスの構造は、余次元3までにどのように振る舞うか？
• RQ2 ハミルトニアン・ジャコビ方程式の粘性解とカットリゾークス、またはバランスドスプリットリゾークスとの間の明確な関係は何か？
• RQ3 幾何的およびフローに基づく議論を用いて、一般の3次元リーマン多様体におけるアンブローズ予想を証明できるか？
• RQ4 特異点を避けて非端点から端点を結ぶ連結曲線が存在するための条件は何か？
• RQ5 共役降下フローの端点に関するIJK予想は真であるか？ そして、その予想はアンブローズ予想を任意の計量にまで拡張するために利用可能か？

主な発見

• 標準的な凸性仮定の下で、バランスドスプリットリゾークスがハミルトニアン・ジャコビ方程式の粘性解の特異的台であることが示された。
• 本稿では、共役降下フローと特定の位相的性質を持つ連結曲線の存在を用いて、一般の3次元多様体におけるアンブローズ予想の証明がなされた。
• 共役端点の位数kの像のハウスドルフ次元がn−k−1以下であることが確立され、IJK予想を支持するものとなった。
• カットリゾークスの構造が余次元3まで完全に記述され、従来は余次元2までにしか成立しなかった既知の結果を一般化した。
• 一般計量におけるアンブローズ予想の証明は、A₃点付近の適応座標系においてπ₁とπ₂が被覆写像であることを示すことに依拠している。
• 本稿では、連結曲線をACDC曲線とリタート曲線の和集合として定義し、証明戦略を任意の多様体へ一般化可能なものとした。