[논문 리뷰] On Uniqueness of Conformally Compact Einstein Metrics with Homogeneous Conformal Infinity

Gang Li|arXiv (Cornell University)|2016. 12. 30.

Geometric Analysis and Curvature Flows참고 문헌 13인용 수 3

한 줄 요약

이 논문은 4차원 볼에서 비음의 곡률을 가진 등각적으로 컴act한 아인슈타인 계량이, 경계에서의 베르거 계량을 등각적 무한대로 가지며, 조건 $\frac{1}{4} < \frac{\lambda_1}{\lambda_2} < 4$ 를 만족할 경우 유일성을 확립한다. 중력 중심에서 출발하는 지선을 따라 아인슈타인 방정식의 점근적 분석과 대칭성 및 킬링 벡터장의 연장 기법을 활용하여, 이러한 계량이 등급변환을 제외한 유일성을 보이며, 곡률이 음이거나 0일 경우 페더슨의 구성과 일치함을 증명한다.

ABSTRACT

In this paper we show that for a Berger metric $\hat{g}$ on $S^3$, the non-positively curved conformally compact Einstein metric on the $4$-ball $B_1(0)$ with $(S^3, [\hat{g}])$ as its conformal infinity is unique up to isometries and it is the metric constructed by Pedersen \cite{Pedersen}. In particular, since in \cite{LiQingShi}, we proved that if the Yamabe constant of the conformal infinity $Y(S^3, [\hat{g}])$ is close to that of the round sphere then any conformally compact Einstein manifold filled in must be negatively curved and simply connected, therefore if $\hat{g}$ is a Berger metric on $S^3$ with $Y(S^3, [\hat{g}])$ close to that of the round metric, the conformally compact Einstein metric filled in is unique up to isometries.

연구 동기 및 목표

• 4차원 볼에서 주어진 동차 등각적 무한대를 가진 등각적으로 컴팩트한 아인슈타인 계량의 전역적 유일성을 확립하는 것.
• 점근적 아인슈타인 계량 전개를 이용하여 경계에서의 등각적 킬링 벡터장을 내부 다각형에서의 킬링 벡터장으로 연장하는 것.
• 대칭성과 곡률 제약 조건 하에서 이러한 계량이 등급변환을 제외하고 오직 페더슨의 계량뿐임을 보이는 것.
• 등각적 무한대의 야마베 상수가 구 표면의 그것과 가까울 경우, 메르카르의 다각형이 유일하게 결정됨을 증명하는 것.

제안 방법

• 중력 중심에서부터의 지선 정의 함수 $x = Ce^{-r}$ 를 활용하여 아인슈타인 방정식을 반경 방향 지선을 따라 경계값 문제로 환원하는 것.
• 아인슈타인 계량의 점근적 전개 기법을 적용하여 $\partial M$ 에서의 등각적 킬링 벡터장이 $M$ 에서 점근적으로 킬링 벡터장으로 연장됨을 보이는 것.
• 반경 방향 아인슈타인 방정식의 구조를 활용하여 감소된 상미분방정식계의 해 차이의 부호 분석에 기반한 모순 증명 기법을 사용하는 것.
• 유일한 중력 중심 $p_0$ 의 존재를 이용하여 모든 등급변환이 $p_0$ 를 고정함을 보장하고, 이로 인해 반경 대칭성으로의 환원을 가능하게 하는 것.
• 해의 차이의 부호 비교와 적분을 통한 경계값 문제 $(\ref{equn_BergerEinstein01})-(\ref{equn_BergerBV01})$ 의 분석을 통해 유일성을 증명하는 것.
• 비음의 곡률 조건 하에서, Wang(2020)의 정리 3.2를 활용하여 등각적 킬링 벡터장이 킬링 벡터장으로 연장됨을 보장하는 것.

실험 결과

연구 질문

• RQ1 베르거 계량을 등각적 무한대로 가지며 비음의 곡률을 가진 4차원 볼에서 등각적으로 컴팩트한 아인슈타인 계량이 유일하게 존재하는가?
• RQ2 곡률과 대칭성 조건 하에서 경계에서의 등각적 킬링 벡터장이 내부 다각형에서의 킬링 벡터장으로 연장될 수 있는가?
• RQ3 감소된 상미분방정식계의 해가 유일하면 아인슈타인 계량의 전역적 유일성도 보장되는가?
• RQ4 $\lambda_1/\lambda_2$ 의 비율이 어떤 조건일 경우, 등각적으로 컴팩트한 아인슈타인 계량이 등급변환을 제외하고 유일하게 존재하는가?

주요 결과

• 베르거 계량이 $S^3$ 에서 $\frac{1}{4} < \frac{\lambda_1}{\lambda_2} < 4$ 를 만족할 경우, 비음의 곡률을 가진 등각적으로 컴팩트한 아인슈타인 계량이 4차원 볼에서 존재할 수 있으며, 등급변환을 제외하고는 유일하다.
• $\frac{\lambda_1}{\lambda_2}$ 가 1에 가까울 경우, 계량은 유일하며 그레고리와 루의(1991) 섭동 해와 일치한다.
• 편평한 곡률이 비음이거나 0일 경우, 유일한 계량은 페더슨의 구성으로 명시적으로 주어진다.
• 점근적 아인슈타인 계량 전개와 곡률 가정에 기반하여 $\partial M$ 에서의 등각적 킬링 벡터장이 $M$ 에서의 킬링 벡터장으로 연장됨이 보장된다.
• 경계값 문제 $(\ref{equn_BergerEinstein01})-(\ref{equn_BergerBV01})$ 는 유일한 해를 가진다. 이는 도함수가 0이 아닌 간격에서 해의 차이의 부호 분석을 통해 증명된다.
• 중력 중심을 중심으로 한 지선 구는 등각적 무한대의 동차성으로 인해 킬링 벡터장이 생성하는 등급변환군에 관하여 불변인 동차 공간이다.