[논문 리뷰] Ricci curvature and isometric actions with scaling nonvanishing property

Jiayin Pan, Xiaochun Rong|arXiv (Cornell University)|2018. 08. 07.

Geometric Analysis and Curvature Flows참고 문헌 14인용 수 9

한 줄 요약

이 논문은 리만 다양체에서 Ricci 곡률이 아래로 유계이면서 등거리 작용에 대해 스케일링 $Φ$-비소멸 성질을 도입하여, 등거리 변환의 이동을 통해 대규모 기하학과 소규모 기하학을 연결한다. 이 조건과 비수축 단위 구를 가진 조건 하에서, 기본군의 짧은 생성자의 수가 균일하게 유계임을 증명하고, 이는 비음성 Ricci 곡률과 유클리드 체적 성장 조건을 만족하는 열린 다양체에서 기본군이 유한 생성임을 증명하는 데 이르게 한다.

ABSTRACT

In the study manifolds of Ricci curvature bounded below, a stumbling obstruction is the lack of links between large-scale geometry and small-scale geometry at a fixed reference point. There have been few links (volume, dimension) when the unit ball at the point is not collapsed, that is, $\mathrm{vol}(B_1(p))\ge v>0$. In this paper, we conjecture a new link in terms of isometries: if the maximal displacement of an isometry $f$ on $B_1(p)$ is at least $δ>0$, then the maximal displacement of $f$ on the rescaled unit ball $r^{-1}B_r(p)$ is at least $Φ(δ,n,v)>0$ for all $r\in(0,1)$. We call this scaling $Φ$-nonvanishing property at $p$. We study the equivariant Gromov-Hausdorff convergence of a sequence of Riemannian universal covers with abelian $π_1(M_i,p_i)$-actions $(\widetilde{M}_i, ilde{p}_i,π_1(M_i,p_i))\overset{GH}\longrightarrow(\widetilde{X}, ilde{p},G)$, where $π_1(M_i,p_i)$-action is scaling $Φ$-nonvanishing at $ ilde{p_i}$. We establish a dimension monotonicity on the limit group associated to any rescaling sequence. As one of the applications, we prove that for an open manifold $M$ of non-negative Ricci curvature, if the universal cover $\widetilde{M}$ has Euclidean volume growth and $π_1(M,p)$-action on $R^{-1}\widetilde{M}$ is scaling $Φ$-nonvanishing at $ ilde{p}$ for all $R$ large, then $π_1(M)$ is finitely generated.

연구 동기 및 목표

• Ricci 곡률이 아래로 유계이면서 대규모 기하학과 소규모 기하학 간의 기하학적 연결 고리가 부족한 다양체의 문제를 해결한다.
• Milnor 추측—비음성 Ricci 곡률을 가진 열린 다양체에서 기본군이 유한 생성임을 증명하는 데에 장애가 되는 문제를 극복하기 위해 새로운 기하학적 조건을 설정한다.
• 스케일링 $Φ$-비소멸 조건 하에서, 등거리 변환의 이동을 통한 스케일링을 이용해 기저점에서의 짧은 생성자 수에 대한 균일한 유계를 확립한다.
• 비음성 Ricci 곡률과 유클리드 체적 성장을 만족하는 열린 $n$-다양체에서 스케일링 $Φ$-비소멸 작용이 성립할 경우, 기본군의 유한 생성성을 증명한다.
• 비수축 단위 구가 성립할 경우 스케일링 $Φ$-비소멸 조건이 자동으로 성립할 것이라는 추측을 제기하여, 주요 결과를 이러한 모든 다양체로 일반화할 수 있음을 시사한다.

제안 방법

• 스케일링 $Φ$-비소멸 성질을 정의한다: 등거리 변환이 작은 구에서 이동 거리 $\geq \delta$를 가지면, 더 작은 구에서의 스케일링된 이동 거리는 $\Phi(\delta)$로 아래로 유계여야 한다.
• 등변 Gromov-Hausdorff 수렴을 사용하여 아벨 기본군 작용을 가진 기본 커버의 수열을 분석한다.
• 스케일링 하에서의 극한 군에 대해 차원의 단조성 증명을 적용하며, 접선 콘과 군 작용을 이용한다.
• 대각선 수열 방법을 사용하여 스케일링된 다양체와 관련된 군 작용의 수렴하는 부분수열을 추출한다.
• 이sov러피 군의 연결 성분 수에 대한 귀납법을 사용하여, 반증을 통해 무한 생성을 배제한다.
• 유한 생성성 증명을 단순화하기 위해 Wilking의 축소 기법을 적용하여 아벨 기본군에 국한한다.

실험 결과

연구 질문

• RQ1 Ricci 곡률 기하학에서 척도 간 연결 고리가 부족한 문제를 극복하기 위해, 대규모 및 소규모 등거리 작용 행동을 연결하는 기하학적 조건을 정의할 수 있는가?
• RQ2 비음성 Ricci 곡률을 가진 열린 다양체의 기본 커버에서 비수축 단위 구가 성립할 경우, 스케일링 $Φ$-비소멸 성질이 항상 성립하는가?
• RQ3 스케일링 $Φ$-비소멸 조건 하에서, $\pi_1(M,p)$의 짧은 생성자 수가 점 $p$에서 균일하게 유계가 될 수 있는가?
• RQ4 스케일링 $Φ$-비소멸 조건이 비음성 Ricci 곡률과 유클리드 체적 성장을 만족하는 열린 $n$-다양체에서 $\pi_1(M)$의 유한 생성성을 암시하는가?
• RQ5 스케일링 및 축소 기법을 통해 아벨 경우의 결과를 일반 기본군으로 확장하여 Milnor 추측을 증명할 수 있는가?

주요 결과

• 모든 $n, R, v > 0$ 및 양함수 $\Phi$에 대해, 상수 $C(n,R,v,\Phi)$가 존재하여 $\mathrm{vol}(B_1(\tilde{p})) \geq v$ 이고 $\pi_1(M,p)$-작용이 $\tilde{p}$에서 스케일링 $\Phi$-비소멸일 경우, $\#S(p,R) \leq C(n,R,v,\Phi)$이다.
• 스케일링 $\Phi$-비소멸 조건은 등거리 변환의 이동이 스케일링 하에서도 소멸하지 않음을 보장하며, 소규모 척도에서의 이동에 대해 균일한 하한을 제공한다.
• 기본 커버 $\widetilde{M}$가 유클리드 체적 성장을 가지며, 모든 $R \geq 1$에 대해 $R^{-1}\widetilde{M}$에서 $\pi_1(M,p)$-작용이 $\tilde{p}$에서 스케일링 $\Phi$-비소멸일 경우, $\pi_1(M)$는 유한 생성이다.
• 이 증명은 스케일링된 기본 커버의 등변 Gromov-Hausdorff 수렴과 군 작용의 극한을 이용한 모순 증명에 기반한다.
• 스케일링 하에서 극한 군의 작용 차원은 감소하므로, 이sov러피 군의 구조에 대한 귀납적 증명이 가능해진다.
• 스케일링 $\Phi$-비소멸 조건이 $\mathrm{vol}(B_1(\tilde{p})) \geq v > 0$일 경우 자동으로 성립한다는 추측은, 모든 비음성 Ricci 곡률을 가진 열린 $n$-다양체에 대해 Milnor 추측을 일반화함을 암시한다.