[논문 리뷰] On Conformally Kaehler, Einstein Manifolds

Xiuxiong Chen, Claude LeBrun외 1명|ArXiv.org|2007. 05. 07.

Geometry and complex manifolds참고 문헌 35인용 수 26

한 줄 요약

이 논문은 두 점에서 블로잉업한 $\ mathbb{C}\ mathbb{P}^2$로 얻어지는 복소 표면 $\ mathbb{C}\ mathbb{P}^2\#2\overline{\u005c mathbb{C}\ mathbb{P}}^2$가 킬러 계량에 대한 동치인 양의 리치 곡률을 가진 에인슈타인 계량을 가짐을 증명한다. 증명은 대칭 킬러 계량류에서의 극값 킬러 계량을 구성하고, 이를 그 스칼라 곡률의 역제곱으로 스케일링함으로써 에인슈타인 계량을 얻는 방식으로 진행되며, 컴act한 복소 표면이 허미티안 에인슈타인 계량을 가질 수 있는 분류를 완성한다.

ABSTRACT

We prove that any compact complex surface with positive first Chern class admits an Einstein metric which is conformally related to a Kaehler metric. The key new ingredient is the existence of such a metric on the blow-up of the complex projective plane at two distinct points.

연구 동기 및 목표

• 복소 표면 $\\mathbb{C}\\mathbb{P}^2\\#2\\overline{\\mathbb{C}\\mathbb{P}}^2$에 대해 양의 리치 곡률을 가진 허미티안 에인슈타인 계량의 존재를 확립한다.
• 컴 pact한 복소 표면이 허미티안 에인슈타인 계량을 가질 수 있는 분류에서 누락된 사례를 해결한다.
• 그러한 계량이 양의 스칼라 곡률을 가진 극값 킬러 계량의 등각 변환을 통해 유도됨을 보여준다.
• 복소 또는 심플렉틱 구조를 갖는 매끄러운 4차원 다양체가 양의 에인슈타인 계량을 가질 수 있는 조건을 완성한다.

제안 방법

• 임의의 컴 pact한 복소 표면에서 허미티안 에인슈타인 계량이 킬러 계량에 등각적이어야 하며, 스스로가 킬러가 아닐 경우에 한하여 이 성질이 성립한다는 사실을 활용한다.
• 극값 계량의 약한 컴 pact성에 기반한 변형 방법을 사용하여 $\ mathbb{C}\ mathbb{P}^2\#2\overline{\u005c mathbb{C}\ mathbb{P}}^2$에서 대칭 킬러 계량류에 속하는 극값 킬러 계량을 구성한다.
• Arezzo, Pacard, 그리고 Singer의 결과를 적용하여 $F_1 + F_2 - \epsilon E$ 형식의 킬러 계량류에서 극값 킬러 계량을 생성한다. 여기서 $F_1, F_2$는 피브어 클래스이고 $E$는 예외적 배럴이다. $\epsilon > 0$ 이며 충분히 작다.
• 극값 킬러 계량 $g$를 $h = s^{-2}g$로 변환하여 에인슈타인 계량 $h$를 얻는다. 여기서 $s$는 $g$의 스칼라 곡률이다.
• Chen와 Weber의 약한 컴 pact성 결과를 활용하여 기하학적 붕괴 상황에서 극값 계량의 수열 수렴을 제어한다.
• 토닉 대칭성과 킬러 콘의 구조를 활용하여 소볼레프 상수를 제어하고 극한에서 버블링 현상을 방지한다.

실험 결과

연구 질문

• RQ1 복소 표면 $\\mathbb{C}\\mathbb{P}^2\\#2\\overline{\\mathbb{C}\\mathbb{P}}^2$는 양의 리치 곡률을 가진 허미티안 에인슈타인 계량을 가질 수 있는가?
• RQ2 양의 $c_1 > 0$ 을 가진 비-킬러-에인슈타인 파노 표면에서 conformally Kähler, Einstein 계량을 구성할 수 있는가?
• RQ3 $\\mathbb{C}\\mathbb{P}^2\\#2\\overline{\\mathbb{C}\\mathbb{P}}^2$에서 이러한 계량의 존재가 컴 pact한 복소 표면이 허미티안 에인슈타인 계량을 가질 수 있는 분류를 완성하는 데 충분한가?
• RQ4 극값 킬러 계량이 복소 표면에서 conformally Kähler 에인슈타인 계량을 구성하는 데 어떤 역할을 하는가?
• RQ5 양의 $c_1 > 0$ 을 가진 비자명한 컴 pact한 복소 표면 중에서 에인슈타인 계량을 가지지만 킬러-에인슈타인 계량은 가지 않는 예가 존재하는가?

주요 결과

• 복소 표면 $\\mathbb{C}\\mathbb{P}^2\\#2\\overline{\\mathbb{C}\\mathbb{P}}^2$는 양의 리치 곡률을 가진 허미티안 에인슈타인 계량을 가지며, 이는 정리 A의 증명이다.
• 이 계량은 스칼라 곡률 $s$가 양수인 극값 킬러 계량 $g$에 등각적이며, $h = s^{-2}g$ 를 만족한다.
• 이러한 계량의 존재는 허미티안 에인슈타인 계량을 가질 수 있는 컴 pact한 복소 표면의 분류를 완성한다. 이는 추론 1에 의해 확인된다.
• 결과적으로, 매끄러운 4차원 다각형이 양의 에인슈타인 계량을 가질 수 있음이 알려지며, 이는 $\ mathbb{C}\ mathbb{P}^2\#k\overline{\u005c mathbb{C}\ mathbb{P}}^2$ ($0 \leq k \leq 8$) 또는 $S^2 \times S^2$ 와 온전히 미분 동치일 경우에 해당한다. 이는 추론 2에 따른다.
• 논문은 첫 번째 체른 클래스 $c_1(M)$가 비록 대칭 킬러 계량류 $x=1$이지만, Proposition 27의 구간 $(0,L)$ 내에 위치하므로, 극값 킬러 계량의 킬러 계량류임을 확인한다.
• 이러한 구성은 $\ mathbb{C}\ mathbb{P}^2\#2\overline{\u005c mathbb{C}\ mathbb{P}}^2$에서 대칭 킬러 계량류의 넓은 범위에서 극값 킬러 계량이 존재함을 확인하며, 대칭 설정에서의 포괄적 존재 결과의 가능성에 대한 확인을 제공한다.