[论文解读] 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

一句话总结

本文通过引入共轭热核测度的新型对数 Sobolev 不等式，建立了一个 Ricci 流的新 ε-正则性定理。证明表明，若点熵 $ 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.

研究动机与目标

• 建立一个仅依赖初始标量曲率和 µ-熵界的新有效 ε-正则性定理，适用于 Ricci 流。
• 证明当点熵 $ W_{x_0}(s) \geq -\varepsilon $ 接近零时，可在抛物邻域内实现曲率的统一控制。
• 为加权于共轭热核的度量测度空间，发展一种新的对数 Sobolev 不等式。
• 推导这些加权空间的通用且最优的对数 Sobolev 常数，从而实现与局部几何无关的曲率估计。

提出的方法

• 将点熵 $ W_{x_0}(s) $ 定义为在 $ (x_0, 0) $ 处计算的 Perelman $ W $-泛函，其对应于共轭热核。
• 为加权测度 $ d\nu_{x_0}(y,s) = H_{x_0}(y,s)\, d\text{vol}_{g(s)}(y) $ 引入一种新型对数 Sobolev 不等式，其常数为通用且最优。
• 利用新对数 Sobolev 不等式，推导出 $ W_x(s) $ 在 $ s $ 上的平均值关于 $ x $ 的有效利普希茨界，从而克服一个关键的技术障碍。
• 应用 Poincaré 不等式与纳什熵的单调性，控制 $ \int f_x\, d\nu $、$ \int |\nabla f_x|^2\, d\nu $ 与 $ \int f_x^2\, d\nu $。
• 通过缩放与紧致性论证，取极限流，证明熵的微小性迫使极限为平坦流，从而与曲率下界矛盾。
• 利用 Perelman 的无局部坍缩与哈纳克估计，确保极限中曲率与体积的一致有界性。

实验结果

研究问题

• RQ1 能否建立一个仅依赖初始标量曲率与 µ-熵界之 ε-正则性定理？
• RQ2 共轭热核测度是否满足具有通用且最优常数的对数 Sobolev 不等式？
• RQ3 能否对点熵 $ W_x(s) $ 的 $ s $-平均值在 $ x $ 上获得有效的利普希茨界？
• RQ4 是否可能在不假设类型 I 曲率有界性的前提下，仅从熵接近零推导出曲率控制？
• RQ5 正则性尺度对 Ricci 流初始几何的精确依赖关系为何？

主要发现

• 存在 $ \varepsilon = \varepsilon(n,C) > 0 $，使得若 $ W_{x_0}(s) \geq -\varepsilon $，则正则性尺度满足 $ r_{|\text{Rm}|}(x_0,0)^2 \geq \varepsilon |s| $。
• 共轭热核测度的对数 Sobolev 不等式具有通用且最优的常数，与流无关。
• $ 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 $ 的点矛盾。