[논문 리뷰] Gromov-Hausdorff limits of Kähler manifolds with bisectional curvature lower bound I

Gang Liu|arXiv (Cornell University)|2015. 05. 28.

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

한 줄 요약

이 논문은 완전한 켈러 다양체의 수열이 이원편향 곡률에 하한을 두고 일관되게 양의 체적을 가지는 조건에서의 지oint Gromov-Hausdorff 극한이 정규 복소해석적 공간과 위상동형임을 증명한다. 극한에서의 복소구조는 해석적 함수의 극한에 의해 유도되며, 곡률 한계 하에서 복소구조의 붕괴 문제를 해결한다.

ABSTRACT

Given a sequence of complete(compact or noncompact) Kähler manifolds $M^n_i$ with bisectional curvature lower bound and noncollapsed volume, we prove that the pointed Gromov-Hausdorff limit is homeomorphic to a normal complex analytic space. The complex analytic structure is the natural "limit" of complex structure of $M_i$.

연구 동기 및 목표

• 이원편향 곡률 하한이 있는 켈러 다양체의 Gromov-Hausdorff 극한의 구조를 이해하기 위해.
• 잠재적인 메트릭 특이성 존재에도 불구하고 극한 공간이 복소해석적 구조를 상속하는지 여부를 규명하기 위해.
• 메트릭 특이성(코디멘션 2)과 복소해석적 특이성(코디멘션 ≥4) 사이의 모순을 해결하기 위해.
• 극한 공간이 국소적으로 수축 가능하고 정규 복소해석적 다양체와 위상동형임을 증명하기 위해.
• 비콤팩트 켈러 다양체에 대해 양의 이원편향 곡률을 가지며, 균일화 추측을 연구하기 위한 기초 도구를 마련하기 위해.

제안 방법

• Cheeger-Colding-Gromov 수렴 이론을 이원편향 곡률 한계가 있는 켈러 기하학에 적응시키기 위해.
• 복소 헤시안 보흐너 공식을 사용하여 Ni-Tam의 열 흐름 최대 원리의 결과를 음의 곡률 경우로 확장하기 위해.
• 국소화와 Hörmander의 L²-추정을 이용해 특수 점 근처 양호한 해석적 좌표를 구성하기 위해.
• 접선 콘에 ℝ²ⁿ⁻²가 분리되는 메트릭 특이성이 복소해석적 의미에서 정규임을 증명하기 위해.
• 음의 곡률을 가진 켈러 다양체에 대한 삼중 원환면 정리와 [14]의 해석적 단면 기법을 적응하여 사용하기 위해.
• 해석적 함수의 균일 수렴과 국소 환의 정규화를 통해 극한 공간에 구조층을 설정하기 위해.

실험 결과

연구 질문

• RQ1 이원편향 곡률 하한이 있는 켈러 다양체의 Gromov-Hausdorff 극한에 복소해석적 구조를 부여할 수 있는가?
• RQ2 이원편향 곡률 하한 조건 하에서 극한의 메트릭 특이성과 복소해석적 특이성은 어떻게 관련되는가?
• RQ3 이러한 곡률 및 체적 조건 하에서 극한 공간이 국소적으로 수축 가능한가?
• RQ4 근사 다양체 위의 해석적 함수들이 극한에서 잘 정의된 복소구조를 정의하는 데 사용될 수 있는가?
• RQ5 극한 공간의 복소해석적 구조가 정규점에서 메트릭 구조와 일치하는가?

주요 결과

• 이원편향 곡률 ≥−1 이며 일관되게 양의 체적을 가지는 완전한 켈러 다양체의 지점별 Gromov-Hausdorff 극한은 정규 복소해석적 공간과 위상동형이다.
• 극한에서의 복소해석적 구조는 근사 다양체의 작은 구 위에서 해석적 함수의 극한에 의해 유도된다.
• 접선 콘에 ℝ²ⁿ⁻²가 분리되는 메트릭 특이성은 복소해석적 의미에서 정규이며, 코디멘션의 모순을 해결한다.
• 극한 공간은 국소적으로 수축 가능하며, Perelman의 결과를 이원편향 곡률 한계 조건이 있는 켈러 설정으로 확장한다.
• 양의 이원편향 곡률과 최대 체적 성장 조건을 만족하는 비콤팩트 켈러 표면의 경우, 다양체는 단순연결이다.
• 극한 공간의 구조층은 잘 정의되어 있으며 정규이며, 국소 해석적 좌표는 해석적 함수의 극한에 의해 유도된다.