[논문 리뷰] Extremal metrics on Hartogs domains

Andrea Loi, Fabio Zuddas|arXiv (Cornell University)|2007. 05. 15.

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

한 줄 요약

이 논문은 강한 슈퍼컨벡시비티를 갖는 경계를 가진 하르톡스 도메인에 극단적 카이러 메트릭이 부여될 경우, 그 도메인은 복소 하이퍼볼릭 공간 $\mathbb{C}H^n$과 복소등장사상으로 등장하는 것임을 증명한다. 증명은 명시적인 카이러 메트릭 성분을 사용하여 스칼라 곡률과 극단성 조건을 분석하고, 스칼라 곡률이 반드시 일정함을 도출함으로써, 메트릭이 하이퍼볼릭 메트릭과 동치임을 결론 내린다.

ABSTRACT

An $n$-dimensional Hartogs domain $D_F$ with strongly pseudoconvex boundary can be equipped with a natural \K metric $g_F$. In this paper we prove that if $g_F$ is an extremal \K metric then $(D_F, g_F)$ is biholomorphically isometric to the $n$-dimensional complex hyperbolic space.

연구 동기 및 목표

• 하르톡스 도메인이 극단적 카이러 메트릭을 갖는 조건을 규명하는 것.
• 비콤팩트 복소다양체, 특히 하르톡스 도메인에서 극단적 메트릭이 기본 기하학적 구조를 유도하는지 조사하는 것.
• 강성 결과 수립: 하르톡스 도메인 $D_F$의 자연적 카이러 메트릭 $g_F$가 극단적일 경우, $D_F$는 반드시 $\mathbb{C}H^n$과 복소등장사상으로 등장해야 한다.
• 극단적 메트릭 이론을 콤팩트 경우를 초월하여 비콤팩트이고 강한 슈퍼컨벡시비티를 갖는 영역으로 확장하는 것.
• 곡률과 메트릭 성분 분석을 통해 하르톡스 도메인에서 극단적 메트릭을 특성화하는 것.

제안 방법

• 하르톡스 도메인 $D_F \subset \mathbb{C}^n$을 $[0, x_0)$에서 감소하는 매끄러운 함수 $F$로 정의하며, $x_0 \in \mathbb{R}^+ \cup \{\infty\}$이다.
• 카이러 형식 $\omega_F = \frac{i}{2}\partial\bar{\partial}\log\frac{1}{F(|z_0|^2) - \sum_{j=1}^{n-1}|z_j|^2}$로부터 카이러 메트릭 $g_F$를 구성한다.
• 강한 슈퍼컨벡시비티 조건, 즉 $(xF'(x)/F(x))'$의 양성과 동치인 조건을 사용하여 $\omega_F$가 카이러 형식임을 보장한다.
• 메트릭 $g_F$의 리치 곡률과 스칼라 곡률을 명시적으로 계산하며, 스칼라 곡률을 $\mathrm{scal}_{g_F} = -n(n+1) + G(F - \sum |z_j|^2)$로 표현한다. 여기서 $G = -L F / B$이다.
• 국소 좌표 공식 $\frac{\partial}{\partial \bar{z}_\alpha} \left( \mathrm{scal}_{g_F} \cdot g^{\beta\bar{\alpha}} \right) = 0$을 통해 극단성 조건을 적용한다. ($\alpha \neq \beta$).
• 결과적으로 $G = c/F$를 유도하며, 이후 $GF'x$의 두 번째 도함수 분석을 통해 상수 $c = 0$임을 보인다. 이는 스칼라 곡률가 일정함을 의미한다.

실험 결과

연구 질문

• RQ1 하르톡스 도메인 $D_F$가 극단적 카이러 메트릭을 갖는 조건은 무엇인가?
• RQ2 비콤팩트이고 강한 슈퍼컨벡시비티를 갖는 영역에서 극단적 카이러 메트릭이 기본 기하학적 구조를 유도할 수 있는가?
• RQ3 복소 하이퍼볼릭 공간 $\mathbb{C}H^n$은 극단적 메트릭을 갖는 하르톡스 도메인의 유일한 가능한 결과인가?
• RQ4 스칼라 곡률은 하르톡스 도메인에서 극단적 메트릭을 특성화하는 데 어떤 역할을 하는가?
• RQ5 극단성 조건이 부여되었을 때, 메트릭 구조 $g_F$는 함수 $F$를 어떻게 제약하는가?

주요 결과

• 메트릭 $g_F$가 하르톡스 도메인 $D_F$에서 극단적 카이러 메트릭일 경우, 스칼라 곡률 $\mathrm{scal}_{g_F}$는 반드시 일정해야 한다.
• 극단성 조건에서 유도된 조건 $G = c/F$는 $F$와 그 도함수에 의존하는 함수 $G$에 대해 성립한다.
• 상수 $c$는 $(xF'(x)/F(x))'$의 양성 조건에 의해 $c = 0$이어야 한다.
• 상수 $c = 0$이면 $G = 0$이 되므로, $\mathrm{scal}_{g_F} = -n(n+1)$이 되며, 이는 일정한 스칼라 곡률임을 의미한다.
• 스칼라 곡률의 일정성과 메트릭 $g_F$의 구조는 $(D_F, g_F)$가 하이퍼볼릭 메트릭을 지닌 $\mathbb{C}H^n$과 복소등장사상으로 등장함을 의미한다.
• 결과적으로 강성 결과가 도출되며, 극단적 카이러 메트릭을 갖는 유일한 하르톡스 도메인은 $\mathbb{C}H^n$과 복소등장사상으로 등장하는 도메인 뿐이다.