[論文レビュー] De Giorgi and Gromov working together

Nicola Gigli|arXiv (Cornell University)|Jun 26, 2023

Advanced Topology and Set Theory被引用数 5

ひとこと要約

本調査は、関数へのDe Giorgiの$Γ$-収束と測度付き距離空間のGromovのmGH収束を統合し、非滑らか幾何における下界付きリッチ曲率の安定性を研究する。${\sf RCD}(K,\infty)$空間—無限小ヒルベルティアンであることを備えたもの—がmGH収束に関して安定であることを確立し、最適輸送と熱方程式勾配流構造を通じて鋭い幾何学的・解析的結果を導出可能にする。

ABSTRACT

The title is meant as way to honor two great mathematicians that, although never actually worked together, introduced concepts of convergence that perfectly match each other and very fruitfully interact: De Giorgi's $Γ$-convergence of lower semicontinuous functions and Gromov's convergence of geometric structures.

研究の動機と目的

• 下界半連続汎関数のDe Giorgiの$\Gamma$-収束と測度付き距離空間のGromovのmGH収束を統合し、曲率下界における安定性を研究すること。
• ${\sf RCD}(K,\infty)$条件が最適輸送と勾配流構造の相互作用を用いてmGH収束に関して安定であることを確立すること。
• 非滑らか測度付き距離空間における安定性結果が滑らか領域で鋭い幾何学的・解析的帰結をもたらす仕組みを示すこと。
• ソボレフ理論と熱方程式理論を用いて、微分不能空間における第一および第二階微分積分学の関数解析的枠組みを提供すること。
• フレームワークを応用し、分割定理やBonnet-Myers推定を含む、定性的および定量的安定性結果を証明すること。

提案手法

• 非滑らか極限における全変動やウィルモアエネルギーといった汎関数の安定性を分析するため、De Giorgiの$\Gamma$-収束を用いる。
• 一様な下界付きリッチ曲率と次元の上限を持つリーマン多様体の空間をコンパクト化するためにGromovのmGH収束を適用する。
• Wasserstein空間におけるエントロピーの変位凸性を通じて、${\sf CD}(K,\infty)$条件を用いて、下界付きリッチ曲率を内因的に特徴付ける。
• ${\sf CD}(K,\infty)$に無限小ヒルベルティアンである性質を追加することで、${\sf RCD}(K,\infty)$条件を導入し、Sobolev空間$W^{1,2}$がヒルベルト空間であることを保証する。
• mGH収束下での熱方程式の安定性を鍵的道具として用い、${\sf RCD}(K,\infty)$が極限で保存されることを証明する。
• 熱方程式が${\sf RCD}(K,\infty)$空間において勾配流として特徴付けられるEvolution Variational Inequalities（EVI）系を応用する。

実験結果

リサーチクエスチョン

• RQ1 De Giorgiの$\Gamma$-収束とGromovのmGH収束をどのように組み合わせて、下界付きリッチ曲率下界の安定性を研究できるか。
• RQ2 非滑らか測度付き距離空間におけるリッチ曲率の特徴付けにおいて、最適輸送と変位凸性が果たす役割は何か。
• RQ3 mGH収束下でのリーマン構造の安定性を保証するために、無限小ヒルベルティアンである性質を追加する必要があるのはなぜか。
• RQ4 ${\sf RCD}(K,\infty)$空間における安定性結果が、滑らか領域で定性的および定量的幾何的結論をどのように導くか。
• RQ5 非滑らか空間における熱方程式は勾配流として特徴付けられるか。また、これは曲率下界とどのように関係するか。

主な発見

• ${\sf RCD}(K,\infty)$条件はmGH収束に関して安定である。${\sf CD}(K,\infty)$と無限小ヒルベルティアンである性質の組み合わせにより、熱方程式収束を通じて安定性が保証される。
• ${\sf RCD}(K,\infty)$空間における熱方程式は、エントロピー汎関数の勾配流であり、Evolution Variational Inequalities（EVI）系によって特徴付けられる。
• mGH収束下で、漸近的体積比（AVR）は下から一様に有界であり、崩壊を防ぎ、極限空間が非崩壊であることを保証する。
• スケーリング下でのリッチ曲率がピンチされた非コンパクトな3次元多様体の極限は、断面が${\sf RCD}(1,2)$空間である漸近的円錐である。
• 漸近的円錐の断面は曲率$\geq 1$のアレクサンドロフ空間であり、次元2では$S^2$に同相である。
• 近似ソリトロンを構成し、局所初期データにおけるリッチフロー解の安定性を用いることで、ほぼリッチ曲率がピンチされた拡張勾配ソリトロンは平坦でない限り矛盾を生じることを示し、非平坦で非コンパクトな$c$-リッチピンチされた3次元多様体の非存在を証明する。