[論文レビュー] Constancy of the dimension for RCD(K,N) spaces via regularity of Lagrangian flows

Semola, D, Brué, E|arXiv (Cornell University)|Apr 19, 2018

Geometric Analysis and Curvature Flows被引用数 12

ひとこと要約

本稿では、Sobolevベクトル場に関連するラグランジュ流の正則性に関する新規な結果を証明することにより、RCD(K,N)距離測度空間における次元の定数性を確立する。そのために、グリーン関数に基づく準距離を用いる。主な貢献は、Lusin型の正則性定理であり、これが空間全体にわたる次元の定数性を示唆する。これは、リッチ極限空間におけるColding-Naberの結果を、滑らかでない設定に一般化するものである。

ABSTRACT

We prove a regularity result for Lagrangian flows of Sobolev vector fields over RCD(K, N) metric measure spaces; regularity is understood with respect to a newly defined quasi‐metric built from the Green function of the Laplacian. Its main application is that RCD(K, N) spaces have constant dimension. In this way we generalize to such an abstract framework a result proved by Colding‐Naber for Ricci limit spaces, introducing ingredients that are new even in the smooth setting.

研究の動機と目的

• RCD(K,N)空間がその定義域全体で次元が一定であることを確立し、これらの空間の構造理論における重要な問いに応える。
• リッチ極限空間におけるColding-Naberの結果を、滑らかでない距離測度空間の設定、特にRCD(K,N)空間に拡張する。
• 滑らかさの構造が存在しない状況において、グリーン関数に由来する準距離を用いて、ラグランジュ流の新しい正則性理論を構築する。
• 接空間の次元が $\mathfrak{m}$-ほとんど everywhere で一定であることを示す。これは、RCD(K,N)空間の可縮性に基づく。
• 合成リッチ曲率を持つ空間における正則性結果を可能にする、グリーン関数とその関連する準距離に基づく新しい解析的枠組みを導入する。

提案手法

• RCD(K,N)空間におけるラプラシアンのグリーン関数から導かれる新しい準距離 $\mathsf{d}_G$ を導入する。
• Sobolevベクトル場に関連するラグランジュ流が $\mathsf{d}_G$-リプシッツ正則であることを証明し、Lusin型の正則性結果を確立する。
• グリーン関数の性質、特に局所有界性および弱上付き勾配の制御を用いて、流れの正則性を分析する。
• グリーン関数の近似 $G^\varepsilon$ を用いた極限的議論により、滑らかな近似から極限対象へと移行する。
• 正則ラグランジュ流れの有界圧縮性を活用し、流れ写像による測度歪みを制御する。
• 流れの正則性と $\mathsf{d}_G$-リプシッツ写像の剛性結果を組み合わせることで、次元の定数性を導出する。

実験結果

リサーチクエスチョン

• RQ1 RCD(K,N)空間の定義域全体にわたって、接空間の次元の変動が生じる可能性がある中で、その空間の次元が一定であることを示せるか？
• RQ2 滑らかさの構造が存在しない状況において、測度論的・距離論的道具のみを用いて、ラグランジュ流の正則性理論を構築できるか？
• RQ3 RCD(K,N)空間におけるラプラシアンのグリーン関数が、流れの正則性を制御する準距離を生成するか？
• RQ4 $\mathsf{d}_G$-リプシッツ写像の剛性を用いて、RCD(K,N)空間における次元の定数性を強制できるか？
• RQ5 本稿で用いられた手法は、合成リッチ曲率の下で有界な他のクラスの距離測度空間へどの程度拡張可能か？

主な発見

• 任意の $\operatorname{RCD}(K,N)$ 距離測度空間において、接空間の次元は $\mathfrak{m}$-ほとんど everywhere で一定である。
• $L^1((0,T);L^2(TX))$ ベクトル場に関連するラグランジュ流は $\mathsf{d}_G$-リプシッツ正則であり、$G({\bm{X}}_t(x),{\bm{X}}_t(y))$ の微分は、ベクトル場およびグリーン関数の勾配を含む特定の式で与えられる。
• $\mathfrak{m} \times \mathfrak{m}$-ほとんど everywhere な $(x,y)$ に対して、$t \mapsto G({\bm{X}}_t(x),{\bm{X}}_t(y))$ は $W^{1,1}((0,T))$ に属し、流れの正則性を保証する十分な滑らかさを持つ。
• $\mathsf{d}_G$-リプシッツ正則性による流れの正則性は、空間の次元が一定であることを示唆する。なぜなら、正則集合 $\mathcal{R}_k$ は唯一の $k$ のみで存在可能だからである。
• 本結果は、Colding-Naberのリッチ極限空間に関する定理を、滑らかでないRCD設定に一般化する。これは、最適輸送および距離測度空間上の解析における新規な道具を用いて達成される。
• $\mathfrak{m}$-ほとんど everywhere の点において、$\operatorname{RCD}(K,N)$ 空間の接空間は $\mathbb{R}^k$ に等長であり、$k$ は点に依存しない。