[논문 리뷰] On the Fill-in of Nonnegative Scalar Curvature Metrics

Yuguang Shi, Wenlong Wang외 2명|arXiv (Cornell University)|2019. 07. 29.

Geometric Analysis and Curvature Flows참고 문헌 22인용 수 4

한 줄 요약

이 논문은 바르티닉 데이터 $(\Sigma^{n-1}, \gamma, H)$에 대해 비음성 스칼라 곡률(NNSC)를 가진 메트릭의 존재성을 조사하며, $\gamma$가 표준 메트릭과 동형일 경우 큰 평균 곡률 $H$ 또는 큰 총 평균 곡률 $\int H\,d\mu_\gamma$는 NNSC 메트릭의 존재를 금지함을 증명한다. 또한 $3 \leq n \leq 7$ 차원에서 $\theta$-불변량과 접합 기법을 활용하여 양성 스칼라 곡률(PSC) 메트릭의 존재에 대한 충분조건을 확립한다. 결과적으로 그로모프의 스칼라 곡률 기하학에서 평균 곡률의 경계에 대한 추측을 부분적으로 확인한다.

ABSTRACT

In the first part of this paper, we consider the problem of fill-in of nonnegative scalar curvature (NNSC) metrics for a triple of Bartnik data $(Σ,γ,H)$. We prove that given a metric $γ$ on $\mathbf{S}^{n-1}$ ($3\leq n\leq 7$), $(\mathbf{S}^{n-1},γ,H)$ admits no fill-in of NNSC metrics provided the prescribed mean curvature $H$ is large enough (Theorem ef{Thm: no fillin nonnegative scalar 2}). Moreover, we prove that if $γ$ is a positive scalar curvature (PSC) metric isotopic to the standard metric on $\mathbf{S}^{n-1}$, then the much weaker condition that the total mean curvature $\int_{\mathbf S^{n-1}}H\,\mathrm dμ_γ$ is large enough rules out NNSC fill-ins, giving an partially affirmative answer to a conjecture by Gromov (see P.\,23 in \cite{Gromov4}). In the second part of this paper, we investigate the $θ$-invariant of Bartnik data and obtain some sufficient conditions for the existence of PSC fill-ins.

연구 동기 및 목표

• 바르티닉 데이터 $(\Sigma^{n-1}, \gamma, H)$가 비음성 스칼라 곡률을 가진 메트릭을 갖는 조건을 규명하는 것.
• 평균 곡률 $H$와 총 평균 곡률 $\int H\,d\mu_\gamma$가 NNSC 메트릭의 존재를 방해하는 데서 차지하는 역할을 조사하는 것.
• 스칼라 곡률 기하학에서 평균 곡률의 경계에 대한 그로모프의 추측에 대해 부분적인 확립된 답변을 제공하는 것.
• 불변량 $\theta$와 기하학적 접합 기법을 사용하여 양성 스칼라 곡률(PSC) 메트릭의 존재에 대한 충분조건을 설정하는 것.
• 3차원에서의 결과를 $3 \leq n \leq 7$ 차원으로 확장하여 스칼라 곡률 메트릭의 메트릭 문제를 다루는 것.

제안 방법

• 스칼라 곡률가 양성인 초기 메트릭을 구축하기 위해 슈바르츠실트 목 구조를 사용한다. 이 메트릭은 경계의 평균 곡률를 정의된 바와 같이 설정한다.
• 경계 데이터가 일치하는 두 개의 PSC 메트릭을 초면을 따라 접합하는 절차를 적용하여, 양성 스칼라 곡률를 유지하는 방식으로 메트릭을 결합한다.
• 바르티닉 데이터에 대해 PSC 메트릭의 존재 여부를 특징짓기 위해 $\theta$-불변량을 활용한다.
• 표준 메트릭과 동형인 $\mathbf{S}^{n-1}$ 상의 양성 스칼라 곡률 메트릭의 동형류를 활용하여 서로 다른 경계 메트릭을 연결한다.
• 양성 상수로 스케일링된 메트릭 간에 PSC 메트릭의 존재를 전달하기 위해 스케일링 변환 기법을 적용한다.
• 부드러운 접합을 촉진하기 위해, 와핑 곡률을 갖는 $\delta$-근접 이웃 영역이 존재함을 이용한다.

실험 결과

연구 질문

• RQ1 경계 메트릭 $\gamma$가 표준 메트릭과 동형일 경우, 삼중체 $(\Sigma^{n-1}, \gamma, H)$는 어떤 조건에서 비음성 스칼라 곡률를 가진 메트릭을 갖는가?
• RQ2 점별 평균 곡률 $H$가 충분히 클 경우, $\Sigma^{n-1} = \mathbf{S}^{n-1}$에 대해 NNSC 메트릭의 존재가 금지되는가?
• RQ3 만약 $\gamma$가 양성 스칼라 곡률를 가지며 표준 메트릭과 동형일 경우, 총 평균 곡률 $\int_{\mathbf{S}^{n-1}} H\,d\mu_\gamma$가 크다면 NNSC 메트릭의 존재가 금지되는가?
• RQ4 $\theta$-불변량에 대한 어떤 조건이 바르티닉 데이터에 대해 PSC 메트릭의 존재를 보장하는가?
• RQ5 만약 $\gamma_1$이 음성 평균 곡률를 갖는 PSC 메트릭을 가진다면, $\gamma_0$와 $\gamma_1$이 $\mathbf{S}^{n-1}$ 상의 PSC 메트릭 공간에서 동형일 경우, $\gamma_0$에 대해 PSC 메트릭을 구성할 수 있는가?

주요 결과

• 만약 $H$가 충분히 크다면 $\mathbf{S}^{n-1}$ 상에서 $3 \leq n \leq 7$일 경우 $(\mathbf{S}^{n-1}, \gamma, H)$는 비음성 스칼라 곡률를 가진 메트릭을 갖지 못한다.
• 만약 $\gamma$가 $\mathbf{S}^{n-1}$ 상의 양성 스칼라 곡률 메트릭이며 표준 메트릭과 동형일 경우, 총 평균 곡률 $\int_{\mathbf{S}^{n-1}} H\,d\mu_\gamma$가 크다면 NNSC 메트릭의 존재가 금지된다. 이는 그로모프의 추측에 대한 부분적인 확인을 제공한다.
• $\gamma_0$와 $\gamma_1$이 $\mathbf{S}^{n-1}$ 상의 PSC 메트릭 공간에서 동형일 경우, $(\Sigma^{n-1}, \gamma_1, -H_1)$가 $H_1 < \left(\frac{n-1}{n-2}\min R_{\gamma_1}\right)^{1/2}$ 조건을 만족하는 PSC 메트릭을 가진다면, $(\Sigma^{n-1}, \gamma_0, H)$는 모든 $H < \left(\frac{n-1}{n-2}\min R_{\gamma_0}\right)^{1/2}$에 대해 PSC 메트릭을 갖는다.
• $(\Sigma^{n-1}, \gamma, -H)$에 대해 PSC 메트릭이 존재하고 $H$가 양의 상수일 경우, 조건 $R_\gamma > \frac{n-2}{n-1}H^2$ 하에 $(\Sigma^{n-1}, \gamma, 0)$에 대해서도 PSC 메트릭이 존재함을 의미한다.
• $\delta$-근접 이웃 영역에 와핑 곡률 메트릭 $g = dr^2 + q(r)\gamma_1$이 존재하면, 경계 슬라이스를 따라 PSC 메트릭의 부드러운 접합을 구축할 수 있다.
• $\theta$-불변량은 PSC 메트릭의 존재에 대한 충분조건를 제공하며, 3차원에서의 결과를 고차원으로 일반화한다.