[논문 리뷰] The projective space has maximal volume among all toric Kähler-Einstein manifolds

Robert J. Berman, Bo Berndtsson|arXiv (Cornell University)|2011. 12. 19.

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

한 줄 요약

이 논문은 복소 프로젝티브 공간 $\mathbb{P}^n$ 가 모든 토릭 켈러-아인슈타인 다양체 중에서 최대 부피를 가짐을 증명하며, $c_1(X)^n \leq (n+1)^n$ 라는 추측을 확인한다. 증명은 부피가 더 크다는 가정으로부터 비정상적으로 강력한 모저-트루디너 불등식을 도출하는 모순 논증을 사용한다. 이는 복소다양체의 다중도메인에서의 복소다양체 그린 함수에 의해 위반되며, 결과적으로 부피의 상한을 확립한다.

ABSTRACT

We prove a conjecture saying that complex projective space has maximal volume (degree) among all toric Kaehler-Einstein manifolds of dimension n. The proof is inspired by our recent work on sharp Moser-Trudinger and Brezis-Merle type inequalities for the complex Monge-Ampere operator, but is essentially self-contained.

연구 동기 및 목표

• 토릭 켈러-아인슈타인 다양체 $X$ 의 차수 $c_1(X)^n$ 이 $(n+1)^n$ 이하로 유계임을 확인하는 것.
• 이 기하학적 부피 상한과 토릭 팔레토 다각체에서 내부 정수점이 중심에 유일하게 존재하는 경우에 대한 에르하르트의 추측 사이의 연결 고리를 설정하는 것.
• 로그-터미널 특이점에서 켈러-아인슈타인 메트릭이 존재함을 가정하여 결과를 특이 토릭 팔레토 다양체로 확장하는 것.
• $\mathbb{C}^{*n}$ 에서 켈러-아인슈타인 메트릭의 존재성을 관련된 볼륨 $P$ 의 기하학적 성질로 일반화하는 것.

제안 방법

• 토릭 켈러-아인슈타인 다양체 $X$ 에 대해 $c_1(X)^n > (n+1)^n$ 이라고 가정하여, 도메인 $\Omega \subset \mathbb{C}^n$ 에서 $T^n$-불변 복소다양체 하모닉 함수에 대해 매우 강력한 모저-트루디너 불등식을 이끌어내는 것.
• 복소다양체 하모닉 함수 공간에서 $T^n$-불변 지오데식의 경로를 따라 기능 $\mathcal{G}(u)$ 의 지오데식 볼록성을 이용하여 최적 상수를 가진 모저-트루디너 불등식을 유도하는 것.
• 단위 원판 $D$ 를 포함하는 $\Omega' = \Omega \times D \subset \mathbb{C}^{n+1}$ 에서의 부울리언 도메인으로 불등식을 확장하여, $T^{n+1}$-불변 복소다양체 하모닉 함수의 적분 가능성 지수에 하한을 구하는 것.
• 가정된 불등식이 유도하는 하한이 $\Omega'$ 의 복소다양체 그린 함수가 극점이 원점인 경우 위반됨을 보여 모순을 이끌어내는 것.
• 프레코파-라인들러 불등식과 레이지앙드르 변환 기법을 활용하여 $T^n$-불변 케이스를 다루고 지오데식의 미분 가능성 보장.
• 원판에서의 1차원 브레지스-메를 불등식을 적용하여 부울리언 도메인에서 $e^{-u}$ 의 적분을 제어하고, 강력한 모저-트루디너 상한과 결합하여 모순을 이끌어내는 것.

실험 결과

연구 질문

• RQ1 복소 프로젝티브 공간 $\mathbb{P}^n$ 는 모든 $n$ 차원 토릭 켈러-아인슈타인 다양체 중에서 최대 부피를 가지는가?
• RQ2 켈러-아인슈타인 메트릭을 갖는 토릭 팔레토 다양체에 대해 추측된 부피 상한 $c_1(X)^n \leq (n+1)^n$ 이 증명될 수 있는가?
• RQ3 토릭 팔레토 다양체에 대응하는 덴자르 다각체에 대해, 내부 정수점이 중심에 유일하게 존재한다는 에르하르트의 추측은 어느 정도 유효한가?
• RQ4 $\mathbb{C}^{*n}$ 에서 켈러-아인슈타인 메트릭의 존재성은 관련된 볼륨 $P$ 의 기하학적 성질로 특성화될 수 있는가?
• RQ5 토릭 다양체에서 켈러-아인슈타인 메트릭으로부터 도출된 모저-트루디너 불등식은 알려진 복소다양체 하모닉 함수들과 일관되지 않을 정도로 너무 강력한가?

주요 결과

• 논문은 모든 $n$ 차원의 매끄러운 토릭 팔레토 다양체 $X$ 가 켈러-아인슈타인 메트릭을 갖는 경우, 상위 교차수 $c_1(X)^n$ 이 $c_1(X)^n \leq (n+1)^n$ 를 만족함을 확인한다.
• 최대 부피는 정확히 $X = \mathbb{P}^n$ 일 때 달성되며, 이 경우 $c_1(\mathbb{P}^n)^n = (n+1)^n$ 이다.
• 증명은 가정된 부피 상한 위반으로 인해 너무 강력한 모저-트루디너 불등식이 도출되며, 이는 $\Omega' = \Omega \times D$ 에서의 복소다양체 그린 함수에 의해 위반됨을 보여 모순을 이끌어내는 방식이다.
• 이 방법은 특이 토릭 팔레토 다양체로 확장되며, 로그-터미널 특이점에서 켈러-아인슈타인 메트릭이 존재할 경우 결과가 성립함을 보여, 왕-โจ우 결과를 일반화한다.
• 새로운 특성화가 도출된다: 원점을 내부에 포함하는 유계 볼륨 $P$ 가 원점을 중심으로 삼는 것은, $\mathbb{R}^n$ 에서 정의된 볼륨 함수 $\phi$ 가 존재하여 $MA_{\mathbb{R}}(\phi) = e^{-\phi}dx$ 를 만족하고, $\phi$ 의 기울기 영역이 $P$ 가 되는 것과 동치이다.
• 특히, 팔레토 지수 $I(X)$ 의 의존성을 제거함으로써 비스터의 아인슈타인 메트릭 부피 추정치를 향상시키며, 토릭 설정에서 특히 효과적이다.