[논문 리뷰] Scalar curvature rigidity of geodesic balls in S^n

Simon Brendle, Fernando C. Marques|arXiv (Cornell University)|2010. 05. 16.

Geometric Analysis and Curvature Flows참고 문헌 10인용 수 12

한 줄 요약

이 논문은 반경이 $\pi/2$ 미만인 $n$-차원 구면 $S^n$의 지그로드릭 볼에 대해 스칼라 곡률의 강성 결과를 확립한다. 표준 메트릭의 작은 $W^{2,p}$-편미분을 고려할 때, 비음성 스칼라 곡률, 표준 메트릭보다 크거나 같은 경계 평균 곡률, 동일한 경계 메트릭을 갖는 임의의 리만 메트릭은 지그로드릭 볼이 적절히 열대에서 멀리 떨어져 있을 경우 표준 메트릭과 등록되어야 한다. 이 결과는 Min-Oo의 추측에 대한 반례들과 대조되며, 가중치 $f = x_{n+1}$를 사용한 가중 $L^2$-설정에서의 편미분 분석과 은직함수정리에 기반한다.

ABSTRACT

In this paper, we prove a scalar curvature rigidity result for geodesic balls in S^n. This result contrasts sharply with the recent counterexamples to Min-Oo's conjecture for the hemisphere (cf. [5]).

연구 동기 및 목표

• 지그로드릭 볼에 대해 스칼라 곡률과 경계 평균 곡률 제약 조건 하에서의 강성 결과를 확립하기.
• 반구에서 Min-Oo의 추측이 실패하는 이유와 더 작은 지그로드릭 볼에서는 성립하는 이유를 이해하기.
• 가중 $L^2$-프레임워크에서 표준 메트릭 근처의 메트릭에 대해 안정적인 강성 조건을 제공하기.
• 편미분 이론을 통해 $S^n$ 내의 컴팩트하고 볼록이 아닌 영역으로 양성 질량 정리 유형의 강성을 확장하기.
• 강성이 성립하는 날카로운 임계값 $c \geq 2/\sqrt{n+3}$ 를 특정하기, 반면 반구의 경우와는 다름을 명확히 하기.

제안 방법

• 표준 메트릭 $\overline{g}$ 근처의 메트릭 $g = \overline{g} + h$ 에 대해 스칼라 곡률과 경계 평균 곡률의 편미분 전개를 사용하기.
• 지그로드릭 볼의 기하학을 반영하는 함수 $f = x_{n+1}$ 를 가중치로 사용한 가중 $L^2$-추정을 적용하기.
• 경계를 유지하는 $W^{2,p}$-정규 리만 메트릭과 미분동형사상의 공간에서 은직함수정리를 적용하기.
• 리만 미분을 사용해 미분동형사상 작용을 선형화하고, 편미분 $h$ 를 발산이 없는 부분과 순수 추적(Trace) 부분으로 분해하기.
• 반드시 $|\overline{D}h|^2$, $|\overline{\nabla}(\text{tr}_{\overline{g}} h)|^2$, 그리고 경계 항을 포함하는 강성 부등식을 유도하여, $h$ 의 작음을 조건으로 $h \equiv 0$ 임을 보여주기.
• 경계 항 $\frac{1}{4}H_{\overline{g}}f + \partial_\nu f \geq 0$ 가 $c \geq 2/\sqrt{n+3}$ 일 때 성립함을 보이며, 이는 강성의 핵심 조건이다.

실험 결과

연구 질문

• RQ1 반구보다 작은 영역에 대해 Min-Oo의 추측이 실패하더라도, $S^n$ 내의 지그로드릭 볼에 대해 스칼라 곡률 강성이 성립하는가?
• RQ2 지그로드릭 볼 $\Omega = \{f \geq c\}$ 에 대해 강성이 성립하는 $c$ 의 최적 하한은 무엇인가?
• RQ3 $C^2$ 가 아닌 $W^{2,p}$-작은 편미분을 가정할 경우 강성이 확립될 수 있는가?
• RQ4 가중 $L^2$-추정에서 함수 $f = x_{n+1}$ 를 가중치로 선택할 경우 곡률 차이의 강성에 어떤 영향을 미치는가?
• RQ5 경계와 곡률에 대해 어떤 기하학적 조건이 성립할 경우 편미분 $h$ 가 식별적으로 0이 되는가?

주요 결과

• 지그로드릭 볼 $\Omega = \{f \geq c\}$ 에 대해 $c \geq 2/\sqrt{n+3}$ 이면, 표준 메트릭 $\overline{g}$ 에 대한 $W^{2,p}$-작은 편미분 $g$ 를 갖는 임의의 리만 메트릭이 $R_g \geq n(n-1)$ 과 $H_g \geq H_{\overline{g}}$ 를 만족할 경우, 경계를 고정하는 미분동형사상에 의해 $\overline{g}$ 와 등록되어야 한다.
• 반구($c=0$)에서는 반례들에 의해 강성이 실패함을 보여, $c \geq 2/\sqrt{n+3}$ 조건이 필수적임을 확인한다.
• 가중 $L^2$-추정에서 도출된 강성 부등식은 $\|h\|_{C^1}$ 이 충분히 작을 경우 편미분 $h = \varphi^*(g) - \overline{g}$ 가 0이 됨을 보장한다.
• 경계 항 $\frac{1}{4}H_{\overline{g}}f + \partial_\nu f \geq 0$ 는 정확히 $c \geq 2/\sqrt{n+3}$ 일 때 성립하며, 이는 에너지 함수의 강성에 필수적이다.
• 결과는 $g - \overline{g}$ 가 $p > n$ 인 $W^{2,p}$-노름에서 작을 경우에 더 약한 조건으로도 성립함을 보여, 더 넓은 메트릭 클래스로 강성을 확장한다.
• 증명은 미분동형사상 작용에 대해 은직함수정리를 적용하여 문제를 선형화된 방정식의 유일한 해가 자명한 해임을 보이는 것으로 귀결된다.