[논문 리뷰] Cheeger-Gromov compactness for manifolds with boundary

Olaf Müller|arXiv (Cornell University)|2018. 08. 20.

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

한 줄 요약

이 논문은 경계를 가진 점지향 리만다이안 다양체 수열에 대해 $(c,k+1)$-유계 기하학 조건이 성립할 때, 높이 함수를 통해 해밀턴의 경계가 없는 컴팩트성 정리로 문제를 환원함으로써, 체거-그로모프 컴팩트성의 성립을 보장한다. 핵심 결과는 기저점에서 경계까지의 거리가 일관되게 유계일 경우, 이러한 수열이 $C^k$-하향 수렴을 통해 경계를 가진 극한 다양체로 수렴한다는 것이다.

ABSTRACT

We prove Cheeger-Gromov convergence for a subsequence of a given sequence of manifolds-with-boundary of bounded geometry. The method of the proof is to reduce, via height functions, the problem to the setting of Hamilton's compactnes theorem for manifolds without boundary.

연구 동기 및 목표

• 경계가 있는 리만다이안 다양체 수열에 대해 체거-그로모프 컴팩트성을 확립함으로써, 경계가 없는 다양체에 대한 기존 결과를 확장한다.
• 이전의 경계가 있는 다양체에 대한 컴팩트성 결과에서의 직경 유계성과 고정된 위상의 부재 문제를 해결한다.
• 기하학적 조건이 $(c,k+1)$-유계일 경우, 극한 다양체가 비유계일 수 있더라도 $C^k$-하향 수렴이 성립함을 보인다.
• 기저점에서 경계까지의 거리가 일관되게 유계일 경우, 극한 다양체가 비어 있지 않은 경계를 가짐을 보장한다.

제안 방법

• 각 다양체 $M_i$ 위에 높이 함수 $f_i$를 구성함으로써, 경계가 있는 경우의 컴팩트성 문제를 경계가 없는 경우로 환원한다.
• 정규 지수 사상(정규 지수 매핑)을 이용해 각 $M_i$를 더 큰 경계가 없는 다양체 $X_i$로 확장함으로써 기하학적 유계 조건을 유지한다.
• 확장된 수열 $(X_i, ar{g}_i, x_i^0, f_i)$ 에 해밀턴의 컴팩트성 정리를 적용하여, 확장된 다양체와 높이 함수의 $C^k$-수렴을 확보한다.
• 높이 함수의 기울기 흐름을 통해 미분동형사상 $D_i^r$을 구성함으로써, $X_i^{f_i}$(하향 집합)에서의 $C^k$-수렴을 유도하며, 이는 원래의 $M_i$에 대응한다.
• 측지선 보간을 사용해 미분동형사상을 보정함으로써, 컴팩트 부분집합에서 $C^k$-위상으로의 수렴을 보장한다.
• 곡률, 임의성 반경, 제2 기본형의 일관된 유계 조건을 활용하여, 리만다이안 계량과 그 도함수들의 수렴을 제어한다.

실험 결과

연구 질문

• RQ1 일관된 직경 유계성이나 고정된 위상 조건 없이도, 경계가 있는 다양체 수열에 대해 체거-그로모프 컴팩트성이 성립할 수 있는가?
• RQ2 어떤 기하학적 조건 하에서, 점지향 경계가 있는 다양체 수열이 $C^k$-위상에서 경계를 가진 극한 다양체로 하향 수렴하는가?
• RQ3 경계가 없는 다양체에 대한 컴팩트성 결과(해밀턴의 정리)를 적절한 기하학적 환원을 통해 경계가 있는 경우로 일반화할 수 있는가?
• RQ4 기저점에서 경계까지의 거리가 극한 다양체의 경계가 비어 있지 않은지 결정하는 데 어떤 역할을 하는가?
• RQ5 높이 함수는 경계의 기하학을 어떻게 제어하며, 유도된 계량의 $C^k$-수렴을 보장하는 데 기여하는가?

주요 결과

• $(c,k+1)$-유계 기하학 조건을 만족하는 점지향 $n$차원 경계가 있는 다양체 수열은 $C^k$-위상에서 유계 기하학 조건을 $k$차까지 만족하는 극한 다양체 $(M_∞, g_∞, x_∞^0)$로 하향 수렴한다.
• 수열 $\{d_i(x_i^0, \partial M_i)\}$ 가 일관되게 유계일 경우, 극한 다양체는 비어 있지 않은 경계를 가진다.
• 증명은 각 경계가 있는 다양체를 높이 함수를 통해 경계가 없는 다양체로 확장함으로써, 해밀턴의 컴팩트성 정리의 적용을 가능하게 한다.
• 기울기 흐름과 측지선 보간을 통한 $C^k$-수렴하는 미분동형사상의 구성으로 체거-그로모프 수렴을 달성한다.
• 극한 높이 함수의 영점 집합이 존재함으로써, 기저점이 경계로부터 일관되게 떨어져 있을 경우 극한 다양체의 경계가 비어 있지 않다는 것을 보장한다.
• 극한 다양체가 비유계일 경우에도 결과가 성립하며, 직경에 대한 일관된 유계성 또는 고정된 위상 조건이 필요하지 않다.