[論文レビュー] New logarithmic Sobolev inequalities and an \epsilon-regularity theorem for the Ricci flow

Hans‐Joachim Hein, Aaron Naber|arXiv (Cornell University)|May 2, 2012

Geometric Analysis and Curvature Flows被引用数 3

ひとこと要約

本稿では、共役熱核測度に対する新しい対数ソボレフ不等式を導入することで、リッチフローに対する新しいε正則性定理を確立する。点付きエントロピー $ W_{x_0}(s) $ がゼロに近い（近似ユークリッド幾何）場合、初期スカラー曲率とµエントロピーの境界にのみ依存する正則性スケールによって制御される、放物的近傍内での曲率の均一有界性が示される。主な貢献は、初期時刻におけるグローバルな幾何的制約のみに依存する、スケール不変な有効なε正則性結果の確立である。

ABSTRACT

In this note we prove a new \epsilon-regularity theorem for the Ricci flow. Let (M^n,g(t)) with t\in [-T,0] be a Ricci flow and H_{x} the conjugate heat kernel centered at a point (x,0) in the final time slice. Substituting H_{x} into Perelman's W-functional produces a monotone function W_{x}(s) of s \in [-T,0], the pointed entropy, with W_{x}(s) <= 0, and W_{x}(s) = 0 iff (M,g(t)) is isometric to the trivial flow on R^n. Our main theorem asserts the following: There exists an \epsilon>0, depending only on T and on lower scalar curvature and \mu-entropy bounds for (M,g(-T)), such that W_{x_0}(s) > -\epsilon implies |Rm|< r^{-2} on P_{\epsilon r}(x,0), where r^2 = |s| and P_r(x,t) \equiv B_r(x,t) imes (t-r^2,t] is the parabolic ball. The main technical challenge of the theorem is to prove an effective Lipschitz bound in x for the s-average of W_x(s). To accomplish this, we require a new log-Sobolev inequality. It is well known by Perelman that the metric measure spaces (M,g(t),dv_{g(t)}) satisfy a log-Sobolev; however we prove that this is also true for the conjugate heat kernel weighted spaces (M,g(t),H_{x}(-,t)\,dv_{g(t)}). Our log-Sobolev constants for these weighted spaces are in fact universal and sharp. The weighted log-Sobolev has other consequences as well, including an average Gaussian upper bound on the conjugate heat kernel that only depends on a two-sided scalar curvature bound.

研究の動機と目的

• 初期スカラー曲率とµエントロピーの境界にのみ依存する、有効なリッチフローのε正則性定理を確立すること。
• 点付きエントロピー $ W_{x_0}(s) \geq -\varepsilon $ が近似的にゼロである場合、放物的近傍内で曲率が均一に制御されることを証明すること。
• 共役熱核で重み付けられた測度空間に対する新しい対数ソボレフ不等式を構築すること。
• これらの重み付き空間に対して普遍的かつ鋭い対数ソボレフ定数を導出し、局所幾何に依存しない曲率推定を可能にすること。

提案手法

• 点 $ (x_0, 0) $ を中心とする共役熱核で評価されたペレラマンの $ W $-汎関数として、点付きエントロピー $ W_{x_0}(s) $ を定義する。
• 普遍的かつ鋭い定数を有する、重み付き測度 $ d\nu_{x_0}(y,s) = H_{x_0}(y,s)\, d\text{vol}_{g(s)}(y) $ に対する新しい対数ソボレフ不等式を導入する。
• 新しい対数ソボレフ不等式を用いて、$ W_x(s) $ の $ s $-平均について $ x $ における有効なリプシッツ境界を導出し、主要な技術的障壁を克服する。
• ポアンカレ不等式とナッシュエントロピーの単調性を用いて、$ \int f_x\, d\nu $、$ \int |\nabla f_x|^2\, d\nu $、および $ \int f_x^2\, d\nu $ を制御する。
• スケーリングとコンパクトネスの議論を用いて極限フローに移行し、エントロピーの小ささが極限を平坦にすることを示し、曲率下界と矛盾することを示す。
• ペレラマンの局所的崩壊防止およびハーナック推定を活用して、極限における曲率と体積の均一有界性を保証する。

実験結果

リサーチクエスチョン

• RQ1 初期スカラー曲率とµエントロピーの境界にのみ依存する、リッチフローのε正則性定理を確立できるか？
• RQ2 共役熱核測度は、普遍的かつ鋭い定数を有する対数ソボレフ不等式を満たすか？
• RQ3 点付きエントロピー $ W_x(s) $ の $ s $-平均は、$ x $ に対して有効なリプシッツ境界で制御可能か？
• RQ4 タイプI曲率境界を仮定せずに、エントロピーがゼロに近いことから曲率制御を導出可能か？
• RQ5 正則性スケールの初期幾何への正確な依存関係は何か？

主な発見

• ある $ \varepsilon = \varepsilon(n,C) > 0 $ が存在し、$ W_{x_0}(s) \geq -\varepsilon $ ならば、正則性スケールが $ r_{|\text{Rm}|}(x_0,0)^2 \geq \varepsilon |s| $ を満たす。
• 共役熱核測度に対する対数ソボレフ不等式は、流れに依存しない普遍的かつ鋭い定数を有して成立する。
• $ W_x(s) $ の $ s $-平均は、$ x $ に対して有効なリプシッツ境界を有し、正則性定理の根幹をなす。
• エントロピーの小ささ $ W_{x_0}(s) \geq -\varepsilon $ は、$ \sup_{P_{\varepsilon |s|}(x_0,0)} |\text{Rm}| \leq \varepsilon^{-1} |s|^{-2} $ を意味し、曲率制御を確立する。
• 本結果は、点での曲率の有界性仮定や近傍全体の小さな曲率を仮定する必要がないため、既知のε正則性定理を強化する。
• 証明は極限フローの議論に依拠する：エントロピーの小ささは極限を平坦にすることを強制し、$ |\text{Rm}| = 1 $ を満たす点の存在と矛盾する。