[논문 리뷰] Scalar curvature rigidity for locally conformally flat manifolds with boundary

Fabian-Michael Spiegel|arXiv (Cornell University)|2015. 11. 19.

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

한 줄 요약

이 논문은 경계를 가진 컴팩트하고 국소적으로 등각 평탄한 다성분체에 대해 스칼라 곡률의 강성 정리를 확립한다. 스칼라 곡률 $\mathrm{Scal} \geq n(n-1)$ 이고 경계의 평균 곡률 $H(g) \geq \cot(\rho)$ 이며 경계가 표준 구면 $S^n$ 안의 지측 구($\rho$ 반경)와 등급일 때, 다성분체는 표준 구면 안의 지측 구 $\overline{D_\rho}$ 와 등급임을 증명한다. 증명은 등각 기하학, 개발 맵(developing map), 그리고 스테레오그래픽 투영과 하부해-상부해 비교를 통한 최대원리 추론을 사용한다.

ABSTRACT

Inspired by the work of F. Hang and X. Wang and partial results by S. Raulot, we prove a scalar curvature rigitidy result for locally conformally flat manifolds with boundary in the spirit of the well-known Min-Oo conjecture.

연구 동기 및 목표

• 국소적으로 등각 평탄한 경계를 가진 다성분체에 대해 스칼라 곡률과 평균 곡률의 경계 조건 하에서 강성 결과를 확립하기.
• 항등식 차원 및 위상적 제약 조건(예: $n=4,6$, $\chi(M)=1$)을 제거함으로써 허랑과 왕, 라울로의 이전 결과를 일반화하기.
• 자연스러운 곡률 및 경계 조건 하에서 이러한 다성분체가 표준 구면 $S^n$ 안의 지측 구와 등급임을 증명하기.
• 전역적으로 반구와의 등각 동치를 가정하지 않고도 민-옥의 추측을 국소적으로 등각 평탄한 설정으로 확장하기.

제안 방법

• 국소적으로 등각 평탄함을 이용해 다성분체를 $S^n$ 의 부분집합으로 올리는 개발 맵의 사용.
• 등각 변환 $g \mapsto u^{\frac{4}{n-2}}g$ 하에서 스칼라 곡률 및 평균 곡률 방정식의 등각 불변성 적용.
• 문제를 $\mathbb{R}^n$ 으로 옮기기 위해 스테레오그래픽 투영을 사용하며, 이 경우 메트릭은 $v^{\frac{4}{n-2}}\sum dx^i \otimes dx^i$ 가 된다.
• 상부해 $v$ 를 구성하고, 표준 구면 메트릭 $w$ 와 방정식 $-\Delta v \geq \frac{n(n-2)}{4} v^{\frac{n+2}{n-2}}$ 를 통해 비교하기.
• 최대원리와 호프 보조정리를 적용하여 $\partial B_r$ 에서 $v = w$ 를 도출함으로써 등급을 증명하기.
• 고립된 특이점 근처에서 $v \to \infty$ 임을 이용해 비자명한 등각 결함(즉, $\Lambda = \emptyset$)을 배제함.

실험 결과

연구 질문

• RQ1 국소적으로 등각 평탄한 경계를 가진 다성분체가 언제 $S^n$ 안의 지측 구와 등급이 되는가?
• RQ2 민-옥의 추측은 전역적으로 구와의 등각 동치를 가정하지 않고도 국소적으로 등각 평탄한 다성분체로 확장될 수 있는가?
• RQ3 경계 평균 곡률 조건 $H(g) \geq \cot(\rho)$ 는 강성에 어떤 역할을 하는가? 이 조건은 약화될 수 있는가?
• RQ4 $\rho \leq \pi/2$ 라는 가정이 최적인지이고, 왜 $\rho > \pi/2$ 에서는 실패하는가?
• RQ5 이전 결과에서 요구한 $\chi(M) = 1$ 또는 $n=4,6$ 의 가정 없이도 강성이 확립될 수 있는가?

주요 결과

• 조건 $\mathrm{Scal}(g) \geq n(n-1)$ 과 $H(g) \geq \cot(\rho)$, $\partial M \cong \Sigma_\rho$ 하에서 다성분체 $(M,g)$ 는 지측 구 $\overline{D_\rho} \subset S^n$ 과 등급이다.
• 경계 조건 $H(g) \geq \cot(\rho)$ 는 날카롭게 최적이며, 추가 가정 없이 약화될 수 없으며, $\rho \leq \pi/2$ 의 최적성으로 보여진다.
• 만약 $M$ 이 단순연결이고 $\rho = \pi/2$ 이면 평균 곡률 조건을 생략할 수 있으며, 허랑과 왕의 결과와 유사한 결과를 회복한다.
• 증명은 임의의 등각 결함(즉, 고립된 특이점)이 최대원리에 의해 모순을 일으킴을 보여, 메트릭이 전역적으로 표준 구면 메트릭과 등각임을 강제한다.
• 이 결과는 모든 $n \geq 3$ 에 대해 성립하며, 라울로 등이 이전에 제시한 결과에서 제거된 차원 및 위상적 제약 조건을 제거한다.
• 핵심 단계는 호프 보조정리를 통해 $\partial B_r$ 에서 $v = w$ 를 보이는 것으로, 이는 메트릭이 투영된 구 안에서 표준 구면 메트릭과 정확히 일치함을 강제한다.