[論文レビュー] Self-contracted curves in CAT(0)-spaces and their rectifiability

Shin‐ichi Ohta|arXiv (Cornell University)|Nov 25, 2017

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

ひとこと要約

この論文は、一様な局所的構造的条件の下で、$\mathrm{CAT}(0)$-空間内の有界自己収縮曲線の可微分性を確立し、ユークリッド空間およびハダールマン多様体の結果を一般化する。空間の局所構造に関して、角度、体積成長、方向性に関連する3つの幾何的条件を導入し、それらが有界自己収縮曲線が有限な長さを持つことを保証する。これらの条件は、木、本、$\mathrm{CAT}(0)$-単体複体に対しても検証され、非一様な次元を持つ空間に対しても成立する。

ABSTRACT

We investigate self-contracted curves, arising as (discrete or continuous time) gradient curves of quasi-convex functions, and their rectifiability (finiteness of the lengths) in Euclidean spaces, Hadamard manifolds and CAT(0)-spaces. In the Hadamard case, we give a quantitative refinement of the original proof of the rectifiability of bounded self-contracted curves (in general Riemannian manifolds) by Daniilidis et al. Our argument leads us to a generalization to CAT(0)-spaces satisfying several uniform estimates on their local structures. Upon these conditions, we show the rectifiability of bounded self-contracted curves in trees, books and CAT(0)-simplicial complexes.

研究の動機と目的

• ユークリッド空間およびハダールマン多様体から一般の$\mathrm{CAT}(0)$-空間への有界自己収縮曲線の可微分性の拡張。
• 有界自己収縮曲線の可微分性を保証する$\mathrm{CAT}(0)$-空間の局所的幾何的条件を同定すること。
• 木、本、$\mathrm{CAT}(0)$-単体複体などの具体的な例におけるこれらの条件の検証。
• 非一様な局所次元を持つ空間においても、可微分性の結果が成り立つことを示すこと。
• 比較幾何学を用いて、ハダールマン多様体における可微分性の議論を定量的に精緻化すること。

提案手法

• ダニリディスらによるハダールマン多様体における証明戦略を、比較定理を用いて適応・精緻化し、角度および距離の減少に関する定量的推定を得る。
• 一様な局所的条件（I, II, III）を$\mathrm{CAT}(0)$-空間に導入：角度歪みの有界性、接錐内での体積成長、測地線の方向性。
• 非一様な局所次元（例：原点で接続された$\mathbb{R}^2$と$[0,\infty)$の和集合）を持つ$\mathrm{CAT}(0)$-空間に対しても、これらの条件を適用し可微分性を証明する。
• 接錐内での体積推定と射影の双リプシッツ的制御を用いて、単体複体における条件の検証を行う。
• 比較幾何学を用いて$\mathrm{CAT}(0)$-空間内での角度推定と計量歪みの境界を導出し、自己収縮曲線の長さを制限する。
• 単体複体への応用においては、境界付き単体に分解し、定理6.4の構造的条件（1）、（3）の検証を行う。

実験結果

リサーチクエスチョン

• RQ1 どの一様な幾何的条件下で、$\mathrm{CAT}(0)$-空間の局所的構造が有界自己収縮曲線の可微分性を保証するか？
• RQ2 比較幾何学を用いて、ハダールマン多様体における自己収縮曲線の可微分性がより一般の$\mathrm{CAT}(0)$-空間へと一般化可能か？
• RQ3 非一様な局所次元を持つ$\mathrm{CAT}(0)$-単体複体は、自己収縮曲線の可微分性を満たす条件を満たすか？
• RQ4 有限次元的または滑らかでない設定を超えて、$\mathrm{CAT}(0)$-空間において自己収縮性が可微分性を保証するのに十分か？
• RQ5 可微分性の結果は、特に測地的完備な空間を含む$\mathrm{CAT}(1)$-空間へと拡張可能か？

主な発見

• 3つの一様な局所的条件（I, II, III）を満たす$\mathrm{CAT}(0)$-空間内の有界自己収縮曲線は、有限な長さを持つ。
• 有界次数の木、有限枚のページを持つ本、およびやや弱い仮定の下での$\mathrm{CAT}(0)$-単体複体においても、可微分性の結果が成り立つ。
• 単体複体では、境界付き単体に分解し、接錐内での体積および角度推定を用いて、条件の検証がなされる。
• 非一様な局所次元を持つ空間（例：原点で接続された$\mathbb{R}^2$と$[0,\infty)$からなる空間）に対しても、この手法が適用可能である。
• 証明により、比較幾何学と角度推定を用いて、ハダールマン多様体における可微分性の議論が定量的に精緻化される。
• これらの条件は測地的完備な$\mathrm{CAT}(0)$-空間で満たされ、等長埋め込み可能な空間へと拡張可能である。