[논문 리뷰] Metrics with cone singularities along normal crossing divisors and holomorphic tensor fields

F. Campana, Henri Guenancia외 1명|arXiv (Cornell University)|2011. 04. 26.

Geometry and complex manifolds인용 수 90

한 줄 요약

이 논문은 콘 특이성을 가진 단순 정규교차 분할선을 따르는 컴acts Kähler 다양체 위에서, 콘 각도에 대한 기술적 조건 하에 Kähler-Einstein 계량이 존재함을 확립한다. 몽헤-암페르 방정식과 곡률 추정을 통해, Lichnerowicz와 Kobayashi의 힐로모르픽 텐서 장 이론을 특이성 있는 설정으로 확장하여, $K_X + D$의 부호에 따라 텐서 장의 소멸 또는 평행성 증명을 한다. 주요 기여는 이러한 계량의 구축 및 log-smooth klt 쌍에 대한 텐서 장 이론에의 응용이다.

ABSTRACT

We prove the existence of non-positively curved K\\"ahler-Einstein metrics with cone singularities along a given simple normal crossing divisor on a compact K\\"ahler manifold, under a technical condition on the cone angles, and we also discuss the case of positively-curved K\\"ahler-Einstein metrics with cone singularities. As an application we extend to this setting classical results of Lichnerowicz and Kobayashi on the parallelism and vanishing of appropriate holomorphic tensor fields.

연구 동기 및 목표

• 컴팩트 Kähler 다양체 위에서 단순 정규교차 분할선을 따라 콘 특이성을 가진 Kähler-Einstein 계량을 구축하는 것.
• 특히 $K_X + D$가 양성 또는 음성일 경우에 해당 계량이 존재할 조건을 확립하는 것.
• 힐로모르픽 텐서 장에 대한 고전적 결과—특히 그 소멸성 및 평행성—을 매끄럽지 않은 다양체의 설정에서 log-smooth klt 쌍의 특이성 설정으로 확장하는 것.
• 분할선 근처에서 계량의 점근적 행동을 분석하고, 특이성 있는 맥락에서 곡률 추정을 증명하는 것.
• 유계성 조건을 콘 계량에 대해 적용하여 힐로모르픽 텐서 장 이론을 기하학적 오비폴드로 일반화하는 것.

제안 방법

• 분할선 $D$를 따라 정해진 특이성을 가진 체적 형식 $\mu_D$를 갖는 복소 몽헤-암페르 방정식 $(\omega + dd^c\varphi)^n = e^{f + \lambda\varphi} \mu_D$ 를 $\lambda = 0$ 또는 $1$ 인 경우에 풀기.
• $\lambda = 0$ 인 경우, $\mu_D$의 $L^p$-적분 가능성 이론과 Kołodziej의 정리에 기반하여 연속적 해 $\varphi$를 확보함으로써, $X_0 = X \setminus \mathrm{Supp}(D)$ 위에서 잘 정의된 계량 $\omega_\infty = \omega + dd^c\varphi$ 의 존재를 보장한다.
• 분할선 외부에서 해 $\varphi$ 의 정칙성 증명을 위해 $\mathscr{C}^{0}$, 라플라스 연산자, $\mathscr{C}^{2,\alpha}$ 추정을 확립한다.
• 특이성 계량에 적응된 컷오프 절차와 보른 공식 기법을 활용하여 힐로모르픽 텐서 장을 분석한다.
• 정규교차 분할선에 적응된 좌표계를 사용하여 곡률 성분을 계산하고 계량의 라플라스 연산자 추정을 수행한다.
• 최대 원리와 곡률 비교 기법을 적용하여 특이성 맥락에서 Ricci 곡률을 아래로부터 유계화한다.

실험 결과

연구 질문

• RQ1 단순 정규교차 분할선이 있는 컴팩트 Kähler 다양체가 분할선을 따라 콘 특이성을 가진 Kähler-Einstein 계량을 갖기 위한 조건은 무엇인가?
• RQ2 콘 계량이 존재할 때, log-smooth klt 쌍 $(X,D)$ 위에서 힐로모르픽 텐서 장의 성질—예를 들어 소멸성 또는 평행성—은 어떻게 행동하는가?
• RQ3 콘 각도 $2\pi\tau_j$ 는 이러한 계량의 존재성과 곡률 성질을 결정하는 데 어떤 정확한 역할을 하는가?
• RQ4 힐로모르픽 텐서 장에 대한 고전적 Lichnerowicz와 Kobayashi 정리들은 콘 특이성을 가진 특이성 계량의 경우로 확장될 수 있는가?
• RQ5 정규교차 분할선을 따라 특이성을 가진 체적 형식을 갖는 몽헤-암페르 방정식의 해는 어떤 정규성과 점근적 행동을 가지는가?

주요 결과

• 콘 각도에 대한 기술적 조건 하에, 단순 정규교차 분할선을 따라 콘 특이성을 가진 Kähler-Einstein 계량의 존재성이 입증된다. 특히 $K_X + D$가 풍부하거나 반대편일 경우에 해당한다.
• $\lambda = 0$ 인 경우, Kołodziej의 $L^p$-적분 가능성 결과에 의해 몽헤-암페르 방정식은 고유한 연속 해 $\varphi_\infty$ 를 갖으며, 이는 $X_0 = X \setminus \mathrm{Supp}(D)$ 위에서 잘 정의된 계량 $\omega_\infty$ 를 이끌어낸다.
• 해 $\varphi_\infty$ 는 $X_0$ 에서 매끄럽고, 계량 $\omega_\infty$ 는 정규 부분에서 주어진 Ricci 곡률을 갖는 Kähler-Einstein 계량이다.
• 특이성 계량에 적응된 보른 공식과 컷오프 기법을 통해, $K_X + D$ 의 부호에 따라 힐로모르픽 텐서 장의 소멸성 또는 평행성을 증명할 수 있으며, 이는 고전적 결과를 일반화한다.
• 계량 $\omega_\infty$ 의 곡률은 당량의 의미에서 아래로부터 유계이며, 분할선 근처의 특이 좌표계에서 라플라스 추정이 확립된다.
• 이론은 기하학적 오비폴드로 확장되며, 여기서 힐로모르픽 텐서 장은 콘 계량에 대해 유계인 것으로 정의되며, 그 행동은 조인트 번들 $K_X + D$ 에 의해 제어된다.