[논문 리뷰] Compact Moduli Spaces of Del Pezzo Surfaces and Kähler-Einstein metrics

Yuji Odaka, Cristiano Spotti외 1명|arXiv (Cornell University)|2012. 10. 02.

Geometry and complex manifolds참고 문헌 48인용 수 32

한 줄 요약

이 논문은 카플러-아인슈타인 델 페초 표면의 모듈리 공간의 그로모프-하우스도르프 컴actsification과 명시적인 대수기하학적 모듈리 공간 사이의 호메오멀피즘을 확립한다. 카플러-아인슈타인 계량, 그로모프-하우스도르프 극한 등 미분기하학과 GIT, Q-코hen스타인 변형, K-안정성 등 대수기하학 기법을 융합하여, 컴팩트화된 모듈리 공간이 정확히 카플러-아인슈타인 계량을 갖는 표면들, 포함하여 붕괴한 경우까지 파라미터화하며, 티앙의 존재 정리가 이를 따름으로써 이를 유도한다.

ABSTRACT

We prove that the Gromov-Hausdorff compactification of the moduli space of Kahler-Einstein Del Pezzo surfaces in each degree agrees with certain algebro-geometric compactification. In particular, this recovers Tian's theorem on the existence of Kahler-Einstein metrics on smooth Del Pezzo surfaces and classifies the degenerations of such metrics. The proof is based on a combination of both algebraic and differential geometric techniques.

연구 동기 및 목표

• 카플러-아인슈타인 델 페초 표면의 미분기하학적 그로모프-하우스도르프 컴팩트화와 대수기하학적 모듈리 공간 간의 표준적 브리지 수립.
• 도수 $d \in \{1,2,3,4\}$인 델 페초 표면에서 카플러-아인슈타인 계량의 모든 붕괴를 분류하는 것, 이는 열린 문제로 제기된 lin.
• 그로모프-하우스도르프 극한 공간 $M_d^{GH}$가 $\ mathbb{Q}$-코헨스타인 매끄러운 로그 델 페초 표면의 프로젝티브 모듈리 공간 $M_d$와 호메오멀피즘임을 증명하는 것.
• 특히 낮은 차수에서 카플러-아인슈타인 계량의 연구에 있어 미분기하학과 대수기하학 기법을 통합하는 것.
• 카플러-폴리스태블 $\ mathbb{Q}$-포노 다각형의 모듈리에 대한 일반적 추측의 기초를 마련하는 것.

제안 방법

• 3차와 4차에 대해 GIT(기하학적 불변이론)를 통해, 2차와 1차에 대해 샤의 방법과 블로우업을 통해 대수기하학적 모듈리 공간 $M_d$를 구성한다.
• 각 극한이 이sovolumetric한 로그 델 페초 표면로 대응하는 연속적 사상 $\Phi: M_d^{GH} \to M_d$를 정의한다.
• 반사적 성질 증명을 위해 Bando-Mabuchi 유일성 정리와 그 오비폴드로의 확장 기법을 사용하여 $\Phi$의 단사성을 증명하며, 카플러-아인슈타인 계량이 그 기초가 되는 복소기하학적 구조에 의해 유일하게 결정됨을 보장한다.
• 이미지가 열려 있음을 암시 함수 정리로, 닫혀 있음을 연속성으로 보여 $\Phi$의 전사성을 확보함으로써 $\Phi$가 호메오멀피즘임을 증명한다.
• 모듈리 공간 $M_d^{GH}$가 컴팩트하고 $M_d$가 하우스도르프임을 이용해 $\Phi$가 호메오멀피즘임을 결론 내리며, 이는 정리 1.1의 증명을 완료한다.
• K-안정성과 특이점에 관한 결과를 활용: 카플러-아인슈타인 페노 다양체의 그로모프-하우스도르프 극한은 $\ mathbb{Q}$-페노이며 로그-터미널 특이점을 가지며, K-폴리스태블임을 확인한다.

실험 결과

연구 질문

• RQ1 카플러-아인슈타인 델 페초 표면의 모듈리 공간의 그로모프-하우스도르프 컴팩트화는 로그 델 페초 표면의 자연스러운 대수기하학적 모듈리 공간과 일치하는가?
• RQ2 도수가 4에서 1로 감소함에 따라 카플러-아인슈타인 델 페초 표면의 붕괴에서 정확한 특이점과 기하학적 구조는 무엇인가?
• RQ3 미분기하학적 극한(그로모프-하우스도르프 수렴)은 어떻게 체계적으로 대수기하학적 모듈리 공간(예: $\ mathbb{Q}$-코헨스타인 변형 및 GIT)과 매칭될 수 있는가?
• RQ4 매끄러운 델 페초 표면에서의 카플러-아인슈타인 계량 존재성은 통합된 모듈리 이론 프레임워크를 통해 붕괴한 경우로 확장되고 복구될 수 있는가?
• RQ5 K-폴리스태블 $\ mathbb{Q}$-포노 다각형의 일반적 모듈리 스택은 그로모프-하우스도르프 극한과 대수기하학적 모듈리 공간을 통합하고 자연스러운 CM 선다발을 갖는가?

주요 결과

• 정리 1.1에 따르면, 도수 $d \in \{1,2,3,4\}$인 카플러-아인슈타인 델 페초 표면의 모듈리 공간의 그로모프-하우스도르프 컴팩트화 $M_d^{GH}$는 $\ mathbb{Q}$-코헨스타인 매끄러운 로그 델 페초 표면의 프로젝티브 모듈리 공간 $M_d$와 호메오멀피즘임을 확인한다.
• 호메오멀피즘 $\Phi: M_d^{GH} \to M_d$는 동형류를 유지한다. 즉, 각 그로모프-하우스도르프 극한은 대수기하학적 모듈리 공간 내에서 유일한 로그 델 페초 표면에 대응한다.
• 4차의 경우 Mabuchi-Mukai의 이전 결과를 복원하며, 1~3차의 경우 샤의 방법과 추가 수정을 통해 새로운 모듈리 공간을 제공한다.
• $M_d$는 도수 $d$의 매끄러운 델 페초 표면을 파라미터화하는 조르지-오픈 밀도 부분집합을 포함하며, 경계 $M_d \setminus M_d^{\rm sm}$는 특이한 카플러-아인슈타인 로그 델 페초 표면을 파라미터화한다.
• 이 구성은 그로모프-하우스도르프 극한이 $\ mathbb{Q}$-페노이며 로그-터미널 특이점을 가지며 K-폴리스태블임을 확인하며, 이는 분야 내 기존 결과와 일치한다.
• 논문은 일반적 추측에 강력한 증거를 제공한다: K-폴리스태블 $\ mathbb{Q}$-포노 다각형의 모듈리 스택은 카테고리적 모듈리 공간 $M_h$를 가지며, 이는 앰플리티드 CM 선다발을 갖는 프로젝티브 다양체이며, 그로모프-하우스도르프 컴팩트화 $M_h^{GH}$와 호메오멀피즘임을 확인한다.