[논문 리뷰] Some Geometry and Analysis on Ricci Solitons

Aaron Naber|ArXiv.org|2006. 12. 18.

Geometric Analysis and Curvature Flows참고 문헌 3인용 수 22

한 줄 요약

이 논문은 균일하게 양의 Bakry-Émery Ricci 곡률을 가진 완전한 미터 측도 공간이 유한한 f-체적과 유한한 기본군을 가짐을 증명한다. 또한 잠자는 Ricci soliton의 경우 잠자리 함수 f의 볼록성 또는 오목성 조건 하에서 분류를 수행하여, E×ℝᵏ의 유한 몫임을 증명한다. 여기서 E는 컴acts한 단일 연결 에인슈타인 다양체이고, ℝᵏ는 자명한 soliton 구조를 가진다.

ABSTRACT

The Bakry-Emery Ricci tensor of a metric-measure space (M,g,e^{-f}dv_{g}) plays an important role in both geometric measure theory and the study of Hamilton's Ricci flow. Under a uniform positivity condition on this tensor and with bounded Ricci curvature we show the underlying space has finite f-volume. As a consequence such manifolds, including shrinking Ricci solitons, have finite fundamental group. The analysis can be extended to classify shrinking solitons under convexity or concavity assumptions on the measure function.

연구 동기 및 목표

• 균일하게 양의 Bakry-Émery Ricci 곡률을 가진 미터 측도 공간에 대해, 유한한 f-체적과 유한한 기본군을 보이는 Myer-type 정리를 수립하는 것.
• 잠자리 함수 f에 대한 볼록성 또는 오목성 조건 하에서 잠자는 Ricci soliton을 분류하는 것.
• Rc_f의 양성 조건 하에서 f-Laplacian의 행동을 분석하고, Liouville-type 정리를 도출하는 것.
• Rc_f의 비음성 조건만으로는 Harnack-type 추정이 성립하지 않음을 보이기 위해 반례를 구성하는 것.

제안 방법

• 측도 e^{-f}dv_g 에 대한 기울기의 쌍대 연산자로서 f-Laplacian Δ_f 를 정의한다.
• 활성 길이의 두 번째 변분과 비교 기하학을 사용하여, Rc_f ≥ λg 조건 하에서 지오데식선을 따라 f의 하한을 도출한다.
• 가중치 Bochner 공식을 적용하여, Rc_f = λg 조건 하에서 Δ_fR 와 Δ_f|Rc|² 를 분석한다.
• de Rham의 분할 정리를 사용하여, E는 에인슈타인이고 N는 Ricci 평탄한, M의 분할된 유니버설 커버가 E×N 로 등급이 붙음을 유도한다.
• Ricci 평탄한 성분 N 에서의 soliton 구조를 분석하여, f가 이차 함수여야 하고 Rm = 0 임을 보여, N ≅ ℝᵏ 임을 유추한다.
• Rc_f ≥ 0 이지만 Δ_f u = 0 을 만족하는 비상수 양의 해 u 를 가진 구체적 반례를 구성하여, Harnack 추정의 실패를 보여준다.

실험 결과

연구 질문

• RQ1 Bakry-Émery Ricci 곡률 Rc_f 에 어떤 기하적 조건이 성립할 경우, 완전한 미터 측도 공간이 유한한 f-체적과 유한한 기본군을 가질 수 있는가?
• RQ2 잠자리 함수 f 가 볼록성 또는 오목성 조건을 만족할 경우, 잠자는 Ricci soliton 은 어떻게 분류될 수 있는가?
• RQ3 Rc_f ≥ 0 조건 하에서 f-Laplacian 에 대한 Harnack-type 추정은 어느 정도 성립하는가?
• RQ4 Rc_f ≥ 0 이면서 비음성 Rm 조건 하에서도 f-Laplacian 이 비상수 유계 해를 가질 수 있는가?
• RQ5 f 가 볼록일 경우, 잠자는 soliton 의 분할에서 Ricci 평탄한 성분의 구조는 어떠한가?

주요 결과

• Rc_f ≥ λg 이고 λ > 0, |Rc| ≤ C 이면, f-체적 ∫_M e^{-f} dv_g 는 유한하며, 이는 M 이 유한한 기본군을 가짐을 의미한다.
• Rc_f = λg 이고 λ > 0, Rc ≥ 0, f 가 볼록 또는 오목일 경우, (M,g) 는 E×ℝᵏ 의 유한 몫과 등급이 된다. 여기서 E 는 컴팩트하고 단일 연결이며, Ricci 곡률이 λ 인 에인슈타인 다양체이다.
• Rc_f = λg 이고 Rc ≥ 0 인 잠자는 soliton 에서 스칼라 곡률 R 은 상수이며, Ricci 곡률은 고유값 0 또는 λ 만을 가진다.
• 이러한 soliton 의 유니버설 커버는 E×N 으로 등급이 붙으며, E 는 상수 λ 를 가진 에인슈타인이고, N 은 Ricci 평탄하고 단일 연결이다.
• Ricci 평탄한 성분 N 에서 f 는 반드시 이차 함수 f(x) = (λ/2)d(x,p)² + f(p) 이며, Rm ≡ 0 이므로 N ≅ ℝᵏ 이다.
• Rc_f ≥ 0 이고 Δ_f u = 0 을 만족하는 비상수 양의 u 가 존재하는 완전한 미터 측도 공간이 존재하므로, Rc_f ≥ 0 만으로는 Harnack 추정이 성립하지 않음을 보여준다.