[論文レビュー] The splitting theorem in non-smooth context

Nicola Gigli|arXiv (Cornell University)|Feb 22, 2013

Geometric Analysis and Curvature Flows参考文献 58被引用数 130

ひとこと要約

この論文は、非滑らか版のチーリー–クロモルの分解定理を確立する：無限小ヒルベルト空間である $CD(0,N)$ 空間に直線が存在する場合、その空間は $mathbb{R} \times X'$ に等長的に分解され、ここで $X'$ は無限小ヒルベルト空間である $CD(0,N-1)$ 空間である。証明は最適輸送、カントロビッチ汎関数の勾配流、および無限小ヒルベルト性を活用し、古典的なリーマン幾何学的剛性を曲率次元境界を持つ距離測度空間へと拡張する。

ABSTRACT

We prove that an infinitesimally Hilbertian CD(0,N) space containing a line splits as the product of $R$ and an infinitesimally Hilbertian CD(0,N-1) space. By `infinitesimally Hilbertian' we mean that the Sobolev space $W^{1,2}(X,d,m)$, which in general is a Banach space, is an Hilbert space. When coupled with a curvature-dimension bound, this condition is known to be stable with respect to measured Gromov-Hausdorff convergence.

研究の動機と目的

• 滑らかでない距離測度空間に曲率次元境界を満たす場合に、古典的なチーリー–クロモルの分解定理を非滑らか空間へと拡張すること。
• 無限小ヒルベルト空間である $CD(0,N)$ 空間に直線が存在する場合、その空間が $mathbb{R} \times X'$ に等長的に分解され、ここで $X'$ は無限小ヒルベルト空間である $CD(0,N-1)$ 空間であることを確立すること。
• 曲率次元境界 $CD(0,N)$ と無限小ヒルベルト性の条件下で、滑らかなリーマン幾何学と非滑らかな距離測度空間の間のギャップを埋めることにより、剛性結果を証明すること。
• 測度付きグロモフ＝ハウスドルフ極限において、分解の構造が保存されることを示し、結果の安定性を保証すること。

提案手法

• 直線に付随するバセマン関数を解析するために、最適輸送理論とカントロビッチ汎関数を用いる。
• 無限小ヒルベルト性と熱流を用いて、バセマン関数の勾配流が測度と距離の両方を保存することを証明する。
• 距離ブレニエ定理と測地線に沿ったカントロビッチ汎関数の変化を適用し、商空間の等長埋め込みを確立する。
• バセマン関数の強い最大原理と熱流における勾配の振る舞いを用いて、正則性と対称性を導出する。
• 無限小ヒルベルト空間におけるボッハラー不等式と双対性の議論を用いて、勾配の $L^2$-ノルムを制御し、2次構造を保証する。
• 商空間における距離のピタゴラス型恒等式を適用し、積構造を確認する。

実験結果

リサーチクエスチョン

• RQ1 非負のリッチ曲率をもつリーマン多様体に対する古典的分解定理は、$CD(0,N)$ および無限小ヒルベルト性を満たす非滑らか距離測度空間へと拡張可能か？
• RQ2 非滑らか設定において、バセマン関数の勾配流が測度と距離の両方を保存するか？
• RQ3 直線に沿った $CD(0,N)$ 空間の商空間は、無限小ヒルベルト性の下で、元の空間へ等長埋め込み可能か？
• RQ4 非滑らかな $CD(0,N)$ 設定において、商空間の次元は $N$ から $N-1$ に減少するか？
• RQ5 滑らかさが欠如する状況下でも、ボッハラー不等式を用いてソボレフ空間 $W^{1,2}$ における2次構造を導出可能か？

主な発見

• 直線を含む無限小ヒルベルト空間である $CD(0,N)$ 空間は、$mathbb{R} \times X'$ に等長的に分解され、ここで $X'$ は無限小ヒルベルト空間である $CD(0,N-1)$ 空間である。
• バセマン関数の勾配流は測度と距離の両方を保存するため、1パラメータの等長変換群の存在を示唆する。
• 商空間 $X'$ は $CD(0,N-1)$ 条件を継承し、無限小ヒルベルト空間であるため、構造の保存が保証される。
• 証明は、測度付きグロモフ＝ハウスドルフ極限における $CD(0,N)$ 条件および無限小ヒルベルト性の安定性に依存する。
• 重要な技術的結果として、商空間における距離がピタゴラス恒等式を満たすことが判明し、積構造の確認がなされた。
• 結果として、チーリー–クロモルの分解定理が非滑らか設定へと一般化され、非負リッチ曲率をもつリーマン多様体の極限空間への適用可能性が拡張された。