[論文レビュー] Markov type of Alexandrov spaces of nonnegative curvature

Shin‐ichi Ohta|arXiv (Cornell University)|Jul 1, 2007

Geometric Analysis and Curvature Flows参考文献 18被引用数 8

ひとこと要約

この論文は、非負曲率のアレクサンドロフ空間がマークフ型2を有することを確立し、これはリーマン多様体の非線形幾何学的性質のギャップを埋めるものである。この性質により、反射的バナッハ空間に値をとるリプシッツ連続写像の拡張が可能になる。結果はシュトゥルムの研究から得られる曲率に基づく不等式を用いて証明され、次元に依存しない普遍的なマークフ型定数を有する、正の曲率を持つ非自明な距離空間の最初の例を提供する。

ABSTRACT

We prove that Alexandrov spaces $X$ of nonnegative curvature have Markov type 2 in the sense of Ball. As a corollary, any Lipschitz continuous map from a subset of $X$ into a 2-uniformly convex Banach space is extended as a Lipschitz continuous map on the entire space $X$.

研究の動機と目的

• アレクサンドロフ空間が非負曲率を有する場合にマークフ型2を有するかどうかを特定すること。これは、距離空間の非線形幾何学におけるギャップを埋めるものである。
• ボールのリプシッツ拡張定理を、非ヒルバート的で正の曲率を持つ新しいクラスの距離空間へ拡張すること。
• アレクサンドロフ空間が非負曲率を有する場合に、マークフ型定数について次元に依存しない普遍的な推定値を提供すること。
• 距離幾何学における曲率の上限と、マークフ型やエフロ型といった非線形型性質との間の関係を確立すること。

提案手法

• 非負曲率のアレクサンドロフ空間に一般化された平行四辺形法則を特徴づけるシュトゥルムの曲率不等式（定理3.3）を用いる。
• ボールの距離空間におけるフレームワークに従い、ランダムな符号の期待値としての二乗距離を用いてマークフ型2の概念を適用する。
• 点の数に関する帰納法を用いて、曲率不等式を用いてマークフ型2の条件を検証する。
• 曲率の上限の下で、距離空間が測地的である場合にマークフ型2とエフロ型2が同値であるという事実に依存する。
• 2-一様滑らかで2-一様凸なバナッハ空間がそれぞれレーデマッハ型2とコタイプ2を有することを用いて、拡張結果を導出する。
• ボールの拡張定理を適用し、マークフ型2を有する空間の部分集合から、マークフコタイプ2を有する反射的バナッハ空間への任意のリプシッツ連続写像が、次元に依存しない制御されたリプシッツ定数で全体に拡張可能であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 正の曲率を有するにもかかわらず、アレクサンドロフ空間がマークフ型2を有するのか？
• RQ2 次元に依存しない普遍的な定数でマークフ型2の性質が確立可能か？
• RQ3 シュトゥルムの研究から得られる曲率不等式が、非局所コンパクト的で非ヒルバート的な空間に対してもマークフ型2を示すのに十分か？
• RQ4 ボールのリプシッツ拡張定理は、非局所コンパクト的で非負曲率を持つ距離空間へ適用可能か？
• RQ5 曲率の上限を有する距離空間において、2-一様滑らかさと2-一様凸性の非線形一般化は存在するか？

主な発見

• 非負曲率のアレクサンドロフ空間は、定理4.2で示されるように、次元に依存しない普遍的な定数を有するマークフ型2を有する。
• マークフ型2の定数は、空間の次元に依存しない普遍的な絶対定数によって抑えられる。
• このような空間の部分集合から、マークフコタイプ2を有する反射的バナッハ空間への任意のリプシッツ連続写像は、次元に依存しない比でリプシッツ定数が制御される形で、全体に拡張可能である。
• この結果により、正の曲率を持つ非自明な距離空間の最初の例が得られ、それらがマークフ型2を有することを示す。これは、従来の例がヒルバート空間や非正曲率空間に限られていたのと対照的である。
• 証明は、非局所コンパクト的で非ヒルバート的な空間に対しても一般化された平行四辺形法則を特徴づけるシュトゥルムの不等式（3.1）に依存する。
• この結果により、曲率の上限の下で測地的空間においてマークフ型2とエフロ型2が同値であることを利用し、このような空間が普遍的な定数を有するエフロ型2も有することが示唆される。