[논문 리뷰] Gromov-Hausdorff limits of Kahler manifolds and algebraic geometry, II

Simon Donaldson, Song Sun|arXiv (Cornell University)|2015. 07. 17.

Geometry and complex manifolds참고 문헌 37인용 수 50

한 줄 요약

이 논문은 균일한 기하적 유계 조건을 만족하는 극화된 켈러 다양체의 그로모프-하우스도르프 극한이 자연스럽게 복소해석적 공간이 되며, 특이점에서의 접선 콘은 대수적 다양체임을 증명한다. 다항식 성장 조건을 만족하는 정칙 함수의 링의 유한 생성성을 증명하고, 복소해석적 방법을 통해 접선 콘의 유일성을 보이며, 켈러-아인슈타인 계량과 대수기하학에서의 특이성에 대한 결과를 확장한다.

ABSTRACT

In this paper we continue to study Gromov-Hausdorff limits of Kahler manifolds and algebraic geometry. Our main focus is on the algebro-geometric meaning of Riemannian tangent cones and rescaled limits.

연구 동기 및 목표

• 균일하게 유계된 기하 클래스에 속하는 켈러 다양체의 그로모프-하우스도르프 극한이 복소해석적 공간임을 증명하는 것.
• 그러한 극한에서 다항식 성장 조건을 만족하는 정칙 함수의 링이 유한 생성됨을 증명하는 것.
• 특이점에서의 접선 콘의 유한 생성성에 의해 아핀 대수적 다양체와 동형임을 보이는 것.
• 부드러운 횡단면을 가정하지 않고도 복소기하학적 방법을 사용하여 한 점에서의 접선 콘의 유일성을 확립하는 것.
• 비콤팩트 설정으로까지 극한의 대수적 구조를 확장하는 것, 특히 무한대에서의 접선 콘을 포함하여.

제안 방법

• 체허-콜딩-티안 정규성 이론을 사용하여 그로모프-하우스도르프 극한을 정칙 부분(케일러-아인슈타인 계량이 존재함)과 코디멘션 최소 4 이상의 특이 집합으로 분해한다.
• 정칙 부분에서의 정칙 함수의 푸시포워드를 통해 극한 공간 위에 구조층을 정의한다.
• 체적 비교와 아인슈타인 조건을 적용하여 균일한 지름 유계와 붕괴 방지 조건을 확보하고, 이로 인해 극한 공간의 컴팩트성을 보장한다.
• 확대된 극한(접선 콘)을 메트릭 콘 $ C(Y) $ 로 분석하고, 다항식 성장 조건을 만족하는 정칙 함수의 링 $ R(C(Y)) $ 가 유한 생성됨을 증명한다.
• 복소해석적 환경에서 로자시에프-시몬 유형의 추론을 사용하여, 횡단면의 부드러움 여부와 무관하게 접선 콘의 유일성을 증명한다.
• 비콤팩트 극한을 다루기 위해 무한대에서의 접선 콘을 연구하고, $ Z $ 위에서 다항식 성장 조건을 만족하는 정칙 함수의 링 $ R(Z) $ 가 유한 생성됨을 증명한다.

실험 결과

연구 질문

• RQ1 균일한 기하적 유계 조건을 만족하는 극화된 켈러 다양체의 그로모프-하우스도르프 극한은 자연스럽게 복소해석적 공간인가?
• RQ2 그러한 극한에서 다항식 성장 조건을 만족하는 정칙 함수의 링은 유한 생성인가?
• RQ3 이러한 극한의 특이점에서의 접선 콘은 아핀 대수적 다양체로서의 표준 구조를 갖는가?
• RQ4 횡단면이 부드럽지 않더라도 특이점에서의 접선 콘은 유일한가?
• RQ5 극한 공간의 대수적 구조는 비콤팩트 극한, 특히 무한대에서의 극한까지 확장 가능한가?

주요 결과

• 균일 유계 기하 클래스 $ \tilde{\frak{K}}(n, \tilde{\rho}, V) $ 에 속하는 수열의 그로모프-하우스도르프 극한 $ (Z, \bar{\rho}) $ 는 정칙 구조층 $ \bar{\rho}_* \bar{\rho}_{\bar{\rho}} $ 를 지닌 정규 복소해석적 공간이다.
• 접선 콘 $ C(Y) $ 에서 다항식 성장 조건을 만족하는 정칙 함수의 링 $ R(C(Y)) $ 는 유한 생성되며, $ \mathrm{Spec}(R(C(Y))) $ 는 $ (C(Y), \mathcal{O}_{C(Y)}) $ 와 복소해석적으로 동형이다.
• 어떤 점 $ p $ 에서도 접선 콘은 메트릭 콘으로서, 아핀 대수적 다양체로서로서의 유일성이 있으며, 횡단면의 부드러움을 가정하지 않아도 성립한다.
• 비콤팩트 극한 $ Z $ 에서 다항식 성장 조건을 만족하는 정칙 함수의 링 $ R(Z) $ 는 유한 생성되며, $ \mathrm{Spec}(R(Z)) $ 는 $ (Z, \mathcal{O}_Z) $ 와 복소해석적으로 동형이다.
• $ R(C(Y)) $ 에 있는 그레ading 은 극한 계량에 의해 유도된 점 $ p $ 에서의 정칙 함수의 급수의 국소 링에 대한 필터링과 대응된다.
• 결과는 무한대에서의 접선 콘으로까지 확장되며, 이 경우에도 유사한 유한 생성성과 동형 정리가 성립한다.