[논문 리뷰] Conical Kahler-Einstein metric revisited

Chi Li, Song Sun|arXiv (Cornell University)|2012. 07. 20.

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

한 줄 요약

이 논문은 Fano 다양체에서 항등식에 비례하는 초등수에 따라 원뿔 특이성을 가진 콘형 카플러-아인슈타인 계량이 존재하는지를 연구하기 위해 '보간-퇴화' 전략을 도입한다. 작은 원뿔 각도와 큰 원뿔 각도 사이를 보간하고 퇰그로드를 분석함으로써, 이러한 계량이 존재하는 각도의 집합이 연속적인 간격을 이룬다는 것을 증명하고, 그 끝점을 규명한다. 주요 결과는 ℙ²에서 매끄러운 쌍곡선 위에 원뿔 특이성을 가진 카플러-아인슈타인 계량이 존재하는 것은 각도가 (π/2, 2π] 범위일 때에만 가능하다는 것으로, 이는 A₂ 특이성의 리 링크에서의 사사키-아인슈타인 계량 존재 문제를 해결한다.

ABSTRACT

In this paper we introduce the "interpolation-degneration" strategy to study Kahler-Einstein metrics on a smooth Fano manifold with cone singularities along a smooth divisor that is proportional to the anti-canonical divisor. By "interpolation" we show the angles in $(0, 2π]$ that admit a conical Kahler-Einstein metric form an interval; and by "degeneration" we figure out the boundary of the interval. As a first application, we show that there exists a Kahler-Einstein metric on $P^2$ with cone singularity along a smooth conic (degree 2) curve if and only if the angle is in $(π/2, 2π]$. When the angle is $2π/3$ this proves the existence of a Sasaki-Einstein metric on the link of a three dimensional $A_2$ singularity, and thus answers a problem posed by Gauntlett-Martelli-Sparks-Yau. As a second application we prove a version of Donaldson's conjecture about conical Kahler-Einstein metrics in the toric case using Song-Wang's recent existence result of toric invariant conical Kahler-Einstein metrics.

연구 동기 및 목표

• Fano 다양체 X에서 D ∼ −λK_X인 초등수에 따라 원뿔 특이성을 가진 콘형 카플러-아인슈타인 계량이 존재하는 원뿔 각도 β ∈ (0,1]의 전체 범위를 결정하는 것.
• 보간과 퇴화 기법을 사용하여 이러한 각도의 집합 E(X,D)가 (0,1] 내의 상대적으로 열린 간격임을 증명하는 것.
• Gauntlett-Martelli-Sparks-Yau의 추측을 해결하기 위해, 3차원 A₂ 특이성의 리 링크에서 사사키-아인슈타인 계량의 존재를 β = 2π/3 경우를 통해 증명하는 것.
• Song-Wang의 존재 결과를 활용하여 토릭 설정에서 도널드슨의 추측에 대한 판정판을 증명하는 것.

제안 방법

• ‘보간-퇴화’ 전략 도입: E(X,D)가 간격임을 보간을 통해 보이고, 경계를 결정하기 위해 퇴화를 분석한다.
• 암시함수정리와 Bando-Mabuchi 분기 방법을 적용하여 β → 1일 때 콘형 계량의 수렴성을 분석한다.
• 로그-퓨타키 불변량과 로그-마부치 에너지를 사용하여 존재의 장애를 탐지하고, 이를 로그-K-안정성과 연결한다.
• 특히 λ가 짝수일 때, |−λK_X| 내의 초등수 D의 퇴화를 분석하여 극한 특이성 카플러-아인슈타인 쌍을 규명한다.
• 토릭 기하학과 아핀 좌표를 활용하여 기저 집합 근처의 국소적 행동을 연구하고, |−λK_X| 내의 일반적인 초등수의 매끄러움을 검증한다.
• 경계가 있는 특이 다양체 위에서의 복소 맨고-아프레르 방정식을 사용하여 콘형 계량의 퇴화 극한을 연구한다.

실험 결과

연구 질문

• RQ1 Fano 다양체 X에서 D ∼ −λK_X인 초등수에 따라 원뿔 특이성을 가진 콘형 카플러-아인슈타인 계량이 존재하는 원뿔 각도 β ∈ (0,1]는 무엇인가?
• RQ2 이러한 각도의 집합 E(X,D)는 간격인가? 그리고 그 끝점은 무엇인가?
• RQ3 X에서 매끄러운 카플러-아인슈타인 계량이 존재할 때, Aut(X)가 이산적이지 않더라도 β → 1일 때 콘형 계량이 그것으로 수렴하는가?
• RQ4 보간-퇴화 전략은 토릭 경우에서 도널드슨의 추측을 해결할 수 있는가?
• RQ5 λ이 증가함에 따라 |−λK_X| 내의 초등수 D의 퇴화 행동은 어떠한가? 그리고 이는 콘형 계량의 존재에 어떤 영향을 미치는가?

주요 결과

• D ∼ −λK_X를 따라 원뿔 특이성을 가진 콘형 카플러-아인슈타인 계량이 존재하는 원뿔 각도 β ∈ (0,1]의 집합 E(X,D)는 (0,1] 내의 상대적으로 열린 간격이며, 어떤 ε > 0에 대해 (0,1−λ⁻¹+ε)를 포함한다.
• X = ℙ²이고 D가 매끄러운 쌍곡선(차수 2)일 때, 콘형 카플러-아인슈타인 계량이 존재하는 것은 β ∈ (1/2,1]일 때에만 가능하며, 이는 각도 2πβ ∈ (π/2,2π]에 해당한다.
• β = 2π/3일 때(즉, β = 2/3), 이는 3차원 A₂ 특이성의 리 링크에서 사사키-아인슈타인 계량의 존재를 증명하며, Gauntlett-Martelli-Sparks-Yau의 추측을 확인한다.
• 토릭 경우에서 보간-퇴화 전략은 Song-Wang의 존재 결과를 활용하여 도널드슨의 추측의 판정판을 증명한다.
• λ가 짝수일 때, |−λK_X| 내의 일반적인 초등수는 매끄럽고, λ가 증가함에 따라 기저 집합의 배수로 퇴화하며, 환경 공간은 그대로 유지된다.
• λ가 홀수일 때(예: λ=1), 환경 공간의 퇴화가 예상되지만 아직 미해결이며, 이러한 경우에 대한 누락된 퇴화 모델이 존재함을 시사한다.