[논문 리뷰] Bounding diameter of singular Kähler metric

Gabriele La Nave, Gang Tian외 1명|arXiv (Cornell University)|2015. 03. 11.

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

한 줄 요약

이 논문은 해석적 최소 모형 프로그램에서 연속성 방법에 나타나는 특이 켈러 계량의 지름을 제한한다. 연속 방정식의 비수축 극한을 분석함으로써, 저자들은 특이성이 제어되는 컴acts path metric space로의 체거-그로모프 수렴을 증명하며, 켈러 계량에 대한 대수적 가정 하에 메트릭 및 대수적 구조에 대한 핵심 추측을 확인한다.

ABSTRACT

In this paper we investigate the differential geometric and algebro-geometric properties of the noncollapsing limit in the continuity method that was introduced by the first two named authors in \cite{LaTi14}.

연구 동기 및 목표

• 케일러-리치 플로의 연속성 방법에서의 비수축 극한의 미분기하학적 및 대수기하학적 성질을 조사한다.
• 켈러 계량이 대수적이라는 가정 하에 [19]에서 제기한 극한 공간의 메트릭 및 대수적 구조에 대한 추측을 확인한다.
• 극한 공간 상의 특이 켈러 계량에 대해 지름 제한을 수립하여 체거-그로모프 위상에서 유한 지름을 확보한다.
• 극한 공간이 정규 프로젝티브 다양체와 호메오멀포릭이며, 특이점 집합의 실수 코디멘션은 적어도 2 이상임을 보여준다.
• 플립을 구성함으로써 연속성 방법을 시간 T 이후로 확장할 수 있는 기초를 마련한다. 이는 켈러-리치 플로 접근법과 유사하다.

제안 방법

• 초기 켈러 계량을 진전시키기 위해 ω_t = ω₀ - t Ric(ω_t)로 정의된 연속성 방법을 사용하며, T = sup{t | [ω₀] - t c₁(M) > 0}로 정의한다.
• 도널드슨-선과 티안의 방법에 따라, 극화된 선다발에 대한 부분 C⁰ 추정을 적용하여 해석적 절편과 그 기울기를 제어한다.
• ∂̄-연산자 및 해석적 절편에 대한 L² 및 L∞ 추정을 활용하며, 플로의 동안 리치 곡률이 아래에서 유계임을 이용한다.
• 접선 콘의 순환적 분석을 통해, 코디멘션 2의 특이점은 극한 켈러 계량의 앰플 레지온에 모델링된 해석적으로 정의된 집합 위에만 존재함을 보인다.
• 상대 체적 비교 및 내재 길이 메트릭 추정을 적용하여 극한 공간 내 컴acts 부분집합의 지름을 제한한다.
• 체거-그로모프 수렴과 (M \\ S_M, ω_T)의 메트릭 완비화를 조합하여 극한 경로 메트릭 공간 (M_T, d_T)를 구성한다.

실험 결과

연구 질문

• RQ1 연속성 방법의 비수축 극한은 유한 지름을 갖는 컴팩트 경로 메트릭 공간이 되는가?
• RQ2 극한 공간 (M_T, d_T)이 정규 프로젝티브 다양체와 호메오멀포릭이며 잘 정의된 특이점 집합을 갖는가?
• RQ3 극한 공간에서 특이점 집합의 코디멘션은 무엇이며, 원래 다양체의 기하학과 어떻게 관련되는가?
• RQ4 주어진 가정 하에 (M, ω_t)가 (M_T, d_T)로 체거-그로모프 위상에서 수렴하는가?
• RQ5 극한 공간의 메트릭 및 대수적 구조는 원래 다양체의 캐논리컬 모델 또는 최소 모델과 어떻게 관련되는가?

주요 결과

• 해 ω_t는 체거-그로모프 위상에서 컴팩트 경로 메트릭 공간 (M_T, d_T)로 수렴하며, 이는 (M \ S_M, ω_T)의 메트릭 완비화이다.
• 극한 공간 M_T는 정규/특이 분해 M_T = R ∪ S를 갖는다. 여기서 R은 ℂⁿ과 등급이 같은 접선 콘을 갖는 점들의 집합이며, S는 실수 코디멘션 ≥ 2인 닫힌 집합이다.
• 정규 집합 R은 길이선적으로 볼록하며, 특이 집합 S는 극한 코homology 계량의 앰플이 아닌 지역에 해당한다.
• (M_T, d_T)의 지름은 유한하며, T에 가까운 모든 t에 대해 균일하게 유계이며, 컴팩트 부분집합 K에 대해 diam_{d_{ω_t}}(K) ≤ 2R₀이다.
• 극한 공간 M_T는 정규 프로젝티브 다양체와 호메오멀포릭이며, 이 호메오멀포즘 하에서 특이 집합 S는 부분다양체에 대응한다.
• (M, ω_t)의 (M_T, d_T)로의 수렴은 체거-그로모프 의미에서 확인되었으며, 켈러-리치 플로의 결과를 연속성 방법 프레임워크로 확장한다.