[논문 리뷰] The Kähler metric of a blow-up

Dmitri Bykov|arXiv (Cornell University)|2013. 07. 10.

Geometry and complex manifolds참고 문헌 10인용 수 6

한 줄 요약

이 논문은 $m \geq 3$ 인 경우 $\mathds{CP}^1$ 위의 선다발 $\mathcal{O}(-m)$ 의 전체공간에 대해 渐近적으로 국소적으로 쌍곡적인 켈러-아인슈타인 계량을 구축한다. 이는 예외적인 $\mathds{CP}^1$ 초면 주변에서 형태 $K = a\log x + b x^m + \cdots$ 를 갖는 $U(2)$-불변 켈러 포텐셜을 사용한다. 핵심 결과는 이러한 계량이 존재하며, 체른-바일 공식과 호환되며, 정수 위상수학적 불변량과 렌즈 공간 경계 구조를 위해 $m \geq 3$ 가 필요하다는 것이다.

ABSTRACT

After a review of the general properties of holomorphic spheres in complex surfaces we describe the local geometry in the vicinity of a CP^1 embedded with a negative normal bundle. As a by-product, we build (asymptotically locally hyperbolic) Kahler-Einstein metrics on the total spaces of the line bundles O(-m), m >= 3 over CP^1. We check that the behavior of the Kahler potential is compatible with the Chern-Weil formulas for the Euler characteristic and signature. We also describe two supersymmetric setups where relevant constructions arise.

연구 동기 및 목표

• $m \geq 3$ 인 경우 $\mathds{CP}^1$ 위의 $\mathcal{O}(-m)$ 의 전체공간에 대해 명시적인 켈러-아인슈타인 계량을 구축하는 것.
• 복소 표면 내에서 음의 정규 번들 $\mathcal{O}(-m)$ 을 가진 $\mathds{CP}^1$ 임베딩 주변의 국소 기하학을 이해하는 것.
• 켈러 포텐셜의 점점 가까운 행동 $K = a\log x + b x^m + \cdots$ 가 오일러 특성수와 표준형과 같은 위상수학적 불변량과 호환되는지 확인하는 것.
• $U(2)$ 대칭이 켈러 포텐셜을 미분방정식으로 줄이고 계량의 구조를 단순화시키는 데서의 역할을 명확히 하는 것.

제안 방법

• $x = |z_1|^2 + |z_2|^2$ 에만 의존하는 $U(2)$-불변 켈러 포텐셜을 가정하여 문제를 미분방정식으로 줄이는 것.
• 비어베인 형식을 사용하여 $Q(x) = xK'(x)$ 를 이용해 계량을 유도하고, $S^3 = SU(2)$ 위의 왼쪽 불변 1형식으로 선형 요소를 표현하는 것.
• 체른-바일 이론을 적용하여 오일러 특성수와 표준형이 정수로 나오기 위해 $m$ 이 정수여야 한다는 조건을 도출하는 것.
• $\mathbf{dP}_1$ 과 $\mathds{C}^2/\mathbb{Z}_2$ 를 블로우업으로서 실현함으로써 물리적이고 기하학적인 동기를 제공하는 것.
• $m \geq 2$ 인 경우 좌표에 대한 $\mathbb{Z}_m$ 동치관계 $(z_1,z_2) \sim e^{2\pi i/m}(z_1,z_2)$ 를 도입하여, 렌즈 공간 경계 $S^3/\mathbb{Z}_m$ 를 확보하는 것. 이는 위상수학적 양자화와 일관된다.
• 점점 가까운 켈러 포텐셜 $K \sim a\log x + b x^m$ 가 비퇴화된 켈러 계량을 만들어 내며, $x=0$ 근처에서 계량의 퇴화를 제거함을 검증하는 것.

실험 결과

연구 질문

• RQ1 $m \geq 3$ 인 경우 $\mathcal{O}(-m)$ 의 전체공간에 대해 켈러-아인슈타인 계량을 명시적으로 구축할 수 있는가?
• RQ2 U(2)-불변 조건 하에서 예외적인 $\mathds{CP}^1$ 초면 주변의 켈러 포텐셜의 정확한 점점 가까운 형태는 무엇인가?
• RQ3 왜 위상수학적 자료(오일러 특성수, 표준형)는 $m$ 이 정수여야 하고, 어떤 값이 허용되는가?
• RQ4 $m \geq 2$ 인 경우 경계 구조가 $S^3$ 에서 $S^3/\mathbb{Z}_m$ 로 어떻게 변화하며, 그 기하학적 의미는 무엇인가?
• RQ5 $U(2)$ 대칭이 켈러 포텐셜과 계량 구조를 단순화시키는 데서 물리적이고 기하학적인 역할은 무엇인가?

주요 결과

• $m \geq 3$ 인 경우, $\mathcal{O}(-m)$ 의 전체공간에 대해 켈러-아인슈타인 계량이 존재하며, $x \to 0$ 일 때 점점 가까운 켈러 포텐셜 형태로 $K = a\log x + b x^m + \cdots$ 를 갖는다.
• 계량은 점점 국소적으로 쌍곡적이며, $\mathds{C}^2$ 의 단위 공의 경계 근처에서 로바체프스키 계량에 수렴한다.
• 체른-바일 이론에 의한 정수 오일러 특성수와 표준형 요구 조건은 $m$ 이 정수여야 하며, 일관성을 위해 $m \geq 3$ 가 필수적이다.
• 좌표의 $\mathbb{Z}_m$ 동치관계로 인해 공간의 경계는 $S^3$ 가 아니라 $S^3/\mathbb{Z}_m$ 인 렌즈 공간이 된다.
• $U(2)$-불변성은 켈러 포텐셜을 $x = |z_1|^2 + |z_2|^2$ 의 함수로 줄이며, 계량을 미분방정식의 체계로 단순화시킨다.
• 켈러 포텐셜의 보정 항 $b x^m$ 은 단지 $\log x$ 항만으로 인해 발생할 수 있는 계량의 퇴화를 제거한다.