[논문 리뷰] Uniqueness of solutions of Ricci flow on complete noncompact manifolds

Shu-Yu Hsu|arXiv (Cornell University)|2007. 04. 26.

Geometric Analysis and Curvature Flows참고 문헌 15인용 수 9

한 줄 요약

이 논문은 유계 곡률을 가진 완전 비유계 다성분만에 대한 리치 유동 해의 유일성에 대한 수정되고 단순화된 증명을 제시한다. 이는 DeTurck 기법을 사용하며, 이전 논문 [CZ]에서 잘못된 것으로 밝혀진 보조정리의 결함을 밝혀내고, 유계 곡률 하에서 리치-하모닉 유동의 존재성과 유일성을 확립하며, 비만한 곡률을 가진 완전한 다성분만에 대해 초점 반경이 무한대에서 0으로 수렴할 수 있음을 보여주는 반례를 구성한다.

ABSTRACT

We prove the uniqueness of solutions of the Ricci flow on complete noncompact manifolds with bounded curvatures using the De Turck approach. As a consequence we obtain a correct proof of the existence of solution of the Ricci harmonic flow on complete noncompact manifolds with bounded curvatures.

연구 동기 및 목표

• 유계 곡률을 가진 완전 비유계 다성분만에서 리치 유동에 대한 [CZ]의 잘못된 유일성 증명을 수정하기.
• 완전 비유계 다성분만에서 리치 유동에 대해 DeTurck 접근법을 사용하여 엄밀하고 단순화된 유일성 증명을 확립하기.
• 완전 비유계 다성분만에서 유계 곡률 조건 하에서 리치-하모닉 유동 해의 존재성을 보여주기.
• 유계 곡률을 가진 완전한 다성분만이지만 무한대에서 초점 반경이 0으로 수렴하는 반례를 구성하기.
• Riemannian convolution을 사용하여 유계 도함수를 구성한다는 주장인 [CZ]의 보조정리 2.2의 타당성을 반박하는 강력한 근거 제공하기.

제안 방법

• 약한 포물선 리치 유동을 엄밀한 포물선 리치-DeTurck 유동으로 변환하기 위해 DeTurck 기법을 적용하여 분석을 단순화한다.
• 리치-하모닉 유동 $ F $ 를 미분동형사상으로 사용하여 메트릭을 당기고 고정된 목표 다성분만 위에서 리치-DeTurck 유동을 유도한다.
• 매끄러운 커널 $ \psi $ 를 사용한 Riemannian convolution을 거쳐 거리 함수를 근사하지만, 초점 반경이 0으로 수렴할 경우 일관되게 유계가 되지 않는 도함수를 유도함을 보여준다.
• 헤시안 비교 정리를 적용하여 거리 함수 $ \rho $ 의 라플라스 연산자를 제어하고, $ \widetilde{\nabla}_\alpha \widetilde{\nabla}_\beta \rho \leq \frac{1 + \sqrt{k_0}\rho}{\rho} h_{\alpha\beta} $ 를 유계화한다.
• 에너지 추정을 국소화하고 최대원리 적용을 위해 캐시 함수 $ \widetilde{\phi}(y) = \phi(\rho(y)/R_1) $ 를 사용하여 $ u = |\hat{g} - \hat{\overline{g}}|_h^2 \widetilde{\phi} $ 에 적용한다.
• 가중 최대원리 기법을 $ q(y,t) = u(y,t)e^{-2C_2\sqrt{t}} - (2C_4/R_1)t $ 에 적용하여 $ q \leq 0 $ 임을 보이고, 이는 $ R_1 \to \infty $ 일 때 $ \hat{g} \equiv \hat{\overline{g}} $ 를 강제한다.

실험 결과

연구 질문

• RQ1 왜 [CZ]의 보조정리 2.2는 초점 반경이 0으로 수렴하는 비유계 다성분만에서 매끄러운 함수의 유계 도함수를 구성한다는 데 실패하는가?
• RQ2 DeTurck 방법은 완전 비유계 다성분만에서 유계 곡률 조건 하에서 리치 유동의 유일성을 엄밀히 적용할 수 있는가?
• RQ3 유계 곡률을 가진 비유계 다성분만이지만 무한대에서 초점 반경이 0으로 수렴하는 경우, 이는 일관된 유계 조건에 의존하는 이전의 유일성 증거를 무효화하는가?
• RQ4 비유계 다성분만에서 유계 곡률 조건 하에서 리치-하모닉 유동의 존재성과 유일성이 증명될 수 있는가?
• RQ5 초점 반경이 일관되게 아래로 유계가 아니면, Riemannian convolution 연산자의 적절한 행동은 무엇인가?

주요 결과

• 초점 반경이 0으로 수렴할 경우, 거리 함수의 Riemannian convolution은 고차 미분항의 일관된 유계성을 보장하지 못하므로, [CZ]의 핵심 보조정리 2.2는 잘못되었다.
• 이 논문은 유계 곡률를 가진 완전 비유계 다성분만이지만 무한대에서 초점 반경이 0으로 수렴하는 예를 구성하여, 이러한 다성분만이 존재하며 비정상적인 것은 아님을 보여준다.
• DeTurck 기법을 통해 완전 비유계 다성분만에서 유계 곡률 조건 하에서 리치 유동의 유일성에 대한 수정되고 단순화된 증명이 확립된다.
• 완전 비유계 다성분만에서 유계 곡률 조건 하에서 리치-하모닉 유동의 존재성과 유일성이 엄밀히 증명된다.
• 캐시 함수 $ \widetilde{\phi} $ 와 가중 함수 $ q $ 를 사용한 최대원리 추론은 $ \hat{g} \equiv \hat{\overline{g}} $ 를 $ N \times [0,T_0] $ 에서 유도하며, DeTurck 게이지 하에서의 유일성을 증명한다.
• 최종 유일성 정리는 다음과 같다: 만약 두 리치 유동 해 $ g(t) $ 와 $ \overline{g}(t) $ 가 동일한 초기 메트릭을 가지며, $ \|Rm\| \leq k_0 $ 를 만족하는 일관된 곡률 유계 조건을 만족한다면, 이들은 동일하다: $ g(t) \equiv \overline{g}(t) $.