[논문 리뷰] Backwards uniqueness of the Ricci flow

Brett Kotschwar|ArXiv.org|2009. 06. 26.

Geometric Analysis and Curvature Flows참고 문헌 16인용 수 10

한 줄 요약

이 논문은 균일하게 유계인 곡률을 가진 완전한 리만 다양체 위에서 리치 유동의 뒤로 유일성(backwards uniqueness)을 확립한다. 두 해가 최종 시간에 일치한다면, 그 이전의 모든 시간에 대해서도 일치해야 한다는 것을 증명한다. 핵심 결과는 리치 유동 해의 등장사상군(isometry group)이 시간이 지남에 따라 확장될 수 없다는 것이며, 해가 유한 시간 내에 리치 솔리톤 또는 아인슈타인 계량으로 변할 수 없다는 것이다.

ABSTRACT

In this paper, we prove a unique continuation or ``backwards-uniqueness'' theorem for solutions to the Ricci flow. A particular consequence is that the isometry group of a solution cannot expand within the lifetime of the solution.

연구 동기 및 목표

• 완전한 다양체 위에서 균일하게 유계된 곡률을 가진 리치 유동에 대해 뒤로 유일성 성질을 확립하기 위해.
• A. 파이셔가 제기한 질문에 답하기 위해, 즉 리치 유동 해의 등장사상군이 시간이 지남에 따라 확장될 수 있는가에 대한 질문에 답하기 위해.
• 유계 곡률 조건 하에서 해가 유한 시간 내에 리치 솔리톤이나 아인슈타인 계량으로 변할 수 없음을 증명하기 위해.
• 해가 최종 상태로 유일하게 결정됨을 보여줌으로써 리치 유동의 유일성 결과를 확장하기 위해.
• 유동이 초기 계량의 등장사상군을 유지함으로써 새로운 대칭성이 나타나는 것을 방지함을 보여주기 위해.

제안 방법

• 약한 포물선 리치 유동의 뒤로 유일성 문제를 연관된 미분부등식 시스템으로 환원한다.
• 데투르크 기법(DeTurck trick)을 사용해 리치 유동을 엄밀히 포물선 시스템으로 변환하지만, 뒤로 진행되는 진화를 다룰 수 있도록 신중히 적용한다.
• 특히 리즈-프로터(Lees-Protter)의 기법을 포함한 고전적인 포물선 PDE 이론의 유일 연속성 기법을 변환된 시스템에 적용한다.
• M × M 위에서 $ h(t) = g(t) \oplus \tilde{g}(t) $ 형태의 두 배의 계량을 구성하여 최종 시간에서의 등장사상 성질을 분석한다.
• 뒤로 유일성이 성립한다면, 시간 $ T $ 에서의 등장사상은 이전 시간으로의 등장사상으로 올라가야 한다는 사실을 이용한다.
• 주어진 솔리톤 계량 $ \bar{g} $ 에서 자가유사 해 $ \tilde{g}(t) = c(t) \varphi_t^* \bar{g} $ 를 구성하고, 원래 해 $ g(t) $ 와 비교한다.

실험 결과

연구 질문

• RQ1 리치 유동 해가 시간이 지남에 따라 새로운 등장사상을 갖게 될 수 있는가, 즉 그 등장사상군이 확장될 수 있는가?
• RQ2 두 완전한 리치 유동 해가 최종 시간 $ T $ 에 일치한다면, 그 이전의 모든 시간에 대해서도 일치해야 하는가?
• RQ3 해가 처음에는 솔리톤이 아니었더라도, 유한 시간 내에 리치 솔리톤이 될 수 있는가?
• RQ4 리치 유동 해의 등장사상군은 전체 수명 동안 유지되는가?
• RQ5 유계 곡률 조건 하에서 해가 유한 시간 내에 아인슈타인 계량이 될 수 있는가?

주요 결과

• 완전한 리치 유동 해에 대해 균일하게 유계된 곡률 조건 하에서 뒤로 유일성이 성립한다: $ g(T) = \tilde{g}(T) $ 이면, 모든 $ t \in [0,T] $ 에 대해 $ g(t) = \tilde{g}(t) $ 이다.
• 리치 유동 해의 등장사상군은 시간이 지남에 따라 비감소한다: 모든 $ t \in [0,T] $ 에 대해 $ \operatorname{Isom}(g(t)) \subseteq \operatorname{Isom}(g(0)) $ 이다.
• 해가 유한 시간 내에 리치 솔리톤이 되려면, 이미 처음부터 자가유사였어야 한다.
• 해가 시간 $ T $ 에 아인슈타인 계량이 되면, 이는 이전의 모든 시간에 대해 아인슈타인 계량이었음을 의미한다.
• 유한 시간 내에 솔리톤이 되는 해의 곡률는 $ t \to T^- $ 일 때 폭주하게 되며, 이는 유계 곡률 조건과 모순된다. 유일한 예외는 솔리톤의 구조가 처음부터 존재했을 경우이다.
• 리치 솔리톤을 생성하는 벡터장은 계량이 완전하고 곡률가 유계이면 완비(complete)이며, 이는 관련 미분동형사상의 전역 존재성을 보장한다.