[논문 리뷰] On the Yau-Tian-Donaldson conjecture for singular Fano varieties

Chi Li, Gang Tian외 1명|arXiv (Cornell University)|2017. 11. 27.

Geometry and complex manifolds참고 문헌 45인용 수 28

한 줄 요약

이 논문은 광범위한 특이성을 가진 ${\mathbb{Q}}$-Fano 다양체—특히 허용 가능한 특이성을 가진 것들—에 대해 Yau-Tian-Donaldson 추측을 증명한다. K-다중안정성은 켈러-아인슈타인 계량의 존재를 암시함을 보이며, 이는 부드러운 경우의 결과를 특이성 있는 ${\mathbb{Q}}$-Fano 다양체로 확장한다. 증명은 로그 해소 $\mu: Y \to X$ 상에서 일족하는 콘형 켈러-아인슈타인 계량의 가중치 가중치를 구성하고, 그들의 그로모프-하우스도르프 극한이 실제 특이 다양체 위의 켈러-아인슈타인 계량으로 수렴함을 보인다. 이는 특이성과 예외적 인수의 상대적 약한 암시성 조건을 갖는 경우에 적용된다.

ABSTRACT

We prove the Yau-Tian-Donaldson's conjecture for any $\mathbb{Q}$-Fano variety that has a log smooth resolution of singularities such that the discrepancies of all exceptional divisors are non-positive. In other words, if such a Fano variety is K-polystable, then it admits a Kähler-Einstein metric. This extends the previous result for smooth Fano varieties to this class of singular $\mathbb{Q}$-Fano varieties, which include those admitting crepant log resolutions.

연구 동기 및 목표

• 부드러운 팔로니 다양체에서부터 특이성과 제어된 특이성을 가진 광범위한 ${\mathbb{Q}}$-Fano 다양체로 Yau-Tian-Donaldson 추측을 확장하는 것.
• 특이성 조건이 있는 ${\mathbb{Q}}$-Fano 다양체에서 K-다중안정성인 경우 켈러-아인슈타인 계량의 존재를 확립하는 것.
• ${\mathbb{Q}}$-스무스어블리블리티를 넘어서, 특정한 암시성 및 불일치 조건을 만족하는 로그 해소를 가진 다양체로 존재 결과를 일반화하는 것.
• 콘형 계량과 그로모프-하우스도르프 극한을 이용하여 특이 팔로니 다양체 위에 켈러-아인슈타인 계량을 구성하는 통일된 프레임워크를 제공하는 것.

제안 방법

• 허용 가능한 ${\mathbb{Q}}$-Fano 다양체 $X$ 의 로그 해소 $\mu: Y \to X$ 상에서 $\epsilon \in [0,1]$ 에 따라 매개변수화된 콘형 켈러-아인슈타인 계량의 가중치를 구성한다.
• 예외적 인수 $E = \sum E_i$ 에서의 콘 특이성을 가진 켈러-아인슈타인 계량을 구하기 위해 몽제-암페르 방정식 프레임워크를 사용한다.
• 잠재력의 정규성과 보장하기 위해 균일한 $L^\infty$-추정과 기울기 추정을 적용한다.
• 콘형 계량의 가중치의 그로모프-하우스도르프 컴acts를 확립하고, 극한 계량이 원래 특이 다양체 $X$ 와 등급이 되는 것을 증명한다.
• 특수한 테스트 구성과 대수적 극한을 사용하여 극한 계량이 약한 켈러-아인슈타인임을 보이며, 승수 이상의 이상성과 로그 불일치도의 연속성을 활용한다.
• 비아르키메데스 함수의 점근적 분석과 비아르키메데스 $L^\infty$-노름을 통한 모순 증명을 통해 극한 계량이 실제로 켈러-아인슈타인임을 확인한다.

실험 결과

연구 질문

• RQ1 K-다중안정성은 허용 가능한 특이성을 가진 특이 ${\mathbb{Q}}$-Fano 다양체에서 켈러-아인슈타인 계량의 존재를 암시하는가?
• RQ2 Yau-Tian-Donaldson 추측은 부드러운 팔로니 다양체를 넘어서 제어 가능한 로그 해소를 가진 특이 ${\mathbb{Q}}$-Fano 다양체로 확장될 수 있는가?
• RQ3 로그 해소의 예외적 인수에 어떤 조건이 있어야 특이 팔로니 다양체 위에 켈러-아인슈타인 계량이 존재하는가?
• RQ4 로그 해소 상의 콘형 켈러-아인슈타인 계량은 어떻게 기저 특이 다양체 위의 진짜 켈러-아인슈타인 계량을 구성하는가?
• RQ5 K-다중안정성 하에, 로그 해소 상의 콘형 계량의 수열의 그로모프-하우스도르프 극한은 원래 특이 팔로니 다양체와 등급이 되는가?

주요 결과

• 허용 가능한 특이성을 가진 임의의 ${\mathbb{Q}}$-Fano 다양체에 대해 Yau-Tian-Donaldson 추측이 성립한다: K-다중안정성은 켈러-아인슈타인 계량의 존재를 암시한다.
• 로그 해소 $Y$ 상의 콘형 켈러-아인슈타인 계량의 가중치는 그로모프-하우스도르프 위상에서 기저 특이 다양체 $X$ 상의 진짜 켈러-아인슈타인 계량으로 수렴한다.
• 극한 계량은 $X$ 와 등급이며, 기울기 추정, 그로모프-하우스도르프 컴팩트니 및 콘형 설정에서의 게이지 고정을 통해 수렴이 확립된다.
• 이 증명은 비아르키메데스 함수 $L_B^{\rm NA}$ 와 그 점근적 행동에 의존하며, 만약 극한 계량이 켈러-아인슈타인 계량이 아니면 모순이 발생함을 보인다.
• 이전의 ${\mathbb{Q}}$-스무스어블리블리티 팔로니 다양체에 대한 결과를 일반화하며, 캐프런트 해소를 가진 모든 ${\mathbb{Q}}$-팩터리얼 팔로니 다양체를 포함한다.
• 핵심 기술적 단계는 비아르키메데스 $L^\infty$-노름이 $\lim_{m\to\infty} L_B^{\rm NA}(\phi_m) = \lim_{s\to\infty} \frac{L_B(\varphi_s)}{s}$ 를 만족함을 보이는 것으로, 이는 모순 증명에 필수적이다.