[논문 리뷰] New logarithmic Sobolev inequalities and an \epsilon-regularity theorem for the Ricci flow

Hans‐Joachim Hein, Aaron Naber|arXiv (Cornell University)|2012. 05. 02.

Geometric Analysis and Curvature Flows인용 수 3

한 줄 요약

이 논문은 공액 열핵 측도에 대한 새로운 로그 소볼레프 부등식을 도입하여 리치 흐름에 대한 새로운 ε-정규성 정리(ε-regularity theorem)를 확립한다. 만약 지정된 점에서의 엔트로피 $ W_{x_0}(s) $ 가 0에 가까울 경우—즉, 거의 유클리드 기하학임을 시사할 경우—그리고 초기 스칼라 곡률과 µ-엔트로피의 경계 조건이 만족되면, 파라볼릭 이웃 영역 내에서 곡률이 균일하게 유계임을 보인다. 정규성 척도는 초기 스칼라 곡률과 µ-엔트로피 경계에 의해 제어된다. 주요 기여는 유일하게 초기 시점의 전역 기하 제약 조건에 의존하는 척도 불변의 효과적인 ε-정규성 결과를 도출한 데 있다.

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 $ 가 거의 0에 가까울 경우, 파라볼릭 이웃 영역 내에서 곡률이 균일하게 제어됨을 증명하는 것.
• 공액 열핵에 의해 가중된 매트릭 측도 공간에 대한 새로운 로그 소볼레프 부등식을 개발하는 것.
• 이러한 가중 공간에 대해 보편적이고 정확한 로그 소볼레프 상수를 도출하여 국소 기하의 영향 없이 곡률 추정을 가능하게 하는 것.

제안 방법

• 지정된 점 $ (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 $ 를 제어한다.
• 스케일링과 컴actness 추론을 통해 극한 흐름으로의 전환을 도입하여, 엔트로피의 작소성은 극한이 평탄함을 강제함을 보이며, 이는 곡률 하한 조건과 모순된다.
• 페렐만의 국소 수축 방지 및 하르낙 추정을 활용하여 극한에서 곡률과 체적의 균일한 유계성을 확보한다.

실험 결과

연구 질문

• RQ1 리치 흐름에 대한 ε-정규성 정리에서 ε 가 초기 스칼라 곡률과 µ-엔트로피 경계에만 의존할 수 있는가?
• RQ2 공액 열핵 측도는 보편적이고 정확한 상수를 가진 로그 소볼레프 부등식을 만족하는가?
• RQ3 $ W_x(s) $ 의 $ s $-평균이 $ x $ 에 대해 효과적 리프시츠 유계성을 가질 수 있는가?
• RQ4 유계 곡률 조건이나 지역적 작은 곡률 조건 없이도 엔트로피가 0에 가까울 경우 곡률 제어를 도출할 수 있는가?
• 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 $ 인 점이 존재한다는 것과 모순된다.