[논문 리뷰] The volume of Kähler-Einstein Fano varieties and convex bodies

Robert J. Berman, Bo Berndtsson|arXiv (Cornell University)|2012. 04. 05.

Geometry and complex manifolds참고 문헌 38인용 수 10

한 줄 요약

이 논문은 고정점이 유한한 복소 $\mathbb{P}^n$의 복소 프로젝티브 공간이 $n$차원 카일러-아인슈타인 파노 다양체 중에서 최대 부피를 가진다는 것을 증명한다. $S^1$-불변 모저-트루디너 부등식과 심플렉틱 기하학을 이용하여, 부피 상한 $c_1(X)^n \leq (n+1)^n$을 증명함으로써, 토릭 대응을 통해 라이센스 다각체의 큰 클래스에 대해 에르하르트의 추측을 확인하고, 구형 다양체와 오쿠노프 본딩에까지 확장한다.

ABSTRACT

We show that the complex projective space has maximal degree (volume) among all n-dimensional Kahler-Einstein Fano manifolds admitting a holomorphic C^*-action with a finite number of fixed points. The toric version of this result, translated to the realm of convex geometry, thus confirms Ehrhart's volume conjecture for a large class of rational polytopes, including duals of lattice polytopes. The case of spherical varieties/multiplicity free symplectic manifolds is also discussed. The proof uses Moser-Trudinger type inequalities for Stein domains and also leads to criticality results for mean field type equations in C^n of independent interest. The paper supersedes our previous preprint concerning the case of toric Fano manifolds.

연구 동기 및 목표

• 대칭 조건 하에서 카일러-아인슈타인 파노 다양체의 부피에 대한 날카로운 상한을 확립하는 것.
• 토릭 대응을 통해 라이센스 다각체의 큰 클래스에 대해 에르하르트의 부피 추측을 확인하는 것.
• 부피 최대화 결과를 구형 파노 다양체와 다중도 없음 심플렉틱 다양체로 확장하는 것.
• 모멘트 다각체와 두이스터마트-헤크만 측도를 통해 카일러-아인슈타인 메트릭 존재성과 볼록 기하학을 연결하는 것.
• 오쿠노프 본딩이 파노 조건과 카일러-아인슈타인 조건을 어떻게 캡슐화하는지 탐색하는 것.

제안 방법

• 증명은 $\mathbb{C}^*$-행동의 고정점을 포함하는 $S^1$-불변 모서리-트루디너 유형 부등식을 이용한다.
• 저자들은 $\mathbb{C}^*$-행동의 고정점을 포함하는 흡인성 고정점이 있는 헬로모르픽 $S^1$-행동의 존재를 이용하여 부등식에 적합한 영역을 구성한다.
• 파노 다양체의 부피는 모멘트 다각체 $P$ 위에서 $v(p)\,dp$의 적분과 관련된다.
• 토릭 다양체의 경우 부피는 $\int_P v(p)\,dp$로 표현되며, $v(p)$는 $p$와 양의 쌍대근의 곱으로 주어지고 단위 부피로 정규화된다.
• 대부분의 다양체에 대해 심플렉틱 모멘트 맵과 컴act 리 군 $K$의 다중도 없음 행동을 통해 구형 다양체에 적용되며, 심플렉틱 부피 공식을 이끌어낸다.
• 이 방법은 특이 카일러-아인슈타인 메트릭과 약한 파노 다양체로 일반화되며, 리치 곡률의 하한 $R(X)$를 포함한 수정된 상한을 얻는다.

실험 결과

연구 질문

• RQ1 $\mathbb{P}^n$은 고정점이 유한한 $n$차원 카일러-아인슈타인 파노 다양체 중에서 부피를 최대화하는가?
• RQ2 토릭 대응을 통해 라이센스 다각체의 쌍대체에 대해 에르하르트의 추측이 라이센스 다각체에 대해 확인될 수 있는가?
• RQ3 두이스터마트-헤크만 측도가 구형 파노 다양체의 부피를 어떻게 캡슐화하는가?
• RQ4 다중도 없음 심플렉틱 다양체에서 카일러-아인슈타인 메트릭 존재성이 모멘트 다각체 기하에 어떻게 제약을 가하는가?
• RQ5 오쿠노프 본딩 $\Delta$를 통해 파노 조건과 카일러-아인슈타인 조건을 어떻게 특징지을 수 있는가?

주요 결과

• 고정점이 유한한 $n$차원 카일러-아인슈타인 파노 다양체의 부피는 $c_1(X)^n \leq (n+1)^n$을 만족하며, 등호는 $X = \mathbb{P}^n$일 때에만 성립한다.
• 토릭 경우 결과는 라이센스 다각체의 쌍대체와 바리센터 조건을 만족하는 리플렉시브 델자노 다각체에 대해 에르하르트의 부피 추측을 확인한다.
• 구형 파노 다양체에 카일러-아인슈타인 메트릭이 존재할 경우, 모멘트 다각체 $P$ 위에서의 부피 적분은 $\int_P v(p)\,dp \leq (n+1)^n / n!$을 만족하며, $\mathbb{P}^n$과 푸비니-슈트라우스 형식일 때 등호가 성립한다.
• 리치 곡률의 하한 $R(X)$를 포함할 경우, 약한 파노 다양체로 확장되어 $c_1(X)^n \leq (n+1)^n / R(X)^n$의 상한을 얻는다.
• 모든 양의 루트 $\alpha \in R^+$의 합이 두이스터마트-헤크만 측도에 대한 다각체 $P$의 바리센터일 때, 동차 섬유화의 경우 파노 다양체에 카일러-아인슈타인 메트릭이 존재하는 조건을 특징지운다.
• 논문은 부피 상한을 통해 구형 파노 다양체에서 카일러-아인슈타인 메트릭 존재에 대한 새로운 차단 조건을 제공한다.