[논문 리뷰] Structure of fundamental groups of manifolds with Ricci curvature bounded below

Vitali Kapovitch, Burkhard Wilking|arXiv (Cornell University)|2011. 05. 30.

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

한 줄 요약

이 논문은 리만다이언 만에 대해 리치 곡률이 아래로 유계인 경우 일반화된 마르게리스 보조정리를 수립하며, 이러한 만에의 기본군이 유계된 인덱스와 유한한 노름화 길이를 가진 노름군을 포함하고 있음을 증명한다. 이 결과는 그로모프의 추측을 해결하고, 섹션 곡률에서 리치 곡률 유계로의 확장을 리스케일링 기법과 극한 공간 분석을 통해 수행한다.

ABSTRACT

Verifying a conjecture of Gromov we establish a generalized Margulis Lemma for manifolds with lower Ricci curvature bound. Among the various applications are finiteness results for fundamental groups of compact $n$-manifolds with upper diameter and lower Ricci curvature bound modulo nilpotent normal subgroups.

연구 동기 및 목표

• 리치 곡률이 아래로 유계된 만에의 기본군의 구조에 관해 그로모프가 제기한 추측을 해결하기 위해.
• 이러한 만에의 기본군 내에 노름군의 인덱스에 대한 균일한 유계를 확립하기 위해.
• 섹션 곡률에서 리치 곡률 유계로의 마르게리스 보조정리를 확장하여 기본군에 대한 균일한 구조적 제약 조건을 제공하기 위해.
• 비유한 리만다이언 만에 대해 비음성 리치 곡률을 가진 기본군이 유계 인덱스를 가진 노름군을 포함하고 있음을 증명하기 위해.
• 야마구치의 피브리케이션 정리에 대한 리치 곡률 해석을 제공하고, 섹션 곡률 설정에서 사용된 기울기 흐름 방법의 대체를 제공하기 위해.

제안 방법

• 리치 곡률이 −(n−1)에 수렴하는 만에의 수열을 분석하기 위해 리스케일링 정리를 사용하여, 스케일 조정된 계량이 컴act 메트릭 공간과 유클리드 공간의 곱으로 수렴함을 보임.
• 약한 측도적 곰포-하우스도르프 수렴을 이용해 리스케일링 하에서 미분구조의 행동을 제어함.
• 조화 함수와 그 헤시안 추정을 활용하여 모든 척도에서 등거리사상처럼 행동하는 미분구조를 구성함.
• 곰포-하우스도르프 전준비성에 기반한 모순 증명을 통해 리치 곡률 ≥ −(n−1)인 만에의 공간의 전준비성을 활용함.
• 정규 커버에서 덱 변환의 지오메트릭 제어를 유지하기 위해, 미분구조와의 복합을 통해 수정할 수 있도록 '줌인' 성질을 활용함.
• 리치-유계 수열의 극한 공간에 대한 케이러-콜딩의 구조 이론을 활용하여, 기본군의 점근 기하학을 분석함.

실험 결과

연구 질문

• RQ1 리치 곡률이 단위 공 안에서 −(n−1) 이상인 완비 n차원 리만다이언 만에의 기본군은 일관된 유계 인덱스를 가진 노름군을 포함하는가?
• RQ2 이러한 노름군 내에서 길이가 최대 n인 노름 기저를 찾을 수 있으며, 이는 군의 랭크와 구조에 대해 어떤 의미를 갖는가?
• RQ3 그로모프가 추측한 바와 같이, 섹션 곡률에서 리치 곡률로의 마르게리스 보조정리를 균일한 인덱스 유계로 확장할 수 있는가?
• RQ4 비유한 만에에서 비음성 리치 곡률을 가진 기본군이 유계 인덱스를 가진 노름군을 포함하는가?
• RQ5 리치 곡률이 −(n−1)로 수렴하는 리스케일링된 만에의 극한 공간은 군 구조를 가질 수 있으며, 이를 통해 기본군의 유한성 성질을 도출할 수 있는가?

주요 결과

• 각 차원 n에 대해, C(n)과 ε(n)이 존재하여, π₁(B_ε(p), p) → π₁(B₁(p), p)의 상에 유계 인덱스 ≤ C(n)을 가진 노름군 N이 포함된다.
• 노름군 N는 길이가 최대 n인 노름 기저를 가지며, 이는 rank(N) ≤ n를 의미한다.
• 랭크 유계의 등호가 성립할 경우, 만에 M은 인프라니르만에이드와 호메오모르픽이다.
• 리치 곡률 > -(n−1)이고 지름 ≤ ε(n)인 컴팩트 만에의 경우, 기본군은 인덱스 ≤ C(n)을 가지며 길이 ≤ n인 노름 기저를 가진 노름군을 포함한다.
• 비유한 n차원 만에에서 비음성 리치 곡률을 가진 기본군은 인덱스 ≤ C(n)을 가지며, 이 노름군의 모든 유한 생성 부분군은 길이 ≤ n인 노름 기저를 가진다.
• 이러한 만에의 첫 번째 ℤ_p-베티 수는 임의의 소수 p에 대해 유한하며, 이는 이전에 유리수 계수에서만 알려진 결과를 확장한다.