[논문 리뷰] No metrics with Positive Scalar Curvatures on Aspherical 5-Manifolds

Misha Gromov|arXiv (Cornell University)|2020. 09. 11.

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

한 줄 요약

이 논문은 폐쇄된 비기하학적 5차원 다양체가 양의 스칼라 곡률을 가진 리만계량을 가질 수 없음을 증명한다. 안정된 μ-버블의 토리컬 대칭화와 전개된 $Τ^*$-확장에 의한 스칼라 곡률 안정화를 통해, 저자들은 이러한 다양체의 분할 덮개가 균일하게 약한 기하학적 성질을 가짐을 보이며, 이는 5차원 이하에서 양의 스칼라 곡률을 금지한다.

ABSTRACT

A metric space $X$ is called uniformly acyclic if there there exists an {\it acyclicty control function} $R=R(r)=R_X(r)\geq r $, $0\leq r 0$ for $dim (X)\leq 5$. Our argument, that depends on {\it torical symmetrization} of {\it stable $μ$-bubbles}, is inspired by the recent paper by Otis Chodosh and Chao Li on non-existence of metrics with $Sc>0$ on aspherical 4-manifolds and is also influenced by the ideas of Jintian Zhu and Thomas Richard.

연구 동기 및 목표

• 기하학적으로 비기하학적 5차원 다양체에 대해 양의 스칼라 곡률 계량이 존재하지 않음을 확립하기 위해.
• 4차원에서의 양의 스칼라 곡률가 존재하지 않는 결과를 4차원에서 5차원으로 확장하기 위해.
• 새로운 기하학적 및 분석적 기법을 사용하여 Chodosh-Li 정리의 4차원 다양체에 대한 일반화를 위해.
• 균일한 약한 기하학성과 메시의 반경 한계가 양의 스칼라 곡률을 차단하는 데 어떤 역할을 하는지 조사하기 위해.
• 스칼라 곡률의 기하학적 제어를 바탕으로 고차원 기하학적으로 비기하학적 다양체에 대한 추측을 제안하기 위해.

제안 방법

• 반복적인 전개된 곱 확장 $X^* = X \times \mathbb{R}^N$와 전개 함수 $\phi_i(x)$를 사용하여 스칼라 곡률의 $Τ^*$-안정화를 도입한다.
• 공식 $Sc(g^*) = Sc(g) - 2\sum \frac{\Delta \phi_i}{\phi_i} - 2\sum \langle \nabla \log \phi_i, \nabla \log \phi_j \rangle$ 를 사용하여 $X^*$에서의 스칼라 곡률를 $X$에서의 스칼라 곡률와 연결한다.
• 리만 다이어그램에서 안정된 $\mu$-버블의 토리컬 대칭화를 적용하여 스칼라 곡률의 상한 하에서 기하학적 불변량을 제어한다.
• 기하학적으로 비기하학적 다양체의 분할 덮개가 균일하게 약한 기하학적 성질을 가짐(실제로는 균일하게 수축 가능함)이라는 사실에 의존한다.
• 메시의 반경과 Uryson 폭의 한계를 사용하여, 안정화된 스칼라 곡률 $\geq \sigma > 0$ 조건 하에서 기하학적 제약 조건을 유도한다.
• Chodosh-Li(2020)와 Zhu/Richard(2019)의 기법을 변형하여 그 결과를 5차원으로 확장한다.

실험 결과

연구 질문

• RQ1 기하학적으로 비기하학적 5차원 다양체에 양의 스칼라 곡률 계량이 존재할 수 있는가?
• RQ2 5차원에서 양의 스칼라 곡률를 차단하는 분할 덮개의 기하학적 성질은 무엇인가?
• RQ3 $Τ^*$-안정화가 양의 스칼라 곡률가 존재하지 않는 정리를 증명하는 데 어떻게 기여하는가?
• RQ4 메시의 반경과 Uryson 폭의 한계가 안정화된 스칼라 곡률 $\geq \sigma > 0$ 조건을 만족하는 다양체를 어느 정도 제약하는가?
• RQ5 5보다 큰 차원에 대해 양의 스칼라 곡률가 존재하지 않는 결과의 고차원 일반화가 존재하는가?

주요 결과

• 모든 $m$-차원 다양체에서 $m \leq 5$ 이며, 균일하게 약한 기하학적 $m$-다양체로의 거리 감소 사상이 존재하는 완전한 옹호적 $m$-다양체는 균일하게 양의 스칼라 곡률를 가질 수 없다.
• 기하학적으로 비기하학적 5차원 다양체의 분할 덮개는 균일하게 약한 기하학적 성질을 가지며, 이는 이러한 다양체가 $Sc > 0$ 를 만족하는 계량을 가질 수 없음을 의미한다.
• 폐쇄된 표면에 대해, 전개된 $\mathbb{T}^N$-확장에서 $Sc^* \geq \sigma$ 이면 $\text{diam}(X) \leq 2\pi \sqrt{(N+1)/((N+2)\sigma)} < 2\pi / \sqrt{\sigma}$ 이다.
• 전개된 $\mathbb{T}^N$-확장에서 $Sc^* \geq 2$ 를 만족하는 폐쇄된 표면 $X$의 면적은 $\text{area}(X) \leq 4\pi$ 를 만족하며, Jintian Zhu의 결과와 일치한다.
• 증명은 코드림 2에서의 안정된 $\mu$-버블과 토리컬 대칭화에 기반하며, Chodosh-Li와 Zhu의 아이디어를 확장한다.
• $m=6$에 대해 추측을 제안하며, 분할 덮개가 코드림 1에서 균일하게 약한 기하학적 성질을 가져야 하거나, $Sc \geq \sigma > 0$ 를 만족하는 다양체의 메시 반경이 $O(1/\sqrt{\sigma})$ 이하로 제한되어야 한다고 한다.