[논문 리뷰] Explicit Gromov-Hausdorff compactifications of moduli spaces of Kähler-Einstein Fano manifolds

Cristiano Spotti, Song Sun|arXiv (Cornell University)|2017. 04. 30.

Geometry and complex manifolds참고 문헌 42인용 수 9

한 줄 요약

이 논문은 복소 차원 2 이상에서 카플러-아인슈타인 파노 다양체의 모듈리 공간에 대한 첫 번째 명시적 그로모프-하우스도르프 컴팩티피케이션을 구축한다. 특히, 차수 4 델 페조 다양체의 경우 GH 컴팩티피케이션이 고전적 GIT 몫과 일치함을 보이며, 이 결과는 대수기하학적 기법을 통해 메트릭 접선 콘과 특이점을 분석함으로써 도출된다. 이 설정에서 KE와 K-안정 파노 다양체 사이에 정확한 일치가 성립함을 입증한다.

ABSTRACT

We exhibit the first non-trivial concrete examples of Gromov-Hausdorff compactifications of moduli spaces of Kähler-Einstein Fano manifolds in all complex dimensions bigger than two (Fano K-moduli spaces). We also discuss potential applications to explicit study of moduli spaces of K-stable Fano manifolds with large anti-canonical volume. Our arguments are based on recent progress about the geometry of metric tangent cones and on related ideas about the algebro-geometric study of singularities of K-stable Fano varieties.

연구 동기 및 목표

• 복소 차원 2 이상에서 카플러-아인슈타인 파노 다양체의 모듈리 공간에 대한 명시적, 구체적인 그로모프-하우스도르프 컴팩티피케이션을 구축하는 것.
• 차수 4 델 페조 다양체에 대해 그로모프-하우스도르프 컴팩티피케이션과 대수기하학적 GIT 컴팩티피케이션 간의 정확한 일치를 확립하는 것.
• 최근의 메트릭 접선 콘 이론과 K-안정성의 발전을 활용하여, 파노 다양체 위의 KE 메트릭의 GH 극한에서의 특이성의 성격을 이해하는 것.
• K-안정 파노 다양체의 맥락에서 메트릭 특이성과 대수적 특이성 간의 관계를 탐색하는 것.
• GIT 다중안정 파노 다양체가 항상 정규 특이성 또는 과르텐스타인 정규 특이성을 가지는지 조사하며, KE와 GIT 모듈리 간의 동치성에 대한 함의를 도출하는 것.

제안 방법

• 한계 공간의 구조를 분석하기 위해 체이저-콜딩 이론과 체이저-콜딩-티안의 한계 공간 구조를 활용하여, KE 메트릭의 그로모프-하우스도르프 극한을 분석한다.
• 메트릭 접선 콘의 이중단계 구성 방법을 적용한다: 특이 점의 껍질에서 가중치가 부여된 대수적 접선 콘으로, 그 다음에 메트릭 접선 콘으로 이어진다.
• 최근의 K-안정 파노 다양체에 대한 체적 한계(리우 [41])를 활용하여 GH 극한에서 가능한 특이성을 제약한다.
• 경미한 특이성을 가진 파노 다양체의 분류 결과(Fujita [29])와 안정성 비교 논증을 결합하여, GH 극한가 반드시 GIT-다중안정이어야 한다는 것을 보인다.
• KE 극한에서 메트릭 특이성과 대수적 특이성이 일치함을 활용하여 컴팩티피케이션의 구조를 식별한다.
• 완전 교차의 특정 사례들(예: 두 2차 곡면의 교차, 쿠빅 초입체)을 분석하여 KE와 GIT 모듈리 간의 대응관계를 검증한다.

실험 결과

연구 질문

• RQ1 그로모프-하우스도르프 컴팩티피케이션으로서의 차수 4 델 페조 다양체의 모듈리 공간이 고전적 GIT 몫과 일치하는가?
• RQ2 파노 다양체 위의 KE 메트릭의 GH 극한에서 발생할 수 있는 특이성의 유형은 무엇이며, 이는 대수적 특이성과 어떻게 관련되는가?
• RQ3 프로젝션 공간 내의 모든 GIT 다중안정 쿠빅 초입체는 반드시 과르텐스타인 정규 특이성을 가지는가? 그리고 정규 특이성을 갖는가?
• RQ4 체적과 특이성 제어 조건이 일정한 KE 메트릭의 GH 극한을 포함하도록 파노 3차원의 분류를 확장할 수 있는가?
• RQ5 파노 3차원에서 KE 모듈리 공간이 어떤 조건에서 GIT 모듈리 공간과 일치하는가?

주요 결과

• 차수 $ n \geq 2 $인 차수 4 델 페조 다양체의 모듈리 공간에 대한 그로모프-하우스도르프 컴팩티피케이션은 고전적 GIT 몫 $ \overline{M}_{dP_4^n}^{GIT} $과 자연스럽게 일치하며, 이로써 $ \overline{M}_{dP_4^n}^{GIT} \cong \overline{\mathcal{K}M}_{dP_4^n} $ 가 성립한다.
• 두 2차 곡면의 교차로 이루어진 KE 완전 교차의 모든 GH 극한은 GIT-다중안정임을 보이며, 따라서 컴팩티피케이션이 명시적으로 GIT 몫으로 기술된다.
• 이 논문은 두 2차 곡면의 교차로 이루어진 가능한 특이성을 가진 완전 교차 중에서 KE 메트릭을 가질 수 있는 경우를 완전히 분류한다. 이는 이전의 매끄러운 경우에 대한 결과를 확장한 것이다.
• KE 쿠빅 3차원의 GH 극한에서 특이성은 과르텐스타인 정규 특이성임을 보이며, 항등적 역행성 번들의 경우 $ K_Z^{-1} = L_Z^2 $ 를 만족한다. 여기서 $ L_Z $ 는 $ \mathbb{Q} $-선다발이다.
• 추측 5.4를 가정할 경우, 체적이 $ \geq 20 $ 인 매끄러운 KE 파노 3차원의 GH 극한은 과르텐스타인 정규 특이성을 가지며, 추측이 성립하지 않더라도 체적이 $ \geq 22 $ 인 경우 과르텐스타인 지수는 최대 2이다.
• 4차 초입체에서 $ \mathbb{P}^4 $ 에서의 GH 모듈리 컴팩티피케이션은 GIT 몫과 일치하지 않으며, 비환형 이중 원뿔에서의 블로우업이 필요하다. 이는 차수 2 델 페조의 경우와 유사하다.