[논문 리뷰] Ricci flat Kahler metrics with edge singularities

Simon Brendle|arXiv (Cornell University)|2011. 03. 28.

Geometry and complex manifolds참고 문헌 8인용 수 24

한 줄 요약

이 논문은 연속성 방법과 가중 Sobolev 추정을 사용하여 컴acts Kähler 다양체 내의 매끄러운 복소 초곡면을 따라 모서리 특이성을 가진 Ricci 평탄한 Kähler 계량을 구성한다. 주요 결과는 $ c_1(M) = (1 - \beta)c_1(\Lambda) $ 조건 하에서 존재를 보장하며, $ \beta \in (0, \frac{1}{2}) $ 이고, 유계 곡률과 배경 계량에 대해 균일하게 등가인 계량을 얻는다.

ABSTRACT

We construct Ricci flat Kahler metrics with cone singularities along a complex hypersurface. This construction is inspired in part by R. Mazzeo's program in the case of negative Einstein constant, and uses the linear theory developed recently by S. Donaldson.

연구 동기 및 목표

• 콤팩트 Kähler 다양체 내의 매끄러운 복소 초곡면을 따라 모서리 특이성을 가진 Ricci 평탄한 Kähler 계량의 존재를 확립하는 것.
• Donaldson의 선형 이론을 이용하여 콘 유사 행동을 보이는 특이 배경 계량으로 연속성 방법을 확장하는 것.
• 복소 Monge-Ampère 방정식에 대해 가중 Hölder 공간에서의 균일한 $ C^0 $, 라플라스 연산자 및 세 번째 도함수 추정을 증명하는 것.
• 결과로 얻어진 계량이 유계 곡률을 가지며, 배경 계량과 균일하게 등가임을 보이는 것.
• 공호 조건 $ c_1(M) = (1 - \beta)c_1(\Lambda) $ 하에서 존재 문제를 해결하고, Tian-Yau 형 구성의 일반화를 이루는 것.

제안 방법

• 홀로모르픽 단면 $ s $ 와 번들 메트릭 $ h $ 로부터 유도된 $ \omega = \omega_0 + \lambda \sqrt{-1} \partial\bar{\partial}(|s|_h^{2\beta}) $ 형태의 모서리 특이성을 가진 배경 계량 $ \omega $ 를 사용한다.
• 연속성 방법을 복소 Monge-Ampère 방정식 $ (\omega + \sqrt{-1} \partial\bar{\partial}u)^n = e^{tF - c} \omega^n $ 에 적용하여 $ t = 0 $ 에서 $ t = 1 $ 으로의 보간을 수행한다.
• 특이 집합 $ \Sigma $ 근처의 정규성을 제어하기 위해 가중 Hölder 공간 $ \mathcal{C}^{2,\alpha,\beta} $ 에서 Donaldson의 Schauder 추정을 적용한다.
• Jeffres의 최대 원리 기법을 활용하여 특이 배경 계량을 다루기 위해 Yau의 라플라스 및 곡률 추정을 적응한다.
• 특이 초곡면 $ \Sigma $ 근처에서 $ u $ 의 세 번째 계수 공변도함수의 점근적 행동을 유도하며, 이는 부록 A 의 핵심 보조 추정에 의존한다.
• 국소 좌표에서의 분포 이론 분석과 모델 계량과의 비교를 통해 $ C^0 $, 라플라스 및 $ C^2 $-유형 추정을 확립한다.

실험 결과

연구 질문

• RQ1 M \setminus \Sigma 에서 모서리 특이성을 가진 Ricci 평탄한 Kähler 계량이 존재하기 위한 공호 조건은 무엇인가?
• RQ2 모서리 각도가 $ 2\pi(1 - \beta) $ 인 특이 배경 계량으로 연속성 방법을 확장할 수 있는가?
• RQ3 해 $ u $ 와 그 도함수의 점근적 행동은 특이 초곡면 $ \Sigma $ 근처에서 정확히 어떻게 되는가?
• RQ4 모서리 특이 계량 하에서 곡률 추정은 어떻게 행동하며, 이를 유계로 유지할 수 있는가?
• RQ5 특이성이 존재하는 상황에서도 최대 원리를 적용하여 균일한 추정을 도출할 수 있는가?

주요 결과

• 조건 $ c_1(M) = (1 - \beta)c_1(\Lambda) $ 하에서 $ \beta \in (0, \frac{1}{2}) $ 이면, $ M \setminus \Sigma $ 에서 Ricci 평탄한 Kähler 계량 $ \hat{\omega} = \omega + \sqrt{-1} \partial\bar{\partial}u $ 가 존재함을 보였다.
• 해 $ u \in \mathcal{C}^{2,\alpha,\beta} $ 는 균일한 $ C^0 $-추정을 만족한다: $ \sup_M u - \inf_M u \leq C $.
• 계량 $ \hat{\omega} $ 는 배경 계량 $ \omega $ 와 균일하게 등가이다. 즉, 일정한 상수 $ a_1, a_2 > 0 $ 에 대해 $ a_1 \omega \leq \hat{\omega} \leq a_2 \omega $.
• 계량 $ \hat{\omega} $ 의 곡률 텐서는 유계이다: $ |\hat{R}|_{\hat{g}} = O(1) $ 이며, 점별 감쇠 $ |DR|_g \leq C \zeta|^{\varepsilon - \beta} $ 를 만족한다. 여기서 $ \varepsilon > 0 $.
• 특이 초곡면 근처에서 $ u $ 의 세 번째 공변도함수는 $ |\partial\bar{\partial}u|_{\nabla} = O(|\zeta|^{\alpha\beta}) $ 를 만족하여, 가중 Hölder 노름에서의 정규성을 보장한다.
• 방정식 $ (\omega + \sqrt{-1} \partial\bar{\partial}u)^n = e^{F - c} \omega^n $ 는 $ \mathcal{C}^{2,\alpha,\beta} $ 에서 해를 가지며, 연속성 방법이 완료된다.