[논문 리뷰] Scalar Curvature of Manifolds with Boundaries: Natural Questions and Artificial Constructions

Misha Gromov|arXiv (Cornell University)|2018. 11. 10.

Geometric Analysis and Curvature Flows참고 문헌 1인용 수 20

한 줄 요약

이 논문은 스칼라 곡률의 경계 조건 하에서 경계를 가진 리만다이안 다양체 위의 기하학적 제약 조건을 연구하며, 스피너 기하학과 디랙 연산자 기법을 사용하여 경계의 평균 곡률, 스칼라 곡률, 그리고 경계의 초구반지름 사이의 날카운 불등식을 유도한다. 주요 결과는 스피너 다양체에서 스칼라 곡률이 음이 아닌 경우, 경계 평균 곡률의 하한이 $\frac{n-1}{\mathrm{Rad}_{S^{n-1}}(Y)}$ 이하로 제한됨을 보이며, 등호는 유클리드 공에서 성립한다. 이 결과는 곱 구조를 통해 음의 스칼라 곡률로도 확장된다.

ABSTRACT

We present several problems and results relating the scalar curvatures of manifolds with mean curvatures of their boundaries

연구 동기 및 목표

• 닫힌 리만다이안 다양체 $Y$와 함수 $M$이 주어졌을 때, $\mathrm{Sc}(X) \geq \sigma$ 및 $\partial X$에서 평균 곡률이 $M$인 컴acts한 다양체 $X$를 경계로 가지기 위한 필요 및 충분한 기하학적 조건을 규명하는 것.
• 특히 스피너 다양체에서 $\partial X$에서의 큰 평균 곡률이 비음성 스칼라 곡률을 갖는 채움을 금지하는지 조사하는 것.
• 특히 $\sigma = 0$일 경우, 경계의 기하학과 스칼라 곡률 경계 $\sigma$에 따라 이러한 채움 $X$의 부피에 대한 하한을 설정하는 것.
• 모서리가 있는 다양체에서 이면각 제약 조건과의 유사성을 탐색하며, 극값 기하학에 대한 추측에 기반하여 제안하는 것.

제안 방법

• 경계가 $Y$인 스피너 다양체 $X$의 듀얼 $X \cup_Y X$를 사용하여, 양의 곡률 연산자 조건을 갖는 메트릭에 대해 Goette-Semmelmann의 극값 정리를 적용한다.
• 스펙트럼 이론을 활용하여, 양의 곡률 연산자 조건을 갖는 구 $S^n$에 대한 반경 방향 메트릭을 갖는 구로 듀얼을 매핑한다.
• $X \times S^m(R)$에 $R = \sqrt{m(m-1)/\sigma}$를 적용하여 $\mathrm{Sc} < 0$의 경우를 도출하기 위해 불등식 $[\mathrm{mean}]_{\mathrm{Sc} \geq 0}$를 적용한다.
• 경계의 크기를 측정하기 위해, 거리 감소 및 차수 비영인 사상이 존재하는 구로 정의된 초구반지름 $\mathrm{Rad}_{S^{n-1}}(Y)$를 도입한다.
• 유클리드 공과 같은 극한 경우를 고려하며, 스칼라 곡률과 평균 곡률 제약 조건 하에서의 강성에 대해 연구한다.
• 내재 평탄 수렴과 차수 이론을 사용하여, 스칼라 곡률이 구의 것에 수렴하는 다양체의 부피 경계 및 안정성에 대한 추측을 제안한다.

실험 결과

연구 질문

• RQ1 컴 pact한 다양체 $X$의 경계 $Y$에서 충분히 큰 평균 곡률은 $\mathrm{Sc}(X) \geq 0$ 조건을 만족하는 채움을 금지하는가?
• RQ2 경계 기하학과 평균 곡률에 따라, $\mathrm{Sc}(X) \geq \sigma$인 채움 다양체 $X$의 부피에 대해 보편적인 하한이 존재하는가?
• RQ3 특히 $\mathrm{Sc}(X) \geq 0$일 경우, 모서리가 있는 다양체의 이면각이 스칼라 곡률과 경계 기하학에 따라 상한으로 제한될 수 있는가?
• RQ4 스칼라 곡률의 음이 아닌 조건과 점근 평탄성 하에서 유클리드 공간의 강성이 유지되는가? 이는 Witten의 양의 질량 정리와 어떻게 관련되는가?
• RQ5 $\mathrm{Sc}(X) \geq -\varepsilon$, $\mathrm{Rad}_{S^{n-1}}(\partial X) \geq 1$, $\mathrm{mean.curv}(\partial X) \geq n-1$ 조건을 만족하는 다양체에 대해 체적 비교를 설정할 수 있는가?

주요 결과

• 차원 $n$인 컴팩트하고 옹호된 스피너 다양체 $X$에서 $\mathrm{Sc}(X) \geq -\sigma$일 경우, $\partial X$에서 평균 곡률의 하한은 모든 $m \geq 2$에 대해 $\inf_{y \in Y} \mathrm{mean.curv}(Y,y) \leq \max\left(\frac{n+m-1}{\mathrm{Rad}_{S^{n-1}}(Y)}, \sqrt{\frac{\sigma}{m(m-1)}}\right)$를 만족하며, 유클리드 공에서 등호가 성립한다.
• 스칼라 곡률이 음이 아닌 경우, 이 불등식은 $\inf_{y \in Y} \mathrm{mean.curv}(Y,y) \leq \frac{n-1}{\mathrm{Rad}_{S^{n-1}}(Y)}$로 단순화되며, 이는 날카로운 경계이며 $\mathbb{R}^n$의 공에서 달성된다.
• 불등식 $[\mathrm{mean}]_{\mathrm{Sc} \geq 0}$는 듀얼 구조를 사용하고, 양의 곡률 연산자 조건을 갖는 구로 매핑함으로써 Goette-Semmelmann의 정리를 기반으로 증명된다.
• 유클리드 공간의 강성이 제안된다: 만약 $X^+$가 컴팩트 집합 외부에서 $\mathbb{R}^n$과 등장하는 것으로서 $\mathrm{Sc}(X^+) \geq 0$이면, $X^+$는 $\mathbb{R}^n$과 등장할 것이다. 그러나 스무딩 오류로 인해 이는 완전히 증명되지 않았다.
• 추측으로서, $\mathrm{Sc}(X) \geq \sigma_n$일 경우, $X$에서 $S^n$으로의 부드러운 면적 감소 사상 중 $\partial X$의 콜라주를 한 점으로 압축하는 사상은 반드시 차수 0이어야 한다.
• 구 안정성 문제 제기: $\mathrm{Sc}(X_i) \to n(n-1)$ 이고 $\mathrm{Rad}_{S^n}(X_i) \to 1$ 이면, $X_i$는 내재 평탄 위상에서 $S^n$으로 수렴할 것이며, 얇은 다리가 붙을 수 있다.