[論文レビュー] An overview on the proof of the splitting theorem in non-smooth context

Nicola Gigli|arXiv (Cornell University)|May 21, 2013

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

ひとこと要約

この論文は、${\sf RCD}(0,N)$距離測度空間という非滑らか設定におけるCheeger-Colding-Gromollの分割定理について、簡潔で自己完結的な証明を提供する。最適輸送、ソボレフ計算、熱流の推定値の道具を活用することで、任意の geodesic line を含むこのような空間が、$\mathbb{R}$ と ${{\sf RCD}}(0,N-1)$ 空間の積として等長的かつ測度を保存する形に分割されることを確立する。$N<2$ の場合、次元は 1 に低下する。この結果は、合成的リッチ曲率下界を用いて特徴づけられる特異空間へ、古典的分割定理を拡張するものである。

ABSTRACT

We give a quite detailed overview on the proof of the Cheeger-Colding-Gromoll splitting theorem in the abstract framework of spaces with Riemannian Ricci curvature bounded from below.

研究の動機と目的

• ${\sf RCD}(0,N)$ 空間の非滑らか設定における分割定理の短く包括的な証明を提供すること。
• 古典的 Cheeger-Colding-Gromoll の分割定理を、合成的リッチ曲率下界を持つ距離測度空間へ一般化すること。
• 空間に geodesic line が存在する場合の等長的かつ測度を保存する積構造を確立すること。
• 曲率次元条件と熱流が非滑らか幾何学において果たす役割を明確にすること。
• $N\geq 2$ のとき、商空間が ${\sf RCD}(0,N-1)$ 性質を継承することを示すこと。$N\in[1,2)$ のとき、空間は点に崩壊する。

提案手法

• 最適輸送とエントロピーの凸性を用いて、${\sf RCD}(0,N)$ 条件を合成的下界リッチ曲率として利用する。
• 倍加性および Poincaré 性質を備えた距離測度空間における超最小関数の強い最大原理を適用する。
• ${\sf RCD}(K,\infty)$ 空間における熱流に、ガウス型熱核推定値と Bakry-Émery の収縮推定値を用いる。
• バセマン関数の勾配流が測度および Dirichlet エネルギーの両方を保存することを用いる。
• ${\sf RCD}(K,\infty)$ 空間の積構造を応用し、geodesic プランを上げて積上の曲率下界を検証する。
• $N'$次元ハウスドルフ測度の議論を用いて、$\mathcal{H}^{N'}(B_R(x_0))=0$ ($N'\in(N,2)$) を示し、次元の低下を導く。

実験結果

リサーチクエスチョン

• RQ1 合成的下界リッチ曲率を持つ非滑らか距離測度空間において、分割定理は成り立つか？
• RQ2 古典的分割結果は、geodesic line を含む ${\sf RCD}(0,N)$ 空間に拡張可能か？
• RQ3 分割後の商空間の次元は何か？ そして元の $N$ とどのように関係するか？
• RQ4 熱流と最適輸送の技術は、非滑らか設定において正則性および曲率推定値をどのように可能にするか？
• RQ5 商空間が ${\sf RCD}(0,N-1)$ 性質を継承する条件は何か？

主な発見

• $ (X,{\sf d},\mathfrak{m}) $ が geodesic line を含む ${\sf RCD}(0,N)$ 空間であれば、積距離 ${\sf d}^2 = {\sf d}'^2 + |t-s|^2$ を持つ $\mathbb{R} \times X'$ と等長的かつ測度を保存する。
• $N \geq 2$ のとき、商空間 $(X',{\sf d}',\mathfrak{m}')$ は ${\sf RCD}(0,N-1)$ 空間である。
• $N \in [1,2)$ のとき、商空間 $X'$ は一点でなければならない。これは空間が $\mathbb{R}$ と等長的であることを意味する。
• バセマン関数の勾配流は測度および Dirichlet エネルギーの両方を保存し、等長的分割を保証する。
• $X$ の球における $N'$ 次元ハウスドルフ測度は、$N' \in (N,2)$ に対して $\mathcal{H}^{N'}(B_R(x_0))=0$ となる。これは商空間の次元が $N-1$ 以下であることを強制する。
• 証明は、測度空間上の geodesic に沿ったエントロピーの $N'$-凸性に依存し、次式の不等式がほとんど everywhere で成り立つ：$\rho_t^{-1/(N'-1)} \geq (1-t)\rho_0^{-1/(N'-1)} + t\rho_1^{-1/(N'-1)}$。