[논문 리뷰] On the uniqueness of Sasaki-Einstein metrics

Ken'ichi Sekiya|ArXiv.org|2009. 06. 15.

Geometry and complex manifolds참고 문헌 7인용 수 4

한 줄 요약

이 논문은 비자명한 해밀턴형 헬름홀트 벡터 장이 존재하지 않는 컴팩트 세이사키안 다양체 위의 사사키-아인슈타인 계량의 유일성을 확립한다. 반경계 Kähler 함수법을 세이사키 기하로 일반화함으로써, 저자는 횡단 Kähler 함수를 구성하고, 몽주-암페르 방정식의 해에 대한 사전 $C^0$-추정을 증명하여, 이러한 다양체 위의 두 사사키-아인슈타인 계량이 반드시 일치함을 도출한다.

ABSTRACT

Let $S$ be a compact Sasakian manifold which does not admit non-trivial Hamiltonian holomorphic vector fields. If there exists an Einstein-Sasakian metric on $S$, then it is unique.

연구 동기 및 목표

• 비자명한 해밀턴형 헬름홀트 벡터 장이 존재하지 않는 컴팩트 세이사키안 다양체 위의 사사키-아인슈타인 계량의 유일성을 확립하기 위해.
• Bando-Mabuchi의 유일성 방법을 Kähler 기하에서 세이사키 기하로 확장하기 위해 횡단 Kähler 함수를 구성하기 위해.
• 세이사키-아인슈타인 조건에서 유도된 횡단 몽주-암페르 방정식의 해에 대한 사전 $C^0$-추정을 증명하기 위해.
• 주어진 기하적 제약 조건 하에서 몽주-암페르 방정식의 해가 유일함을 보여주어 계량의 유일성으로 이어지도록 하기 위해.

제안 방법

• 기본적인 첫 번째 체르니 클래스를 가진 세이사키 기하 구조 공간 위에 함수 $L$, $M$, $I$, $J$를 구성하며, Kähler 기하에서의 것들과 유사하게 구성한다.
• 사사키-아인슈타인 문제를 횡단 몽주-암페르 방정식으로 환원한다: $\frac{(d\eta + \sqrt{-1}\partial_B\bar{\partial}_B u)^m}{(d\eta)^m} = \exp(-(2m+2)u + h)$.
• 접촉 형식을 재스케일링한 일차 파라미터 가중치를 가진 세이사키 기하 구조의 가중치 가중치 가중치 $\{g_{u,\mu}\}$를 도입하여 Ricci 곡률이 균일하게 유계임을 보장한다.
• 재스케일링된 가중치 가중치 가중치에 대해 Myers 정리를 적용하여 지름과 체적을 제어하고, Green 함수 추정을 통해 $C^0$-추정을 확보한다.
• Ascoli-Arzelà 정리를 적용하여 해 집합의 닫힘을 보이며, 국소적 유일성에서 유래된 열림과 결합하여 전역적 유일성을 증명한다.
• 경로 적분과 진동 추정을 활용하여 $\|u_t\|_{C^{2,\varepsilon}}$를 유계로 제한하여 해의 정규성과 유일성을 보장한다.

실험 결과

연구 질문

• RQ1 비자명한 해밀턴형 헬름홀트 벡터 장이 존재하지 않는 컴팩트 세이사키안 다양체 위의 사사키-아인슈타인 계량이 어떤 조건에서 유일할 수 있는가?
• RQ2 Kähler-아인슈타인 계량에 대한 Bando-Mabuchi 유일성 방법을 세이사키 설정으로 확장할 수 있는가?
• RQ3 Ricci 곡률이 양수 상한으로 유계되지 않을 경우, 횡단 몽주-암페르 방정식의 해에 대한 $C^0$-추정을 어떻게 확립할 수 있는가?
• RQ4 비자명한 해밀턴형 헬름홀트 벡터 장의 부재가 계량 유일성에서 어떤 역할을 하는가?
• RQ5 이 유일성 결과는 3-Sasakian 다양체와 같은 더 넓은 횡단 Kähler 기하학적 클래스로 일반화될 수 있는가?

주요 결과

• 비자명한 해밀턴형 헬름홀트 벡터 장이 존재하지 않는 컴팩트 세이사키안 다양체 위의 사사키-아인슈타인 계량은 유일하다.
• 횡단 몽주-암페르 방정식의 해 $u_t$는 $\|u_t\|_{C^{2,\varepsilon}} \leq C_7$를 만족하여 정규성과 유일성을 보장한다.
• $u_t$의 $C^0$-노름은 함수 $h$와 기능 $L(0,u_t)$를 사용한 진동 및 점별 추정을 통해 유도된 $C_6$로 균일하게 유계이다.
• 초기 해에 대해 $L(0,u_0) = 0$이므로, 상수의 불확실성을 제거하고 $t=0$에서의 유일성을 보장하며, 이는 $t=1$으로 전파된다.
• 해 집합 $I_1$은 $[0,1]$에서 열려 있고 닫혀 있으므로, $t=1$에서 해가 존재한다면 그것이 유일함을 의미한다.
• $t=1$에서 몽주-암페르 방정식의 해의 유일성은 다양체 위의 사사키-아인슈타인 계량의 유일성으로 이어진다.