[논문 리뷰] Nonnegative Ricci curvature, almost stability at infinity, and structure of fundamental groups

Jiayin Pan|arXiv (Cornell University)|2018. 09. 26.

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

한 줄 요약

이 논문은 비음성 Ricci 곡률을 가진 열린 $n$-다양체의 기본군이 무한대에서의 보편 커버의 안정성 조건 하에 유한 생성이면서 거의 아벨임을 증명한다: 만약 모든 무한대에서의 접선 콘(cone)이 고정된 공간에 일정하게 가까운 교차부분을 가진 메트릭 콘이라면, $\pi_1(M)$는 오직 $n$과 체적 성장에만 의존하는 상수에 의해 유계인 지수를 가진 정규 자유 아벨 부분군을 포함한다. 이 결과는 밀너의 추측의 부분 케이스를 확인하며, 비버바흐 정리의 Ricci 곡률 설정으로의 일반화를 이루고 있다.

ABSTRACT

We study the fundamental group of an open $n$-manifold $M$ of nonnegative Ricci curvature with additional stability condition on $\widetilde{M}$, the Riemannian universal cover of $M$. We prove that if any tangent cone of $\widetilde{M}$ at infinity is a metric cone, whose cross-section is sufficiently Gromov-Hausdorff close to a prior fixed metric space, then $π_1(M)$ is finitely generated and contains a normal abelian subgroup of finite index; if in addition $\widetilde{M}$ has Euclidean volume growth of constant at least $L$, then we can bound the index of that abelian subgroup in terms of $n$ and $L$. In particular, our result implies that if $\widetilde{M}$ has Euclidean volume growth of constant at least $1-ε(n)$, then $π_1(M)$ is finitely generated and $C(n)$-abelian.

연구 동기 및 목표

• 비음성 Ricci 곡률을 가진 열린 다양체의 기본군의 유한 생성성에 관한 밀너의 추측의 부분 케이스를 해결하기 위해.
• 보편 커버의 기하학적 안정성 조건을 통해 평탄한 다양체에 대한 비버바흐 정리를 Ricci 곡률 설정으로 일반화하기 위해.
• 체적 성장과 모델 공간으로부터의 Gromov-Hausdorff 거리에 기반하여 $\pi_1(M)$의 아벨 부분군의 지수에 대한 균일한 상界를 확립하기 위해.
• 보편 커버의 접선 콘에 대한 '거의 무한대에서의 안정성' 조건을 도입하고 활용하여 $\pi_1(M)$의 대수적 구조를 제어하기 위해.

제안 방법

• 모든 보편 커버 $\widetilde{M}$의 무한대에서의 접선 콘들이 고정된 공간 $X$와 Gromov-Hausdorff 거리에서 $\epsilon$ 이내로 가까운 메트릭 콘임을 요구하는 $(C(X), \epsilon)$-무한대에서의 안정성 개념을 도입한다.
• 등변 Gromov-Hausdorff 수렴을 사용하여 $\pi_1(M)$이 $\widetilde{M}$의 무한대에서 작용하는 방식을 분석한다.
• Schur의 보조정리와 컴acts nilpotent Lie 군의 구조 결과를 적용하여 극한 공간에 작용하는 등급군의 교환자 부분군 $[K,K]$를 유계로 제한한다.
• 체적 성장과 Gromov-Hausdorff 안정성에 기반하여 극한 공간의 등급군의 중심과 교환자 부분군의 지수에 대한 균일한 상계를 확립한다.
• 보편 커버 $\widetilde{M}$이 극한 공간으로 수렴하고 작용이 안정함을 이용하여 $\pi_1(M)$의 유한 생성성과 거의 아벨 성질을 도출한다.
• 체적 성장 조건을 활용하여 접선 콘들이 $C(S^{n-1})$에 가까워지게 하여 $X = S^{n-1}$일 때 안정성 조건을 적용할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 비음성 Ricci 곡률을 가진 열린 $n$-다양체의 보편 커버 $\widetilde{M}$에 대해 어떤 기하학적 조건이 $\pi_1(M)$의 유한 생성성을 보장하는가?
• RQ2 만약 $\widetilde{M}$이 체적 성장이 1에 매우 가까운 유클리드 체적 성장을 보일 경우, $\pi_1(M)$의 거의 아벨 성질을 확립할 수 있는가?
• RQ3 체적 성장과 접선 콘의 Gromov-Hausdorff 안정성 조건 하에서 $\pi_1(M)$의 정규 아벨 부분군의 지수에 대한 균일한 상한은 무엇인가?
• RQ4 무한대에서의 접선 콘에 대한 '거의 안정성' 조건이 $\pi_1(M)$의 대수적 구조를 어떻게 제어하는가?
• RQ5 접선 콘의 차원이 다양할 수 있지만 Gromov-Hausdorff 거리에서 균일하게 가까운 경우에 결과를 일반화할 수 있는가?

주요 결과

• 만약 $\widetilde{M}$의 유클리드 체적 성장 상수가 $1 - \epsilon(n)$ 이상이라면, $\pi_1(M)$는 유한 생성이며 지수 최대 $C(n)$인 정규 자유 아벨 부분군을 포함한다. 여기서 $C(n)$은 오직 $n$에 의존하는 상수이다.
• 체적 성장 조건 하에서 $\pi_1(M)$의 아벨 부분군의 지수는 $C(n)$으로 균일하게 유계이며, 이는 오직 차원 $n$에 의존한다.
• 만약 $\widetilde{M}$이 $(C(S^{n-1}), \epsilon)$-무한대에서 안정적이라면, 기본군 $\pi_1(M)$은 유한 생성이며 $C(n)$-아벨이다.
• 증명 과정에서 체적 성장 $L$ 하에서 극한 공간에 작용하는 등급군 $K$의 교환자 부분군 $[K,K]$의 크기에 대한 균일한 상계 $C_2(n,L)$를 확립한다.
• Schur의 보조정리와 컴acts nilpotent Lie 군의 항등원 성분이 중심임을 이용하여 극한 공간의 등급군의 구조를 제어한다.
• 등변 Gromov-Hausdorff 수렴을 이용한 모순 추론을 통해 $[K:Z(K)]$가 균일하게 유계임을 보이고, 이로 인해 $\pi_1(M)$에 유한 지수의 아벨 부분군이 존재함을 도출한다.