[論文レビュー] Weak solutions for the Ricci flow I

Robert Haslhofer, Aaron Naber|arXiv (Cornell University)|Apr 3, 2015

Geometric Analysis and Curvature Flows参考文献 40被引用数 10

ひとこと要約

本稿では、時空における連続曲線の空間上の無限次元解析を用いてリッチ・フロー解の新たな特徴付けを導入し、リッチ・フローが、特定の勾配推定、マルティンゲールの正則性、およびパス空間上の対数ソボレフ不等式と同値であることを確立している。主な貢献は、確率的計算およびマリヤン・計算に基づく、リッチ・フローを同定するための厳密な解析的基準を提供することであり、滑らかでない設定における弱解の定義を可能にしている。

ABSTRACT

This is the first of a series of papers, where we introduce a new class of estimates for the Ricci flow, and use them both to characterize solutions of the Ricci flow and to provide a notion of weak solutions to the Ricci flow in the nonsmooth setting. In this first paper, we prove various new estimates for the Ricci flow, and show that they in fact characterize solutions of the Ricci flow. Namely, given a family $(M,g_t)_{t\in I}$ of Riemannian manifolds, we consider the path space $P\mathcal{M}$ of its space time $\mathcal{M}=M imes I$. Our first characterization says that $(M,g_t)_{t\in I}$ evolves by Ricci flow if and only if an infinite dimensional gradient estimate holds for all functions on $P\mathcal{M}$. We prove additional characterizations in terms of the $C^{1/2}$-regularity of martingales on path space, as well as characterizations in terms of log-Sobolev and spectral gap inequalities for a family of Ornstein-Uhlenbeck type operators. Our estimates are infinite dimensional generalizations of much more elementary estimates for the linear heat equation on $(M,g_t)_{t\in I}$, which themselves generalize the Bakry-Emery-Ledoux estimates for spaces with lower Ricci curvature bounds. Based on our characterizations we can define a notion of weak solutions for the Ricci flow. We will develop the structure theory of these weak solutions in subsequent papers.

研究の動機と目的

• 古典的滑らか設定を超えたリッチ・フローの解を特徴付ける解析的基準を開発すること。
• 無限次元解析を用いて、リッチ曲率の下界に関するバクリ＝エメリー＝レドゥー推定を、変化するリーマン多様体へと拡張すること。
• 内在的な幾何的および確率的推定に基づいて、リッチ・フローの弱解の概念を定義すること。
• パス空間確率的計算を用いて、滑らかでないあるいは特異な幾何におけるリッチ・フローの解析のための枠組みを確立すること。
• 今後の論文で用いる弱解の構造理論の基盤を提供すること。

提案手法

• 時空 $\mathcal{M} = M \times I$ 内の連続曲線のパス空間 $P\mathcal{M}$ を用い、時間の逆方向に単位速度で移動する。
• ウィENER測度、確率的平行移動、および変化する多様体上のマリヤン・計算を含む確率的解析の道具を適用する。
• パス空間上の微分を定義するため、平行勾配およびマリヤン勾配を導入する。
• すべての関数について $P\mathcal{M}$ 上で成り立つ無限次元勾配推定（R2）を導出し、それがリッチ・フローを特徴付ける。
• リッチ・フローとパス空間上でのマルティンゲールの $C^{1/2}$-正則性との同値性を確立する。
• パス空間上でのオルンシュタイン＝ウーレンベック型作用素に対する対数ソボレフ不等式（R4）およびスぺクトルギャップ不等式（R5）による特徴付けを証明する。

実験結果

リサーチクエスチョン

• RQ1 リッチ・フローは、古典的微分可能性に依存しないパス空間上の無限次元推定によって特徴付けられるか？
• RQ2 パス空間上でのマルティンゲールのどの確率的性質がリッチ・フロー方程式と同値か？
• RQ3 パス空間上での対数ソボレフ不等式およびスぺクトルギャップ不等式は、リッチ・フローの時間発展とどのように関係するか？
• RQ4 パス空間解析を用いて、バクリ＝エメリー＝レドゥー推定を変化する多様体へ一般化できるか？
• RQ5 リーマン計量の族 $ (M, g_t) $ にどのような解析的条件を課すと、それがリッチ・フローを満たすとされるか？

主な発見

• 族 $ (M, g_t) $ がリッチ・フローに従って進化するための必要十分条件は、パス空間 $ P\mathcal{M} $ 上のすべての関数についてある無限次元勾配推定（R2）が成り立つことである。
• パス空間上でのマルティンゲールの $ C^{1/2} $-ホルダー正則性がリッチ・フローを特徴付けるものであり、確率的基準を提供する。
• パス空間上でのオルンシュタイン＝ウーレンベック型作用素に対する対数ソボレフ不等式（R4）およびスぺクトルギャップ不等式（R5）は、リッチ・フローと同値である。
• 本結果は、リッチ曲率の下界を持つ多様体に対するバクリ＝エメリー＝レドゥー推定を、変化する計量の設定へ一般化したものである。
• パス空間上の勾配推定による特徴付けは、古典的な線形熱方程式推定を、リッチ・フローの非線形的・幾何的設定へ拡張している。
• 本フレームワークは、滑らかでないあるいは特異な幾何におけるリッチ・フローの弱解を定義するための厳密な基盤を提供する。