[논문 리뷰] On the resolution of extremal and constant scalar curvature Kaehler orbifolds

Claudio Arezzo, Riccardo Lena외 1명|arXiv (Cornell University)|2015. 07. 11.

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

한 줄 요약

이 논문은 국소 ALE 해석이 스칼라 평탄하고 켈러인 조건 하에, 고립된 몰입 특이점을 가진 컴act한 극대 켈러 오르비폴드의 해석에서 극대 켈러 계량이 존재함을 확립한다. 충분히 작은 붓업 매개변수를 가질 경우, 해석이 $\tilde{T}$-불변 극대 계량을 지닌다는 것을 증명하며, 특히 ALE 계량의 점 游근 전개에서 주요 계수 $e(\Gamma_j)$ 가 0일 경우, 해석이 일정 스칼라 곡률 켈러(cscK) 계량을 지닌다는 것을 보장하는 정확한 균형 조건을 규명한다.

ABSTRACT

In this paper we give sufficient conditions on a compact orbifold with an extremal Kaehler metric to admit a resolution with an extremal Kaehler metric. We also complete the Kaehler constant scalar curvature case.

연구 동기 및 목표

• 고립된 몰입 특이점을 가진 컴팩트한 극대 켈러 오르비폴드를, 특이점 주변의 이웃을 스칼라 평탄한 ALE 켈러 해석으로 대체함으로써 해석한다.
• 해석된 결과물이 일정 스칼라 곡률 켈러(cscK) 계량을 지닐 수 있는 조건을 규명하며, 기존의 매끄러운 붓업 결과를 오르비폴드 해석으로 확장한다.
• 이러한 해석에서 극대 및 cscK 계량 존재에 대한 완전한 차단 이론을 수립하며, 국소 모델의 기하학적 조건에 대한 필요 및 충분 조건을 규명한다.
• ALE 계량의 점근적 분석과 기하 매개변수의 조정을 통해 오르비폴드에서 극대 계량을 붙이는 일반적 프레임워크를 제공한다.

제안 방법

• 원래의 오르비폴드 계량과 국소 ALE 계량을 편미분 방법을 통해 붙임으로써, 해석에서 $\tilde{T}$-불변 켈러 포텐셜을 구성한다.
• 특히 주요 계수 $e(\Gamma_j)$ 와 $c(\Gamma_j)$ 를 포함한 ALE 계량의 무한대에서의 점근 전개를 사용하여 곡률과 스칼라 곡률의 행동을 분석한다.
• 스칼라 곡률 방정식에서의 장애를 제거하기 위해 해석의 매개변수(예: $\tilde{b}_j$, $C_j$, $\tilde{a}_l$)에 '조정 조건'을 도입한다.
• 논문 [3]과 [20]의 표준 붙임 절차를 오르비폴드 특이점과 비자명한 헬름홀로픽 벡터 장에 적응한 수정된 형태를 적용한다.
• 포텐셜을 내부 및 외부 부분으로 분해하고, 결함 공간에 대한 사영을 통해 스칼라 곡률 방정식의 오차 항을 제어한다.
• 점근적 계수 $e(\Gamma_j)$ 가 0일 경우, $\varepsilon \to 0$ 의 극한을 취함으로써 $b_j$ 와 $c_j$ 사이의 정확한 관계를 유도하는 균형 조건을 도출한다.

실험 결과

연구 질문

• RQ1 고립된 몰입 특이점을 가진 컴팩트한 극대 켈러 오르비폴드가 어떤 조건에서 전역적으로 극대 켈러 해석을 지닐 수 있는가?
• RQ2 일정 스칼라 곡률 켈러(cscK) 오르비폴드 계량의 해석이 언제 cscK 계량을 지닐 수 있는가?
• RQ3 ALE 해석의 점근적 계수 $e(\Gamma_j)$ 와 $c(\Gamma_j)$ 는 전역 해석에서 cscK 계량 존재에 어떤 영향을 미치는가?
• RQ4 극대 벡터 장과 최대 토러스 $T$ 는 해석에서 불변 극대 계량을 구성하는 데 어떤 역할을 하는가?
• RQ5 cscK 계량에 대한 균형 조건은 군 $\Gamma_j$ 에 대해 대수적 또는 기하학적으로 어떻게 특징지을 수 있는가?

주요 결과

• 모든 고립된 몰입 특이점을 가진 컴팩트한 극대 켈러 오르비폴드와 스칼라 평탄한 ALE 켈러 해석이 존재할 경우, 충분히 작은 $\varepsilon$ 에 대해 해석에서 $\tilde{T}$-불변 극대 켈러 계량이 존재한다.
• 해석에서 cscK 계량의 존재는 ALE 계량의 점근 전개에서 주요 계수 $e(\Gamma_j)$ 가 0이 되는 것과 동치이며, 이는 정리 5.1에서 입증된다.
• 정확한 균형 조건이 유도되며, 이는 계수 $b_j$ 와 $c_j$ 사이의 관계로 표현된다: $c_j = b_j\left[\frac{1}{m}s_{\omega}\left(1+\frac{(m-1)^2}{m+1}\right)-\frac{\mathtt{c}_{4,j}}{2(m-1)|\mathbb{S}^{2m-1}|}\right]$, 이 조건이 충족되어야 cscK 조건이 성립한다.
• 매개변수 $\tilde{b}_j$, $C_j$, $\tilde{a}_l$ 에 대한 조정 조건이 명시적으로 도출되었으며, $\varepsilon \to 0$ 의 극한에서 해가 존재함을 보여, 스칼라 곡률 방정식의 해 존재성을 보장한다.
• 이 방법은 오르비폴드 설정에서 극대 문제의 장애 없음을 확인하며, 매끄러운 붓업 결과를 특이 오르비폴드와 ALE 해석으로 일반화한다.
• 이 논문은 오르비폴드의 해석에서 cscK 계량을 구성하는 데 있어 첫 번째 일반적 프레임워크를 제공하며, 국소 ALE 모델의 기하학적 특성에 명시적인 의존성을 포함한다.