[논문 리뷰] Perelman's W-functional and stability of Kähler-Ricci flow

Gang Tian, Xiaohua Zhu|arXiv (Cornell University)|2008. 01. 23.

Geometry and complex manifolds참고 문헌 14인용 수 20

한 줄 요약

이 논문은 켈러 메트릭에서 페렐만의 W-functional의 두 번째 변분을 조사하며, 켈러-리치 솔리톤에서 엔트로피의 안정성을 증명한다. 고정 또는 변하는 복소 구조를 가진 켈러 메트릭 공간에서 두 번째 변분이 음이 아니라는 것을 보이며, 켈러-리치 흐름의 안정성을 확립하고, 관련 타원형 연산자의 핵을 미분형식에 대해 유한차원으로 특성화한다.

ABSTRACT

In this expository note, we study the second variation of Perelman's entropy on the space of Kahler metrics at a Kähler-Ricci soliton. We prove that the entropy is stable in the sense of variations. In particular, Perelman's entropy is stable along the Kähler-Ricci flow. The Chinese version of this note has appeared in a volume in honor of professor K.C.Chang (Scientia Sinica Math., 46 (2016), 685-696).

연구 동기 및 목표

• 켈러 메트릭의 공간에서 페렐만의 엔트로피 함수형의 두 번째 변분을 분석하기.
• 페렐만의 W-functional이 켈러-리치 솔리톤에서 안정됨을 확립하기.
• 변하는 복소 구조 하에서 두 번째 변분에 나타나는 타원형 연산자의 핵을 규명하기.
• 고정된 복소 구조에서의 결과를 켈러-아인슈타인 다양체에서 변하는 복소 구조로 확장하기.
• 조화 형식과 헬름호르트 벡터 장을 통해 핵의 기하학적 특성화를 제공하기.

제안 방법

• 정규화 조건과 W-functional을 사용하여 켈러-리치 솔리톤에서 페렐만의 엔트로피 함수형 λ(g)의 두 번째 변분을 계산하기.
• 첫 번째 변분 공식을 사용하여 수렴하는 리치 솔리톤의 임계점 조건을 유도하기.
• 솔리톤 함수 f를 포함하는 잠재력 연산자 P와 발산 항을 포함한 대칭 (0,2)-텐서 위에서의 선형 연산자 L을 정의하기.
• 변화 공간을 헬름호르트 및 반대 헬름호르트 대칭 텐서로 분해하여 관련 성분을 분리하기.
• 호지 이론과 코homological 방법을 적용하여 연산자 L의 핵을 H¹(M, Θ)와 조화 (1,1)-형식과 연결하기.
• 미분형식과 헬름호르트 변환에 대한 불변성을 활용하여, 미분형식군의 작용에 대해 핵의 기술을 단순화하기.

실험 결과

연구 질문

• RQ1 페렐만의 W-functional은 켈러-리치 솔리톤에서 켈러 메트릭의 변형에 대해 안정적인가?
• RQ2 고정된 켈러 클래스를 가진 켈러 메트릭에서 W-functional의 두 번째 변분 연산자의 핵은 어떤 구조를 가지는가?
• RQ3 켈러-아인슈타인 다양체에서 복소 구조를 변형할 수 있을 경우 두 번째 변분은 어떻게 행동하는가?
• RQ4 두 번째 변분 연산자의 핵은 코homology와 조화 형식을 통해 명시적으로 기술될 수 있는가?
• RQ5 연산자 P는 두 번째 변분과 그 핵을 특성화하는 데 어떤 역할을 하는가?

주요 결과

• 켈러 클래스 2πc₁(M)를 가진 켈러 메트릭 공간에서, 페렐만의 엔트로피의 두 번째 변분은 켈러-리치 솔리톤에서 음이 아니다.
• 복소 구조가 고정되어 있을 경우, 두 번째 변분 연산자 L의 핵은 조화 (1,1)-형식에 대응하는 추적 없는 대칭 (1,1)-텐서로 이루어져 있다.
• 복소 구조가 변하는 켈러-아인슈타인 다양체에서, L의 핵은 헬름호르트 벡터 장의 공간과 H¹(M, Θ_{J₀})의 직합과 동형이다.
• 켈러 클래스가 2πc₁(M)와 호모로지일 경우, 복소 구조가 변하더라도 켈러 메트릭 공간에서 두 번째 변분은 음이 아니다.
• L의 핵의 차원은 미분형식군의 작용에 대해 유한하므로, 리치 흐름에서의 안정성과 수렴 결과에 있어 핵심적이다.