[논문 리뷰] Moduli of polarised manifolds via canonical Kähler metrics

Ruadhaí Dervan, Philipp Naumann|arXiv (Cornell University)|2018. 10. 05.

Geometry and complex manifolds참고 문헌 44인용 수 11

한 줄 요약

이 논문은 전통적인 GIT 안정성에 의존하지 않고 분석적 방법을 사용하여 상수 스칼라 곡률 켈러(cscK) 스칼라 곡률을 갖는 다루어진 다양체의 하우스도르프 모듈리 공간을 구축한다. cscK 메트릭을 분석적 안정성 조건으로 삼고, 쿠라시의 공간 위에서 헤이츠너-루즈 GIT 몫 이론을 적용하여, 자연스럽게 위레-피터슨 유형 켈러 메트릭을 지닌 잘 정의된 모듈리 공간을 수립한다. 이는 연속적인 자동형사상이 존재하는 다양체의 모듈리 이론에서 핵심 문제를 해결한다.

ABSTRACT

We construct a moduli space of polarised manifolds which admit a constant scalar curvature Kähler metric. We show that this space admits a natural Kähler metric.

연구 동기 및 목표

• 연속적인 자동형사상이 존재하는 경우에 기존의 GIT 방법이 실패하는 상황에서, 상수 스칼라 곡률 켈러(cscK) 메트릭을 갖는 다루어진 다양체에 대해 잘 정의된 모듈리 공간을 구축하는 것.
• K-안정성과 GIT를 대체하는 분석적 접근을 제공하여, cscK 메트릭의 존재를 안정성 조건으로 삼는 것.
• 모듈리 공간의 하우스도르프성과 분리성 성질을 확립하고, 이를 강력한 분석적 버전의 평가 기준에 대한 유사성으로 증명하는 것.
• 모듈리 공간이 자연스럽게 위레-피터슨 유형 켈러 메트릭을 지닌다는 것을 보여주며, 이를 통해 풍부한 기하학적 구조를 부여하는 것.
• 헤지 메트릭과 그라우에르트의 임bedding 정리에 의해, 모듈리 공간의 모든 컴acts 복소부분공간이 프로젝티브임을 보여주는 것.

제안 방법

• 고정된 cscK 다양체의 국소 변형을 매개화하기 위해 쿠라시의 공간을 사용하여 국소 모듈리 구조를 수립하는 것.
• 브로니레-스체켈리히디의 변형 이론을 적용하여 cscK 메트릭과 변형 공간 위의 국소 GIT 조건을 연결하는 것.
• 복소수 공간에 대한 헤이츠너-루즈 GIT 몫 이론을 활용하여, 쿠라시의 공간의 몫으로 국소 모듈리 공간을 구성하는 것.
• cscK 메트릭의 자동형사상에 대한 유일성과 이누에의 자동형사상군에 관한 결과를 활용하여 안정자와 궤도를 분석하는 것.
• 첸-선의 cscK 분해의 유일성에 관한 연구를 기반으로 국소 모듈리 공간을 붙여 전체적인 하우스도르프 성질을 확보하는 것.
• 섬분기 적분과 상대 마부히시 기능수를 사용하여, 델리뉴 쌍대와 CM 선다발 메트릭을 통해 모듈리 공간 위에 위레-피터슨 유형 켈러 메트릭을 구성하는 것.

실험 결과

연구 질문

• RQ1 자동형사상군이 연속적인 경우, 기존의 GIT 방법이 실패하는 상황에서 cscK 메트릭을 갖는 다루어진 다양체의 모듈리 공간을 어떻게 구성할 수 있는가?
• RQ2 cscK 메트릭의 존재가 분리성에 대한 평가 기준의 강력한 분석적 유사성 조건을 만족하는가?
• RQ3 cscK 다루어진 다양체의 모듈리 공간에 자연스러운 켈러 메트릭을 캐논적으로 정의할 수 있는가?
• RQ4 헤지 메트릭이 존재하는 조건에서, 모듈리 공간의 모든 컴팩트 복소부분공간이 프로젝티브인가?
• RQ5 국소 몫들의 붙임을 통해 모듈리 공간을 어떻게 전역적으로 구성할 수 있으며, cscK 분해의 유일성은 어떤 역할을 하는가?

주요 결과

• cscK 메트릭을 갖는 다루어진 다양체의 모듈리 공간으로서 하우스도르프 복소수공간이 존재하며, 이 공간의 점들은 이러한 다양체들의 동형류에 대응한다.
• 모듈리 공간은 강력한 분석적 유사 평가 기준을 만족한다: 두 가닥이 한 점을 제외한 곳에서는 일치하고 중심 섹션들이 분석적으로 준안정이라면, 둘은 동일한 cscK 다양체로 분해되어야 한다.
• 모듈리 공간은 자연스럽게 위레-피터슨 유형 켈러 메트릭 η를 지닌다. 이 메트릭은 CM 선다발과 델리뉴 쌍대를 통해 구성되며, η는 모듈리 공간 위의 양의 (1,1)-현재이다.
• 위레-피터슨 메트릭은 전역적으로 잘 정의되고, 각 스트라타를 넘어선 연속성을 지닌다. cscK 섹션에서 상대 마부히시 기능수의 소멸성으로 인해 η의 포텐셜이 오버랩에서 일치한다.
• 모듈리 공간의 모든 컴팩트 복소부분공간은 위레-피터슨 메트릭의 제한이 헤지 메트릭이므로, 그라우에르트의 임베딩 정리에 의해 프로젝티브이다.
• 이 구성은 분리성과 켈러성 모두를 만족하는 모듈리 공간을 제공하며, 분석적 맥락에서 cscK 다루어진 다양체의 모듈리 문제를 해결한다.