[論文レビュー] Sharp logarithmic Sobolev inequalities on gradient solitons and applications

José A. Carrillo, Lei Ni|ArXiv.org|Jun 15, 2008

Geometric Analysis and Curvature Flows参考文献 24被引用数 13

ひとこと要約

本稿では、ポテンシャル関数 $ f $ から構成される参考確率測度を用いて、勾配収縮および拡張リーマン・ソリトン上での鋭い対数ソボレフ不等式（LSI）を確立する。これらの測度が幾何的に鋭いLSIを満たし、非負の不変量 $ u_s $ を有することを証明し、非平坦な収縮ソリトンでリッチ曲率が非負である場合、曲率作用素が有界でなくても、漸近的体積比がゼロであることを示す。これはペレルマンの結果を一般化するものである。

ABSTRACT

We show that gradient shrinking, expanding or steady Ricci solitons have potentials leading to suitable reference probability measures on the manifold. For shrinking solitons, as well as expanding soltions with nonnegative Ricci curvature, these reference measures satisfy sharp logarithmic Sobolev inequalities with lower bounds characterized by the geometry of the manifold. The geometric invariant appearing in the sharp lower bound is shown to be nonnegative. We also characterize the expanders when such invariant is zero. In the proof various useful volume growth estimates are also established for gradient shrinking and expanding solitons. In particular, we prove that the {\it asymptotic volume ratio} of any gradient shrinking soliton with nonnegative Ricci curvature must be zero.

研究の動機と目的

• 幾何的ポテンシャル関数を用いて、勾配収縮および拡張リーマン・ソリトン上での鋭い対数ソボレフ不等式（LSI）を確立すること。
• LSIにおける鋭い幾何的不変量 $ \nu_s $ を特徴づけ、リッチ曲率が非負の下でそれが非負であることを示すこと。
• 非平坦な勾配収縮ソリトンでリッチ曲率が非負である場合、漸近的体積比がゼロであることを証明し、ペレルマンの結果を拡張すること。
• 体積成長推定とエントロピー法を用いて、非コンパクトなソリトンに対してバクリ＝エメリーの基準およびHWI不等式を一般化すること。
• ガウスソリトン $ \mathbb{R}^n $ に対して等号が成立することを示すことにより、LSIの鋭さを実証すること。

提案手法

• 多様体上にポテンシャル関数 $ f $ を用いて正規化された確率測度 $ \frac{e^{-f}}{(4\pi\tau)^{n/2}} $ を構成し、LSI解析のための重み付き測度を定義する。
• リーマン・ソリトン方程式 $ R_{ij} + f_{ij} - \frac{1}{2\tau}g_{ij} = 0 $ を主要な幾何的制約として用い、バクリ＝エメリー基準およびHWI不等式を適用してLSIを導出する。
• リッチフローの自己相似構造を用いて、ソリトンをメトリクスの族 $ g(\eta) $ と関連付け、エントロピーに基づく推定を可能にする。
• 熱核と $ L^p $-推定を用いて体積成長推定を確立し、ソボレフ埋め込みとコンパクトネスの議論を活用する。
• エントロピー微分不等式を用いて、リッチ曲率の有界性 $ |\operatorname{Ric}| \leq A $ の下で $ \mu(g,\sigma) $ エントロピー汎関数の有界性を証明する。
• 不変量 $ \nu_s $ の鋭い定数を、$ \tau $ に依存しない $ f $ の最小値における $ f $ とスカラー曲率 $ S $ のみに依存する形で導出する。

実験結果

リサーチクエスチョン

• RQ1 非コンパクトな勾配収縮ソリトンでリッチ曲率が非負である場合、鋭い対数ソボレフ不等式を確立できるか？
• RQ2 LSIにおける不変量 $ \nu_s $ の幾何的意味と最小性は何か？また、それはいつゼロになるか？
• RQ3 非平坦な勾配収縮ソリトンでリッチ曲率が非負である場合、その漸近的体積比は消えるか？
• RQ4 リッチ曲率の有界性の下で、体積成長推定とエントロピー汎関数は勾配ソリトン上でどのように振る舞うか？
• RQ5 LSIの鋭さは確認できるか？また、等号はガウスソリトン $ \mathbb{R}^n $ のみで成立するか？

主な発見

• 任意の勾配収縮ソリトン上で、$ e^{-f} $ は可積分であり、確率測度 $ \frac{e^{-f}}{(4\pi\tau)^{n/2}} $ に正規化可能である。
• 幾何的不変量 $ \nu_s $ を持つ鋭い対数ソボレフ不等式が成立し、$ |\operatorname{Rm}| \leq A $ の下で非負であり、かつ $ \mathbb{R}^n $ に等長同型である場合に限り $ \nu_s = 0 $ である。
• 非平坦な勾配収縮ソリトンでリッチ曲率が非負である場合、漸近的体積比はゼロである。これは曲率作用素が有界であると仮定しなくても成り立つ。
• リッチ曲率が $ \operatorname{Ric} = \frac{1}{2}g $ を満たすコンパクトなアインシュタイン多様体では、$ \nu_s = \frac{n}{2} - \log V(M) + \frac{n}{2}\log(4\pi) \geq 0 $ であり、$ n \to \infty $ の極限でのみ等号が成立する。
• $ \nu_s $ は $ \nu_s(\mathbb{S}^{2k}) = \log\left(\frac{e^k (2k-1)!}{(2(2k-1))^k (k-1)!}\right) $ を満たし、$ k $ とともに減少し、$ k \to \infty $ のとき $ \frac{1}{2}\log\frac{e}{2} $ に近づく。
• LSIの鋭さが確認された：等号は $ \rho $ が正規化されたポテンシャル $ \frac{e^{-f}}{(4\pi\tau)^{n/2}} $ のとき成立し、$ \mathbb{R}^n $ では $ \nu_s = 0 $ である。